+ 17*d = -51. Suppose -d*c = -6*c - 297. Is c a multiple of 9?
True
Let l = 392 - 259. Suppose 3*r - 2*j = 212, -r = r - 3*j - l. Is r a multiple of 3?
False
Suppose j = 4*c - 740, 4*c = -6*j + 9*j + 748. Does 3 divide c?
False
Let m be -5 + -1 + 3 - (1 - 32). Suppose 36 = 32*n - m*n. Suppose d - 51 = n. Is 20 a factor of d?
True
Suppose 4*g + 20 = 20, 1514 = i - 2*g. Is 6 a factor of i?
False
Let q = 6136 + -2763. Is q a multiple of 27?
False
Let b be (-4)/(-24) + 57/(-18). Is 12 a factor of (-254)/(-3) + 2/b?
True
Suppose 3*k + x = -4*x - 4, -5*k + 60 = -5*x. Suppose -389 - 892 = -k*c. Suppose -4*v + 615 - c = 0. Does 9 divide v?
True
Suppose -17 = -3*a - s, -18 = -2*a - 0*s - 2*s. Suppose 0*c - a*c = -6*c. Suppose -5*m = 3*b + 121 - 318, m - 1 = c. Is b a multiple of 10?
False
Let p be 3 - 0 - 119/(4 - -3). Let o = p + 17. Suppose 5*i - 128 = -3*m, 3*m = -0*m - o*i + 120. Is 18 a factor of m?
True
Suppose -32*r + 12976 = -2480. Let s = 503 - r. Is s even?
True
Suppose 4*n = 7*i - 4*i - 6, -9 = 3*i + n. Let h(s) = -13*s**3 + 2*s**2 - 2*s - 2. Is 6 a factor of h(i)?
True
Let f = -189 + 167. Is 20 a factor of (f/(-44))/(0 + 2/644)?
False
Suppose -523 = 3*t + h, 4*t + 2*h + 147 = -551. Suppose j + 4*f = 83, -6*f = -j - f + 101. Let c = j - t. Does 53 divide c?
True
Let n = 54 + -52. Suppose -4*o - 32 = -2*s - n*s, -4 = -5*s - 4*o. Suppose s*r = 3*i + 3*r - 323, 5*i - 525 = 5*r. Is i a multiple of 46?
False
Suppose 24*c - 4*o = 28*c - 8436, 3*c = 4*o + 6362. Is 8 a factor of c?
False
Is (-10)/75 + (-252428)/(-60) a multiple of 7?
True
Is 2241*(-2)/(-4)*(18 - 434/31) a multiple of 2?
True
Let c be 1 - 97*(6 + 7). Let r = 2130 + c. Is 14 a factor of r?
False
Suppose 0 = -5*x + 13 - 8. Is x/((-15)/490)*-18 a multiple of 14?
True
Suppose 28*b - 1892 = 24*b. Suppose 0 = k + b - 1209. Is 23 a factor of k?
True
Let c be (-5300)/34 + (-70)/595. Let z = 316 + c. Does 16 divide z?
True
Let r be 1048/14 - (-2)/14 - 3. Let i = -36 + r. Is i a multiple of 18?
True
Let t = 43 + -45. Let u be (4/t)/(4/(1 + -5)). Suppose 2*c - 12 = -u*c, -5*l + 214 = -2*c. Is 13 a factor of l?
False
Is (-15)/(-120) - 3*(-80254)/48 a multiple of 11?
True
Does 13 divide 102/17 - 12606/(-3)?
False
Is (-6 - (-168)/35)/(((-2)/(-1))/(-3660)) a multiple of 12?
True
Suppose 0 = -2*q - 4*c - 2, 0 = 2*q + 2*q - 5*c - 22. Let w be ((-120)/25)/(q/20). Let h = 36 + w. Does 3 divide h?
False
Let b(w) = 2*w**2 - 7*w - 27. Let h be b(-3). Does 5 divide (-271)/(-3) - (52/h - 6)?
False
Let l(n) = n**3 + 26*n**2 + 26*n + 56. Let c be l(-23). Suppose 5*a - c = 3*g, 5*a - 10*a = -2*g - 1045. Does 24 divide a?
False
Suppose -71667 = -172*q - 15079. Is q a multiple of 11?
False
Let u = 8170 + -5323. Is u a multiple of 39?
True
Does 39 divide (3*(-6)/9)/(28/(-142380))?
False
Let w be ((-1152)/(-810) + (-6)/27)*(1 - -4). Let s = -2 - -7. Is 47 a factor of (1 - s - 5)*(-188)/w?
True
Let k be 12/30*-5*28. Suppose 3*s - 3*j - 300 = -0*j, -207 = -2*s - 5*j. Let g = k + s. Is 12 a factor of g?
False
Let b(q) = -3475*q - 6305. Does 5 divide b(-7)?
True
Let v(x) = 47*x**3 - 3*x**2 + 11*x + 15. Does 7 divide v(3)?
False
Let a(o) = -6*o + 120. Let n be a(0). Suppose 16*q - n = 11*q. Is (-1280)/(-70) + -2 + q/14 a multiple of 9?
True
Suppose 10 = 4*f - 2*f, 4*f - 18 = 2*a. Let p be (-1 - a)*(-5)/10. Is 31 a factor of 9/(-2 - 1)*(p - 26)?
False
Let t(p) = -91*p - 2. Suppose -3*a = m - 0*a - 26, -3*m = -4*a - 26. Suppose -m*y + 1 - 29 = 0. Is 30 a factor of t(y)?
True
Let r be (-12)/(-30) + (-58)/(-5). Let j be (r/(-9))/((-8)/12). Is 2 a factor of 21/j*2*(-8)/(-12)?
True
Let b be 184/6 - 232/(-174). Let k(l) = 2*l**3 - l**2 + 5*l + 2. Let g be k(4). Let d = g - b. Does 17 divide d?
True
Let x(d) = -172 + 237 - 90*d - 110*d. Is 7 a factor of x(-1)?
False
Suppose 5*q - 26635 = -5*n, -5*q - 10598 = -130*n + 128*n. Is n a multiple of 58?
False
Let c(b) = -31*b**2 + 1214*b - 17. Does 58 divide c(5)?
True
Does 34 divide ((-6)/8)/(((-28)/(-58576))/(-1 + -1))?
False
Suppose -14*g + 336 = -0*g. Let c(v) = v**2 + 7*v - 144. Is 20 a factor of c(g)?
True
Suppose -266 = -289*s + 291*s. Let d = s + 1309. Is d a multiple of 84?
True
Suppose 0 = 19*y + 42031 - 287644. Is 18 a factor of y?
False
Let s be -91 - (4 - (8 + -3)). Let w = 178 + s. Is w a multiple of 8?
True
Let r = -86 + 80. Let x = -62 - -68. Is x/(-18) - 572/r a multiple of 12?
False
Let j(i) = 6*i**2 - 46*i + 22. Is 29 a factor of j(40)?
False
Let i be (-30)/(-45)*(-9)/6 - 1. Let s(c) = -29*c - 6. Let j(w) = 1. Let g(f) = 2*j(f) + s(f). Does 9 divide g(i)?
True
Suppose -12*r - 117 = -25*r. Let q be 2/(-4)*(-5 - -3). Is 16 a factor of ((-192)/r)/(q/(-3))?
True
Suppose -7*h = -142963 - 19346. Is h a multiple of 59?
True
Let t = 45261 + -25373. Does 11 divide t?
True
Suppose 30 - 26 = q. Suppose o - 11 = 5*v - q, -2*v = -5*o + 12. Suppose -3*l + 111 = 3*f, f - o*l - 46 = -0*f. Does 9 divide f?
False
Let l be 15/6*(2 + (7 - 5)). Suppose 4*o = x + 929, -5*o + l*o - 1175 = 4*x. Is o a multiple of 8?
False
Let n(l) = 4*l**2 + 39*l + 6. Let t be n(-10). Suppose -4*q + t*q = 7140. Does 25 divide q?
False
Suppose -t + 369 = -2*h + 136, h + 234 = t. Does 12 divide t?
False
Does 24 divide 1848976/360 - (-70)/(-1575)?
True
Suppose 4*a = 16, -6*v = -7*v + a + 17. Let m(h) = -h**2 + 22*h + 9. Let k be m(v). Does 36 divide 27*-2*k/(-9)?
True
Let s = 5948 - 2898. Is s a multiple of 25?
True
Is (-7)/(196/(-6))*13652*70/15 a multiple of 21?
False
Suppose 3*j + 4*g - 2906 = 0, -7*g + 5*g + 1936 = 2*j. Suppose p = 8*p - j. Is p a multiple of 6?
True
Suppose 16 = -2*u, s + 5*u = 9032 + 5669. Does 22 divide s?
False
Let i = 8412 - 2224. Does 119 divide i?
True
Let j = 74 + -61. Let o(s) = 120*s - 118*s - j + 58. Is o(-8) a multiple of 25?
False
Let a = -6237 + 10971. Is a a multiple of 26?
False
Let l be -10 + 16 + (-1672 + 1)*1. Let f = l + 2337. Is f a multiple of 12?
True
Let r be (-39 + 3)*(0 - (-59)/(-4)). Let h = -419 + r. Is h a multiple of 4?
True
Let r(d) = 104*d**2 + 84*d - 120. Is r(-16) a multiple of 136?
True
Let f be (-5140)/45 - (-8)/36. Let h = 202 + f. Does 7 divide h?
False
Let n(r) = 240*r**2 - 348*r - 704. Does 21 divide n(-2)?
False
Let z(j) = 2*j - 6. Let c be z(5). Suppose -3332 = 4*o + n, n + 3352 = -c*o + 5*n. Is (3/6)/((-3)/o) a multiple of 28?
False
Let h = -35 + 38. Let f(d) = -12*d - h*d - 8 - 2*d + 2 + d**2. Does 15 divide f(19)?
False
Suppose -6*f - 20 = -10*f. Suppose -128 = 4*t - f*t. Let r = t - 75. Does 28 divide r?
False
Let s(f) = -9*f - 110. Let x be s(-20). Let l = x - -8. Does 9 divide l?
False
Let v = 26642 - 23980. Is v a multiple of 50?
False
Suppose 0 = -2*u + f + 695, 1046 = -32*u + 35*u + 2*f. Let i = -90 + u. Does 16 divide i?
False
Let y(w) = 6*w**2 + 55*w + 592. Is y(44) a multiple of 111?
False
Let c be -4 + 4 + 0/(-1). Suppose c = 4*h + 3*r - 1094, -2*h = -3*r + 70 - 626. Suppose h = 5*i - 20. Is i a multiple of 14?
False
Let p be (-2)/(-2) + (4 - 1). Suppose p*x - 2*x - 180 = 0. Suppose 2*r - x = -0*r. Is 12 a factor of r?
False
Let f(d) be the first derivative of d**4/4 + 5*d**3 - d**2/2 + d - 20. Is 62 a factor of f(-9)?
True
Let p be 4/(-6) - (-76)/114 - -264. Suppose -2*r + 682 = 5*m, 4*m - p = 2*m - 3*r. Does 20 divide m?
False
Let s = 10993 - -8752. Is s a multiple of 118?
False
Let s(v) = -v**3 - 18*v**2 - 17*v + 14. Suppose 12*g = 11*g. Suppose 4*t + 0*c + c = -68, -5*t - 5*c - 85 = g. Is s(t) a multiple of 2?
True
Suppose 5*t + 25 = 0, 12*t = 3*r + 17*t - 1469. Let k = 909 - r. Is 27 a factor of k?
False
Let o(n) = 259*n**2 - n - 102. Does 14 divide o(10)?
True
Let o(n) = n**2 - 8*n - 33. Let r be o(11). Suppose 4*d - 5696 = -r*d + 2*b, -b + 5702 = 4*d. Does 25 divide d?
True
Let f = 7 - 5. Let d = 23041 + -22350. Suppose -f*u + d = 61. Is 35 a factor of u?
True
Let r be 24/(-16) - (-2)/(-4) - -7. Suppose -4*l = -r*d + 56, -l = -d - 0*l + 12. Suppose 10*y = d*y + 114. Is y a multiple of 19?
True
Let x(u) = -6*u**3 + 4*u - 8. Let m be x(-4). Suppose -s - 2*k = -784, -s = 3*k - 422 - m. Does 23 divide s?
False
Suppose 150 = -f + 4*f - u, 4*u = 4*f - 208. Let j = -49 + f. Suppose -t + 1 = 0, 3*c - 3*t = -j*c + 537. Does 36 divide c?
True
Does 12 divide (-112266)/(-18 - 0) + -8?
False
Let s be (-20)/70 + -1 + (-187)/7. Is 4/((s