be r(1). Is c/b*2/2 a multiple of 3?
True
Let x be (-1)/(2/(-6)) - -20. Let f = -10 - x. Let t = 1 - f. Is t a multiple of 17?
True
Suppose 0 = 4*d - 8, 2*h + 2*h - d = 226. Does 6 divide h?
False
Is 22/(-110) - (2 - 38643/15) a multiple of 9?
True
Suppose 0 = f + f + n + 17, 0 = -2*f + 3*n - 5. Let p = f - -7. Suppose p = -9*z + 13*z - 24. Is z even?
True
Let r(a) = 114*a + 624. Is 55 a factor of r(12)?
False
Suppose a = a - 4*a. Suppose 2*k - 439 - 41 = a. Does 23 divide k?
False
Let z(i) = -i**2 + 6*i + 176. Is 23 a factor of z(11)?
False
Suppose 3*p = -2*w + 4869 + 3061, 5*p = 2*w - 7946. Does 16 divide w?
True
Let b(q) be the first derivative of 2*q**2 + 6*q + 5. Let k(p) = p**3 + 8*p**2 + 6*p - 2. Let i be k(-7). Is 17 a factor of b(i)?
False
Suppose 0 = 2*n - 5*m - 0*m - 2, n - 4*m - 1 = 0. Suppose -7 + n = -6*c. Is c*3*(-27)/(-9) even?
False
Let p = 12 + -4. Let n(w) = w**2 - 5*w - 15. Let c be n(p). Is 42/(-4)*(-24)/c a multiple of 15?
False
Is 3 a factor of (-369)/(-12)*48/9?
False
Suppose -4*u = -u - 6, -3*q = u - 17. Let l(f) = -f**3 + 7*f**2 - 2*f + 4. Is 32 a factor of l(q)?
False
Suppose -f + n + 106 = 0, -n = 2*n + 9. Let i = 151 - f. Does 6 divide i?
True
Suppose 2*r = -2*r. Suppose r = 3*z - 439 - 95. Let f = z - 115. Is f a multiple of 16?
False
Let s(y) = y**2 + 14*y + 26. Let h(f) = 2*f**2 + 27*f + 51. Let j(r) = 2*h(r) - 5*s(r). Does 8 divide j(-10)?
True
Let p(a) = -12*a - 15. Let f be p(-15). Suppose -5*m = -2*m - f. Is m a multiple of 8?
False
Let f = 60 + 253. Suppose 4*o - f = 119. Is (-2)/(-1 - (-104)/o) a multiple of 18?
True
Let a be 4 - 1 - (-2 + -32). Let b = -96 + 68. Let d = a + b. Is 7 a factor of d?
False
Let s be (-1)/((-2 - 1)/12). Let r = -51 + 131. Suppose -4*z = s*z - r. Is 3 a factor of z?
False
Let c = 0 - -3. Suppose -c*i + 280 = 19. Is i a multiple of 8?
False
Let o = 1 + 5. Suppose 4*v = o*v. Suppose v = 4*z - 42 - 54. Is z a multiple of 7?
False
Suppose -5*x - 181 = -16. Let q = x - -59. Is q a multiple of 10?
False
Suppose 8 = -5*v - 4*t, -3*t = v + 2*v + 6. Suppose v = s - 7*s + 156. Is s a multiple of 14?
False
Let k be (6 - (-32)/(-5))/(2/10). Does 7 divide (5 + (-49)/14)*(-56)/k?
True
Suppose 0*r - 4*r + 8 = 0. Suppose -180 = -0*h - r*h. Suppose 5*s - h = -0*s. Does 9 divide s?
True
Suppose -3*i - 2*c = -523, i - 4*c = 266 - 87. Let x = 5 + i. Is 20 a factor of x?
True
Let k(y) = -y + 0*y**2 + 144 + 3*y**2 - 139. Is k(-4) a multiple of 5?
False
Let k(b) = -36*b + 27. Is 15 a factor of k(-13)?
True
Let h = 259 + 262. Let n = h + -233. Does 12 divide n?
True
Let x = 3 - 3. Suppose 2 = j, -3*w + j + 376 = -x*w. Is 18 a factor of w?
True
Suppose -5*r - y + 52 = 0, 5*r + 4*y - 43 = -0*y. Suppose -3*k + 49 = 2*v, 0 = -3*k + 4*v + 8 + r. Let h = 17 + k. Does 15 divide h?
True
Let o(x) = x**3 + 5*x**2 + 5*x + 6. Let s be o(-4). Let t be (15/(-6) + s)*-6. Suppose t*y = 163 - 55. Does 12 divide y?
True
Let c(r) = 113*r - 5. Let m be c(5). Suppose -8*u = -3*u - m. Suppose -u = -0*k - 4*k. Is 20 a factor of k?
False
Let z(w) = 3*w**2 + 8*w - 16. Does 9 divide z(5)?
True
Let f = 6 + 2. Suppose -7*v = -f*v. Let m = v + 14. Does 7 divide m?
True
Let k = 46 + 98. Let h = k + -63. Is 13 a factor of h?
False
Suppose -z + 4693 = -3*u + 1228, 5*z - 17377 = 2*u. Is z a multiple of 29?
False
Suppose 4*y - 560 = -4*p, 3*p + 2*y - 438 = 5*y. Let s = -47 + p. Does 16 divide s?
True
Suppose -3*i + 4*l = -14243, -20*i + 9488 = -18*i + l. Does 142 divide i?
False
Suppose -3*y + 3*t = -450, 23*y - 609 = 19*y + t. Is y a multiple of 17?
True
Is 618/(-2)*(-36)/54 a multiple of 14?
False
Suppose -11*q - 30 + 2934 = 0. Does 12 divide q?
True
Let q be 22/6 - (-2)/6. Suppose q*k + 31 = 11, 2*a - k = 115. Is 11 a factor of a?
True
Let b = 30 - 30. Suppose b = 2*a - 5*s - 511, -s + 2 = -3*s. Does 33 divide a?
False
Let n(k) = -k**3 + 5*k**2 + 2. Let y be n(5). Suppose -y*f + 5*r + 331 = -33, -2*r = 4*f - 680. Is f a multiple of 43?
True
Let l be (-184)/40 + (-3)/(-5). Let p(f) = f**3 + f**2 - 11*f - 5. Let u be p(l). Let w = u + 81. Is w a multiple of 18?
True
Let o(g) = g**2 - 7 - g**2 - g**2 + 7*g + 2*g**2. Let u be o(-7). Is (-292)/(-7) - 2/u a multiple of 11?
False
Is (-11)/55 + 3691/5 a multiple of 3?
True
Let m(j) = j - 8. Let a be m(7). Let u be a/5 + (-465)/(-75). Suppose u*d - 90 = d. Is d a multiple of 7?
False
Suppose 4*c - 4*l - 140 = 0, -17 = 4*c + 5*l - 139. Suppose -28*p = -c*p + 1000. Is p a multiple of 30?
False
Let m(x) be the first derivative of 5*x**3 - 3*x**2/2 - 3*x - 2. Is 9 a factor of m(-2)?
True
Let j be ((-5)/4)/((-5)/60). Let k = j - 0. Does 15 divide k?
True
Let w be 46/(-10) - 6/(-10). Let l = -44 + 11. Let b = w - l. Does 13 divide b?
False
Suppose -46 = -5*g - 2*h + 470, 2*h = g - 96. Let k = g + -38. Is k a multiple of 35?
False
Let c be (-1*8)/(-4)*10. Let w be c/(-6)*6/(-4). Suppose 100 = w*o + 5*l, 4*o + 2*l - 49 - 23 = 0. Does 5 divide o?
False
Suppose 3875 = -30*c + 61*c. Is 19 a factor of c?
False
Let b(i) = -47*i + 298. Is b(-10) a multiple of 6?
True
Let i(d) = 11*d**3 + 1 + 148*d**2 - 150*d**2 + 3*d + 2*d**3. Let n(u) = 13*u**3 - u**2 + 2*u + 1. Let g(s) = -5*i(s) + 6*n(s). Does 23 divide g(2)?
True
Let o(w) = 9*w**2 - 3*w + 25. Is o(-6) a multiple of 55?
False
Let i(s) = -s**2 + 41*s - 104. Does 26 divide i(26)?
True
Suppose -2*l + 715 = -9*g + 8*g, 0 = -3*l - 4*g + 1100. Does 5 divide l?
True
Suppose 3*u = -5*k - 26, -k - 12 = -0*u + 4*u. Let q be (u/6)/(1/(-15)). Let o(v) = -v**3 + 7*v**2 - 3*v + 5. Is 10 a factor of o(q)?
True
Let n(t) = -t**3 - 6*t**2 + 3*t - 5. Is n(-8) even?
False
Let n = -790 + 883. Does 29 divide n?
False
Suppose -100 = 35*y - 40*y. Is y a multiple of 7?
False
Suppose 14*z = 680 + 4556. Is 17 a factor of z?
True
Let k = 70 - -77. Let d be (k/12)/(1/4). Suppose 0 = 4*j - d - 83. Does 11 divide j?
True
Let v(f) = -1 + 3*f**2 + 2*f**2 - 4*f**2 - 7*f + 13. Is v(7) a multiple of 3?
True
Let o(m) = -m + 13. Let l be o(9). Suppose 3*w - 4 = -5*y + 6, 0 = -3*w + l*y - 8. Suppose w = 4*c - c - 18. Does 3 divide c?
True
Let c = 1374 - 228. Is 32 a factor of c?
False
Suppose 62*v + 3699 = 71*v. Is 23 a factor of v?
False
Suppose -6*w + 3320 = -12172. Is 59 a factor of w?
False
Suppose -130200 = -80*n + 20*n. Is n a multiple of 31?
True
Let r(c) = 11*c - 3. Suppose y = -5*l + 24, 0 = 5*y + l - 2*l - 68. Let d = y - 11. Does 9 divide r(d)?
False
Let t(n) = -4*n + 4. Let a(v) = 7*v - 9. Let y(m) = 3*a(m) + 5*t(m). Let x be y(7). Suppose x = -f - 3, d + 4*d + f - 17 = 0. Does 2 divide d?
True
Suppose -5*l = -4*l + 2*s - 199, s = 3*l - 562. Is 3 a factor of l?
True
Let x = -50 - -147. Let a = x + -73. Does 16 divide a?
False
Suppose 0 = 5*g - 13*g + 4376. Suppose 37 = -4*c + 4*k + 481, 5*c + 3*k = g. Is c a multiple of 22?
True
Suppose -2*q = -2*u - 0*q - 260, -3*q = -4*u - 518. Is ((-4)/(-14) + (-9)/7)*u a multiple of 8?
True
Suppose 0 = -7*v + 369 + 5616. Is 18 a factor of v?
False
Let i be (-5)/5 + (6 - 12). Let c = -1 + 0. Is 21 a factor of 6/(c - 9/i)?
True
Let s(q) = -q**3 - 34*q**2 - 60*q + 40. Is 10 a factor of s(-33)?
False
Let h(c) = -c**3 + 9*c**2 - 4*c - 11. Let a be h(6). Let r = a - 40. Is 11 a factor of r?
True
Let f be 82/7 + 2/7. Suppose -4*q = -3*r + 12, 3*r - q - 2*q = f. Suppose -32 - 28 = -4*o + 2*l, 4*o + r*l = 60. Is 15 a factor of o?
True
Let b(x) be the third derivative of -x**5/60 + 23*x**4/24 + 5*x**3/3 + x**2. Is 8 a factor of b(14)?
True
Suppose 5*g = -3*g + 24. Suppose -3*z + 18 + 36 = 2*c, z + g*c - 18 = 0. Is z a multiple of 6?
True
Suppose -5*r - 3*q + 0*q = -1401, 4*r - 1124 = -4*q. Is 15 a factor of r?
False
Let g = 98 - 93. Suppose 5*m - 985 = -3*d, g*m - 3*d - 1010 = -d. Is 25 a factor of m?
True
Let x(b) = 2*b**3 - 6*b**2 - 3*b - 20. Does 5 divide x(5)?
True
Let a = 269 + -129. Let v = -95 + a. Is 5 a factor of v?
True
Let p(q) = -q - 8. Let v be p(-11). Does 4 divide (-63)/(-9) + v*-1?
True
Suppose 48 = -2*v - 4*t, -5*v + t = 3*t + 112. Let b = 42 + v. Does 11 divide b?
False
Let n(g) = g**3 + 4*g**2 - 14*g - 11. Suppose -5*i - 35 + 10 = 0. Does 10 divide n(i)?
False
Let y(i) = -16*i + 56. Let p = -133 + 120. Is y(p) a multiple of 21?
False
Let y(z) = -5*z + 3. Let x be y(3). Let c = x + 11. Is 16 a factor of 8/(c/8*-2)?
True
Let z(o)