 = 1210 + o. Is r a multiple of 79?
True
Is 33 a factor of 36/18 - (-1549 + 0)?
True
Suppose 2 = 4*o + 90. Let i = o + 25. Suppose -4*z = -m + 48 + 128, -4*m + i*z = -665. Is m a multiple of 20?
False
Let a be (-312)/(-42) + -7 - (-886)/7. Suppose 0 = -9*q + 9 + 9. Suppose -137 = -3*d - x, q*d - 5*d = -x - a. Does 11 divide d?
True
Let q be 7/((-28)/(-828)) - 30/6. Let r = 346 - q. Is r a multiple of 24?
True
Suppose 3*c - 4 = 20. Is 9 a factor of -185*(c/(-4) + 0)?
False
Suppose -z + 2 = 4*o, o - 2*z - 3 + 7 = 0. Suppose -10*v - 12 + 712 = o. Is v a multiple of 14?
True
Let v(n) = 5 - 5*n**2 + 14*n + n**2 - 21 + 6*n**2. Is 14 a factor of v(-15)?
True
Let n(w) = -4*w**3 - 12*w**2 - 14*w - 9. Let r(v) = -9*v**3 - 23*v**2 - 29*v - 17. Let c(a) = -7*n(a) + 3*r(a). Is 9 a factor of c(-14)?
True
Let k(h) = h**3 - 80*h**2 + 76*h + 930. Does 5 divide k(79)?
False
Let m(h) = 118*h**2 + 41*h + 16. Let d be m(7). Suppose 0 = 3*c - 2*c + 4*q - 1207, 0 = 5*c - 5*q - d. Is 15 a factor of c?
True
Let w(y) = -1382*y + 34. Let x be w(-5). Suppose 75*f - 59*f - x = 0. Is f a multiple of 57?
False
Let t be (-4 - (-33344)/8) + 5. Suppose -24*a = -t - 29527. Is 22 a factor of a?
False
Let c(j) = -j**3 + 5*j**2 - 3*j. Let v be c(4). Suppose 0 = 2*t + o - 0 - 4, 5*o + 22 = v*t. Suppose -31 = -t*g + 20. Is g a multiple of 17?
True
Suppose 3*z - 4092 = -3*a, -12*a + 10*a + 2746 = -z. Is a a multiple of 3?
False
Suppose 0 = -21*k + 38 + 88. Suppose 0 = -3*g + 12, 4*g = y - k*y + 1776. Is 16 a factor of y?
True
Suppose 1500320 = 188*c - 874297 + 809517. Is 225 a factor of c?
True
Let y(r) be the second derivative of r**4/3 - 25*r**3/3 + 15*r**2/2 + 2*r + 1. Does 32 divide y(18)?
False
Let w(c) = c + 36. Let z be w(14). Suppose 0 = -5*g - a + 73, 4*g - 3*a = -a + z. Is 14 a factor of g?
True
Suppose 0 = -6*b + 21 + 3. Let u = -100 - -310. Suppose -b*g = g - u. Is g a multiple of 21?
True
Suppose -x = -5*s - 1086 - 1772, -s = 3*x + 578. Is 38 a factor of (s/39)/((-2)/171)?
True
Suppose -4*l = -k + 116, -4*k + 3*k - l = -121. Let f be (17 + (-112)/7 - (0 + 0))*-10. Is 22 a factor of k*(-5 + (-75)/f)?
False
Let l(q) = -q**3 - 3*q**2 + 2*q + 2. Let x be l(-3). Let i be x/(-18) + (-260)/36. Does 26 divide (-2)/i - 10129/(-49)?
False
Suppose -14*k - 13*k + 108 = 0. Suppose 0 = -u + 3, 6*v - 3*v - k*u = 3093. Does 69 divide v?
True
Suppose -3*c - 13 + 283 = 3*x, -2*c = -3*x - 180. Suppose 0 = -2*t + 102 - c. Is t even?
True
Let c(n) = 2380*n**2 - 35*n + 35. Is c(1) a multiple of 20?
True
Let o be ((-4)/16)/((-6)/(-8))*-30. Let r(k) = 15*k - 23 + o + 18 + k. Is 19 a factor of r(12)?
False
Let t = 125 + -249. Does 5 divide ((-12)/10 + (-10)/(-50))*t?
False
Let w(i) = -i**3 - 14*i**2 - 70*i - 218. Is w(-24) a multiple of 23?
True
Let a(p) = -p**3 - 6*p**2 - 8*p - 13. Let x = -81 + 75. Let w be a(x). Suppose -145 + w = -2*d. Is d a multiple of 10?
False
Let d = 6364 - 1409. Is 8 a factor of d?
False
Let f(b) = 12*b**2 + 50*b + 22. Suppose 2*a - 2 = 2*q + 20, -q - 3*a - 11 = 0. Is 21 a factor of f(q)?
True
Let m be 0/1 - (2 + (-43)/1). Suppose -42*w + m*w + 2 = 0. Suppose -c = w, 3*c + 16 = 5*f - 15. Is 5 a factor of f?
True
Let m(f) = -1429*f**3 - 4*f**2 - 30*f - 46. Is 7 a factor of m(-2)?
False
Let z = -12 + -13. Let x(j) = -j**3 - 12*j**2 + 27*j + 29. Let q be x(-14). Let p = z + q. Is 6 a factor of p?
True
Suppose 8 = 5*j - 12, 2*g - j - 40 = 0. Suppose 0 = 2*d - 4*r + 24, -3*d - g = -3*r + 2. Is 5 a factor of (28/(-10))/(1/(10/d))?
False
Let z = -26 + 31. Suppose z*l = -y + 18, 2*l - 45 + 18 = -y. Is ((-154)/y)/((-2)/3) a multiple of 7?
True
Let i(h) = -h**3 + 9*h**2 - 2*h + 24. Let m be i(3). Let g(d) = 2*d**2 - 3*d. Let x be g(2). Is 2 a factor of (m/(-21) - -2)/(x/(-14))?
True
Suppose 1679 = -b - 3*b + 3*i, 4*i = 5*b + 2100. Let q = -263 - b. Is q a multiple of 8?
False
Suppose 0 = 5*k - 2*t - 31631, -36*k + 40*k + 5*t = 25285. Does 13 divide k?
False
Let i(j) be the second derivative of j**3/2 + 55*j**2/2 + 3*j + 3. Is i(11) a multiple of 3?
False
Suppose i - 7060 = 5*a, -35445 = -5*i - 253*a + 249*a. Is 106 a factor of i?
False
Let i be (12 + -4 - 5) + 4. Does 14 divide 34 - i/(28/24)?
True
Suppose 4*g - 14 = 2. Let a be ((-7)/(-9) + -1)*-18. Suppose -2*o = -g*x - 116, -x + 218 = a*o - 2*x. Is 10 a factor of o?
False
Let i(m) = -8*m**3 - 5*m**2 - 6*m - 5. Let o be i(-3). Let t = o - 175. Is t a multiple of 3?
True
Let a(f) = -f**2 + 59*f + 3. Let x be a(20). Suppose 83 = -5*k + x. Does 39 divide k?
False
Suppose -211*d + 213*d - 114992 = -5*g, -5*d = -g + 23020. Is 32 a factor of g?
False
Suppose 53*i - 51*i - 459 = -b, 15 = -3*b. Does 13 divide i?
False
Let s(f) = -2*f**3 + 3*f + 2. Let p be s(-1). Let v be -90 - (p - 3)/1. Let x = 178 + v. Does 10 divide x?
True
Suppose -2*t - 53 = -57. Suppose -6*u + 12 = -t*u. Suppose -u*o - 4*s + 159 = 0, -4*s + 104 = 5*o - 169. Is 10 a factor of o?
False
Let f(u) = 20 + 18 - 165 - 21 + 349*u. Does 46 divide f(2)?
False
Let r be 189/6 - (3 + -5)/(-4). Suppose -h = 4*p - r, h = p - 4*h - 34. Suppose -p*c + 681 = -6*c. Does 34 divide c?
False
Suppose -2*u + 543 = 121. Suppose -1263*v = -1246*v + 1836. Let b = u + v. Is b a multiple of 48?
False
Let k = -3 - 3. Is ((-24)/18)/((-4)/k) - -17 a multiple of 3?
True
Suppose 5*i - 17 = 3*h, 5*h + 70 = -2*i - 10. Let q(c) = c**3 + 15*c**2 - 8*c + 32. Is 9 a factor of q(h)?
False
Let i be (1095/20)/(-3)*4. Let g = -74 - i. Does 18 divide (-1084)/(-12) - g/(-3)?
True
Let t = -1215 - -1739. Let s = -360 + t. Is 6 a factor of s?
False
Let u(q) = 52*q**2 - 60*q - 490. Is u(-11) a multiple of 18?
True
Let b(a) = 129*a - 204. Let n be b(19). Suppose 3*l = 3*o - n, -2997 = -4*o + 5*l - 0*l. Does 11 divide o?
True
Suppose -5*m + 144 = -1786. Let x be -100 - -92 - (7 + 0). Is 17 a factor of m/3 - x/45?
False
Let z be (-2784)/18 - 7 - 1/3. Does 18 divide (z + -4)*7/(-14)?
False
Let a(h) = -4*h**2 + 5*h - 2. Let k be a(-2). Let u be (32/k)/4 - 88/(-14). Is (3 - 124/u)/(1/(-6)) a multiple of 7?
False
Suppose -c + 19 + 321 = 0. Suppose c*k + 324 = 346*k. Is 20 a factor of k?
False
Let y(d) = d**2 - 22*d. Let n be y(12). Let l = n - -118. Is 2 a factor of (14 + -3 - l)/1?
False
Is 180 a factor of 1/55*-96295*-11?
False
Suppose 5*n + 4*y - 5*y + 1137 = 0, -453 = 2*n - y. Let g = -213 - n. Is g a multiple of 5?
True
Let w be (44/110)/(2/20). Is 74 a factor of 7 + -7 - w - -744?
True
Suppose 32*x = 13*x - 1444. Let g(n) = -n**3 - 9*n**2 + 12*n + 21. Let s be g(-10). Does 41 divide 6*s*(-3914)/x?
False
Suppose 4 = 2*l, -27 = -4*g + 2*l - 511. Let c = 156 + g. Is c a multiple of 4?
True
Let v be 6 + -8 - (-1104)/4. Suppose -4*g + 18 = -v. Does 25 divide g?
False
Let f be 55/10 - ((-135)/10)/(-9). Suppose -4*j - 3*z + 4267 = 0, 2*j - 464 = -f*z + 1672. Does 12 divide j?
False
Let s = -248 - -265. Suppose -s*c = -15*c - 1376. Is 86 a factor of c?
True
Suppose -u = -4*v - 3905, 47*v = 8*u + 46*v - 31116. Is 5 a factor of u?
False
Let h(j) = j**2 + 95*j + 3630. Does 129 divide h(-92)?
True
Suppose -4*u = 2*m + 668, -3*m - 494 - 499 = 3*u. Let n = m - -226. Let y = 2 - n. Is y a multiple of 36?
False
Let x = 929 - 365. Let u = x - 79. Does 9 divide u?
False
Let c(h) = -746*h - 154. Does 20 divide c(-9)?
True
Let n = -1154 - -1186. Let d = -38 - -58. Let q = n - d. Is q a multiple of 4?
True
Suppose -6162 = -16*q + 1342. Is 112 a factor of q?
False
Let v = -830 + 825. Is 72 a factor of (35/15)/(v/(0 + -2550))?
False
Let f(m) = -3*m - 1. Let v be f(-2). Suppose -6*y = -7 - v. Suppose -2*b = -y, -d + 23 = 4*b - 11. Is 15 a factor of d?
True
Let l(o) = -o**3 + 11*o**2 + 8*o - 10. Let k be l(12). Let h = k - -63. Suppose h*x + 5*i + 47 = 157, -4*x = -2*i - 82. Does 21 divide x?
True
Suppose -3*d = 9, n - 3*d = 2*n + 5. Suppose -4*w = -2*w + q - 77, -n*w = 4*q - 164. Let y = 191 + w. Is y a multiple of 26?
False
Suppose 22*s = 54566 - 7946 + 29808. Does 106 divide s?
False
Let d(p) = p**2 - 8*p - 61. Let a be d(-5). Suppose -63 = -v + 4*y, 3*y + 32 = -a*v + 379. Is v a multiple of 2?
False
Let q = -59 - -124. Suppose 8*b + 2073 = q. Let p = -179 - b. Is p a multiple of 9?
True
Suppose -3*d - 3*n = 441, 3*d - 4*n = 4*d + 156. Let x = 246 + d. Is x a multiple of 15?
False
Let k(b) = 2*b**3 - 27*b**2 - 56*b + 583. Is 31 