 a factor of b?
True
Let i = -52 + 56. Is -1*i/10 - (-2667)/105 a multiple of 19?
False
Let r be (-2108)/(-22) - 1 - 14/(-77). Suppose -r = -4*i + 65. Does 5 divide i?
True
Suppose -12540 = 18*w - 43284. Is 93 a factor of w?
False
Suppose 11 = 2*x + 3. Suppose -3*k - x*n - 6 = -k, 5*k = -5*n. Suppose k*s - 5*i - 36 - 33 = 0, 2*s - 3*i = 46. Is 14 a factor of s?
False
Let z = -20 - -35. Let m = z + 1. Is 10 a factor of m?
False
Let j(t) = t**3 - 14*t**2 + 2. Let l be j(14). Suppose -l*f + 5*f = 444. Does 37 divide f?
True
Let l(g) = -2*g**2 - 4*g + 4. Let r be l(4). Let y = 62 + r. Suppose -8*p + 9*p = y. Does 14 divide p?
False
Let v be (1/2)/((-2)/(-8)). Let c be 0 - (-2)/((-4)/v). Does 23 divide 3/(26/23 + c)?
True
Suppose 0 = 3*r - 16 - 11. Let a = -13 + r. Is 11 a factor of 1015/77 + a/22?
False
Let t(j) = -5*j**2 + 5*j + 7. Let l(p) = -p**2 + p + 1. Let m(b) = -6*l(b) + t(b). Let d(a) = a - 4. Let r be d(2). Does 7 divide m(r)?
True
Let j(q) = 393*q**3 - 2*q**2 + 3*q - 1. Is j(1) a multiple of 24?
False
Suppose -2*l = -10 - 6. Suppose -2*s - s + 12 = 2*o, -2*o + 2*s - l = 0. Suppose 3*v + 0*v - 141 = o. Is v a multiple of 13?
False
Let g = -5 - -14. Suppose 0 = 3*u - 0*u - g. Suppose 0*c + u*c - 141 = 0. Is 12 a factor of c?
False
Let y(x) = -x + 1. Let z be y(0). Let m = z + -19. Does 13 divide (13/2)/((-3)/m)?
True
Let y(k) = -k**3 - 17*k**2 - k - 17. Let p be y(-17). Suppose -2*a + 3*a = 2. Suppose 3*r - 58 = a*w - 7*w, p = -2*w + 2*r + 20. Is 3 a factor of w?
False
Let l(d) = 5*d + 0*d - 3 - 2*d. Suppose -10*o - 11*o = -105. Does 8 divide l(o)?
False
Let w be (-13 - -18)*81/5. Let k = 167 - w. Does 18 divide k?
False
Let k = 20 - 68. Does 15 divide (-5)/(100/k + 2)?
True
Suppose -w = 3*g - 3*w - 203, -5*g - 4*w = -331. Let b = -35 + g. Is 26 a factor of b?
False
Let a(n) = -n**3 + 3*n**2 - 1. Let d be a(2). Let b be (-3)/(-9)*d/(-1). Is (-2 + b)/((-5)/55) a multiple of 11?
True
Let j = -39 - -87. Suppose 0 = 5*d - 7*d + j. Does 3 divide d?
True
Let x(g) = 2*g**2 + 5*g - 1. Let a = 51 + -57. Is 8 a factor of x(a)?
False
Let y = -319 + 514. Is 13 a factor of y?
True
Suppose 0 = 5*r + 3*u + 35, r + 4*u = -3*r - 36. Is 50 a factor of (1 - -149)*((-4)/3)/r?
True
Let w(p) = -p**3 - 42*p**2 - 88*p - 242. Is w(-40) a multiple of 3?
True
Let l = -133 + 65. Is 8/3*(-3519)/l a multiple of 34?
False
Let b(a) = -a**3 - 11*a**2 + a + 5. Let z be b(-11). Is z*(-1 - 46/12) a multiple of 3?
False
Suppose 0 = 18*v - 13*v. Suppose 4*t + v*t = 92. Suppose k - t = 37. Does 12 divide k?
True
Let q(s) be the second derivative of 43*s**3/6 + 3*s**2 - 11*s. Let v be q(6). Suppose v = -6*h + 9*h. Is 22 a factor of h?
True
Let o be 4 - (0/2)/(-2). Let u(k) = 8*k**2 - 2*k - 3. Let h be u(-3). Suppose g = -o*g + h. Is g a multiple of 10?
False
Let l(p) = 14*p**2 - 21*p - 77. Is l(-5) a multiple of 27?
True
Let d(i) = -7*i**3 + 9*i**2 - 13. Let g(o) = o**3 - o. Let b(n) = d(n) + 6*g(n). Does 3 divide b(8)?
True
Suppose -150 - 68 = 2*b - 5*d, 0 = 2*b - 3*d + 218. Let r = b - -271. Does 9 divide r?
True
Suppose 0 = -p + 3*y - 13, 0*p - 9 = -2*p - y. Let m be p/3 + 20/15. Suppose 0 = 3*i - 5*g - 54, -m*i = -0*i - 5*g - 31. Is i a multiple of 11?
False
Is (-544)/(-6)*(-120)/(-32)*3 a multiple of 30?
True
Let w be (-443)/(-5) + (-4)/(-10). Let c = w + -41. Is 12 a factor of c?
True
Let c = -223 - -384. Does 23 divide c?
True
Let a be ((-4)/10)/(3/(-30)). Let z(r) = 3 - 215*r - a + 227*r. Is 19 a factor of z(4)?
False
Suppose 0 = -265*d + 267*d - 1052. Does 58 divide d?
False
Let t(w) = -2*w**2 - 22*w - 16. Let v be t(-10). Let g = 207 + v. Does 15 divide g?
False
Let j(y) = 9*y**2 + 32. Does 6 divide j(10)?
False
Suppose 0 = -3*a + 2*o + 8, -3*o = -0*a - 3*a + 12. Suppose -2*c + 132 = -a*c. Does 10 divide c?
False
Let g be 3/6 + 946/4. Suppose 69 - g = -4*o. Is 11 a factor of o?
False
Suppose 0 = -3*m + 2730 + 45. Does 12 divide m?
False
Suppose -124 = -5*v - 4*l, -5*v + 2*l + l + 117 = 0. Let k(o) = -o**2 - 34*o + 71. Let y be k(-35). Suppose -y - v = -5*d. Is d a multiple of 4?
True
Does 26 divide -91*(42/(-231) + (-104)/154)?
True
Let f be (11/(-2) + -3)*2. Let a(i) = -3*i - 17. Does 17 divide a(f)?
True
Suppose 0 = 4*m + 20, -2*m = 3*b - 1 - 1. Is 16 a factor of b/14 + (-2230)/(-35)?
True
Suppose -3*p = z - 2*p - 121, -4*z + 478 = -2*p. Does 2 divide z?
True
Let w = 21 - -576. Is 25 a factor of w?
False
Does 74 divide (222/21)/(2/56)?
True
Let d(o) = o**3 - 8*o**2 + 11*o + 43. Does 104 divide d(12)?
False
Let x(n) = n**3 - 14*n**2 + 11*n + 17. Let f be x(13). Let a = 14 + f. Suppose 28 = 4*m - 2*v, 0 = -2*m + a*v + 6 + 24. Is m even?
False
Suppose 4*z + 4*x + 56 = 0, x + 61 = -4*z - 4*x. Let b = 17 + z. Does 13 divide 5 - 5 - -5*b?
False
Let r = 1730 + -722. Suppose 2*j = 0, -4*g - 4*j + r = -8*j. Suppose -5*i + g = -53. Does 12 divide i?
False
Let h(w) = 363*w**2 + 6*w + 9. Let t be h(-2). Suppose 11*a = 201 + t. Is a a multiple of 30?
True
Let u(k) = -k**3 + 19*k**2 + 2*k - 4. Let h(i) = -2*i**3 + 39*i**2 + 3*i - 8. Let g(s) = -3*h(s) + 7*u(s). Let n be g(15). Does 14 divide 8/(-28) - n/(-7)?
True
Let j be (-22)/6 + 12/(-36). Is 11/((-88)/16)*27*j a multiple of 27?
True
Let y be ((-4)/3)/2 + 637/(-3). Let c = -96 - y. Is c a multiple of 13?
True
Suppose -134 = -29*p + 2650. Is p a multiple of 48?
True
Suppose 41 = 3*o + 11. Suppose -8*f - 434 = -o*f. Is f a multiple of 31?
True
Suppose -5*z + 16 = 6. Suppose 23 = z*w - 25. Does 5 divide w?
False
Suppose -6*w = 238 - 1324. Suppose -151 = -2*c + w. Is 13 a factor of c?
False
Suppose 0 = 6*z - 0*z - 192. Is (-1016)/(-14) + z/(-56) a multiple of 18?
True
Let n = -51 + 55. Suppose 3*k + 150 - 9 = 3*t, n*t - 3*k = 183. Does 12 divide t?
False
Let l = 26 - 24. Suppose -u + 5 = 0, -5*p + l*u + 30 = -4*p. Is p a multiple of 8?
True
Let a(u) = -u**2 - 8*u. Let d be a(-9). Let p = d - -12. Suppose p*b - 134 = 67. Is b a multiple of 20?
False
Suppose 3*k = -6, d - 4891 + 1866 = -2*k. Does 27 divide d?
False
Let b(z) = -z**2 - 11*z - 18. Let n be b(-8). Suppose n*c - 264 = -5*c. Is c a multiple of 8?
True
Let n(t) be the first derivative of -t**3/3 - 17*t**2/2 - 6*t - 6. Suppose -3*c - 77 = -3*s - 29, -5*s = 3*c + 24. Is n(c) a multiple of 10?
False
Suppose 0 = 6*t - 177 + 501. Suppose -4*c = 49 + 359. Let p = t - c. Is p a multiple of 18?
False
Let c(x) = 2*x**3 - 7*x**2 + 3*x**3 - 6*x**3 + 3. Let i be c(-7). Suppose -i*z = -4*z + 20. Is 20 a factor of z?
True
Suppose -3*c + 5*c + 12 = 4*d, 3*d + 5*c = 9. Suppose 177 = d*l - 0*l. Does 30 divide l?
False
Suppose 5*t - 10 = 3*v, -5*t + 4*v + 2 = -8. Let k(l) = 27 + 7*l - 3*l**2 + 5*l**t - 13*l - 8. Does 8 divide k(5)?
False
Let g(k) = k**3 - 5*k**2 + 6*k + 9. Let y be g(4). Suppose -820 = 7*n - y*n. Does 6 divide n?
False
Let i = -22 - -24. Suppose d = -3*q - 3*d + i, -2*d - 8 = -3*q. Is 28 a factor of 86/1 + q + -4?
True
Let q(b) = 185*b**2 - 14*b + 14*b - 1. Let y be q(1). Suppose y = 7*l - 3*l. Is 18 a factor of l?
False
Let t(b) = b**2 - 33*b + 77. Is 3 a factor of t(33)?
False
Suppose -5*b - 65 = 2*s, 2*b + b - 3*s = -18. Is 10 a factor of (b - 0)/(-8 + 376/48)?
False
Suppose 0 = -2*i - 3*i + 20. Let c = i + -20. Is 4 a factor of (-30)/(-8)*c/(-4)?
False
Suppose -3*a + 5*a - 4*v - 446 = 0, 2*v - 10 = 0. Is a a multiple of 11?
False
Let j = 26 - 31. Is (j - 969/(-12)) + 1/4 a multiple of 38?
True
Let x = 473 - 133. Let w = x + -230. Is w a multiple of 11?
True
Is 57 a factor of (-2565)/(-18)*126/35?
True
Let d = 170 + -402. Let z = d + 141. Let a = -38 - z. Is a a multiple of 25?
False
Let j(g) = 37*g + 1. Let a be j(2). Let k = -58 + 11. Let s = k + a. Is s a multiple of 14?
True
Let f(i) be the second derivative of i**5/20 + i**4/3 - 5*i**3/6 - 7*i**2/2 + 7*i. Is f(-4) a multiple of 10?
False
Suppose -g = -5 + 2. Suppose r = -g*s - 2, -2*s = -2*r - 4 - 0. Suppose 2*j + 0*t - t = 24, 3*t + 12 = s. Is j a multiple of 5?
True
Let i(l) = 7*l**3 - 5*l**2 - 9*l - 6. Let p be i(-3). Let y = p - -305. Is y a multiple of 23?
True
Suppose -31*j = -28*j - 21. Suppose c - 2*u + 3 = 2, c - j = -2*u. Is c a multiple of 3?
True
Let r = -160 + 160. Is r/(0 + 4) + (-285)/(-1) a multiple of 15?
True
Let p(x) be the third derivative of x**6/120 + 11*x**5/60 + 3*x**4/8 - 2*x**3 - 16*x*