- w*t + 972 = 0. Is t a multiple of 18?
True
Is -4 - ((-31)/((-2945)/(-2202822)) + 4/(-10)) a multiple of 34?
False
Let r(l) = -l**2 - 15*l - 2. Let s be r(-7). Is 18 a factor of 1/((5/s)/5)?
True
Suppose 30877 = 33*f - 62975. Does 52 divide f?
False
Let w(p) = 7*p**3 - 7*p**2 + 5*p - 24. Let a(f) = -f**3 - f + 1. Let m(z) = 6*a(z) + w(z). Is 17 a factor of m(10)?
True
Let f be (-21)/(-168) - (-133630)/16. Suppose 18*v - f = 1440. Is 32 a factor of v?
True
Let b be 6 + (1/1 - 4). Suppose g - 11*y - 26 = -15*y, -3*g + y + 13 = 0. Suppose g*p - 141 = b. Is 2 a factor of p?
True
Let q = -10157 - -49013. Does 19 divide q?
False
Suppose 5*j = 2*g - 0*g - 23, -5*g - 5 = 0. Let k(t) = t**3 + 3*t**2 - 13*t - 6. Let d be k(j). Suppose 2*c = 3*s + c - 39, 0 = 3*c + d. Is s a multiple of 3?
True
Suppose 29*n - 49*n = 89*n - 2502313. Is 27 a factor of n?
False
Let i(k) = -k**3 - 3*k**2 + 62*k + 16. Is 16 a factor of i(6)?
True
Suppose -3*f = -5*i - 76, -4*i - 121 = -4*f - 9. Let m(k) = -3*k - f + 12 + 18 + 19*k**2 + k. Is 13 a factor of m(-2)?
True
Suppose -2*n - 3*m + 2 = -0*m, 2*m + 24 = 5*n. Suppose 5*o - 1380 = 2*k + k, n*o - 1104 = 3*k. Is o a multiple of 47?
False
Let h be (-10 - -19) + 6/2. Is (-166)/(-3) + h/18 a multiple of 8?
True
Let v(j) = -99*j**3 + 2*j**2 - 2*j. Let m be v(1). Let x = m + 309. Suppose 2*o - 4*o = 3*f - x, 4*o = 5*f - 372. Is 36 a factor of f?
True
Suppose -25*g + 6*g + 266160 = 5*g. Is 13 a factor of g?
False
Suppose 2*u - f - 259 = -52, 2*f + 515 = 5*u. Suppose 2 = 3*i - 19. Let c = i + u. Does 27 divide c?
True
Let c(h) = -h**3 - 5*h**2 + 8*h + 12. Let y be c(-6). Suppose y = -3*u - 9, -q = -8*u + 4*u + 15. Let p = 72 + q. Is 9 a factor of p?
True
Let i = 2790 + 5310. Does 60 divide i?
True
Suppose 3514456 = 174*x - 1789548 + 535360. Does 19 divide x?
False
Suppose -4794 = 5*r + 3*u, -4 = 4*u - 6*u. Let h(o) = -7*o + 579. Let w be h(83). Is 32 a factor of r/20*-8*w/(-6)?
True
Is 22 a factor of (-4)/10*(5 - 555)?
True
Suppose 5*s = -287*v + 284*v + 2349, 3*s + 3*v = 1407. Is 3 a factor of s?
True
Suppose -o = o + 6. Let u be 51/15 + o - (-446)/10. Let j = u + -25. Is 12 a factor of j?
False
Let z = 0 + 123. Let g = z + -45. Does 26 divide g?
True
Is 59 a factor of (-207103 + -16)/(-19) - -19?
False
Suppose 12*m - 11*m + 59 = n, 5*m - 335 = -5*n. Suppose 2*g - 116 = -0*g. Suppose -n*k + g*k = -1610. Is k a multiple of 23?
True
Is 139 a factor of 12510/(-20)*(-240)/45?
True
Let r = -610 - -633. Is (-4)/24 - r/6 - -91 even?
False
Suppose -4*r + 34 = 2*q, -3 = 3*r - q - 36. Let c(i) = -i**3 + 10*i**2 - 18*i - 18. Let d be c(5). Suppose r = 5*k - 5, -d = -h - 3*k. Is 2 a factor of h?
True
Let i(z) = -z**2 + 5*z + 10. Let x(h) = -h**3 - 3*h**2 + 3*h + 3. Let g be x(-4). Let m be i(g). Does 25 divide m + (6 - 4 - -152)?
True
Let n(l) = 54*l + 84. Let x be n(16). Suppose x = 3*s + 906. Is s even?
True
Let g(w) = -45*w**3 + 3*w**2 - 21*w + 39. Is g(-6) a multiple of 11?
False
Suppose 3164130 - 197273 + 4625315 = 469*r. Is r a multiple of 38?
True
Is (4736900/(-875))/(4/(-10)) a multiple of 67?
True
Let g(r) = 4030*r + 744. Does 71 divide g(2)?
True
Let u(q) = -q**2 - 30*q - 16. Let y be u(-29). Suppose y*x - 4325 = 2773. Does 10 divide x?
False
Suppose -3978 = -2*f - 3*q, 5275 = 4*f + 4*q - 2677. Is 2 a factor of f?
True
Does 310 divide (-138886)/(-8) + (-1926)/2568?
True
Let a(n) = -3*n**3 + 17*n**2 - 12*n + 35. Let u(l) = -l**3 - l + 1. Let q(y) = a(y) - 2*u(y). Does 26 divide q(16)?
False
Suppose 0 = 15*q - 23*q + 26*q - 22698. Is q a multiple of 3?
False
Let y(x) = -44*x**2 - 9*x + 5. Let f(b) = 90*b**2 + 16*b - 10. Let r(p) = -3*f(p) - 7*y(p). Does 17 divide r(4)?
True
Suppose 78 = 5*y + 2*u, -4*y - 2*u = -2 - 62. Suppose -3*v + 6 = 5*p, 3*p = 4*v - y + 6. Suppose -6*s + s - 2*c + 70 = p, 2*c + 58 = 3*s. Is s a multiple of 8?
True
Let h be (-12678)/(-90) - 4/(-30). Suppose -h*b + 143*b - 868 = 0. Does 62 divide b?
True
Suppose 4*p + 605 = -4*f + 5*p, 5 = p. Let k = f + 138. Is 5 a factor of (-3)/(-4) + (-39)/k - -46?
True
Let o(p) = -p**3 + 14*p**2 - 2*p + 34. Let j be o(14). Suppose -5*m = -j*m. Does 5 divide 2310/(-33)*(-1 - m)?
True
Let o = -9705 + 13992. Is o a multiple of 47?
False
Let o(b) = -16 - 22*b - 1 - 21 + 4. Does 43 divide o(-25)?
True
Does 173 divide -480 + 497 + (26981 - -1)?
False
Suppose 0 = -53*u + 7*u + 145222. Does 37 divide u?
False
Let z(t) = 865*t + 3393. Does 31 divide z(15)?
True
Let d be (-1022)/(-4) - ((-15)/(-10) - 2). Let f = d - 93. Does 4 divide f?
False
Let w(u) = -2*u + 95. Let g be w(54). Let p(z) be the second derivative of -z**4/12 - 2*z**3 + 57*z**2/2 + z. Does 22 divide p(g)?
True
Let s = 522 + -522. Suppose -5*c - h + 1818 + 253 = s, c - h = 413. Is 20 a factor of c?
False
Suppose 133*i - 4035613 = -132861. Is i a multiple of 32?
True
Suppose 0 = 6*k + 171 + 63. Let s = 329 - 488. Let w = k - s. Is w a multiple of 24?
True
Suppose 60*a = -52*a + 326592. Is a a multiple of 66?
False
Suppose w - 31 = -2*u - 0*w, 40 = 2*u - 2*w. Suppose 0 = u*q + 127 - 637. Is q a multiple of 6?
True
Is 10 a factor of ((-161430)/4)/((-2376)/3168)?
True
Suppose 5*p - 172 - 458 = 0. Suppose 8*f - 5*f = p. Suppose m + q - f = 0, -168 = -2*m - 2*m - q. Does 14 divide m?
True
Let z(a) = 7*a**2 + 104*a - 205. Does 24 divide z(32)?
False
Let g be 8992/56*(-2)/(-4)*7. Suppose g = 5*j + 202. Is j a multiple of 8?
True
Let t be ((-6)/(-14))/(15/3045). Suppose 2*i - i - o = t, -4*i - o = -363. Does 10 divide i?
True
Let n = 140010 + -93569. Is 73 a factor of n?
False
Suppose -x - x - 4*f = -2348, 2318 = 2*x - 2*f. Suppose x + 429 = 3*w. Is w a multiple of 9?
True
Let s(o) = o**3 - 6*o**2 + 2*o + 18. Let a be s(5). Suppose -r = 5*g - 141, -5*r = -2 - a. Is 7 a factor of g?
True
Let r = -17 - -21. Suppose -2*h - 14 = -r*d - 3*h, -5*h = 2*d - 16. Is ((-9)/3)/(-3) + 42 - d a multiple of 20?
True
Let p be (-1)/4 + -3 + (-909)/(-4). Let v = 668 - p. Does 12 divide v?
True
Suppose -6*x - 114460 = -41*x + 114685. Does 2 divide x?
False
Let o = 3672 - 2583. Is o a multiple of 11?
True
Let w(x) = -22 - 23*x + 36*x**2 + 2 + 28*x. Is 67 a factor of w(-4)?
True
Let u be ((-4)/18 + (-133)/171)*5. Let c(o) = 3 - 10 + 5*o + 4*o**2 - 4. Does 11 divide c(u)?
False
Let g(l) = -3653*l - 750. Does 11 divide g(-2)?
True
Let a(u) = 33*u**2 + 14*u + 26. Suppose 3*w + 4 = -3*p - 2, 4*w = 2*p - 20. Does 32 divide a(w)?
False
Suppose 93891 = 159*t - 142*t. Is t a multiple of 7?
True
Let j = 9 + -4. Suppose -j*p - m + 1509 = -0*p, -2*m = -8. Does 43 divide p?
True
Suppose 4*z - 10 = -2*o - 54, 88 = -3*o + 5*z. Let n be (2/(-6))/(((-28)/(-492))/(-7)). Let x = n + o. Is x a multiple of 15?
True
Suppose -108955 + 12743 = -86*z + 476892. Does 119 divide z?
True
Let z(m) = 3*m**3 + 4*m**2 - 6*m + 17. Let y(p) = 9*p + 177. Let w be y(-19). Does 60 divide z(w)?
False
Let x be (-7)/(-4) + 7/28. Suppose 0 = 4*j + x*k - 858, -5*k + 178 = j - 23. Suppose 5*u - 129 = j. Does 24 divide u?
False
Suppose -9*a + 4*a = 1010. Let f = a + 367. Does 15 divide f?
True
Does 47 divide 35992/40*5*(1 - 0)?
False
Let d be 76/14 + -2*(-9)/(-42). Suppose 3*z + 9 = -2*b, 0 = 4*b + d*z + 1 + 12. Suppose -40 = x - b*x. Is x a multiple of 8?
False
Suppose 0 = -195*c + 89*c + 1674800. Is c a multiple of 4?
True
Let r be ((-6)/(-15))/(9/90). Suppose 6*w - r*w = 14. Suppose 3*y + 991 = -3*m + w*m, 0 = -5*y + 15. Is m a multiple of 25?
True
Let x(z) = 30*z**2 + 27*z + 14. Is x(-26) a multiple of 124?
True
Suppose -5 = -20*p + 55. Suppose 18*w - 44 = -4*u + 14*w, -p*w = -5*u + 87. Is 15 a factor of u?
True
Let p = -5858 + 15483. Suppose 35*y - p = -0*y. Does 11 divide y?
True
Let n(u) = 8*u - 42. Let h be n(5). Is 3 a factor of (-16)/(-64)*(130 - h)?
True
Let o = -59 - -107. Let f = -45 + o. Is 1 + 18 - (f + -2) a multiple of 3?
True
Let b(r) = -5 - 5*r**2 + r**3 + 14*r**2 + 10*r**2 - 2*r**3 - 9*r. Is b(9) a multiple of 25?
False
Suppose -113*o + 245*o - 142200 = 117*o. Is 12 a factor of o?
True
Let p(n) = -97*n**2 + 20*n - 98*n**2 + 194*n**2 - 8. Is 3 a factor of p(16)?
False
Suppose -193*g = -181*g + 35868. Let h = -1831 - g. Is 46 a factor of h?
False
Let t be (2 + 0)*2/8*22. Does 10 divide t/(-66)*6 + 142/2?
True
Let w be (-305)/(8 - 5 - 2). Let t = 530 + w. Is 45 a factor 