ctor of x?
False
Let j = 129 - 71. Let w = 68 + -117. Let r = j - w. Does 6 divide r?
False
Let f(o) = 7*o**3 - o**2 - 6*o - 78. Let x(a) = a**3 - a + 1. Let h = -11 + 17. Let c(p) = h*x(p) - f(p). Is c(0) a multiple of 35?
False
Let w = -3245 + 8685. Is w a multiple of 137?
False
Suppose 4*a = -8*i + 215432, 7462 = i - 5*a - 19456. Is 33 a factor of i?
True
Does 12 divide 6/((-11)/2783484*-18)?
True
Let u(i) = i + 38. Let o = 156 - 172. Is u(o) a multiple of 22?
True
Suppose 110*k - 105*k - 39150 = -g, g - 15657 = -2*k. Is k a multiple of 54?
False
Let h be 1/(-1) + 5 + -149 + -14. Let n = 306 + h. Is 49 a factor of n?
True
Let t = -202 + 201. Is -4 + t + (7 - -1) + 45 a multiple of 9?
False
Let k = 275 - 267. Suppose -1170 = -5*t + k*x - 9*x, 2*x + 10 = 0. Is t a multiple of 16?
False
Let m = -15 - -25. Let i be (55/35 - 2)*378/(-162). Does 6 divide (-118)/i*(35/m)/(-7)?
False
Suppose 0 = 4*i - 3*u - 204766, -8*u + 5*u = -3*i + 153579. Is i a multiple of 67?
False
Is (-7)/(-3) - 86084/8*60/(-90) a multiple of 23?
True
Let t be (1318/(-3))/(1/9). Let u be -6 + (7 + -9 - -4). Is u/(-22) + (-7)/(231/t) a multiple of 13?
False
Let c = -14385 + 37293. Is c a multiple of 261?
False
Let i = -1017 + 531. Let q = -447 - i. Is 9 a factor of q?
False
Suppose 145880 = 31*s - 50*s + 27*s. Is 13 a factor of s?
False
Is ((1161/(-216))/(1/(-4)))/(2/788) a multiple of 54?
False
Let u(g) = 14*g**2 - 90*g - 1280. Does 128 divide u(-21)?
True
Let x(q) = q**3 - 10*q**2 - 12*q + 4. Let o be x(11). Does 15 divide (15/o - 15/(-5))*70?
True
Suppose 5*q - 2*s + 16 + 6 = 0, -4*q - 21 = -5*s. Let r = -61 - q. Let f = -39 - r. Does 9 divide f?
True
Is (-34)/578 + (-533973)/(-51) a multiple of 6?
True
Let r = -232 + 235. Is ((r - 3) + 1)*35 a multiple of 11?
False
Suppose 2*o + x = 3*o - 207, -2*o - 3*x + 404 = 0. Let w = -171 + o. Does 2 divide w?
True
Suppose -2*y = 5*l - 21, 2*y + 0 = l + 3. Let f = -826 + 1174. Suppose 0 = l*a - 3 - f. Is 26 a factor of a?
False
Let m be 3 + 2 + 20/1. Suppose 0*s + m = 5*s. Let r(v) = 10*v - 17. Is 13 a factor of r(s)?
False
Let b = -449 - -451. Is 3 a factor of ((-30)/(-3) - b) + 4?
True
Suppose 0 = 3*f - 2*f - 8. Suppose 3*m = 28 + f. Let c = m - -38. Does 7 divide c?
False
Suppose -680 = 9*q - 11*q. Let r = 2 - 5. Does 17 divide (r/2)/((-6)/q)?
True
Let u(j) = 8*j - 36. Let k be u(4). Does 22 divide -3*((-262)/k)/((-2)/4)?
False
Suppose 19 = -3*t + 4. Let v be (-30)/25*t/3. Let y(x) = 7*x. Is y(v) a multiple of 3?
False
Suppose -6 = -3*x + 3*r, 16 = 5*x + 3*r + 6. Is 20*(0 - (-2 - (-1 + x))) a multiple of 6?
True
Let d(t) = -t**2 - 13*t - 34. Let s be d(-9). Suppose 0 = s*z + 5*n + 44 + 184, -5*z - 570 = -2*n. Let h = z - -120. Is 3 a factor of h?
True
Is (-1066)/(-6)*(-975)/(-25) + 1 a multiple of 6?
True
Let n be (56/(-42))/((-1)/3). Suppose 18 = n*f + 102. Let v = f + 91. Is 10 a factor of v?
True
Does 41 divide 5/(((-450)/(-28278))/25)?
False
Let l(i) = i**2 + 9*i - 11. Let f be l(1). Does 28 divide (16 + 615)/(f + 2)?
False
Let i = 76 - 87. Let w be 2*82/(-28) + i/77. Does 24 divide (w*3)/(4 - 76/16)?
True
Let q = 39 + 8. Suppose -4*h + q = -65. Is 81/4 - 7/h a multiple of 5?
True
Suppose -w + s + 46 + 16 = 0, -2*w = 2*s - 116. Let h be (-2)/(-4)*w/6. Suppose -h*a + 846 = -4*b, 4*a + 3*b = 129 + 554. Does 34 divide a?
True
Let g(c) = 29*c**3 + 2*c**2 - 7*c - 11. Let i be g(-2). Let t = -108 - i. Is 43 a factor of t?
False
Suppose v - 3*a - 10832 = 0, 3*v + 3*a + 3*a - 32481 = 0. Does 43 divide v?
False
Let o(y) = 4*y**3 - 3*y**2 + 6*y - 4*y**3 - 3*y**3 + 0*y**2 - 7. Let v(b) = 4*b**3 + 2*b**2 - 5*b + 7. Let g(h) = -3*o(h) - 2*v(h). Is g(-6) a multiple of 8?
False
Let t(i) = 26*i**2 + 329*i + 102. Is 68 a factor of t(-25)?
False
Suppose 32*t - 34*t + 12 = 0. Let y = t - 3. Is (18 - -3) + y + 0 a multiple of 12?
True
Suppose -104 = -25*o - 404. Let m(h) = h**3 - 5*h**2 + 6. Let d be m(5). Does 4 divide (-4 + -4 + d)*o?
True
Let w(z) = z**2 - 253 + 259 + z**3 - 5*z - 2*z**2. Let y be w(3). Suppose -5*k + y*k = 80. Is k a multiple of 3?
False
Let o(n) = n**3 + 3. Let h be o(0). Let i(d) = 2*d - d**2 - 48*d + 7 + 60*d. Is 10 a factor of i(h)?
True
Suppose -2*c = -4*b + 113168, 4*b - 113132 = c - 5*c. Is b a multiple of 109?
False
Suppose -2*r = -5*v - 23047, 0 = 15*r - 13*r + v - 23029. Is r a multiple of 6?
False
Let k = 2566 - 1522. Suppose 4*a - 2*m = 7*a - k, 5*m = 15. Is a a multiple of 10?
False
Let l = 150 + -142. Suppose l*i - 2*i = 2448. Does 24 divide i?
True
Let o(d) = -44*d - 15. Let u be o(12). Does 13 divide u/(-6) - 2/(-4)?
True
Let d(j) = -369*j - 538. Does 13 divide d(-19)?
False
Suppose -3*n = l - 9309, l = 2*n + 11078 - 1759. Does 8 divide l?
False
Let s = 157 + 2431. Let b = s - 1343. Is 2/3 + b/9 a multiple of 15?
False
Suppose -2467 = -8*l + 3861. Suppose l = 5*o - 609. Does 18 divide o?
False
Let x(g) = -g + 19. Let a be x(14). Let l(r) = 4*r**3 - 2*r**2 + 20. Let u be l(a). Suppose u = 2*p + 3*p. Does 41 divide p?
False
Let g = 29175 - 24767. Does 55 divide g?
False
Suppose -161 = -6*z + 91. Suppose 0 = -n + z + 153. Does 31 divide n?
False
Let g = -596 - -600. Let w(h) = 29*h - 90. Does 4 divide w(g)?
False
Let p be (-3)/((-135)/10) - (-356)/18. Suppose 0 = 3*a + d + 8, -5*d = 5*a - 0*d + p. Is 3 a factor of a*((-2)/(-8) + (-649)/44)?
False
Suppose -3*u = -18*u + 62820. Suppose -14*y + 26*y = u. Is y a multiple of 30?
False
Let x = -75 + 650. Let g = x + -375. Is g a multiple of 50?
True
Let s(x) = 234*x**3 - 26*x + 96. Is s(5) a multiple of 84?
False
Let c = 81 + -49. Let n be (-4)/(-3)*48/c. Suppose -3*b = l - 8, 0*b + 10 = n*l + 3*b. Does 2 divide l?
True
Let r be 3*8/6 + (-98)/(-1). Let x = 252 - r. Is 30 a factor of x?
True
Suppose 24 = 8*o - 32. Suppose -o*n + 2*n + 50 = 0. Suppose n*r = 231 + 9. Is r a multiple of 17?
False
Let u = -616 + 1800. Is 65 a factor of u?
False
Let z = -750 + 1036. Is z a multiple of 11?
True
Let n(h) = -h**2 + 17*h - 58. Let b be n(12). Suppose -b*d = 3*d - 435. Is 29 a factor of d?
True
Let i(k) = 2*k**2 - 7*k + 12. Let u be i(2). Let q(a) be the third derivative of 37*a**4/24 - 2*a**3 - 10*a**2. Is q(u) a multiple of 21?
True
Let z be -6*(-2*10/8 + 2). Suppose 6*c - 1740 = -3*q + 3*c, 0 = 3*c + z. Is 70 a factor of q?
False
Let m(i) = -i + 11. Let b be m(7). Suppose 0 = b*k - 6*k - 3*o - 6, -4*k = 2*o + 4. Suppose k*y = -5*d + y + 138, -3*d + 2*y + 87 = 0. Does 4 divide d?
False
Let h = -1828 + 3593. Suppose 3*i - h = -5*s, -s + 1166 = 2*i - 3*s. Is i a multiple of 58?
False
Suppose 4*d + 4*q = 1000, -2*d + q = -0*q - 503. Suppose -z + 4*u = -d, 5*z + 5*u = 2*u + 1209. Does 9 divide z?
True
Let s be (-5)/10 - 53/(-2). Let k = s - 21. Suppose 2*g - 539 = -k*g. Does 13 divide g?
False
Does 4 divide (33 + 1)*26215/490?
False
Suppose 0 = -4*t - 311 - 669. Let h = t + 429. Suppose 5*y - 577 + h = -4*r, -3*r - 4*y + 295 = 0. Is r a multiple of 22?
False
Let i(y) = y**2 + 8*y - 38. Let x be i(-12). Suppose -x = -2*c + c. Is 5 a factor of c?
True
Let r be (1/(-2) + -4)*(-10)/3. Suppose r*b - 6 = 684. Is 23 a factor of b?
True
Suppose f + 111 - 816 = 2*r, 4*f - 2742 = -5*r. Is 77 a factor of f?
True
Suppose 4*t = -t - 10, 2*s + 3*t + 10 = 0. Is 24 a factor of (155/(-10) - s)/((-6)/160)?
True
Suppose 5*y = 5*h + 90, 3*h - 14 = -2*y + 12. Let p(c) = -8*c + 2. Let s be p(y). Is 5 a factor of 83/4 - (6 - s/(-24))?
True
Let w(n) = 25*n**2 - 4*n - 9. Let c be w(-3). Let o = c + -141. Let t = o - 36. Is t a multiple of 20?
False
Let u(n) = 102*n - 2891. Is 5 a factor of u(48)?
True
Let p be (9 + -12)*(-2)/(6/31). Suppose 29*q = p*q - 300. Is 30 a factor of q?
True
Let f be 214/8 + (-4)/(-16). Let g = f + -31. Let j(l) = -2*l**3 - 2*l**2 + l + 3. Is j(g) a multiple of 19?
True
Does 8 divide ((-290390)/12)/(-5) - 5 - 15/18?
False
Let f(b) = 261*b**2 + 5. Let v be f(2). Let d = v - -93. Is 13 a factor of d?
False
Let b = 268 + -264. Suppose -3*t + 474 = -3*m, b*t - m - 4*m - 629 = 0. Is t a multiple of 24?
False
Let l = -830 - -1026. Is l a multiple of 28?
True
Let t = -75 + 84. Suppose t*c = 111 + 15. Does 6 divide c?
False
Suppose -2*w = -w - 3, -4*q - 4*w + 892 = 0. Suppose 3*z + 357 = 2*n - q, -5*z - 271 = -n. Suppose -2*c + n = -0*c. Does 6 divide c?
False
Let j(c) = -8*c + 44. 