ctor of x?
True
Suppose 5*y - 16081 + 1396 = 0. Is y a multiple of 18?
False
Let g = 1054 - 19. Is 71 a factor of g?
False
Let u(d) = -d**2 + 5*d + 5. Let h be u(7). Let t(k) = -k**2 - 10*k + 13. Is 22 a factor of t(h)?
True
Suppose -11 - 29 = -g + 4*t, -2*g = -t - 94. Let a = -2 + g. Does 7 divide a?
False
Suppose 2*a + d = 1, 4*a + 0*d - 2*d = 14. Suppose 4*r + 8*n - 5*n - 141 = 0, 83 = a*r - n. Does 7 divide r?
False
Let f(y) = y**3 + 7*y**2 + 5*y - 5. Let n be f(-6). Let v(h) = h**2 + 1. Let w be v(n). Suppose 8 = 2*p + w*p. Is p even?
True
Let v be (1/1)/((-35)/14 - -2). Let p(k) = -32*k**3 - 4*k**2 - 4*k - 2. Is 41 a factor of p(v)?
True
Let v(w) be the third derivative of w**6/120 - w**4/8 + 2*w**3/3 - 2*w**2. Suppose -123*d - 25 = -128*d. Is v(d) a multiple of 38?
True
Let c(f) = 7*f + 133. Is c(-9) a multiple of 2?
True
Suppose -11*h = -21*h + 1000. Does 10 divide h?
True
Let q = -7 + 16. Suppose -12*h + 162 = -q*h. Is 14 a factor of h?
False
Suppose -2*v + 0*a + 384 = a, 0 = -a - 4. Does 6 divide v?
False
Let p(x) = -x - 1. Let h be p(-5). Let z be 9 + h/4 - 0. Suppose -14 - z = -2*j. Is 3 a factor of j?
True
Suppose k - 62 = 10. Suppose 5*n = 257 - k. Is n a multiple of 5?
False
Let z(c) = 5*c + 2. Let f be z(-4). Let w be (2/(-3))/(f/(-135)). Is ((-18)/(-1))/(w/(-10)) a multiple of 12?
True
Suppose -5408 = -2*j - 4*z, 6*j - 5*z - 16240 = -z. Is j a multiple of 66?
True
Let x(w) = w**2 + 6*w - 5. Suppose -10 = -7*u + 2*u, 0 = -s + u - 9. Let n be x(s). Is ((-9)/(-2))/(1/n) a multiple of 9?
True
Suppose -575 - 176 = -k. Does 14 divide k?
False
Is 34 a factor of -3 + -3 + 2596/2?
True
Let a(z) be the second derivative of z**5/20 + 3*z**4/4 + z**3/3 + 5*z**2 + z. Let c be a(-9). Let b(o) = -2*o - 11. Is b(c) a multiple of 2?
False
Let a(w) = w**3 + 11*w**2 + 12*w - 8. Let y be (-14)/14*(-8)/(-1). Does 9 divide a(y)?
False
Let m be 4/(-14) + 16/7. Suppose 92 = t + 3*z, m*t - z - 170 = 21. Does 19 divide t?
True
Is 3855/10 + (-3)/6 a multiple of 11?
True
Suppose -25*q = -29*q. Suppose 8*o - 4*o - 52 = q. Is o a multiple of 2?
False
Suppose 0 = 4*w - w - 12, -w = 4*o + 476. Let u = -18 - o. Is 34 a factor of u?
True
Suppose -5*q - r - 3 = 0, 0 = -6*q + 4*q - 3*r + 4. Let a(m) be the second derivative of -12*m**3 - 2*m. Is 36 a factor of a(q)?
True
Is 6 a factor of (-147)/14*(-1164)/18?
False
Let g(z) = z**3 - 12*z**2 + 15*z - 3. Suppose -8*u + 70 = -18. Is 8 a factor of g(u)?
False
Let q be (2 + 10/(-6))/(11/66). Suppose -6*z + q*z + 776 = 0. Is 32 a factor of z?
False
Let o(g) = g**3 + 31*g**2 - 145*g + 37. Is 4 a factor of o(-35)?
True
Let g = -90 + 451. Is 18 a factor of g?
False
Let d be (2/(-6))/((-15)/90). Suppose -2*v - 2*v = 12. Is v + d + 87/3 a multiple of 7?
True
Suppose -s = -6*s. Suppose -4*v + 0*v = -12. Suppose -v*h + 45 + 66 = s. Is 12 a factor of h?
False
Suppose o + 5*n - 10 = 0, 9*n - 10 = -5*o + 4*n. Is (o + 1/(-1))*(1 - 127) a multiple of 16?
False
Suppose -5*w - 14 - 1 = 0, 0 = d + w - 19. Let t = 33 - d. Does 7 divide t?
False
Suppose -507 = -3*k + 4*w, -k + 5*w = -2*k + 188. Is k a multiple of 30?
False
Let u(l) = -85*l - 4. Let r be u(-4). Suppose -r = -2*x - 5*x. Suppose -24 = -6*a + x. Is a a multiple of 3?
True
Let w = 628 - 311. Is 4 a factor of w?
False
Suppose 5*c + 234 = 11324. Suppose 2*m - 6*m + 4*z - 4416 = 0, 3*z + c = -2*m. Does 8 divide 1/3 - m/21?
False
Suppose -48 = 5*f - 3*f. Let b = -26 - f. Does 9 divide b*1 - (1 + -39)?
True
Suppose t = -4*u + u + 731, -2*t = -u - 1455. Suppose 8*j = 4*j + t. Is 13 a factor of j?
True
Let t(d) = d**2 + 3*d - 23. Is t(8) a multiple of 3?
False
Let d = -60 - -132. Is d even?
True
Suppose 0 = -2*o - 3*o + 65. Let b = o - 9. Suppose 2*g + 4*s = -2*g + 32, -2*g - b*s = -22. Is g a multiple of 5?
True
Let x be -4 + 1 + 9/3. Suppose s = 4*m + 160, 4*s - m - 513 - 52 = x. Let w = -51 + s. Is w a multiple of 33?
False
Let v = 16 + 428. Is v a multiple of 7?
False
Suppose -3*c - 6*z + 2089 - 244 = 0, z = 2*c - 1245. Does 48 divide c?
False
Suppose 5*m - 910 = -5*a, 269 = 4*m - 2*a - 459. Is 14 a factor of m?
True
Let c(q) = 12*q - 380. Is 7 a factor of c(54)?
False
Suppose 4*a = 5*k + 342, 9*a - 12*a = -5*k - 259. Is 16 a factor of a?
False
Suppose 4*w = -m + 266, 379 = 5*w + 4*m + 41. Does 11 divide w?
True
Suppose 4*h + 3 - 39 = 0. Suppose 2*p - 7*p - 3*w = 12, -2*w = 4*p + 8. Suppose -z + h = -p*z. Is z a multiple of 4?
False
Let o(v) = 76*v**2 - 4*v + 8. Let h = 114 - 112. Is 21 a factor of o(h)?
False
Suppose -3*h + 82 = -32. Let i(q) = 3*q**2 - q - 2. Let d be i(-5). Let y = d - h. Is 10 a factor of y?
True
Let w(m) be the first derivative of 139*m**3/3 + 2*m + 13. Let k be w(-1). Let u = k - 56. Does 17 divide u?
True
Let z(f) = 13*f**2 - 40*f + 56. Let y(i) = 5*i**2 - 13*i + 19. Let v(t) = 8*y(t) - 3*z(t). Is v(-18) a multiple of 4?
True
Suppose 2*l - 30 = -4. Let z be -3 - ((2 - 2)/(-5) + -1). Let d = z + l. Does 11 divide d?
True
Suppose -5*x = 4*j - 658, 4*j = -4*x - 0*x + 656. Suppose -4*a + j = -2*a. Is 13 a factor of a?
False
Suppose 0 = -6*o + 693 + 573. Does 35 divide o?
False
Suppose -j - 41 + 248 = 0. Is 23 a factor of j?
True
Let t(w) = -w**2 + 10*w + 8. Let i be t(10). Suppose -x + 32 = i. Does 12 divide x?
True
Suppose 0 = -9*d - 28 - 53. Let l = -66 - -43. Let b = d - l. Does 5 divide b?
False
Let g(i) = 13*i + 83. Let u be g(-6). Suppose 2*p = 5*p - 681. Suppose -4*v - p = -3*x, 157 = -3*x + u*x + 3*v. Is x a multiple of 25?
False
Let r be (-4)/(-6)*(-126)/(-4). Suppose r*s = 16*s + 325. Let d = s + -14. Is d a multiple of 17?
True
Let z be ((-1)/3)/(5/(-5295)). Suppose 3*t + r - z = 0, -250 = -2*t + r + 2*r. Is t a multiple of 19?
False
Let q be (-9)/(-27) - 98/(-3). Let v = 74 - q. Is v a multiple of 9?
False
Let n(y) = 4*y - 7. Let f be n(-4). Let v = f - -33. Is 2 a factor of v?
True
Let i = -1304 - -856. Let p = -172 - i. Does 37 divide p?
False
Suppose 34944 = -8*m + 29*m. Is 13 a factor of m?
True
Let o(c) = 4*c + 5*c - 7*c - 5. Let u be o(10). Does 8 divide (-252)/(-30) - 6/u?
True
Let h = -22 - -24. Suppose 25*v - 26*v = -h. Suppose -2*u + 3*j + 92 = 0, 0*u + u = v*j + 44. Is 7 a factor of u?
False
Suppose -31*n - 2*n + 22902 = 0. Is n a multiple of 48?
False
Suppose 0 = b - 1 - 2. Let t(u) = b + 1 - 1 + 7*u + 2 + u**2. Is 13 a factor of t(-8)?
True
Let p = -551 + 866. Does 63 divide p?
True
Suppose 2*w - 5*f = -10, 2*w + 3 = -5*f + 33. Suppose -2*r + w*s + 367 = 0, -3*s = -4*r - 0*s + 755. Is r a multiple of 36?
False
Let j be (4/(-6))/((-2)/(-24)). Is 12 a factor of (11/(-1))/(j/40)?
False
Let u = -507 + 819. Is u a multiple of 5?
False
Is 10 + -3 - (-133 + -2) a multiple of 15?
False
Let b = -1021 + 1255. Is b a multiple of 8?
False
Let h be (-2)/(-6) - (-46)/6. Suppose d = -3*d - h. Is ((-96)/(-20) + d)*5 a multiple of 5?
False
Let c = -316 + 794. Is c a multiple of 54?
False
Let k = 10 - 10. Suppose 5*v - 454 + 14 = k. Does 21 divide v?
False
Suppose c = 5*z - 21, -2*z - 12 = -4*z + 4*c. Suppose 0 = -2*p + 2*d + 70 + 60, p = -z*d + 40. Is p a multiple of 5?
True
Let m(x) be the third derivative of x**6/360 + x**5/15 - x**4/8 - x**3/2 + 4*x**2. Let o(b) be the first derivative of m(b). Does 2 divide o(-9)?
True
Suppose -7*t - 63 = 126. Is 10 a factor of 9/(t/(-12)) - -16?
True
Let w be (-1 + 1)*2/4. Let p = 53 - w. Is 14 a factor of p?
False
Suppose 3*g = 3, -5*i - 2*g + 6 = -6*g. Suppose -x = -5*y - 36 - 15, i*x = -y + 58. Suppose 0 = 2*l - 149 + x. Is 11 a factor of l?
False
Suppose 3*i + 4*i - 4*i = 0. Suppose -60 = -4*s + 4*w, -s + 11 = -i*s + w. Is s a multiple of 3?
False
Let a be 74/(3/3 - 2). Let i = 129 + a. Is i a multiple of 8?
False
Suppose 83 = 2*d + j, 0 = 3*d - 4*j - 105 - 36. Let t = -15 + d. Does 14 divide t?
True
Let r be 2 - 2 - 1 - -3. Suppose -l - 2*l - 15 = 0, -r*l = -3*d + 352. Does 38 divide d?
True
Let j(a) = -a + 2. Let p be j(2). Suppose -u = 5*n - 377 - 27, p = n - 2*u - 72. Is 16 a factor of n?
True
Is 15 a factor of (-1 - 3/6)/((-18)/444)?
False
Suppose 3449 - 369 = 4*a. Is a a multiple of 22?
True
Let w = 321 - 221. Is w a multiple of 3?
False
Suppose -41*k + 1833 = 5*g - 44*k, -3*k = 5*g - 1827. Is 5 a factor of g?
False
Suppose 5*x - 110 = -3*c, 4*c = 5*x + 107 + 98. Let p = 93 - c. Does 48 divide p