s a multiple of 32?
False
Let z be 33 + 1/1 + 1. Let c(w) = -w**3 + 7*w**2 - 19. Let x be c(6). Let q = z - x. Does 5 divide q?
False
Let c = 412 + -407. Suppose -c*p = 3*s - 3686, -4*s + 2431 = 3*p + 215. Is 46 a factor of p?
True
Suppose 0 = -y + 22 + 8. Let v(h) = -30*h - 13*h**2 - y + 9 - 37*h + 90*h + h**3. Is 8 a factor of v(12)?
False
Suppose 5*k + 13*s = 12*s + 194, -s = -k + 34. Suppose 4*a - 10 = k. Does 3 divide a?
True
Let g(o) = 16*o**2 - 8*o + 35. Is 5 a factor of g(13)?
True
Let c(z) = -z**3 - z**2 + 9*z - 31. Let k be c(-7). Suppose h - k = n, 2*h - 3*n - 2*n - 388 = 0. Is h a multiple of 10?
False
Let k(n) = -8*n - 34. Let q(p) = -3*p**2 + 13*p - 4. Let f be q(5). Is k(f) a multiple of 3?
True
Suppose -2*w = -3*r + 22561, 2*r + 20*w - 15046 = 22*w. Is 45 a factor of r?
True
Let v(c) = -183*c + 189. Let w be v(5). Let l = -26 - w. Is 70 a factor of l?
True
Suppose -137*t = -132*t - 30, -2*m + 11*t = -1418. Does 14 divide m?
True
Let k = -824 + 9413. Is 39 a factor of k?
False
Suppose -3*a + 232 = 217. Suppose 738 = 4*f + j + 54, a*f = -3*j + 855. Does 9 divide f?
True
Suppose 2*c = -r + 441, 5*r = -28 + 13. Let u = c + 8. Is u a multiple of 10?
True
Let p be (-2)/(1*((-3)/123)/(-1)). Is (-8)/(12/(-3)) - (0 + p) a multiple of 6?
True
Suppose -21 + 45 = -8*a. Let k = 18 + a. Does 5 divide k?
True
Suppose y = -l + 4, -3*y = -6*y + 2*l - 8. Let n be -7 + y - -6 - 8/(-2). Suppose 0 = -n*p + x + 328, -x = -0*p + 5*p - 552. Does 22 divide p?
True
Let w be (-3)/6*-1*2*5. Suppose -w*a + 0*a - 100 = 0. Is (-1272)/a + ((-3)/(-5))/(-1) a multiple of 9?
True
Let u = -680 + 1140. Let n = -250 + u. Suppose -n = 15*y - 17*y. Does 21 divide y?
True
Let s be (-2)/17 + (-261)/(-51)*1. Suppose 4*h - b - 1263 = 0, 7 = s*b + 22. Is h a multiple of 7?
True
Suppose 133*h + 2*u + 24558 = 134*h, 3*h - 3*u - 73698 = 0. Does 210 divide h?
False
Suppose 255 + 2328 = -3*g. Let q = 1659 + g. Does 19 divide q?
True
Let a be 23/4 - (-42)/(-56). Let l(h) = -6*h**2 + 9*h - 15. Let t be l(a). Let j = -75 - t. Does 10 divide j?
False
Suppose 4*k - 16*o + 17*o - 31622 = 0, 5*k - 39538 = 4*o. Is 65 a factor of k?
False
Let y(u) = -458*u + 1753. Is 13 a factor of y(-5)?
True
Suppose -109*y - 116337 = 88*y - 2583565. Is y a multiple of 24?
False
Suppose -4*s = j - 9862, -5*s + 17*j - 13*j + 12296 = 0. Is 77 a factor of s?
True
Let k = -266 + 277. Suppose -k = 5*d + 9, 0 = -3*o - 4*d + 578. Does 22 divide o?
True
Suppose 2*i - 20 = -4*b, -5*b = -3*i - 17 - 8. Suppose 2*z - k - 750 = 0, -4*z - 5*k + 1500 = -i*z. Is 24 a factor of z?
False
Is 143/2*1400/770*459 a multiple of 170?
True
Let l(p) = -3*p**3 + 4*p**3 - 4*p**2 - 14*p + 43 - 17 - 12. Let v be l(6). Suppose -v*x - 5*f - 4 = -59, 5*x - 2*f = 65. Is x a multiple of 3?
True
Let h(v) = v**3 - 12*v**2 - 28*v - 10. Let k be h(14). Let x(d) = 2*d**2 - 7*d - 13. Is 18 a factor of x(k)?
False
Suppose -l - 179 = -c - 9759, 38324 = 4*l - 5*c. Does 19 divide l?
True
Let o(y) = -98*y + 2. Let d be o(2). Let k = 317 + d. Suppose 4*r = -k + 339. Does 18 divide r?
True
Is ((-103945)/20)/(-4*(-6)/(-192)) a multiple of 8?
False
Suppose -931*h = -934*h + 3363. Is h a multiple of 53?
False
Let o(x) be the first derivative of -x**5/60 + 5*x**4/12 - 9*x**3 - 41. Let m(y) be the third derivative of o(y). Does 15 divide m(-7)?
False
Suppose 6*g - 5*g + 353 = -b, -702 = 2*g + 3*b. Let l = -278 - g. Is l a multiple of 26?
False
Suppose 0 = 6*y + 6 - 48. Suppose -6*c + 84 = -y*c. Let b = c - -249. Does 15 divide b?
True
Let z = -2396 + 13694. Is 6 a factor of z?
True
Suppose -728*y = -718*y - 34270. Is 53 a factor of y?
False
Let o(f) = -2*f**2 + 28*f - 21. Let k be o(13). Suppose -211 = -3*c + 4*i - 8*i, 0 = -k*c + 5*i + 375. Is 30 a factor of c?
False
Let z be ((-135)/10 + 6)*(-44)/10. Let b = 246 - z. Is 17 a factor of b?
False
Let q(w) = 89*w**2 + 15*w + 221. Is 14 a factor of q(-15)?
False
Let h(i) = 6449*i**3 - 3. Is h(1) a multiple of 81?
False
Let n = 110 + -105. Suppose -4*w + 46 = -2*k + 800, 1927 = n*k + 4*w. Is k a multiple of 10?
False
Let a = -17 - -19. Suppose 1 - 35 = a*n. Let f = n - -33. Does 16 divide f?
True
Let d(u) be the third derivative of u**6/120 + u**5/10 - 17*u**4/24 - 7*u**3/3 + 72*u**2. Is 9 a factor of d(-7)?
False
Let l(g) = -119*g - 13*g**3 - 458 + 14*g**3 - 17*g**2 + 453. Is l(23) a multiple of 8?
True
Let z be -2 + (2 - 0) + -3. Let s(c) be the first derivative of -10*c**2 - 9*c - 347. Does 3 divide s(z)?
True
Let n(j) be the second derivative of -j**6/40 + j**5/120 + 5*j**4/3 - 35*j. Let q(d) be the third derivative of n(d). Is q(-11) a multiple of 10?
False
Suppose -4*w + 5696 = 4*q, 0 = 5*q + 68*w - 71*w - 7136. Does 46 divide q?
True
Suppose -8*y + 153 = -543. Let h = -88 + y. Is 6 a factor of 8/(56/175) - h/(-1)?
True
Suppose b = 3*m + 9 - 0, 2*m + 5*b - 11 = 0. Let g be (-4)/(m/(-10) + (-14)/20). Suppose s + 4*i = 88, g*i = 10*i. Is 8 a factor of s?
True
Let w(q) = -2*q**2 + 8*q + 10. Let r be w(5). Suppose 3*l + r = 12. Let p(o) = 11*o - 16. Is p(l) a multiple of 3?
False
Let q = -5 - -13. Let o(g) = g**2 - 10*g + 22. Let p be o(q). Suppose 1512 = p*r + r. Does 27 divide r?
True
Let s(o) = 271*o**2 + 1. Let z be s(-1). Suppose z*d = 280*d - 24. Is d a multiple of 3?
True
Suppose -2*r + 3*b + 24 = 0, b - 32 = -4*r + 44. Let k = r - 77. Let u = 167 + k. Does 10 divide u?
False
Let z(h) = 2*h**3 - 2*h**2 - 4. Let w be z(2). Suppose g = w*g - 888. Let b = 430 - g. Does 18 divide b?
False
Let o = 36 + -36. Suppose 6*m = -o*m + 3432. Is m/6 - ((-8)/(-12))/2 a multiple of 10?
False
Let z(f) be the second derivative of f**5/12 + f**4/12 + f**3/6 - 15*f**2/2 - 9*f. Let s(u) be the first derivative of z(u). Is 17 a factor of s(5)?
True
Is 6 a factor of (14010/(-25))/(1246/210 - 6)?
True
Does 6 divide ((-8)/9*(-45)/50)/(7/14070)?
True
Suppose 5*a - b = 27421, 3*a - 4*b - 8262 = 8177. Is a a multiple of 15?
False
Let t(u) = 2*u + u + 2*u - 6*u. Let y be t(0). Does 4 divide 58 + 2/1 - y/(-8)?
True
Let i(r) = 315*r**2 + 32*r - 46. Is i(3) a multiple of 5?
True
Let s be ((-42)/56)/(15/(-40)). Suppose 4*i = 6*i - 12. Suppose s*m = -3*c + i*c - 524, c - m = 175. Does 9 divide c?
False
Suppose 2*u + 12 = 0, 11*x + u = 14*x - 24054. Does 167 divide x?
True
Suppose -43*m + 42*m = -5*y + 4188, -4*m + 8 = 0. Does 3 divide y?
False
Does 40 divide 195 + 2 - (69 + -72)?
True
Let j = -354 - -401. Suppose j*t = 57*t - 10660. Does 82 divide t?
True
Let c be (-15)/(-9) - 642/(-9). Let r = c + 4. Suppose -2*t + d + 127 = 0, t + 5*d - d = r. Is t a multiple of 27?
False
Suppose -3*h = 47 - 290. Let c = h + 244. Is c a multiple of 48?
False
Suppose -5*w = -3*g - 3758, -3865 = -5*w - 2*g - 137. Is w a multiple of 4?
True
Suppose -155463 = -68*j + 145142 + 48983. Does 29 divide j?
False
Let g(i) = -i**3 + 17*i**2 - 8*i + 20. Let k be g(16). Let n = k - 94. Is n a multiple of 9?
True
Let r(h) be the second derivative of -6*h**3 - 169*h**2/2 + 74*h. Is 8 a factor of r(-11)?
False
Let o(q) = 821*q + 12586. Is 29 a factor of o(0)?
True
Let f(h) = 57*h + 52. Let k be f(-4). Let s = k + 251. Does 10 divide s?
False
Let d(v) = -18 + 11 + v + 10 - v**3 + 2*v**3. Let y be d(-3). Let i(n) = -n**2 - 28*n + 39. Does 17 divide i(y)?
False
Suppose 4*y + 3*i = 7*i + 716, 4*y + i - 691 = 0. Suppose -8*t - t - 603 = 0. Let o = t + y. Does 28 divide o?
False
Let h = 2779 - -425. Is 89 a factor of h?
True
Let i be (-6)/(-27) + 25/9. Let t = 884 + -881. Suppose t*u + i = 48. Is u a multiple of 3?
True
Suppose 149 = 130*n - 131*n. Let m = -29 - n. Is 18 a factor of m?
False
Let d(i) = 2*i**3 + 43*i**2 - 13*i + 291. Is d(-22) even?
False
Suppose -2*b - o = -4354, 3*b - 13*o - 6505 = -8*o. Is 170 a factor of b?
False
Suppose 0 = 32*g - 11*g - 64218. Does 11 divide g?
True
Let k(j) = -15*j + 38*j - 3 + 54. Does 47 divide k(8)?
True
Suppose 40*y - 426300 = 12*y. Is y a multiple of 29?
True
Let v be (9 - 18)/(0/2 - 1). Suppose 3*j - d - 431 = 0, -v*j + 5*d + 139 = -8*j. Is 72 a factor of j?
True
Suppose 2 = 3*y - b - 3, 4*y - b - 8 = 0. Suppose 3*h + 3*i = 2*i + 11, -5*h - y*i + 25 = 0. Suppose h*u - 210 = -u. Does 7 divide u?
True
Let n(p) = -8*p + 76. Let v be n(10). Does 12 divide v/16 - (-1362)/8?
False
Let h = 297 - 297. Suppose -14*i + h*i + 151