t s(d) = d**3 - 30*d**2 + 6*d + 126. Is s(30) a multiple of 18?
True
Let p be 444/10 - (-9 - 462/(-55)). Suppose -p = -z - 4*a, z = -5*a + 69 - 21. Is z a multiple of 33?
True
Let o(j) = j**3 + 2*j**2 + 790. Let t be o(0). Suppose 2*i = -3*b + t, 1199 = 3*i + b - 0*b. Is 23 a factor of i?
False
Does 12 divide (-360220)/(-44) - -2 - (-15 - (-163)/11)?
False
Let i be ((-86)/8)/(395/80 - 5). Suppose 3*x = i + 35. Is x a multiple of 9?
False
Let i(m) = 2*m**2 - m + 4. Suppose -4 = 3*j - 7. Suppose -4*f + 11 + j = 0. Is i(f) even?
False
Let m(s) = 5*s**2 - 17*s + 60. Suppose -5*l - 65 = 2*o, -3*o = 4*l - 5*o + 70. Does 12 divide m(l)?
True
Suppose -135*v = 38327 - 181157. Is v a multiple of 5?
False
Let u = -9378 - -20445. Is u a multiple of 17?
True
Suppose 0 = -2*m - m + 2*p + 11, p = 2. Suppose -m = -14*c + 13*c. Suppose c*b + 5*g = -136 + 421, b + 3*g = 51. Is 12 a factor of b?
True
Let l = -52 + 24. Let r = 32 + l. Suppose r*d - 84 = d. Is 14 a factor of d?
True
Let j(k) = 5*k**2 + 9*k - 17. Let d(o) = o**2 + o. Let i(l) = 6*d(l) - j(l). Let w be i(5). Let t = 95 - w. Is 16 a factor of t?
False
Is ((-43)/(1720/12064))/(4/(-30)) a multiple of 26?
True
Let g = -55 - -71. Suppose -x + 33 = -g. Let m = x - -97. Does 23 divide m?
False
Suppose 0 = -2*r - 5*b - 255, -285 - 305 = 5*r + 3*b. Let s = r + -2. Let u = 201 + s. Does 21 divide u?
True
Let u(r) = 218*r**3 - 3*r**2 + 9*r - 7. Let q be u(2). Suppose 0 = -12*o + 237 + q. Is o a multiple of 33?
True
Let c be 4/(-34) + (-800238)/(-697). Suppose 0*x + c = 7*x. Is x a multiple of 4?
True
Suppose 11 - 15 = -x. Suppose -5*i + 5*p + 837 = -2*i, 5*i - x*p - 1408 = 0. Is 71 a factor of i?
True
Suppose 2*s = -2*s. Let a be 3/1 - 234/(-1 + s). Let q = -162 + a. Does 5 divide q?
True
Let b = 36 - 81. Let t be (1 + 0)/(-3*3/b). Suppose 0 = 5*h - n - 247, -3*h - 109 = -t*h - 3*n. Is h a multiple of 10?
True
Suppose 376*r - 3 = 375*r. Suppose 4*b - 1784 = -4*d, 10*d = r*b + 6*d - 1352. Is 16 a factor of b?
True
Suppose -654 = 4*t + 5*n, -3*t + n + 0*n - 500 = 0. Let u = -73 - t. Does 14 divide u?
False
Let l = 9091 - 6355. Suppose -2*b - l = -11*b. Suppose 100 = -300*o + b*o. Is 2 a factor of o?
False
Suppose 0 = -x + 4*x. Let g = 721 - 700. Suppose 18*u - g*u + 570 = x. Does 15 divide u?
False
Let b(q) = -q**2 - 8*q - 7. Let m be b(-5). Suppose 7*x = m*x. Suppose x = -16*h + 21*h - 1170. Does 39 divide h?
True
Suppose 185 = -4*n + 29. Let x be -2*3/(-18)*n + -3. Let k(m) = m**2 + 8*m - 17. Is 22 a factor of k(x)?
False
Suppose -g - 5*t = 4*g - 155, -g + 36 = 2*t. Let c(q) = -q**2 + 36*q - 92. Does 3 divide c(g)?
True
Let g be 3600/9 - (-12)/6. Suppose -o + 4*j = -486, -5*j - g = 4*o - 2388. Is 19 a factor of o?
True
Suppose 30 + 0 = 5*s. Suppose -s*z + 101 = -31. Does 22 divide z?
True
Let q = -40 - -32. Let i(o) = -o - 4. Let l be i(q). Does 8 divide (l/(-3))/((-12)/171)?
False
Let v = 244 + -1036. Let s = v - -1337. Is 14 a factor of s?
False
Suppose 3849 - 35979 = -18*y. Is y a multiple of 4?
False
Let s(v) be the first derivative of 59*v**2/2 + 242*v + 67. Is s(10) a multiple of 33?
False
Let x(b) = -10*b**2 + 13*b + 23. Let l(v) = 19*v**2 - 25*v - 45. Let i(a) = -2*l(a) - 5*x(a). Is 11 a factor of i(-3)?
False
Let v = 836 + 208. Suppose 0 = 3*i + 2*h - v, 3*i - 3*h = i + 709. Is 35 a factor of i?
True
Let g be 4 + (-30)/9 + 8/6. Suppose 3*a + 7 = -g*m, a = -0*m + 2*m + 19. Does 4 divide -16 + 44 - m/2?
True
Let j be -1 - -2 - (1 + (5 - 5)). Suppose -16*m + 96 = -j*m. Suppose -216 = 3*b - m*b. Does 12 divide b?
True
Let d(i) = -3*i**2 - 75*i + 3. Let h be d(-25). Suppose -h*l - 8*l = -4312. Does 14 divide l?
True
Let x(m) = -16*m + 7. Let s be x(-2). Is s/((-12)/(-560)*5) a multiple of 26?
True
Suppose -133*t + 1302 = -126*t. Does 3 divide t?
True
Let s = 589 - -97. Suppose -682 = -4*p - g, 16*g = -4*p + 17*g + s. Is p a multiple of 11?
False
Suppose 3*b + 4*r - 14040 = 0, b + 22*r - 4666 = 23*r. Is 16 a factor of b?
True
Suppose 2 = r, 2*r - 1097 + 5153 = a. Does 28 divide a?
True
Suppose -24 = 4*p - 2*r - 2*r, 3*p + 16 = 2*r. Is (200/p)/(6/(-15)) a multiple of 19?
False
Suppose 13*p + 4232 = 251193. Is p a multiple of 121?
True
Let v(q) = -8*q + 11 - 5 + 28*q**2 + 4. Let i be v(4). Suppose 3*d + 38 = 4*b - i, -2*d = 2*b - 218. Is 26 a factor of b?
False
Suppose 5 = 5*v, w + 4*v - 3*v = 9. Let p(m) = m + 9. Let x be p(-7). Suppose -3*o + j = -76, -w + 0 = x*j. Is o a multiple of 18?
False
Let c = -22680 + 29422. Is 6 a factor of c?
False
Let d = 5507 - 3974. Does 3 divide d?
True
Let w be 2/8 - 54/(-8). Suppose 2*u - w*u + 1524 = 4*d, 5*u = -5*d + 1520. Does 10 divide u?
False
Let s be (108/(-5))/(12/(-90)). Let x = 224 - s. Does 59 divide x?
False
Suppose 3*y - 9 = -3*g, -4*y + 0*g - 2*g = -12. Suppose -y*c - 10 = -19. Suppose -5*s = l - 303, 0*s - 5*l + 173 = c*s. Does 13 divide s?
False
Suppose 0 = 4*o - 547 + 59. Suppose 2*n = 3*l + o, -5*n + l = -2*l - 287. Does 17 divide n?
False
Let n = 34 - 29. Suppose -5*p + 32 = 2*j, p = -n*j - 0 + 11. Suppose -18 = 3*q - p*q. Is q a multiple of 6?
True
Let k = 1261 + 2339. Does 24 divide k?
True
Is -19 - (-35458 - (-2 - -20)) a multiple of 223?
True
Let d(t) = t**3 - t**2 - 49. Let m be d(0). Let i be 14/m + (-628)/7. Let h = 147 + i. Does 12 divide h?
False
Let j(g) = 1168*g - 4348. Does 4 divide j(11)?
True
Let b(v) = 40*v**2 + 202*v + 1433. Does 17 divide b(-7)?
False
Let n be (5/10)/((-6)/4)*-42. Let m = 441 - n. Is (-8)/(-12) - m/(-3) a multiple of 27?
False
Is 15 + (-8118)/27*-12 a multiple of 46?
False
Let r be -1 - ((-25)/2 + (-1)/(-2)). Is 47 a factor of (r/(99/(-1692)))/(2/(-4))?
True
Let s(c) = -c**3 + 32*c**2 + 105*c - 36. Does 44 divide s(31)?
True
Let r(x) = -8*x**3 - 41*x**2 - 6*x - 4. Let l be r(-5). Let t be 2/(-8) - (-1351)/(-4). Is t/(-10) - 5/(-25)*l a multiple of 9?
False
Let f = 8532 - 7685. Is f a multiple of 153?
False
Let q = -13 + 17. Is 19 a factor of ((-62)/(-4))/(q/(6 - -2))?
False
Let q(y) = 12*y**3 - 2*y**2 + 7*y + 13. Let m be q(-2). Let p = m - -463. Is 16 a factor of p?
False
Let o = -1069 + 3054. Is 10 a factor of o?
False
Let t be -3 - (-4)/(5 + -1)*18. Suppose -7*q + 16 = -3*q + x, q - t = -3*x. Suppose -2*j + q*w + 644 = 3*j, 5*j - 646 = 2*w. Is j a multiple of 9?
False
Let o(l) = 13*l**3 - 12*l**3 - 29*l + 58 - 14*l**2 - 16*l**2. Is 30 a factor of o(31)?
True
Suppose -90*g - 3666 = -92*g. Is g a multiple of 16?
False
Suppose -4*a - 24 = -d, -24*a - 1 = -4*d - 27*a. Suppose 2*i - 28 = -y + 46, -d*i + 20 = 0. Does 8 divide y?
True
Suppose -3*d + 23 = 41. Let u(k) = -k**2 - 6*k. Let h be u(d). Suppose -3*l - i + 39 + 113 = h, 2*i + 196 = 4*l. Does 5 divide l?
True
Suppose 0 = -3*k + z + 21, 2*z = k - 3 - 9. Is 15 a factor of (-120)/k*122/(-8)?
False
Let s(n) = 4*n + 4. Let c be s(-3). Let h be c + 3 + -3 + 1 + 2. Let o(i) = 4*i**2 - 5*i - 13. Is o(h) a multiple of 51?
False
Let m be 40/6 + 40/(-60) + 1. Suppose -15*p - m*p = -2530. Is p a multiple of 20?
False
Suppose -8*c + 16*n = 13*n - 270948, -2*c + n + 67736 = 0. Is c a multiple of 21?
False
Let c(i) = i**3 - 25*i + 2. Let p be c(-5). Suppose z - 3 = p. Is 558/12*(z + -3) a multiple of 31?
True
Let a(p) = 27*p - 96. Let w be a(-15). Let l = -144 - w. Is 5 a factor of l?
False
Suppose 2*p = 61 - 15. Let k = -150 + 144. Let t = p - k. Does 14 divide t?
False
Suppose -5*b = -3*l + 2658, 3*b - 6*l + 4*l + 1594 = 0. Let y = -122 - b. Is y a multiple of 63?
False
Let x = 5750 - 3721. Is 17 a factor of x?
False
Suppose -4*m + 8*k = -62648, 0 = 2*m - 5*k - 43938 + 12609. Is 91 a factor of m?
True
Suppose -2*b - 2*b + 2*b = 0. Suppose 0 = -b*v + v - 4. Suppose 7*g + v*g = 1287. Is 39 a factor of g?
True
Let z = -23610 + 39490. Is 40 a factor of z?
True
Let t(r) = -r**2 - 7*r - 7. Let k be t(-5). Suppose -4*j = 3*n - j + 48, 0 = k*n - 2*j + 58. Does 10 divide 362/4 - (-9)/n?
True
Let k = 2835 + -2610. Is 3 a factor of k?
True
Let h(s) = 51*s - 14. Let b be h(-2). Let k = b - -161. Is k a multiple of 5?
True
Suppose -3*k - 5*j + 137968 = 0, 59*k - 3*j = 62*k - 137952. Does 14 divide k?
True
Let y(a) = -5*a - 53. Let s be y(-12). Suppose -s*q + 24 = 5*q. Is 2/(-6)*q - 92/(-3) a multiple of 5?
True
Let w(g) = -5 + 10 + 8*g**2 + 1175*g - g**3 - 1184*g. Is w(5) a multiple of 2?