 of v?
False
Suppose 0 = -4*v - 0*v - 2*c + 1422, v - 363 = 2*c. Suppose 5*u - 373 = v. Is 31 a factor of u?
False
Suppose -11*v = -37 - 29. Suppose -v*o = -347 - 19. Is 16 a factor of o?
False
Let p be 115 + -11 - 0/1. Let l = p - 57. Is l a multiple of 11?
False
Suppose 0 = 5*n - 84 - 36. Suppose -3*o + m = 14 + 6, n = -4*o + 2*m. Let i(f) = -f**2 - 12*f + 8. Is 10 a factor of i(o)?
True
Suppose 2*o = -8*r + 9*r - 1148, 4*r - 4577 = 3*o. Does 38 divide r?
False
Suppose 5*s + 4 = -16. Is s + (-93)/(4 - 7) a multiple of 10?
False
Suppose -5*x = -5*w - 5, -5*w - 4*x - 12 = -w. Let z(a) be the second derivative of -3*a**5/10 - a**4/12 - a**3/6 + a**2/2 + a. Is 15 a factor of z(w)?
False
Let i(c) = -1 - 2 - 2*c + c. Let z be i(-6). Suppose v + 3*d = 6*v - 256, 168 = z*v + 3*d. Is 24 a factor of v?
False
Let g(j) = j**2 - 3*j + 8. Does 13 divide g(-42)?
True
Let b(x) = x**2 - 8*x + 6. Let d be b(7). Let s be ((-3)/(-6))/(d/(-24)). Is (s/2)/(8/12) a multiple of 3?
True
Suppose 933 = -2*y + 5*y. Suppose -2*m = 2*n - 240, -y = -2*n + 2*m - 71. Suppose -2*r = 4 - n. Is r a multiple of 29?
True
Let q = -14 + -30. Is 22 a factor of (-2)/4*(-2 + q)?
False
Let z(b) = -b + 15. Let q = 3 + -9. Let h = q - -11. Does 10 divide z(h)?
True
Suppose -17*r + 18*r = 5*a - 135, 2*r = -2*a + 66. Let g = 6 + -2. Suppose -3*q + 58 = 4*j, q + j = g*j + a. Does 21 divide q?
False
Suppose r = i - 2*i - 97, i = r - 103. Does 22 divide (-10)/(-2) - (i - 5)?
True
Let y(n) = -12*n - 52. Let x be y(-7). Suppose -i + x - 13 = 0. Is 19 a factor of i?
True
Let y(b) = b + 11. Suppose -g = -v - 2 - 4, -g = 5*v. Suppose g*q + 11 = -19. Is 4 a factor of y(q)?
False
Let s(i) = -4*i - 35. Let m(k) = -16*k - 140. Let c(g) = 2*m(g) - 9*s(g). Is c(8) a multiple of 10?
False
Let s(q) = -6*q - 18. Let o be (-15 - (-10)/5) + 0. Does 15 divide s(o)?
True
Suppose -3*w = 2*a - 0*w + 9, 4*w = -3*a - 12. Suppose -u + 0*u + 110 = a. Does 22 divide u?
True
Suppose -2*u + 20 = -2*m, 0 = -5*m + m - 20. Suppose 515 = u*s - w, 2*w = -4*s - 2*w + 388. Is s a multiple of 15?
False
Suppose 571 = -6*y + 2011. Suppose 3*j = 9*j - y. Does 10 divide j?
True
Suppose -1845 - 10695 = -22*p. Does 10 divide p?
True
Suppose 4*b + 5*r - 444 = 4*r, 4*r = -4*b + 444. Let l = 125 - b. Is l a multiple of 6?
False
Let u(j) = j**3 - 17*j**2 - 25*j - 35. Let r(w) = -w**3 - 11*w**2 - 12*w - 1. Let t be r(-10). Does 53 divide u(t)?
True
Suppose -8*z + 8941 = -6915. Does 31 divide z?
False
Suppose 2*j - 50 = -2*g - 3*g, g = -3*j + 23. Let h be (0 + 4/g)*-134. Let m = h - -160. Is m a multiple of 26?
False
Let g(c) = 8*c**3 + 3*c**2 - 3*c + 7. Is g(2) a multiple of 7?
True
Let s = 290 + -468. Let j = -129 - s. Is 7 a factor of j?
True
Let b(s) = -s**3 - 49*s**2 - 54*s + 32. Does 8 divide b(-48)?
True
Let q(a) = -65 + 127 - 27*a - 66. Suppose 0 = -5*d - 3 - 7. Is 10 a factor of q(d)?
True
Let j = 5428 - 2981. Is 93 a factor of j?
False
Let j = -32 + 90. Is j even?
True
Let y(r) = -73*r - 145. Let t(w) = -37*w - 72. Let a(s) = 13*t(s) - 6*y(s). Is 24 a factor of a(-6)?
True
Suppose -3*c + 1365 = 3*z, 5*c = -3*z - 0*z + 2275. Suppose -5*k + c = 165. Does 12 divide k?
False
Let u(d) = -99*d - 1. Let y be u(-1). Suppose 0 = -3*f - y + 440. Is 22 a factor of f?
False
Suppose 4*a = f + 19, -f - 3 = 3*a - 12. Suppose -5*b = -2*h - 140, 4*h = -a*b + 8*h + 124. Is b a multiple of 26?
True
Suppose -63 - 145 = -r. Let d = r - 48. Is d a multiple of 40?
True
Let f(l) = -l**2 + 2*l + 4. Let v be f(4). Let d be (4/(-6))/(v/1194). Let w = d - 142. Is 25 a factor of w?
False
Let h(u) = -262*u + 196. Does 24 divide h(-2)?
True
Let n = 31 + -27. Suppose -q - 13 = -5*i, -n*q + 17 = i + 6. Suppose 4*d + 84 = 2*a, -i*a = -0*a - 4*d - 118. Is a a multiple of 13?
False
Is 17 a factor of (-11 + 21)*((-57)/(-6))/1?
False
Let q be -1 - (-1)/(1/32). Suppose -q = -3*k - p - 14, -3*k + p = -13. Suppose 4*h = 4*i - 184, 0 = 2*i - 4*h + k*h - 86. Is i a multiple of 13?
False
Let t = 173 + 76. Let a = -134 + t. Is 23 a factor of a?
True
Let f be 74/14 - (-6)/(-21). Let r(w) = -4*w + 0*w**2 + 0*w - w**3 + 4 + f*w**2. Is 2 a factor of r(4)?
True
Let h be (-12)/(-1 - 3)*-1. Let l(s) = -s**3 + 3*s**2 - 3*s. Let x be l(h). Suppose 0 = -w + 2*w - x. Is w a multiple of 21?
True
Suppose 2*w + 13 = 71. Is 4 a factor of w?
False
Suppose -2*b + 1 = 4*n - 25, -46 = -4*b - 5*n. Suppose 0 = 5*u + 4*c - 693, 0*c - 3*c - b = 0. Is u a multiple of 21?
False
Is -1 - -78 - (-4 + 3 + -3) a multiple of 54?
False
Let v = 12 + -25. Let t = -6 - v. Suppose -3*s - 44 = -t*s. Is s a multiple of 8?
False
Suppose y - 2*f - 3812 = -994, -14082 = -5*y + 2*f. Does 12 divide y?
False
Let r = -5957 + 9191. Is 147 a factor of r?
True
Suppose 0 = -d - 2*q - 3, d + 4*q = -0*q + 3. Suppose -4*y + 0*p = 5*p - 13, -3*y - p = -7. Let o = y - d. Is 5 a factor of o?
False
Let o(j) = -j + 14. Let b be o(9). Suppose 2*v - b*r = 13, -r - 2*r - 9 = 0. Is 15 a factor of 90 + v - -2 - 1?
True
Let y(n) = -n**3 + 4*n**2 - 5*n + 7. Let b be y(3). Let i be -2*10/(-4)*b. Suppose -2*m = i*p - 147, -4*p + 6*m - m = -111. Is 6 a factor of p?
False
Let w = 414 - 339. Is 13 a factor of w?
False
Suppose 0*i - 3*g = -2*i - 24, 3*g - 12 = 0. Let k be (-3)/(-1*(-9)/i). Suppose 4*o - 3*m = m + 148, -k*m + 6 = 0. Is o a multiple of 10?
True
Suppose -2*p + 6600 = 13*p. Suppose 5*w + 4*y + y = p, 0 = -5*w - y + 452. Is 13 a factor of w?
True
Let q(x) = -2*x - 15. Let t = 3 - 13. Let j be q(t). Let a(s) = -s**3 + 5*s**2 + 6*s - 7. Is a(j) a multiple of 5?
False
Suppose 0 = -0*x + x - 332. Is x a multiple of 83?
True
Let c(l) = -l**3 - 6*l**2 - 4*l - 17. Let s be c(-8). Suppose 2*m = 217 + s. Does 36 divide m?
True
Let u(j) be the first derivative of j**2 + 16*j - 1. Suppose -2*q = 2*z - 30, q - 19 = -7*z + 2*z. Is 11 a factor of u(q)?
True
Suppose 4*o + 0*b - 895 = -5*b, 4*b + 1088 = 5*o. Does 20 divide o?
True
Let q = -4239 + 6237. Is q a multiple of 54?
True
Suppose 0*c = 5*c - 4*n - 131, -2*c = 5*n - 59. Does 12 divide c?
False
Let x = -70 + 148. Suppose v = 2*v - x. Suppose -g + v = 2*g. Is g a multiple of 9?
False
Suppose 3*g + 3*d + 3 + 3 = 0, -2*g + d = -11. Let t(x) = 4*x**2 - 5*x - 7. Is t(g) a multiple of 3?
False
Let f(r) = 2*r**2 + 127*r - 45*r - 43*r - 43*r. Is f(5) a multiple of 4?
False
Suppose -130 = 4*d - 150. Suppose -d*m + 285 = -605. Is 39 a factor of m?
False
Suppose 2*m = -2*k - 31 - 1, -3*k = -4*m - 43. Let c = -11 - m. Let t(o) = 7*o**3 - 2*o + 3. Does 21 divide t(c)?
False
Suppose 4*o = 3*u + 3511, 5*u = 9*u + 4. Does 114 divide o?
False
Let f = 43 + -12. Let s = f - 19. Is 3 a factor of s?
True
Suppose 15*x - 12*x = -27. Does 6 divide (-6)/x - 1/((-6)/212)?
True
Suppose 0 = -332*t + 330*t + 1158. Is 12 a factor of t?
False
Suppose -4*x = 4*s - 5*x - 137, 2*s = -3*x + 65. Suppose 3*l = -g - 28, 2*g + 4*l + 44 = -2. Let z = g + s. Does 7 divide z?
True
Let d = -5 - -7. Suppose d*j = -m + 4*j + 54, 0 = 2*m - j - 99. Is 16 a factor of m?
True
Let z = 1158 + -223. Is 5 a factor of z?
True
Let u(n) = 20*n**2 - 4*n - 7. Let k be u(5). Suppose -o = 4*o + 4*a - k, 3*o = -5*a + 289. Is o a multiple of 26?
False
Let i(x) = -x**3 - x**2 + 44. Suppose 2*h + 25 = -r + 6*r, 0 = 4*h + 5*r - 25. Suppose h = 3*b - 2*b. Is 10 a factor of i(b)?
False
Let s be ((-27)/6)/((-3)/160). Suppose 9*t = 12*t - s. Does 23 divide t?
False
Suppose -5*s - 229 = 211. Let q = s - -125. Is 11 a factor of q?
False
Suppose -4*g - 3*y + 0*y + 3 = 0, 5 = 3*g + 5*y. Suppose 2*r - 1 - 29 = g. Is r even?
False
Is 7007/65 - 2*(-2)/20 a multiple of 9?
True
Let k = -84 - -154. Is 9 a factor of k?
False
Suppose 11*d - 9*d - 40 = 0. Suppose 0*j - 5*j + d = 0, 5*n - 517 = -3*j. Does 16 divide n?
False
Let r(g) = 67*g**2 - 12*g - 26. Does 14 divide r(-2)?
True
Let s = -102 - -111. Let p(h) = 12*h + 22. Does 10 divide p(s)?
True
Let r(j) = -19*j - 45. Is r(-9) a multiple of 9?
True
Suppose -k + 18 = 2*k. Let l be (-50)/(-15) - k/(-9). Is 16 a factor of (-6)/15*l*-10?
True
Let m = 847 - -193. Does 65 divide m?
True
Suppose -6*a - 48 = -858. Is 27 a factor of a?
True
Suppose 0 = 7*k - 2*k - 20. Suppose k*z = 20, 2*i - 9 - 74 = -3*z. Let g = i + -8. Is 13 a factor of g?
True
Let g be -1 + 2 + (-135 - -5). Let x = g + 384. Is x a multiple of 17?
Tr