ppose -5 - 170 = -o*h. Is 3 a factor of h?
False
Suppose 26*y - 1974360 = 7*y - 582097. Is y a multiple of 38?
False
Let z(x) = 8*x - 42. Let o be z(7). Suppose o*y + 1957 = 6885. Does 32 divide y?
True
Let y = 3478 + -5070. Let l = -962 - y. Is 18 a factor of l?
True
Suppose -9690 = 2*j - 7*j. Suppose -646 = -v - 2*s + 5*s, 3*v - j = -3*s. Does 20 divide -2 + ((-8)/(-16) - v/(-4))?
True
Does 29 divide (21/35)/(3/(-15)) - -4208?
True
Suppose -5*y = -2*q - 26, -3*q + 7*q + 12 = 0. Let b(c) = 21 - 25 + 51 - y*c. Is 17 a factor of b(-18)?
True
Suppose 0 = 89*b - 2797855 + 999076. Is 83 a factor of b?
False
Let y(n) = 8*n**2 - 6*n - 5. Let v be 1*(-18)/6 + 14 + 1. Suppose 5*o + 2*t - v = 0, 4*o - 3*t - 2*t - 36 = 0. Is y(o) a multiple of 9?
True
Let c = 4547 - 1334. Is (c/108)/((-1)/(-4)) a multiple of 18?
False
Let w = -34519 + 51939. Is w a multiple of 130?
True
Let i(l) = l**3 - 27*l**2 + 59*l. Suppose -6*r + 4*r = -3*k - 41, -r + 2*k + 19 = 0. Is 5 a factor of i(r)?
True
Suppose a + 4*m - 5 = 3*m, 4*a - 2*m - 8 = 0. Suppose a*r - 9*r = -270. Is 34 a factor of r?
False
Let y be (-2 + 9/2)/(2/20). Suppose r - 2 + 9 = -5*t, -5*r + 5*t + y = 0. Let w = r - -9. Is w a multiple of 9?
False
Let a be 88/(-33)*3/(-4). Suppose -2*k - 167 = -h, -a*h + k = -6*h + 704. Is 25 a factor of 15/(((-90)/h)/(-6))?
True
Let q(t) = t**3 - 6*t**2 + 13*t. Let x = 120 - 122. Let h be (x/4 + (-33)/22)*-4. Is q(h) a multiple of 21?
False
Let a = 82 - 79. Suppose 1863 = a*z - 759. Suppose -5*j - 3*q + 1097 = q, -4*j - 5*q + z = 0. Does 13 divide j?
True
Suppose -k + 46 = -3*a, -3*a = -3*k + 56 + 64. Suppose k*i - 13*i - 5040 = 0. Is i a multiple of 10?
True
Let m be (0 - 696) + -1*2/(-1). Let z = -491 - m. Is 9 a factor of z?
False
Let r be -308*(48/(-28))/(-2). Let z = -324 + r. Let i = -401 - z. Is i a multiple of 17?
True
Suppose 29*w + 29*w - 69*w = -158114. Does 18 divide w?
False
Let p be (-2)/(-2) - (-9 + 25). Let l = 19 + p. Suppose 0 = b - 11 - l. Is b a multiple of 3?
True
Let r = 121 + 69. Suppose -13*d = r - 658. Is d a multiple of 3?
True
Let q be (-2)/((-8)/32*4). Suppose 0 = d + q*r - 221, 5*r - 1508 = -5*d - 413. Does 11 divide d?
False
Suppose 2 = 4*x - 14. Let p be 1 + (x - 8) - -11. Suppose -4*d - p = -100. Does 4 divide d?
False
Is ((-383990)/(-8))/5 + (4 - 60/16) a multiple of 128?
True
Let z = 2103 + 33191. Does 17 divide z?
False
Let d(k) = k**2 - 3*k - 16. Let b be d(6). Let f be 3/3 + (1 - 44 - b). Does 11 divide 2 - f/(-24) - (-411)/18?
False
Let x = 42238 + -21965. Is 19 a factor of x?
True
Let w(f) = 266*f**3 - 146*f + 297. Is w(2) a multiple of 237?
True
Suppose 0 = -156*n + 152*n + 1033 + 139. Is n a multiple of 3?
False
Is (125/60*9)/((-17)/(-3468)) a multiple of 17?
True
Let c be 3/(-2)*6*2. Let x(k) = -k**3 - 18*k**2 - 26*k + 87. Let r be x(-16). Let y = r - c. Does 9 divide y?
True
Is 8 a factor of 47514/9 + (-82)/(-123)?
True
Suppose -4*j - 20 = 0, 0*s - 2*s - 2*j = 0. Suppose c - s*c - 93 = -3*q, 3*q + 3*c = 72. Suppose -3*h + q = -30. Is h a multiple of 6?
False
Does 39 divide (-4844202)/(-308) - (-4)/56?
False
Let k = 78 + -54. Let d = k - -748. Is 6 a factor of d?
False
Let b(p) = 3300*p**2 - 30*p - 58. Is 161 a factor of b(-2)?
True
Let o be (8/6 + -1)/(36/108). Let j be (-1)/((-12)/16 + o)*-61. Suppose 1296 = 248*c - j*c. Is 36 a factor of c?
True
Let x = -86 - -91. Suppose x*m - 25 = -4*h - h, 3*m + h - 15 = 0. Suppose -85 = m*i - 410. Is i a multiple of 12?
False
Let f = 68 - 48. Suppose -4*n + 9*n - 5*c - f = 0, -1 = -c. Suppose 5*g = b - 0*b - 154, -n*b + 724 = -2*g. Is b a multiple of 18?
True
Let p = -73 - -61. Let f be (-6)/(-4) + 774/p. Let v = f - -159. Is 30 a factor of v?
False
Suppose 5*i = 8*i. Suppose i = -8*m - 9 + 41. Suppose -u = t + 60 - 188, 0 = m*u + t - 524. Is 22 a factor of u?
True
Let r = -468 - -470. Suppose -580 = -v + 5*b, 0*b + 2408 = 4*v + r*b. Is 10 a factor of v?
True
Suppose -75 + 66 = 3*q. Is 4 a factor of q/6*-32 + 0?
True
Let i = -33 + 39. Suppose -8*l + 30 = -i*l. Is 14 a factor of l?
False
Let s be (-4897)/(-4) - (-5)/(-20). Let a = -220 - -229. Does 9 divide a/6*s/27?
False
Let f(s) = -s**2 + 3*s - 21. Let i be f(4). Let n = 30 + i. Suppose -n*w + 208 = -3*c, 0 = c - 5 + 6. Does 3 divide w?
False
Let p be (-20)/(-2) + (-4)/(36/(-45)). Is (-3024)/120*p/(-6) a multiple of 7?
True
Suppose -43*t + 39*t + 276 = 0. Let i = t + -127. Is 10 a factor of (0 - (-1 - -2))*(-1 + i)?
False
Let b = 1 + -29. Let y be (-8 + b)*((-1)/(-3) + -2). Is (-92)/(-3) + y/45 a multiple of 8?
True
Suppose 5*b - 442 = 468. Suppose 0 = 4*w, a - w = 3*a - b. Let k = a + -7. Does 42 divide k?
True
Let u be 4/10 - (-162)/270. Suppose 3*h - 207 = -3*f, -f - u + 198 = 3*h. Does 8 divide h?
True
Let s(d) = -2*d**3 - 2*d**2 + 5*d + 2. Let u be s(-2). Suppose -3*q - 3*n + 348 = 0, 2*n - 1 + 9 = u. Is 8 a factor of q?
True
Suppose -5*w - 26*k + 25*k = -11888, 2*w + 4*k - 4784 = 0. Does 12 divide w?
True
Let x(y) be the third derivative of y**6/120 - 7*y**5/20 + 49*y**4/24 + 4*y**3/3 - 98*y**2. Does 7 divide x(20)?
True
Suppose -311*j + 344*j = 2706. Does 20 divide j?
False
Let x(d) = -d**3 - 2*d**2 + 12*d + 823. Does 9 divide x(0)?
False
Let y = 2338 + 6008. Is y a multiple of 214?
True
Let m(p) be the third derivative of -p**4 + p**3/3 - 14*p**2 - p. Is m(-4) a multiple of 13?
False
Suppose -5*q + 4970 = 3*d, 1376 = q + 3*d + 394. Is q a multiple of 14?
False
Suppose -4*b = -j - 9*b + 26, -5*j - b + 34 = 0. Suppose j*a - 13 = 23. Is a even?
True
Suppose 215145 = 5*r + 5*l, 2*l - 129088 = -56*r + 53*r. Is 250 a factor of r?
False
Is 126 a factor of (1/(-5)*2604)/(217682/(-4185) + 52)?
True
Suppose b = 2 - 3. Is 14 a factor of 2017/9 + b/9?
True
Let w(g) be the first derivative of -20*g**2 + 43*g - 24. Is w(-4) a multiple of 17?
False
Suppose 6*u + 32 = 4*o + 4*u, -34 = -5*o + u. Let j be 9/o*3840/36. Suppose 0 = -2*g + 170 + j. Is g a multiple of 15?
True
Let i = 21662 - 13438. Does 257 divide i?
True
Suppose 3*a = 2*a. Suppose l = -d + 11, a*l + 4*d - 34 = -3*l. Suppose -4*k + 65 = -g, -3*g = k - 3 - l. Is k even?
True
Let n(i) = 22 + 325*i + 328*i - 501*i. Is 50 a factor of n(4)?
False
Suppose -2*v + 0*v + 127 = -5*x, x - 216 = -3*v. Suppose 0 = h - 2*g - 108, -12*h + 9*h + 324 = -4*g. Let o = h - v. Is 11 a factor of o?
False
Let m be 5/(-2)*64/(-40) - -1292. Suppose 2*t = -512 + m. Is 49 a factor of t?
True
Let s = 132 + -119. Suppose 22*i - s*i - 4338 = 0. Is i a multiple of 36?
False
Suppose -2*u + 6012 = 2*v, 9053 = 3*v + 7*u - 9*u. Is 12 a factor of v?
False
Let b be (0 + -1)*2*(2 + -11). Let a be 3/2 - (-4 + b/(-4)). Suppose -a*g + 4*g + 600 = 0. Is g a multiple of 25?
True
Let z(h) = -14*h**3 + 4*h**2 - 18*h + 53. Is z(-13) a multiple of 209?
False
Let l(k) = 4*k - 11. Let m be l(4). Suppose -5*r = -2*v + 3582, 0*v = -v - m*r + 1776. Suppose -v = -8*j - 418. Is 24 a factor of j?
False
Let u be 68/(-17)*1/((-2)/(-4)). Is 593 + -1 + u + 16 + -5 a multiple of 11?
False
Let b be 118/29 + (-6)/87. Suppose b*x + 3359 = 3*n, -x - 2005 - 236 = -2*n. Is 19 a factor of n?
True
Let g be (4/3)/(3/9). Suppose -u + g*u - 357 = 0. Let n = u + -28. Is 13 a factor of n?
True
Let k = 35013 - 19990. Is k a multiple of 181?
True
Let u(z) = -z**3 + 2*z**2 + 6*z - 10. Let c(d) = -d**3 + d**2 - 1. Let f(t) = -4*c(t) + u(t). Let r = -2539 - -2543. Does 12 divide f(r)?
False
Let d(s) = -s**2 + 20*s + 21. Let l be d(21). Suppose 28*b - 31*b + 2487 = l. Is 33 a factor of b?
False
Let j(b) be the second derivative of -7/2*b**3 - 6*b**2 + 20*b + 0. Does 9 divide j(-4)?
True
Let b(h) = -h**3 - 9*h**2 + 25*h + 31. Let x be b(-11). Does 100 divide ((-689)/x)/((-24)/16 - -2)?
False
Let y(a) = -10*a + 27. Let f be y(-6). Suppose 19 - 11 = 4*w. Is 9 a factor of 9/w*-12*(-232)/f?
True
Let z = -9 + 45. Suppose -13*a + 10*a = -z. Is 15 a factor of (-742)/(-5) + a/20?
False
Suppose -7*p = -0*p - 378. Let q be (1/2)/((-9)/p) + 6. Suppose -v = -5*w - 3*v + 686, w = -q*v + 132. Is 46 a factor of w?
True
Let s(i) = 2*i**2 + 2*i + 39. Let t be s(0). Let n = -41 + t. Is -2 + (2 - (-3 + 2 + n)) a multiple of 3?
True
Let g(n) = 104*n**2 - 61*n + 60. Let h be g(1). Let q be (-103 - 4)*(-1)/1. Suppose -5*f + h = -q. Does 10 divide f?
False
Suppose 733706 + 752022 =