b**2 - b + 9. Does 36 divide f(-3)?
False
Let m = 1566 - 1105. Is m a multiple of 12?
False
Let x = 2 + 238. Is x a multiple of 20?
True
Suppose -8708 = -30*c + 16*c. Does 7 divide c?
False
Suppose -2*q + 295 + 455 = 2*l, l = 0. Suppose q = 4*d - 41. Does 13 divide d?
True
Suppose 4*g = 9*g - 30. Suppose -13*y + g*y = -518. Is 30 a factor of y?
False
Suppose -4*b - 5*p + 156 = 0, -3*p + 6*p + 56 = 2*b. Let h = -2 + b. Let y = 56 - h. Does 12 divide y?
True
Let h(j) = -10*j**2 - 3*j - 3. Let l be h(-2). Let m(d) = -3*d + 30. Let i be m(-7). Let t = i + l. Is t a multiple of 7?
True
Let g(d) = -8 - 13 + 1 - 10*d. Is g(-12) a multiple of 18?
False
Suppose 7*r + r = 1920. Is 24 a factor of r?
True
Let s(z) = 2*z**2 - 9*z - 23. Let p be s(-2). Suppose 22 + 323 = 3*b - p*n, -1 = -n. Does 29 divide b?
True
Let b(u) = 28*u - 28. Is b(8) a multiple of 14?
True
Suppose 2*g + 0*g + t + 244 = 0, -2*t - 128 = g. Is 24 a factor of (1/(35/g))/((-1)/7)?
True
Let w be 68*(-2)/(-6)*(-135)/(-30). Suppose -2*v + 4*f + 47 = -9, 3*f - w = -3*v. Does 16 divide v?
True
Let u be (-10)/(-25) + 96/10. Let v(g) = -11*g + 2 - 10*g - 4 - u*g. Is 12 a factor of v(-2)?
True
Let f(x) = 16*x**2 + 2*x - 3 + 17*x**2 - 17*x**2 + 1. Is f(-2) a multiple of 19?
False
Let y = -147 - -318. Suppose b - 99 = -3*z, 5*b - 3*b = 3*z + y. Is 18 a factor of b?
True
Suppose -5*i + 1885 = -5*k, -2*i + 3*k + 754 = 6*k. Does 13 divide i?
True
Suppose -184 - 1032 = -2*m. Is m a multiple of 3?
False
Let f(b) = -b**3 - 13*b**2 + 14*b - 4. Let i be f(-13). Let v = i - -316. Does 13 divide v?
True
Suppose -4*c = -16*c + 12324. Is c a multiple of 45?
False
Let q = 149 + -89. Suppose 16*k + q = 20*k. Is 15 a factor of k?
True
Suppose -x + m + 227 = 0, -m = -4*x + 4*m + 910. Let y = x - 116. Is 14 a factor of y?
False
Let w be 2 + -10 + (4 - 0). Is -3 + (156 - (-4)/w) a multiple of 38?
True
Let r = -1047 + 1626. Is r a multiple of 22?
False
Suppose -3*s + 1805 = -55. Does 20 divide s?
True
Let k(u) = 49*u**2 - 2*u - 3*u + 6*u. Suppose -26*l = -2*l + 24. Is k(l) a multiple of 21?
False
Let k = -936 - -1643. Is k a multiple of 2?
False
Let g(n) = 3*n + 8. Suppose -p + 15 = -4*k, p + 3*k - k = 3. Is 4 a factor of g(p)?
False
Suppose -3*w + 14*g - 12*g + 601 = 0, -w + 201 = -g. Is w even?
False
Let v = -848 + 551. Let h(q) = -27*q**3 + q**2 + 2*q - 2. Let m be h(2). Let t = m - v. Is t a multiple of 32?
False
Suppose 0 = -5*a + 2 - 42. Is 7 a factor of (-14)/(a/(16/4))?
True
Suppose -13*u - 28 = -11*u. Let f be (66/154)/((-2)/u). Suppose 4*a - 46 = -j, -2*a + 168 = f*j - 5*a. Does 21 divide j?
False
Suppose -5*o + 3*d = -875, -4*d - 314 = -3*o + 200. Is o a multiple of 7?
False
Suppose -11*z = 626 - 4575. Does 15 divide z?
False
Suppose -13*m = -72 - 58. Is m a multiple of 10?
True
Let n be 2/(-5) + 4614/(-15). Let a = n + 447. Does 28 divide a?
False
Let c = -216 - 3. Let h = -135 - c. Is h a multiple of 28?
True
Let f be (10/8)/(1/88). Suppose -37 = -d + 28. Let s = f - d. Is 11 a factor of s?
False
Let w(h) = 2*h**2 - 7*h - 14. Let i be w(11). Let c = -43 + i. Is c a multiple of 27?
True
Let r = 36 - -60. Does 24 divide r?
True
Let j(r) = 5*r + 4. Let i be j(1). Suppose -150 = -i*g + 228. Does 10 divide g?
False
Suppose -4*x = 1 + 19, 2*d - 1380 = -4*x. Does 4 divide d?
True
Suppose 36*j - 24090 = 82614. Is 13 a factor of j?
True
Suppose 0 = 5*i + 2 - 17. Let n(y) = -6 + y + 3*y + i + y. Is 5 a factor of n(7)?
False
Suppose -6*m = -3279 + 201. Is 25 a factor of m?
False
Let s(y) = y**2 - 9*y - 5. Let z be s(10). Let l be 408/52 + 2/13. Suppose z*b - 6*b + l = 0. Is 2 a factor of b?
True
Is 30 a factor of ((-120)/35)/(7/(-980))?
True
Suppose 4*j = -237 - 67. Let o = j - -147. Does 6 divide o?
False
Suppose -11*b + 4647 = -72. Is 12 a factor of b?
False
Let x(g) = 128*g**2 - 6. Does 31 divide x(2)?
False
Let q(t) be the third derivative of t**6/120 + 2*t**5/15 + 5*t**4/24 - t**3 - 3*t**2. Let w be q(-6). Suppose 0 = -5*a - w + 166. Is a a multiple of 13?
True
Let q(t) = -t**3 - 21*t**2 - 10*t + 48. Does 42 divide q(-21)?
False
Let u(a) = -4*a**3 - a**2. Let s be u(-1). Suppose -b + 55 = 2*c, 0*b + 174 = s*b - 3*c. Does 19 divide b?
True
Suppose 3*o - 4*b + 2 = o, -2 = 2*o - b. Let m be 77 + (-1)/(o/(-3)). Suppose t = 3*u - 0*u + 22, 2*t + 4*u - m = 0. Does 8 divide t?
False
Let k(x) = 5*x**2 + 68*x - 36. Is 11 a factor of k(-17)?
True
Is 16 a factor of 1477*8/(80/10)?
False
Suppose 3*l = -3*a + 312, -a + l + 96 = -0*a. Suppose 0 = -2*r - 3*n + 244, 3*r - 266 - a = 5*n. Let t = 173 - r. Is 16 a factor of t?
False
Suppose -3 = -2*v + 3. Suppose 2 = 5*n - v. Let o = 13 - n. Is 6 a factor of o?
True
Suppose 3*u = -k - 4*k + 1145, -k - 2*u + 222 = 0. Is 58 a factor of k?
True
Let a = 560 - 414. Is a even?
True
Suppose -n + 0 - 2 = 0, 1150 = 3*c - 2*n. Does 47 divide c?
False
Suppose f - 183920 = -94*f. Is 11 a factor of f?
True
Suppose 5 = -k, -2*m = 46*k - 41*k - 463. Is m a multiple of 49?
False
Let y(u) be the second derivative of u**6/40 - u**5/60 - u**4/12 + u**3/6 - 3*u. Let h(q) be the second derivative of y(q). Is h(2) a multiple of 10?
True
Suppose 0 = 5*r - d + 1, 0 = -r - 6*d + d + 5. Suppose -q - o + 18 = -r*o, -5*o = -4*q + 63. Is q a multiple of 6?
False
Suppose -5*d + 2*t = -2192, -4*d - 9*t + 4*t = -1780. Is d a multiple of 44?
True
Let g be (141/3)/(1/(-3)). Let f = g - -218. Does 11 divide f?
True
Let k be 3 + (0 - (-29 + 2)). Let u = -18 + k. Is 15 a factor of (8/u)/(4/246)?
False
Let d be ((-88)/12)/(2/(-6)). Suppose 2 = -4*p + d. Suppose -50 = -p*x + 110. Is x a multiple of 16?
True
Suppose -2*c - 35776 = -54*c. Does 91 divide c?
False
Let t = 116 - -59. Let u = 263 - t. Is u a multiple of 11?
True
Let x be (-34)/((-88)/168 - (-1)/(-7)). Let p = 26 - 38. Let b = x - p. Is b a multiple of 9?
True
Suppose 4*j = -g - 194 + 1078, 5*j - 3*g = 1122. Is j a multiple of 24?
False
Suppose 349 = -4*b + 3*p + 2977, 5*b - 3285 = 5*p. Is 9 a factor of b?
True
Suppose 3*r = 160 + 95. Suppose v = -32 + r. Is v a multiple of 16?
False
Suppose -129*s + 117*s = -276. Suppose -5*z = -3*t - 41, -t + 5 = z - 0. Let f = z + s. Does 5 divide f?
True
Suppose 30*k - 27*k - 1791 = 0. Is 14 a factor of k?
False
Let n be (-3)/(-6) + (-686)/4. Let d = 245 + n. Does 15 divide (d/(-3))/((-20)/30)?
False
Let j = 511 + -203. Is j a multiple of 4?
True
Is 77 a factor of (6 + 0 - 1)*1386/18?
True
Let v = 375 + -245. Suppose v = -0*l + 5*l. Does 13 divide l?
True
Let y(s) = -s**3 + 5*s**2 - 4*s + 3. Let q be y(4). Suppose -3*f = r - 217, 3*r + q*f - 2*f - 667 = 0. Does 31 divide r?
False
Suppose -5*n + 20 = -4*r - 0*n, n = -3*r + 4. Suppose 2*o + r*o = 3*v + 786, -3*o - 2*v = -1166. Suppose t + o = 7*t. Is 13 a factor of t?
True
Let z be (-35)/21 - (-4)/(-3). Is 14/4 - z/2 a multiple of 3?
False
Suppose 0 = -2*g + 221 + 1509. Is 31 a factor of g?
False
Let i = -848 - -5408. Is 19 a factor of i?
True
Is 5 a factor of (-28)/(-56)*(1 - -8)*22?
False
Let h(k) = -k**3 - k**2 + 1. Let y(c) = -4*c**3 - 9*c**2 - 1. Let t(l) = -3*h(l) + y(l). Let b be t(-7). Suppose -q + 4 = -b. Is 13 a factor of q?
False
Suppose s - 3 = 2*h, 3*s - 2*s + 11 = -5*h. Let o = h + 22. Does 5 divide o?
True
Is 4 + 65/(-10) - (-6450)/4 a multiple of 14?
True
Let o = 1 - 0. Let h be (-1 + o)/(-2 + 3). Suppose h = -3*r - 2*r + 90. Does 9 divide r?
True
Let h(g) be the first derivative of 1/3*g**3 + 9 - 4*g + 5*g**2. Is 5 a factor of h(-11)?
False
Let o = -578 + 835. Is 4 a factor of o?
False
Let v(k) = k**2 + 12. Let o be v(-7). Suppose o*x - 66*x = -75. Is 14 a factor of x?
False
Let m(w) = -w**3 - 5*w**2 + 5*w - 7. Let n be m(-6). Is (-1400)/(-32) - n/4 a multiple of 12?
False
Suppose -5252 = -5*o + 10*q - 7*q, -5*q = 2*o - 2107. Is o a multiple of 26?
False
Let u = 1037 + -937. Does 25 divide u?
True
Let f be (198/4)/((-48)/(-64)). Suppose 3*b = -4*d + 156, -f = -2*b + d + 27. Is b a multiple of 24?
True
Let v be (-16)/(4 + 0) + 61. Let h = v - 27. Suppose -z + h = 2*j, 1 = z - 1. Is 7 a factor of j?
True
Let k = 253 + -112. Does 47 divide k?
True
Let r = 200 + -74. Suppose 5*b = 336 - r. Does 14 divide b?
True
Let h be 12/(-48) - -1*(-862)/8. Let f = 178 + h. Does 7 divide f?
True
Let t(f) = -17*f - 67. Is t(-5) a multiple of 2?
True
Let v be (-6 - -