 divide p(-22)?
True
Let n(l) = 7*l - 81. Let v be n(-17). Let i = 313 - v. Does 9 divide i?
True
Does 125 divide (-381345)/(-27) + (-115)/(-1035)?
False
Suppose 0 = -5*t + d + 45095, -t + 1652*d = 1654*d - 9030. Does 11 divide t?
True
Suppose -5*i + 46 = 4*d, 5*d - 2*i = -0*d + 74. Let o(y) = -y**3 + 22*y**2 - 16*y - 21. Is o(d) a multiple of 15?
False
Let n(d) be the second derivative of 8*d**3/3 - 4*d**2 - 64*d. Let q(x) = 3*x + 34. Let r be q(-10). Does 4 divide n(r)?
True
Suppose 100*j = 70*j + 74130. Let i = j + -1504. Is i a multiple of 14?
False
Suppose 2*v + 4*n - 3234 = 0, -v + 2*v = -5*n + 1614. Suppose 3*j - 1627 = -h - 4*h, -3*j - h + v = 0. Is j a multiple of 18?
False
Let y = -4528 - -11603. Is y a multiple of 12?
False
Is 4575 + 1 + 11/3 + 152/(-228) a multiple of 40?
False
Suppose 4*j - 80779 = -5*c, 76*c - 78*c + j + 32309 = 0. Does 37 divide c?
False
Suppose -5*k + 27 - 27 = 0. Suppose 4*s + s + 15 = k, a = 2*s + 22. Let g = a - -82. Is 14 a factor of g?
True
Does 29 divide 37/(555/315) - -5614?
False
Suppose -11*s = -16*s - 4*w + 13521, -5414 = -2*s - 3*w. Does 73 divide s?
True
Suppose -6*b - 4*f + 7 = -5*b, 0 = -b - 2*f + 15. Suppose -b*t + 27*t = 5*k + 148, 0 = -2*t - k + 60. Is 10 a factor of t?
False
Suppose 5*s + 23*o - 25*o = 91293, 3*s - 54751 = -5*o. Is s a multiple of 37?
False
Suppose 8*c - 18 = 46. Suppose -5*d + 1401 = 4*j, -11*d = -c*d + 9. Is 36 a factor of j?
False
Suppose -o = -550 + 4. Is o a multiple of 8?
False
Let q(b) = -2*b**2 + 19*b - 14. Let v be q(9). Does 30 divide -4 + v/(-10)*488?
True
Let g = 3969 + -2841. Does 6 divide g?
True
Suppose 2*z = 2264 - 30. Suppose -5*w + l + z = 3*l, 2*l = 3*w - 667. Does 8 divide w?
False
Let b(v) = 3*v**2 - 25*v - 106. Let k be b(-21). Let w = 2659 - k. Is 16 a factor of w?
False
Let x be 121/3 - 22/66. Suppose 6*f - 16*f = -x. Suppose -5*i = -3*i - 6, 3*a = -f*i + 171. Does 11 divide a?
False
Let g be -2*(-1)/2 - -2. Let t(b) = 6*b**2 + 11*b + 3. Let y(h) = -54*h**2 - 104*h - 27. Let q(r) = 19*t(r) + 2*y(r). Is q(g) a multiple of 12?
True
Let q(d) = 5*d + 69. Let s be q(-13). Is ((-189)/s)/(75/(-400)) a multiple of 42?
True
Suppose 0 = 92*r - 96*r + 3028. Let p = 1306 - r. Suppose -f + 50 + 73 = 5*a, 3*a - p = -5*f. Does 12 divide f?
True
Let b(s) = -s**3 + 15*s**2 - 10*s + 1. Let v be b(13). Suppose 0*j = -3*j + 5*o + v, 0 = -3*j + o + 205. Let t = j + -14. Does 9 divide t?
True
Suppose -4*m + 3 = -3*m. Let h(w) = -1 - 23*w - 2*w**2 + 6*w**m - 9*w**3 + 26*w. Is h(-4) a multiple of 28?
False
Suppose -125 = -9*u + 10. Suppose 4*b - 5 = u. Suppose 3*c - 95 = -b*i, c + 0*c - 4*i = 60. Does 10 divide c?
True
Let u(i) = i**3 + 29*i**2 - 6*i - 44. Does 80 divide u(-19)?
True
Suppose -44*y + 409960 = 138560 - 239308. Is 219 a factor of y?
True
Let b(x) = -2*x - 16. Let k be b(-9). Suppose 4*l + k*l = 12. Suppose -3*g + 119 = -5*z - 114, 2*z + 154 = l*g. Is g a multiple of 8?
False
Let v be (0*2/4)/(-20 - -21). Suppose v = -z + 3*z - 13*z. Suppose -i - 31 = -a - 4*i, -2*a - 5*i + 63 = z. Does 17 divide a?
True
Suppose -857 = c - 15249 - 10836. Is c a multiple of 92?
False
Suppose -22*d + 166137 = 144247. Is 10 a factor of d?
False
Suppose -103*s = 68*s + 56*s - 253786. Is s a multiple of 13?
True
Let f(s) = 27065*s**3 - 47*s**2 + 50*s - 1. Is 19 a factor of f(1)?
False
Suppose -z + 37 + 65 = 0. Suppose 0 = -7*w + w + z. Suppose 0 = -w*v + 22*v - 20. Does 2 divide v?
True
Suppose 11*d = 91 - 25. Suppose 2*y = d*y + 436. Let r = 187 + y. Is r a multiple of 18?
False
Let q(z) = -19*z - 13. Let w(u) = u - 9. Let n(o) = -2*o - 3. Let k be n(-4). Let t be w(k). Is q(t) a multiple of 21?
True
Suppose 3*u - 5*n = 3480, 3*u - u + 5*n = 2345. Is u a multiple of 10?
False
Suppose 4*x + 5 = -4*q + 105, -124 = -4*q + 2*x. Suppose -q*k + 4*v - 201 = -32*k, 4*v = -k + 67. Is k a multiple of 2?
False
Suppose -q = -a + 5*a - 2699, 13367 = 5*q + 4*a. Is q a multiple of 24?
False
Let z = -55 + 53. Let q be 3/z*220/(-66). Suppose 0 = 4*h + 4*x - 538 - 338, -2*h + 432 = q*x. Is h a multiple of 17?
True
Let r(v) be the first derivative of -v**3/3 - 3*v**2/2 + 14*v - 34. Let l be r(-6). Is (-69)/(-6) + (-6 - -4)/l a multiple of 12?
True
Let g be 2/11 - ((-8)/(-44) - -1). Let s(i) = -7*i**3 + i**2 - 1. Let f be s(g). Suppose f*q + q = 56. Is q even?
False
Suppose 4*x = 3*m - 327 - 3441, 0 = -3*x + 9. Suppose 0*c + 10*c = m. Does 5 divide c?
False
Let v = -3434 - -3740. Does 18 divide v?
True
Suppose 0 = -3*p + j + 18011, 12*j - 13*j - 30023 = -5*p. Is p a multiple of 66?
True
Suppose -4*h + 70 = -2*n, 0 = -7*h + 12*h - 5*n - 90. Let p = h + 63. Is p a multiple of 5?
True
Let b be -6 - (-2 - (-299 + -3)). Let y = -54 - b. Is y a multiple of 6?
True
Let p(b) = -10 + 70*b + 117*b - 261*b. Let i(n) = -73*n - 9. Let k(v) = 4*i(v) - 3*p(v). Is k(-2) a multiple of 12?
False
Suppose 0*w - 24 = 12*w. Let z be (-274)/(-2)*(w - -4)/2. Let v = z - -12. Does 10 divide v?
False
Suppose 4*n = 0, -4*n + 7*n - 20 = 5*o. Suppose 3*t + 121 = -131. Let l = o - t. Is 20 a factor of l?
True
Suppose 449*v - 418*v - 96937 = 0. Does 10 divide v?
False
Let j be (-792)/231*(-56)/6. Let v = j - -176. Is v a multiple of 28?
False
Suppose 4*b = 5*c + 50, 3*b - 56 = -b + 2*c. Suppose -73*f + 124 + 22 = 0. Suppose -b*o = -f*o - 260. Does 20 divide o?
True
Let d = -25364 + 47792. Is 36 a factor of d?
True
Let d be (-19)/(-7) - (-8)/28. Is (1956/(-16)*-1)/(d/8) a multiple of 22?
False
Suppose 11 - 3 = d - y, -d = y. Is 11 a factor of (0 - -24)*19/d?
False
Suppose -12*r - 19279 + 81919 = 0. Suppose -r = -62*m + 53*m. Is m a multiple of 29?
True
Let y be -5 + (5 - 4)*70. Suppose -4*w + 5*w - y = 0. Is w a multiple of 12?
False
Suppose 5*i = -2*o + 5418, -8727 = -3*o - 2*i - 600. Is 21 a factor of o?
True
Let f(w) = -w - 3. Let t be f(-6). Let b(u) = u - 1. Let s(k) = 21*k + 5. Let j(d) = 6*b(d) + s(d). Is 21 a factor of j(t)?
False
Is 53 a factor of (-1106380)/(-35) - ((-26)/182 - 0/(-2))?
False
Suppose 59*o = 62*o - 21. Suppose o*t = 18*t - 165. Is 3 a factor of t?
True
Let x(a) = -7*a - 58. Let f be x(-9). Suppose -2393 = -4*y + f*l + 211, l - 660 = -y. Is y a multiple of 41?
True
Suppose -2*g + 125980 = 2*l, -5*l + 3 = -7. Is g a multiple of 141?
False
Let v(x) = 11*x**3 + 66*x**2 - 9*x - 64. Let z(o) = 5*o**3 + 32*o**2 - 5*o - 32. Let u(a) = -6*v(a) + 13*z(a). Is u(18) a multiple of 19?
True
Let v = -516 + 519. Suppose w = -v*w + 8, b - 5*w - 1 = 0. Does 2 divide b?
False
Let a(b) = -15 + 4*b - 36*b**2 - 8*b**3 - 10*b**3 + 19*b**3 - 21. Is a(36) a multiple of 12?
True
Suppose -8922 = -3*i + 4*m + 3885, -i - 5*m = -4231. Is 13 a factor of i?
False
Let g be (((-6)/(-9))/(-1))/((-3)/387). Suppose g = -4*w + 270. Let m = 57 - w. Is m a multiple of 11?
True
Let g(p) = p**3 - 12*p**2 - 13*p + 3. Let c = 36 - 23. Let m be g(c). Suppose -4*o + 71 = -3*s, -7*s = -2*o - m*s + 28. Is o a multiple of 4?
True
Suppose -2299*s = -2262*s - 26307. Is s a multiple of 30?
False
Suppose -2*f + 16 = 3*i, 4*i - 14 = 4*f - 3*f. Suppose -2*w = 3*z - 138, i*w - 282 = -6*z + 3*z. Suppose 120 = 3*y - w. Does 8 divide y?
True
Let m be 49/7 + (-1)/(6/(-24)). Let l = 307 + -157. Suppose m*n - 16*n = -l. Does 21 divide n?
False
Suppose -1043 = -4*s + 1493. Suppose 1301 = 3*n - 4*i, 2*n - s = -3*i + 239. Is n a multiple of 15?
True
Let l be 12/60 - (1 - (-214)/(-5)). Suppose -3*c - 187 = -2*y, -5*c - 4*y + l = 317. Let r = c - -84. Does 7 divide r?
False
Let d(f) = 11*f**3 - 4*f**2 - 75*f - 61. Is 53 a factor of d(16)?
True
Suppose -6*t + 3*u + 15246 = 0, -44*u + 40*u = 8. Is 10 a factor of t?
True
Let v be (-528)/(-9)*1/(2/3). Suppose -5 = 3*y - 170. Let k = v - y. Does 5 divide k?
False
Let m = -46 + 8. Let t = 75 - m. Is t a multiple of 11?
False
Let v be ((-68)/10)/(14/(-35) + 0). Suppose 5*q = 2*w + 29, 0 = -4*w - 5 + v. Suppose -q*s - 338 = -9*s. Is s a multiple of 15?
False
Let m(g) = 2*g**3 - 6*g**2 - 5*g - 3. Let s be m(4). Does 23 divide ((1161/6)/s)/((-4)/(-72))?
False
Is 14 a factor of 1373 - (56/(-7) - 2*-2)?
False
Suppose -10*j + 6 = -7*j. Suppose a - j*a - 1 = -o, -4 = 2*o - 4*a. Is 5 a factor of 2313/45 + o/(-10)?
False
Suppose -17396 + 258318 = 22*p. Is p a multiple of 47?
True
Suppose -2*d - 90 = -t, -191 - 77 = -3*t + 5*d. Let y be 