?
True
Suppose 0 = -3*j + 3*r + 1458, -4*r = -2*j + 1256 - 282. Is j a multiple of 12?
False
Let m(w) = -42*w - 2*w + 1 - 18*w. Does 21 divide m(-1)?
True
Suppose -45700 = -11*n - 9*n. Is 16 a factor of n?
False
Let k = 24 - 35. Let p = 9 - k. Is 4 a factor of p?
True
Let v(u) = -108*u**3 - 2*u**2 - u - 1. Let g be v(-1). Suppose -d + 37 = -g. Does 11 divide d?
True
Suppose -6*y + 3590 + 17704 = 0. Is 16 a factor of y?
False
Suppose -6680 - 3026 = -23*q. Does 15 divide q?
False
Suppose 3*i + k - 733 = -0*i, 2*i = -5*k + 467. Does 50 divide i?
False
Let c = 20 - 15. Suppose -5*d + 121 + 35 = 3*o, 154 = c*d + 2*o. Let k = -18 + d. Does 6 divide k?
True
Suppose 3*m - 60 = -0*m. Let r(c) = c**2 - 13*c - 39. Let q be r(16). Suppose -q*o = -5*h - 4*o + 230, m = -4*o. Is 13 a factor of h?
False
Let o(f) = 6*f**2 - 13*f - 8. Let u(g) = -g**2 + g. Let x(j) = o(j) + 5*u(j). Is x(10) a multiple of 4?
True
Let w = -2 - -5. Suppose -w = -5*u + 12. Suppose u*x + 5*v = -x + 110, 2*x + 5*v - 60 = 0. Is x a multiple of 17?
False
Is 2 a factor of ((-18)/(-27))/(2/2091) + 6?
False
Let m(c) = c**3 + 10*c**2 + 5*c + 3. Let t be m(-5). Suppose t - 31 = 3*a. Is a a multiple of 3?
True
Let l = -799 - -999. Does 2 divide l?
True
Let n(z) = z + 1. Let r be n(2). Suppose -b = r*b + 8. Does 3 divide (b - -13) + 0 + -2?
True
Suppose 19 = m + 5*g, 3*g + 1 - 16 = 0. Is (-18)/(12/m)*29 a multiple of 29?
True
Let k = 1806 - 1001. Is 53 a factor of k?
False
Let b = -864 + 904. Does 3 divide b?
False
Let l(z) = 8*z + 708. Let v be l(0). Suppose 3*t + s = 536, 4*t + 0*s = -3*s + v. Is t a multiple of 22?
False
Suppose -2*p = -4*c + 7678, -p = 9*c - 12*c + 5759. Is 6 a factor of c?
True
Let n(r) = 1. Let y(q) = -2*q - 5. Let b(u) = -3*n(u) + y(u). Let m be b(-11). Let f = -1 + m. Is f a multiple of 5?
False
Is 32 a factor of 87/(-116) + (-262)/(-8)?
True
Let l = 156 - 66. Let d = 62 + -60. Suppose -g + 5*f + 33 = g, -d*f = -4*g + l. Is 6 a factor of g?
True
Suppose -7*v = -9*v + 36. Is v a multiple of 2?
True
Let o = 1323 + -835. Suppose -328 - o = -4*j. Is j a multiple of 34?
True
Let h = 350 + -291. Is 2 a factor of h?
False
Let o(c) = -c**3 + 10*c**2 + 10*c + 16. Let u be o(11). Suppose -u*f - 455 = -5*d, -24 = -5*d - f + 419. Suppose 31 = -t + d. Does 20 divide t?
False
Let f(z) = 15*z + 130. Is f(24) a multiple of 7?
True
Suppose u = 4*y - 385, 0*y + 4*u = 5*y - 473. Let i = y - 54. Does 18 divide i?
False
Suppose -o + 7 = 2*q, 13 = 2*q - 7*o + 2*o. Suppose 10*w + q*d = 5*w + 269, 4*w - 236 = 2*d. Is 11 a factor of w?
False
Let d(l) = 10*l**2 - 3*l + 1. Suppose -2*o + 1 = -3. Suppose -q + 4 = o. Is 7 a factor of d(q)?
True
Suppose -7*y = -4*y - 102. Let s = y + -29. Suppose 3*h = 4*p - 7*p + 201, 2*p - s*h - 141 = 0. Is 16 a factor of p?
False
Let b = 0 + 12. Let p(h) = -h**3 + 11*h**2 + 11*h + 17. Let m be p(b). Suppose m*i - 46 = -o, 3*o = 2*i + i + 138. Is 23 a factor of o?
True
Let l(m) = -m**3 - 4*m + 1. Let c be l(0). Does 11 divide 8*126/12*c/2?
False
Suppose -873*u + 2748 = -867*u. Is 7 a factor of u?
False
Suppose -1785 = -3*l + h, -l + 12*h = 9*h - 603. Is l a multiple of 27?
True
Suppose 12*b = b - 66. Let w(p) = 8*p**2 + 2*p + 9. Is w(b) a multiple of 13?
False
Let q = -385 + 884. Is q a multiple of 55?
False
Suppose -9 = -5*z + 1. Let g = z - 0. Suppose -g*c - 150 = -7*c. Is c a multiple of 14?
False
Let r(d) be the third derivative of -11*d**6/60 - d**5/20 - 5*d**4/24 - d**3/3 + 26*d**2. Is r(-1) even?
True
Let j(k) = 2*k**2 - k - 2. Let m be ((-4)/14)/(2/(-14)). Let r be 2*m*7/(-14). Is 5 a factor of j(r)?
False
Let r be ((-15)/(-10))/((-3)/(-32)). Suppose -o - 4*y = -r, -5*o - 6 = -5*y + 14. Suppose o = -t - 0 + 112. Is t a multiple of 32?
False
Suppose p - 598 = -5*i, i = 4*i - 5*p - 370. Does 20 divide i?
True
Let s(d) = -7*d - 3. Let b be 0 + 2 + (-3 - 2). Does 10 divide s(b)?
False
Suppose 0 = 5*t - 20, -548 = 18*l - 19*l + 2*t. Is l a multiple of 29?
False
Let z(r) = 6*r**2 + 54*r - 8. Is 8 a factor of z(8)?
True
Let i = -22 - -72. Suppose -2*u = -b + i, 3*b - 172 = 4*u - 9*u. Is b a multiple of 24?
False
Let q = 16 - 10. Let w be 23 - 11 - 0/(-2). Is (2 + 4/q)*w a multiple of 13?
False
Let r be ((-4)/(-6))/((-8)/12). Let z be -1 + 0/r - 0. Does 12 divide z - (1 - (-2 - -40))?
True
Is (1086 + -1)/(1/(-3)*-3) a multiple of 15?
False
Let c(g) = g - 3. Let q be c(9). Suppose 2*k + 3*x - 38 = 0, 4*k - 3*k - 5*x - q = 0. Suppose -3*v - k = -4*v. Is 4 a factor of v?
True
Let d(p) = -6*p - 187. Is 2 a factor of d(-69)?
False
Let b(i) = -4*i - 1. Let r be b(2). Let s(j) = -3 + 9 - 89*j**2 + 6*j + 90*j**2. Is 10 a factor of s(r)?
False
Does 19 divide (3/(-2))/(18/17328*-2)?
True
Suppose 5*v + 3 = 6*v. Let h(b) = -b - 4. Let d be h(8). Does 13 divide (6/d)/(v/(-180))?
False
Let b = -39 - -230. Suppose -544 = -4*k - 0*k. Let t = b - k. Is 14 a factor of t?
False
Let j(t) = 6*t - 31. Let c be j(9). Let l = 25 + c. Is l a multiple of 8?
True
Let i = 506 - -94. Does 50 divide i?
True
Let j(a) = 26*a - 48. Is j(9) a multiple of 31?
True
Does 23 divide (-45 + -1)*(-300)/40?
True
Suppose 64 = j + x, 4*j - 4*x - 206 - 90 = 0. Is 12 a factor of 4 + j + -2 + -3?
False
Let u be 1*6*2/(-4) + 7. Suppose -14 = -x - u*g, g + 58 = 2*x + 3*g. Is x a multiple of 34?
True
Let l(w) = -w**2 - 27 - 7*w - 7*w**2 - 3*w + 3*w**2. Let z(k) = 3*k**2 + 5*k + 14. Let g(t) = 4*l(t) + 7*z(t). Is g(8) a multiple of 14?
True
Suppose 96 = -10*f + 14*f. Does 5 divide f?
False
Is 27 a factor of (3/((-9)/146))/(95/(-285))?
False
Let p(v) = -v + 7. Let c be p(5). Suppose c*s = -2*s. Is (s + 2)/1 - -6 a multiple of 8?
True
Let f be (-2 - -23)*7/(-21). Let d be 4/16 - f/4. Suppose d*z + x - 70 = -x, 0 = -4*x + 12. Is 8 a factor of z?
True
Let p(l) = 7*l**2 + 27*l + 8. Let f be 150/(-16) - (-30)/80. Is 13 a factor of p(f)?
False
Let c be (1562/33)/((-2)/6). Let x = c - -214. Is 18 a factor of x?
True
Suppose -5*l = 23 - 58. Let t(b) = 3*b**2 - 20*b - 3. Does 2 divide t(l)?
True
Does 23 divide (-2 + -1)/((-105)/1610)?
True
Let v(d) = -d**3 - 10*d**2 + 9*d - 20. Let x be v(-11). Suppose -2*f + 2*y = -712, -2*y - 16 = x*y. Is f a multiple of 33?
False
Suppose -8*j = -11350 + 2206. Is 50 a factor of j?
False
Let m be 1/((-12)/10 + 1). Let d = -9 - m. Does 6 divide (-16)/12*30/d?
False
Let g = -33 - -46. Let s = 17 - g. Suppose -5*f + 50 = s*t - 7*t, 4*f - 4*t - 40 = 0. Does 10 divide f?
True
Let d be -1 - (-3 + 4) - -66. Suppose -l + 45 = -2*a + 6*a, -d = -2*l + 5*a. Does 16 divide l?
False
Let r(n) be the third derivative of n**5/60 - n**4/12 - 5*n**3/6 + n**2 - 19. Suppose -3*q + 2*g - 27 = -6, 5*g = 4*q + 28. Is r(q) a multiple of 29?
True
Suppose -6*b + 12*b = 684. Is 9 a factor of b?
False
Let u be -2 - (3 - (3 - 73)). Let f = u + 241. Suppose 4*g - 154 - f = 0. Is 24 a factor of g?
False
Let w = 11 + 399. Is w a multiple of 10?
True
Let j = 34 + -39. Let w(z) = z**2 - 13. Let i be w(0). Let f = j - i. Is f even?
True
Suppose -2*v = -16*v + 27244. Does 75 divide v?
False
Let k = 342 + 827. Is k a multiple of 17?
False
Suppose -54*o + 41186 = 8138. Is 18 a factor of o?
True
Let d(a) = -108*a + 99. Is 36 a factor of d(-20)?
False
Suppose h = -3*s - 241, -5*s + 7*s = 4*h - 170. Let l = 39 - s. Is 40 a factor of l?
True
Let y = 8 + -14. Let t be 20/y*(-18)/(-12). Let s = 23 + t. Is s a multiple of 9?
True
Suppose -104*w + 225 = -99*w. Let n = w + 0. Does 13 divide n?
False
Suppose -5*l - i + 4*i = -1362, 2*l - 556 = 4*i. Is 18 a factor of l?
True
Let i = -8 - 11. Let h = i + 25. Does 12 divide 12*3 - (-6 + h)?
True
Let b(k) = -k**2 - 10*k + 113. Let u be b(7). Let w(q) = -7*q - 12 - 19 + 12. Is 7 a factor of w(u)?
False
Let d(o) = -o**3 - 7*o**2 - 11. Let s = 2 - 10. Let j be d(s). Suppose 4*g + i - j = 0, 22 = g + i + i. Does 10 divide g?
False
Let r(o) be the first derivative of -o**2/2 - 5*o - 6. Let b be r(-17). Suppose -5*t = -0*n + 5*n - 120, 0 = -3*t + b. Does 20 divide n?
True
Let c(k) = 2*k**2 + 6*k. Let m = 22 - 28. Does 6 divide c(m)?
True
Let b(d) = -5*d + 5 + 3*d**2 + 0*d + 0*d + 0*d. Let i be ((-6)/4)/((-9)/18). Does 16 divide b(i)?
False
Let o(u) = -2*u**3 - 16*u**2 - 18*u + 18. Let w(f) = 3*f**3 + 16*f**2 + 17*f - 18. Let b(y) = -4*o(y) - 3*w(y). Is 50 a factor of b(17)?
True
Let d = 17