 t*49 + (0 + -5 - -2)?
True
Let l(q) be the second derivative of 6*q**2 + 0 + 1/12*q**4 - 1/2*q**3 - 10*q. Is l(5) a multiple of 22?
True
Suppose 0 = 4*w - 5*r + 17, -5*w - 4 = 5*r + 6. Let z be (13470/(-9) - (-1)/w) + 3. Is (z/24)/(6/(-8)) a multiple of 17?
False
Let t(s) = -15*s**3 - 8*s**2 - 133*s - 589. Is t(-6) a multiple of 17?
False
Let y(t) = t**3 - 7*t**2 + 7. Suppose -5*c = -3*c - 4. Suppose -11 = -0*p + c*p - 5*x, -5*p + 15 = -4*x. Is y(p) a multiple of 2?
False
Suppose 112*m = 5298603 - 11755. Is m a multiple of 17?
False
Let o(d) = -1254*d - 72. Let z(v) = 251*v + 14. Let x(g) = -4*o(g) - 21*z(g). Let i(k) = 85*k + 2. Let s(h) = -17*i(h) - 6*x(h). Is s(3) a multiple of 22?
False
Let h(n) be the first derivative of -9*n - 1/4*n**4 + 15/2*n**2 + 1 - 5*n**3. Does 3 divide h(-16)?
False
Suppose 1 = 16*j - 31. Suppose 3*h + 669 = 3*c, j*h - 214 = -c - 0*c. Does 11 divide c?
True
Suppose 5*n - 5 = -5*r, -n - 4 + 3 = 2*r. Suppose n*o = -4*b + 3724, 5*o + b = -4*b + 6215. Is o a multiple of 26?
True
Let q = -46 + 55. Suppose 11*z = q*z. Suppose 2*w - 3*p + p - 226 = z, -5*p - 133 = -w. Is 29 a factor of w?
False
Let d(m) = -m**3 + 20*m**2 - 4*m - 16. Let w be d(19). Let k = 677 - w. Is k a multiple of 12?
True
Let p(q) = -q**2 + 147*q - 462. Is 39 a factor of p(74)?
False
Suppose 8*t = -t. Suppose -2*v + t*j + 22 = 4*j, 0 = -5*v + 4*j + 13. Suppose -3*l + k + 223 = -273, k - 832 = -v*l. Is l a multiple of 47?
False
Suppose h + 552 = 3*h. Suppose -h = -2*g - 4*w, -g - 3*g - 2*w + 582 = 0. Suppose n + g = 2*n. Does 33 divide n?
False
Let s = -666 - -493. Let v = s + 345. Does 2 divide v?
True
Let t be (-3 - 2)/(1 + 0). Does 2 divide (t/(20/152))/(-2)?
False
Let s = 3946 + -3460. Is 3 a factor of s?
True
Suppose 5*h = 2*s - 32, 2 = -2*h - 6. Let x(t) = 33*t - 120. Does 39 divide x(s)?
True
Let z(q) = 3*q + 118. Let k(b) = -59. Let p(s) = -5*k(s) - 3*z(s). Is p(-11) a multiple of 5?
True
Let h(r) = 2261*r + 2. Let t be h(2). Suppose 40*m + t = 52*m. Is 13 a factor of m?
True
Is (-39)/((-312)/64) - (-9047 + -1) a multiple of 82?
False
Suppose z = t + t + 2, 14 = z - 5*t. Let h be (z + 18/4)/(6/(-584)). Suppose 491 = 13*v - h. Does 11 divide v?
False
Suppose -291*a + a = -1371410. Is 39 a factor of a?
False
Let i be (33/6)/(8/(-9760)). Is 13 a factor of 8/(-6) - (i/33 + 7)?
True
Let b(l) = -25*l - 295. Let g(k) = 58*k + 319. Let u be g(-6). Does 21 divide b(u)?
False
Let i(w) = 154*w + 82. Let a(s) = 78*s + 42. Let n(z) = 11*a(z) - 6*i(z). Is 35 a factor of n(-10)?
True
Is 8 a factor of 3278 - (-9 + 11 - 10)?
False
Let o(k) = 119*k**2 - 131*k + 1661. Is o(16) a multiple of 23?
False
Let w(z) = -3*z**3 - 8*z**2 + 2*z + 1. Suppose -8*r - 70 = 6*r. Let v(t) = -4*t**3 - 8*t**2 + 2*t. Let g(k) = r*w(k) + 4*v(k). Is g(7) a multiple of 10?
True
Let l(n) = -n**3 - 2*n - 3. Let g be l(-3). Let f = 39 - g. Suppose -350 = f*s - 14*s. Is 10 a factor of s?
True
Let u(l) = 16*l - 30. Let f be u(2). Is (27/f)/((-23)/(-644)) a multiple of 10?
False
Does 186 divide ((-628)/12 + 5 + 28/(-4))*-150?
False
Suppose -6*g = -7*g - 4*x + 71736, -3*x = -g + 71708. Does 39 divide 6/69 - g/(-460)?
True
Suppose 0 = -17*d - 9*d - 2158. Let h = -18 - d. Does 65 divide h?
True
Suppose 4*i - 20 = 52. Let t(m) = 3*m - 45. Let r be t(11). Does 36 divide (-298)/(-6) + r/i - -1?
False
Let y(g) = -g**3 + 10*g**2 + 3*g + 8. Let w be y(8). Suppose -m = -4*x - 60 - w, -675 = -3*m - 3*x. Does 56 divide m?
True
Let y(g) = 29*g - 49. Let j(f) = 29*f - 48. Let c(x) = 6*j(x) - 5*y(x). Suppose 47*r - 335 = -20*r. Does 17 divide c(r)?
True
Suppose -2*p + 5*a - 145 = 0, -7*p + 3*p = -4*a + 260. Let f = 107 + -41. Let h = p + f. Is h a multiple of 3?
True
Is 5930 - (-13)/(-104)*-8 a multiple of 138?
False
Suppose 0 = 2*z - 4*o - 68, z = -5*o + 2*o + 59. Let x = 291 - 230. Let m = x - z. Is m a multiple of 6?
False
Let i(w) = -w**3 + 7*w**2 - 3*w + 6. Let p be i(7). Let z = -27 + p. Is (-74)/(-3) + (-14)/z a multiple of 25?
True
Let h = -114 - -113. Let k be 8 + -7 - (h - 16). Let x = k - -13. Is 13 a factor of x?
False
Suppose -14*x = -25*x + 12705. Suppose x = d + 97. Does 23 divide d?
True
Suppose -210*i - 67*i = 9*i - 4780204. Is 61 a factor of i?
True
Let f = -4074 + 4286. Does 7 divide f?
False
Suppose -6*z + 3*j - 12 = -9*z, 0 = -2*z - 4*j + 8. Is 162/z + (-34)/(-68) a multiple of 41?
True
Does 67 divide 17620/(-60)*((-72)/(0 - 3))/(-1)?
False
Let k(d) = 11*d - 74. Let s be k(7). Suppose 3*v = s*l - 171, l = 5*v + 54 + 23. Is 2 a factor of l?
True
Suppose -98*s = -513061 + 63437. Is s a multiple of 37?
True
Let f(s) = 1265*s**2 + 637*s + 3850. Is 32 a factor of f(-6)?
True
Suppose 0 = -22*b - 177*b + 3484582 + 6763918. Does 20 divide b?
True
Suppose -2*y - 11 + 1 = 0, -2*d - 2*y + 24 = 0. Suppose 1080 = d*h - 12*h. Is 8 a factor of h?
True
Let v = -61 - -68. Suppose 3*w + 13 = 5*r, 2*r + 3*r + 3*w = v. Suppose -k - 1568 = -4*q - 447, 5*k = r*q - 565. Is 28 a factor of q?
True
Suppose 105*f - 2642878 = 1420727. Is 200 a factor of f?
False
Suppose 217*s - 216134 - 106941 = 68827. Is s a multiple of 21?
True
Let k(l) = -79*l - 117. Let f be k(-11). Suppose 4*r = 5*j - f, 4*j - 440 = 3*r + 162. Does 21 divide j?
False
Let r be ((-2)/2)/((7/5)/(-7)). Suppose -4*w = 12, -l + r*w - w = -10. Is 6 a factor of 96 - ((-99)/(-22) - (-3)/l)?
False
Suppose -25 = -5*i - 5*c, -5*i + 17 = -5*c + 2*c. Suppose 0 = n + i*a - 1707 + 24, 0 = -3*a. Does 33 divide n?
True
Suppose 0 = -7*u - u - 278 + 782. Does 10 divide u?
False
Suppose 11*u = 14*u - 1053. Suppose -u = -7*f + 769. Does 10 divide f?
True
Let v = -149 + 598. Suppose -u - 1337 = -4*u + 4*r, -u = 2*r - v. Is 35 a factor of u?
False
Let c(g) = 16*g**2 + 4*g - 24 + 7 - 8*g**2 + 9*g. Is c(2) a multiple of 2?
False
Suppose 48 + 16 = 16*x. Suppose 3*f = -5*y + 5*f + 651, -y + x*f = -123. Is y a multiple of 4?
False
Let j(l) = -94*l - 3279. Is j(-37) even?
False
Let b be 1/((-180)/(-972)*9/(-30)). Suppose 3*o = 2*o - 1. Let h = o - b. Is 17 a factor of h?
True
Suppose 11*u - 3408 = 7*u. Suppose -2*s + 2*j + u = 0, -4 = 11*j - 7*j. Is s a multiple of 25?
True
Let r = -315 - -320. Suppose r*s = -b + 176, -4*b - 2*s + 579 = -7*s. Does 4 divide b?
False
Let i be 5/((-45)/6)*-9 + 2. Suppose z = 2*q - 10, 5*q - i = 4*q - z. Does 5 divide q?
False
Let c(o) = -4*o**3 - 2*o**2 - 2*o - 1. Let x be c(-1). Suppose 2*q - 1169 = 5*s, -391 + 2179 = x*q + 4*s. Is q a multiple of 17?
False
Suppose 4*q - 33*q + 9367 = 0. Suppose q = 2*u - 3*a - 121, 0 = 5*u - 3*a - 1119. Does 15 divide u?
True
Suppose -f + 5*j + 1162 = 0, 4*f + 4*j = -f + 5955. Let d = f - 431. Suppose -r = -15*r + d. Is 10 a factor of r?
False
Is 51 a factor of 90053227/9361 - (-2)/(-46)?
False
Let p be 0 + (-28)/14*-2. Let y(m) = m**2 + 8*m + 2. Let x be y(-6). Is (-322)/x - (-1)/(-20)*p a multiple of 13?
False
Let z(h) = -h**2 - 3*h + 2. Let q be z(-4). Let v be 37 - (q - -1 - 1). Let r = v - 18. Is 11 a factor of r?
False
Let c = 1269 + -2869. Let w = 2566 + c. Is 18 a factor of w?
False
Let p = 153 - 148. Suppose -v = -2*g + 3*v + 40, 5*v = 2*g - 44. Suppose r = 2*i + g, 3*r = r + p*i + 25. Does 2 divide r?
True
Let f be 18966/9 - (-16)/24. Suppose -14436 - f = -16*k. Does 14 divide k?
False
Let m be 15/(-5) + (0 - -303). Suppose 2*v + 8*v = m. Does 22 divide v?
False
Let i(g) = -19*g + 95. Let y be i(5). Let n be 0 + (-3)/(-3) + 21. Suppose -o - 2*l + n = y, 2 = -2*l + 3*l. Is o a multiple of 2?
True
Suppose -h = 2*l - 1, -2*l + 5 = -4*h + 9. Does 40 divide 169043/451 - (2/(-11) - l)?
False
Let m = 12 + -123. Suppose 0 = -5*z - v + 762 - 134, -2*z = v - 250. Let i = m + z. Is 8 a factor of i?
False
Suppose y = 3*w - 2239 - 2360, -4*w + y + 6131 = 0. Suppose 1404 = 4*n + u, 4*n + 152 = 5*u + w. Does 50 divide n?
True
Let m be 6/(-51) + (1537148/68 - -5). Does 27 divide (-12)/((-336)/m) - (-10)/4?
True
Suppose 0 = -f + 2*b, 3*f + 8*b - 5*b = 18. Suppose p = 13*p - 60. Suppose p*j - 216 = -f*j. Does 6 divide j?
True
Let t(f) = -f**3 - 7*f**2 + 27*f - 12. Let r be t(-10). Let l(n) = -n**3 + 17*n**2 + 25*n - 54. Is l(r) a multiple of 36?
True
Let m(t) = -24*t + 479. Is m(7) even?
False
Let v = -43 + 54. Suppose 16 = p - 16. Let n = p - v. Is n a multiple of 8?
False
Let u be 24*(-18)/(-21) + 3/7. Su