/(-30) + (-609895)/(-15) a multiple of 18?
True
Let k = 5005 - 3136. Does 11 divide k?
False
Let w = -108 + 112. Let z(b) = 20*b + 12. Is 23 a factor of z(w)?
True
Suppose 17*q - 142091 + 55238 = 0. Is 157 a factor of q?
False
Let f = -4556 + 8114. Does 11 divide f?
False
Suppose -5*r + 3445 + 1315 = 0. Is r a multiple of 33?
False
Let f(p) = -p + 2. Let s be -2*((-6)/4)/3. Let r be f(s). Is (7 + -1)/(86/(-92) + r) a multiple of 16?
False
Let j(t) = t**3 + 50*t**2 + 586*t + 12. Does 9 divide j(-21)?
True
Let s be -1*6/(-3) + -7. Let j(o) = -6*o**2 - 16*o - 25. Let q(i) = -9*i**2 - 24*i - 38. Let r(b) = -8*j(b) + 5*q(b). Does 45 divide r(s)?
True
Suppose -11 = -7*g + 17. Suppose o - 3*o - 1852 = -5*s, g*s = -3*o + 1477. Is 28 a factor of s?
False
Let w(o) = 77*o**2 - 3*o + 1. Let x(d) = d - 1. Let f(k) = w(k) - 4*x(k). Does 17 divide f(1)?
False
Let l be (-12520)/56 - 0 - 6/14. Does 9 divide l/35*(-35)/2?
False
Let r(y) be the second derivative of y**4/2 + y**3/2 + y**2/2 - 20*y. Let z be r(-1). Suppose 4*q = -n + 359, 2*q = -2*q - z*n + 356. Is 27 a factor of q?
False
Let c = 594 - 1359. Is ((-17)/(c/36))/((-2)/(-460)) a multiple of 23?
True
Suppose 0 = -161*o + 352391 + 147675. Is o a multiple of 7?
False
Let r(w) = 854*w - 805. Is 26 a factor of r(5)?
False
Let m = -220 - -222. Let n(y) = 10*y**2 - y. Is 3 a factor of n(m)?
False
Let i(p) be the first derivative of 5*p**3/6 + 18*p - 4. Let f(o) be the first derivative of i(o). Does 4 divide f(4)?
True
Let j(m) = -m**2 + 124*m - 23. Is 5 a factor of j(40)?
False
Let j(c) = -2*c**2 + 12*c - 21. Let w(g) = 2*g**2 - 13*g + 20. Let l(o) = 2*j(o) + 3*w(o). Is 9 a factor of l(9)?
True
Let i(v) = 2*v**3 - 5*v**2 + v + 5760. Is i(0) a multiple of 45?
True
Let l be (-2)/4*((-9254)/(-84) + 7/(-42)). Let m = -5 - 93. Let v = l - m. Is v a multiple of 9?
False
Suppose 7*y + 792 = -y. Let h be (y - 0) + (6 - 9). Let q = h + 181. Does 16 divide q?
False
Let n(b) = b + 5. Let x be n(0). Suppose 4*f + 5*t = 1604, 0*f - 2*t - 1203 = -3*f. Suppose 12*r = -x + f. Is 11 a factor of r?
True
Let x = 20869 + -17741. Does 13 divide x?
False
Let s(c) = 277*c - 38. Let k be s(6). Suppose 4*y = 8*y - k. Is y a multiple of 15?
False
Let m be (-16)/2 - (0 + -8). Suppose m = -52*b + 60*b - 4448. Is 9 a factor of b?
False
Let x = 515 - 160. Is x - (-9 - (3 - 7)) a multiple of 9?
True
Suppose 162*c = 164*c - 34. Suppose -k = -2*h - c, 2*k - 11 = -3*h + 37. Is k a multiple of 12?
False
Let c = 30467 - 21334. Is 133 a factor of c?
False
Let q = 509 - -2158. Suppose 7*p + 266 = q. Does 26 divide p?
False
Let j(u) = -124*u - 20. Let l be j(-10). Suppose 4*b = 4*q + 2*b - 4844, -5*b - l = -q. Does 19 divide q?
False
Let z(k) = -k**2 + k. Let h(j) = j**3 - j**2 + j - 1. Let l(f) = h(f) + 3*z(f). Let i be 432/(-48) + 3*4. Does 2 divide l(i)?
True
Suppose -3*z = -h - 12, 0 = h - z + 3 - 1. Suppose 6948 = -5*v + 3*y - 2*y, 0 = h*y - 9. Is v/(-13) - 2/(-13) a multiple of 19?
False
Is (-260)/(-858)*143*(-318)/(-2) a multiple of 65?
True
Let k(u) = -u**3 + 54*u**2 - 254*u + 18. Let g be k(49). Let i = g - -1151. Is i a multiple of 28?
True
Let c(d) = d**3 + 4*d**2 - d + 2288. Suppose 6*y - 4*y = -6*y. Let s be c(y). Suppose 0 = 7*i - 18*i + s. Is i a multiple of 10?
False
Let f(s) = 34*s - 42. Is 4 a factor of f(8)?
False
Let x(y) = -y - 17. Let s be x(-9). Let u(h) = -10*h - 13. Let k be u(s). Let i = k + -60. Does 7 divide i?
True
Suppose -2976 = -h - 4*m, 4*m + 0*m - 5964 = -2*h. Does 15 divide h?
False
Let a = 63 + -51. Suppose 18 = a*n - 6*n. Suppose -t + 83 = 2*x, -15 = x + n*t - 59. Does 8 divide x?
False
Suppose 0 = g - 5*n - 25, -5*g + 19 = -5*n - 26. Suppose 8*t = g*t + 36. Is 9 a factor of (t/(-10))/(7/(-105))?
True
Let j(f) = -515*f**2 - 3*f - 38. Let m be j(7). Is 54 a factor of 22/143 + m/(-26)?
False
Suppose 4*f - 533 = 1707. Suppose 0*h - f = -h. Suppose h = 2*n + 184. Is n a multiple of 32?
False
Let y = 271 - 217. Suppose -55*i = -y*i - 35. Does 35 divide i?
True
Suppose 5*r + 3*q - 6045 = 0, -21*r + 22*r - 1232 = 4*q. Does 6 divide r?
True
Let k(i) = 26*i**3 + 15*i**2 - 71*i + 66. Is 162 a factor of k(8)?
True
Suppose -20*g + 8 = -18*g. Suppose 0 = -2*w - 4*k + 64, g*w - 3*w = -3*k + 27. Is 19 a factor of w?
False
Let l(o) = 17892*o**2 + 4*o + 5. Is l(1) a multiple of 39?
True
Suppose 11*h - 18*h = -28. Suppose -3*p + 1423 = -h*n, -3*p = -5*n - 229 - 1195. Is 43 a factor of p?
True
Let k = -13 + 13. Suppose k = 2*s - r + 1177, 2*s - 5*r - 30 = -1227. Let f = s + 826. Is f a multiple of 48?
True
Let p(l) = 22*l + 30. Let z be p(-19). Suppose i = -i - 444. Let o = i - z. Is 34 a factor of o?
False
Let y(f) = 26*f**3 + 3*f**2 - 4*f + 3. Let p be y(2). Let l = 137 - p. Let k = l - -171. Is k a multiple of 11?
False
Is (1818/30)/(-6*7/(-19110)) a multiple of 91?
True
Suppose -58*p = -326757 - 43283. Is p a multiple of 10?
True
Suppose 0 = 9*l + 3*l - 828. Let t = l + -93. Let v(j) = -j**3 - 24*j**2 - 2*j - 40. Is v(t) a multiple of 3?
False
Let k(m) = -m**3 - 8*m**2 - 6*m + 4. Let i be k(-7). Let p be 3 + (-3 - i)/3. Suppose w + p = -2*t + 2, -25 = -5*w - 4*t. Is 2 a factor of w?
False
Is (2 - 2) + -1733*(-1)/(1 - 0) a multiple of 31?
False
Let v(z) = 163*z**2 + 13*z - 18. Let y be 24/90*135/18. Does 44 divide v(y)?
True
Let g be 1*(-4)/(-8)*0. Suppose -9*u + 14*u - 200 = g. Let x = u - 21. Is x a multiple of 19?
True
Let z = -9 - -21. Let k be (-45)/(-12) - (-3)/z. Suppose -2*o = -f + 120, -2*f + 3*f - k*o - 130 = 0. Is 14 a factor of f?
False
Let h be (-2)/(-4) + 474/(-12). Let x = h + 169. Is 13 a factor of x?
True
Suppose 2*y + 4*y - 72908 = -15092. Is 33 a factor of y?
True
Let b be (15/10)/(2/(-36)). Let z be b/(-18)*196/6. Suppose 0 = 4*c - 179 - z. Is c a multiple of 11?
False
Suppose t = -r + 4, -2*t = -5*r - 0*t + 13. Suppose 10 = -r*m + 4*a, 4*m + 3*a - 20 = -0*a. Suppose -g - 616 = -5*w, 248 = w + w - m*g. Does 20 divide w?
False
Is 35702/7 + (-36)/126 - 10 a multiple of 22?
False
Is 55 a factor of (-43)/(860/(-173700)) - (0 - -3 - 8)?
True
Suppose 2*l + 3*v = 12373, -19*l - v = -16*l - 18563. Is 182 a factor of l?
True
Let k(u) = 6*u - 4*u + 4 - 5*u**2 - 90*u**3 + 92*u**3. Let m be k(3). Let i = 67 - m. Does 12 divide i?
True
Suppose 0 = 6*d - 118 - 2. Let k(u) = -u**2 + 27*u + 40. Is 4 a factor of k(d)?
True
Let h(y) = 29*y**2 + 22*y - 65. Is 8 a factor of h(-10)?
False
Let j(w) = -4*w**3 - 2*w**2 + 4*w + 10. Let r be j(3). Let p = 115 + r. Let n = p - -34. Is n a multiple of 3?
True
Suppose 3*i + 3 - 16 = -2*k, k - 3*i = 2. Let u = 78 - 78. Suppose -3*s + 5*s - 133 = -k*f, -4*f - 4*s + 104 = u. Is 21 a factor of f?
False
Suppose 90 = -2*y + 90. Suppose y = 5*g + 5*h + 75, h + 2*h - 6 = 0. Let b = g - -127. Is b a multiple of 20?
False
Let p be (-5 - -10)*-1*(3 - 5). Is 13 a factor of 145/p*26 - -6?
False
Suppose -3*t - 6 = -t, -5*t - 2883 = 3*k. Is 28 a factor of (k/(-34) - 0) + (-96)/816?
True
Suppose -13*o + 125 = 21. Suppose -2*z + 4*z = -o, -a + z = -127. Is 41 a factor of a?
True
Let v be (12/15)/((-2)/(-10)). Suppose 20*k - 1551 = 349. Suppose -5*a = 4*n - 116, -v*a + n + k = 2*n. Does 3 divide a?
True
Suppose 0 = 168*t - 171*t + 12. Suppose -2580 = -8*i + 3*i + t*j, 0 = 5*i - j - 2595. Is 52 a factor of i?
True
Let b = 2714 + -1384. Is b a multiple of 10?
True
Let o(t) = -9*t + 23. Let a be o(2). Suppose -3*z = -a*w - 168, -3*z - 2*z + 5*w + 280 = 0. Is z a multiple of 28?
True
Let t(x) = 2*x**2 - 3*x - 2. Let m be t(-1). Let c be ((-9)/(-15))/(m/45). Let d(n) = 14*n - 25. Is d(c) a multiple of 13?
False
Suppose -203*g = -204*g - 3*q + 9840, g - 9800 = 5*q. Does 8 divide g?
False
Let f be (-1)/((-4)/791) - 2/(-8). Suppose -672 = -6*o + f. Suppose -3*c = -5*p - 146, 8*c - 4*p - o = 5*c. Is c a multiple of 8?
False
Let h(p) = -11*p**3 + 4*p**2 + 4*p + 3. Does 17 divide h(-6)?
True
Let a(p) be the first derivative of 7/2*p**2 - p - 13. Does 18 divide a(17)?
False
Let k(j) = 2*j**2 - 4*j - 7. Let h be k(-7). Let d be -13 + h - (-4)/(-1). Suppose -59 - d = -7*u. Is u a multiple of 6?
False
Suppose -58 = -4*y + 14. Suppose 214 = 2*x + 2*j, -2*j = -2*x - y + 232. Suppose 0 = -u - 3*r + x, -2*u + 4*r = -7*u + 524. Does 25 divide u?
False
Is (-255)/(-40) + -3*2/16 + 11536 a multiple of 39?
False
Does 8 d