(-12) - (-700)/t?
False
Suppose -59*r + 63*r - 7996 = -4*v, 0 = -3*r + 12. Is v a multiple of 19?
True
Let y(h) = -h**2. Let o(p) = -6*p**2 + 2*p - 21. Let d(m) = -o(m) + 5*y(m). Does 27 divide d(-13)?
True
Let g = -58 + 58. Let w be 2/7 - (-285)/7. Suppose -2*y - 2*d + 4 = g, 2*y = -y + 4*d + w. Is y a multiple of 3?
False
Does 12 divide 139845/165 - 12/22?
False
Suppose -3*g = -2*g - 4. Suppose -2*i = -2*a - g, a = 2*a - 2*i + 2. Does 18 divide (a + 3 - -65) + -3?
False
Let r be (-626)/(-2) - (-3 + (3 - 2)). Suppose -3*g + 373 = k, -4*k - 83 - r = -3*g. Does 21 divide g?
True
Suppose 0 = f - 5*t - 71 - 14, 3*f - 4*t = 266. Suppose 4*i - f = -2*r, 5*r - i - 88 - 104 = 0. Does 13 divide r?
True
Suppose 3*w = -2*w + 65. Is 6 a factor of (13/(w/(-2)))/((-1)/6)?
True
Suppose 0 = -2*z - 3*l + 278, -5*z - 4*l + 251 + 444 = 0. Let d(m) = 2*m - 7. Let x be d(6). Suppose -4*f + 119 = f - 4*v, z = x*f + v. Is f a multiple of 13?
False
Let f = -502 + 1663. Is 27 a factor of f?
True
Suppose 5*x - 33 = 7. Suppose -x*s + 167 = 47. Is s a multiple of 5?
True
Suppose -p - 3*i = -204, 4*p - 430 = -3*i + 341. Does 21 divide p?
True
Suppose -2*f - 2*f + 8 = 0. Suppose -f*x + 420 = 126. Does 7 divide x/9 + 6/9?
False
Let t = -268 - -672. Is t a multiple of 17?
False
Let h(q) = 280*q + 10 - 15 + 7. Let i be h(1). Let v = i + -170. Does 28 divide v?
True
Suppose -i - 3*h + 3284 = 4*i, -h = -5*i + 3292. Is 14 a factor of i?
True
Is 16 a factor of 8/((-112)/(-21)) + 207/2?
False
Suppose 2*n = -3*n + 60. Is n a multiple of 12?
True
Suppose 8*d + 4 = 4. Suppose -3*y = -3*w + 4*w - 390, 2*y + 3*w - 267 = d. Is 43 a factor of y?
True
Is 3*(6292/(-33))/(-13) a multiple of 3?
False
Let g = 1243 - 464. Is g a multiple of 19?
True
Let q(c) = 9*c - 13. Let w(j) = -9*j + 13. Let d(s) = 5*q(s) + 6*w(s). Does 7 divide d(-4)?
True
Suppose 13*u - 3584 = 16306. Is 68 a factor of u?
False
Let l = -57 + 112. Let c = l - 29. Suppose -3*m - 2*t = -4*m + c, 4*t = -4*m + 92. Does 12 divide m?
True
Let q be (-1 - 1)*(-153)/(-18). Let i = q + 37. Does 5 divide i?
True
Let o = 570 - 323. Is 6 a factor of o?
False
Suppose -5*y + w - 3*w + 10 = 0, w = 0. Let i(v) = 2*v + 7*v - 3*v + y*v**2 + 2. Is 2 a factor of i(-4)?
True
Suppose 5*l = -4*u - 13, 2*u + 3*l = -l - 14. Suppose 0 = -4*d + 12, 5 = 2*r - u*d - 6. Suppose m - r = 3*o + 20, 120 = 4*m + 4*o. Is 15 a factor of m?
True
Suppose -7*q = 357 + 210. Let m = -55 - q. Is m a multiple of 11?
False
Let w(r) = 39 - 63 - 9*r + 20. Let x(i) = -i**3 + 6*i**2 - 3. Let b be x(6). Is w(b) a multiple of 14?
False
Let b(f) = -f**2 + 21 - 2 + 2*f + 26*f + 2. Does 17 divide b(23)?
True
Let v = 1409 - 1412. Let y(o) = 0*o**3 - 4*o**3 + 2*o**2 + 3*o**3 - 3*o. Is y(v) a multiple of 27?
True
Let m = -80 + 83. Does 28 divide 1195/20 - m/4?
False
Suppose l + 4*x = 314, 1300 = -8*l + 12*l + 5*x. Is l a multiple of 33?
True
Let r(p) = -4*p**2 + 28*p + p**2 - 20*p + 2*p**2. Let i be r(8). Suppose -2*u + 4*u = -4*h + 16, i = 3*u + 5*h - 28. Is 8 a factor of u?
True
Suppose 2*n + 2*n + 28 = 5*h, 0 = 2*n + 4. Let g = 0 + h. Suppose 5*p - 4*m = 44, 3*p + 2*m = g + 40. Does 12 divide p?
True
Suppose -2*v + 3*y = -y - 444, -2*v = 5*y - 489. Let c = -134 + v. Is c a multiple of 8?
False
Suppose 0 = -4*y + y + 36. Suppose 2*o = 4*o - y. Is o a multiple of 3?
True
Is (-1 - 59)*(5 + 3419/(-52)) a multiple of 8?
False
Let o(p) = 115*p**2 + 7*p + 42. Is 22 a factor of o(-5)?
True
Suppose 0 = -31*k + 13 - 75. Let y be (2/(-2) - 0)*-32. Let m = y - k. Is m a multiple of 18?
False
Suppose 2*y - 4*k - 19 - 5 = 0, -3*k - 43 = -4*y. Is 11 a factor of (-4)/((-3)/(165/y))?
True
Let b(s) = 13*s - 2. Let i be b(1). Let f be -13 + i - (-5)/1. Let x = f - -15. Is x a multiple of 5?
False
Let g(t) = 5*t**2 - t + 2. Let b be g(2). Let h = b - 28. Is ((-28)/h - 3)*114 a multiple of 19?
True
Let g(v) be the first derivative of -3*v**5/40 - v**4/24 + 2*v**3 + 7. Let d(r) be the third derivative of g(r). Does 17 divide d(-2)?
True
Let k be -8 + 10/(-3) + 13/39. Let s(r) = -r**2 - 16*r - 3. Is 9 a factor of s(k)?
False
Let y be 0/((-2)/2*-2). Suppose 26*n - 25*n - 24 = y. Is n a multiple of 13?
False
Suppose -392*r + 435*r = 15480. Is 24 a factor of r?
True
Let m = -73 - -88. Is (-75856)/(-330) - (-2)/m a multiple of 16?
False
Let w = -32 + 61. Suppose -w - 197 = 3*c + 5*z, 0 = 2*c + 2*z + 156. Let h = c - -138. Is h a multiple of 7?
True
Let x = 267 - 250. Suppose -n + 2 = -0. Suppose -x = -q - i + n*i, 3*q - i - 41 = 0. Does 5 divide q?
False
Suppose -14*o + 17*o = 777. Let k = o - 151. Does 35 divide k?
False
Let y be (-5)/7 + 40/(-140). Is 33 a factor of (y + -590)/(-3) - -1?
True
Let h = 199 - -148. Is 3 a factor of h?
False
Let z = -21 + 36. Is 5 a factor of 141/5 + (-3)/z?
False
Let n(y) = -y**2 - 5*y - 2. Let o be n(-4). Is 3 a factor of (2/o)/((-2)/(-24))?
True
Let g(i) = -i**2 - 4*i - 2. Let v be g(5). Let b be (316/16)/(3 - (-11)/(-4)). Let a = b + v. Is a a multiple of 16?
True
Let p = 10 + 6. Suppose x + p = 120. Let i = x - 55. Is i a multiple of 16?
False
Let n = -197 + 235. Does 3 divide n?
False
Let b = -396 + 489. Is b a multiple of 31?
True
Let v(f) = -f**3 + 4*f + 6. Let a be v(-4). Let r = a - 46. Is 7 a factor of r?
False
Suppose 4*h - 1902 = -2*j - j, 627 = j - h. Suppose -j = -3*c - 7*c. Is c a multiple of 8?
False
Let d = 111 + -63. Let h be d/16*(-80)/6. Let y = 67 + h. Is 9 a factor of y?
True
Let g be (-180)/(-16) + 1/(-4). Let m(h) = -h**2 - 5*h + 7. Let x(n) = 3*n**2 + 9*n - 14. Let b(c) = 5*m(c) + 2*x(c). Is 17 a factor of b(g)?
True
Let a be 31/2 + 2 - 3/6. Let l(u) = -u**3 + 16*u**2 + 26*u - 29. Is l(a) a multiple of 31?
True
Let n(r) = -112*r - 56. Is n(-8) a multiple of 84?
True
Suppose 18*q - 4196 = 8962. Does 17 divide q?
True
Suppose 2*n = 7*n. Let h be (n - (-2)/1) + 3. Suppose 0 = -h*d + 12 + 53. Is d a multiple of 3?
False
Let u(v) = -v**3 + 24*v**2 + 5*v + 52. Is 37 a factor of u(12)?
False
Suppose 3*c - 7*c - 152 = 0. Let y = 106 + -171. Let n = c - y. Does 9 divide n?
True
Suppose 0 = -4*g - 0*g. Suppose -r + 5*j + 127 = g, -j + 0*j = -2. Does 22 divide r?
False
Suppose 2*v - 3*v = 14. Let k be (-8)/6 + v/21. Does 13 divide (-26)/(k + 3 + -3)?
True
Let a be 13489/49 - 6/21. Suppose 9*m - a = -59. Is m a multiple of 3?
True
Suppose 6*b + 3*b - 8910 = 0. Does 47 divide b?
False
Let n(v) = -42*v - 69. Does 15 divide n(-17)?
True
Let o(u) = -2*u + 2. Let i be o(-3). Let j(p) = p**2 + 2*p - 10. Does 35 divide j(i)?
True
Is 5/(10/3501) - 20/8 a multiple of 23?
True
Suppose 104 = 4*w + 4*k, -2*w + w + 3*k + 42 = 0. Is w + 0 - (-1)/(-3 - -2) a multiple of 8?
False
Let j(h) = h**3 + 8*h**2 - 3*h + 2. Is 6 a factor of j(-4)?
True
Let g = -21 + 23. Let y(p) = -12 - 15*p + 3*p + 8*p + 9*p**g - p**3. Is y(6) a multiple of 12?
True
Let u = -366 - -518. Is u a multiple of 10?
False
Suppose -11*j + 1640 = 34. Does 54 divide j?
False
Let k = 54 - 37. Suppose -k*a + 55 = -12*a. Is 5 a factor of a?
False
Let d(g) = -g**3 + 9*g**2 - 9*g + 14. Let y be d(8). Suppose 0 = -y*i + 761 + 751. Is i a multiple of 28?
True
Is 17/((-1)/(-264)*11) a multiple of 51?
True
Let h = 15 + -6. Suppose 0 = -4*t, h*z - 245 = 4*z + t. Is 19 a factor of z?
False
Let v = -49 + 66. Suppose -22*t = -v*t - 75. Does 12 divide t?
False
Suppose -5*x - 1488 + 8418 = 0. Does 33 divide x?
True
Let t(v) = -v**3 - v. Let o be t(0). Is 12 a factor of (-2 - (-1 + o))/((-1)/36)?
True
Let i(j) = 135*j**3 + 2*j**2 - 2*j + 1. Suppose 5*s - 15 = 0, -5*s - 12 = -2*y + 15. Let f = y - 20. Is i(f) a multiple of 34?
True
Let a(p) = p**2 + 12*p - 90. Does 11 divide a(16)?
False
Let k(h) = -h**2 - 3*h. Let g be k(-4). Let b be (-1)/(-2*(-2)/g). Let i(j) = 29*j - 2. Is i(b) a multiple of 6?
False
Let u = 51 - 41. Suppose u*d = d + 648. Is d a multiple of 9?
True
Does 5 divide (-25680)/(-135) + 4/(-18)?
True
Let c(m) = -m**2 + 8*m - 12. Let s be c(5). Suppose -3*y + y = l - s, -y + 4*l = -6. Suppose -y*p + 21 = v - 5*p, 32 = 2*v - p. Is 11 a factor of v?
False
Let q(u) = -108*u + 1. Let y be q(-1). Let d = 191 - y. Let g = -43 + d. Does 13 divide g?
True
Let g(a) = -a**3 - 10*a**2 + 13*a - 9. Let z be g(-12). Suppose -5*x + z = -2. Is 3 a factor of x?
False
Let b(l) = 3*l + 52. Let f be b(-17). Let t(x) = 18*x**