*g(r) - 11*o(r). Let u be h(-3). Let z = u + 3. Does 3 divide z?
False
Suppose -2*r + 2*t = 6*t - 228, -5*t = 5. Is r a multiple of 29?
True
Suppose -6 = 3*h, -3*h + 47 = 3*w - 7. Let z = w - 2. Does 6 divide z?
True
Suppose -14*t + 88 = -6*t. Is 3 a factor of t?
False
Suppose 0 = 5*o + c - 641, -4*o - 3*c = -0*o - 515. Does 10 divide o/2 - (17 + -13)?
True
Let u = 2 + 4. Let i be (6/9)/(1/u). Suppose -m + 4*y = -23, -m - 2*y - 69 = -i*m. Is 12 a factor of m?
False
Let b be (-205)/(-2) - 9/18. Let m = b - 63. Does 13 divide m?
True
Suppose 12*a = 7*a + 520. Is a a multiple of 5?
False
Does 5 divide 3/(105/625) - 1/(-7)?
False
Let j(x) = 4*x**2 - x + 1. Let k be j(1). Suppose -3*y + 133 = 4*l, -219 = -k*y + 2*l + l. Is y/(4/((-16)/(-6))) a multiple of 14?
False
Let q(f) = -f + 7. Is q(-3) a multiple of 10?
True
Suppose -a = -2*a + 41. Does 15 divide a?
False
Suppose -72 = -6*l + 2*l. Suppose 3*w - 3*m - l = 33, -5*w = 2*m - 64. Is 13 a factor of w?
False
Suppose 2*k - 3*j - 28 = -0*k, -k - 2*j = -21. Is k a multiple of 14?
False
Suppose -3 = 2*u + h, -u = -4*u + 3*h. Let r = 8 + u. Is 5 a factor of r?
False
Is (124/16 - 2)*4 a multiple of 23?
True
Suppose 2*z - z - 4 = i, -5*z + 26 = i. Let n = i - 4. Is 4 a factor of (-3)/2*14/n?
False
Let l(s) = -s**3 + 4*s**2 + 3*s + 4. Let v be 3 + -2 - (-2 + 0). Is l(v) a multiple of 22?
True
Let b(w) = w**2 - 7*w + 4. Let c be b(4). Let x be 4*(-2)/c*-3. Let n(a) = a**2 - 4. Is 2 a factor of n(x)?
False
Does 5 divide (-10)/(-70) + 1803/21?
False
Let y be (9/18)/(2/20). Let p = y - -8. Is p a multiple of 4?
False
Let u(w) = -7*w + 23. Let c be u(4). Let y(k) = -3*k**2 - 2*k - 1. Let o be y(-1). Is 14 a factor of ((-1)/o)/(c/(-550))?
False
Suppose 0 = i - 1. Does 4 divide 10*((-9)/15 + i)?
True
Let x(v) be the second derivative of -1/6*v**3 - v + 3/2*v**2 + 0 + 1/12*v**4. Is 5 a factor of x(4)?
True
Suppose 7*i = -107 + 37. Let p(q) = q**3 + 11*q**2 + 4*q - 6. Does 13 divide p(i)?
False
Suppose 42 + 14 = 3*w + 4*r, -3*w + 3*r = -84. Let u be (w/14)/((-2)/(-21)). Suppose 0 = -2*o - o + u. Is o a multiple of 3?
True
Let p(w) = -w**3 + 7*w**2 + 2*w - 6. Suppose 0 = 3*n + 1 - 19. Does 14 divide p(n)?
True
Suppose -4*x - 2*y + 724 = 0, -4*x - 3*y + 732 = y. Is x a multiple of 11?
False
Suppose -168 = -7*a + 4*a. Is 28 a factor of a?
True
Let p be (12/20)/(2/10). Suppose 0 = -t + 2*t - p. Does 3 divide t?
True
Let a(n) = 8*n + 21*n - 2*n + 2*n**2 + 8. Let d(z) = -z**2 - 13*z - 4. Let w(u) = -6*a(u) - 13*d(u). Is 6 a factor of w(-8)?
True
Let p be 43/5 - (-4)/10. Does 9 divide (p/(-5))/(1/(-5))?
True
Let d be 50/(-4)*4/(-5). Let n(i) = 15*i - 57*i**2 - 11 + 28*i**2 + 28*i**2. Is n(d) a multiple of 15?
False
Suppose -3*o + 5 = -1. Let r(t) = 4*t**2 - t. Is 7 a factor of r(o)?
True
Suppose 0 = 5*u + 4*w - 328, -4*u + 0*w = 3*w - 262. Does 9 divide u?
False
Let v(f) = 1. Let u(n) = n - 4. Let a(z) = u(z) + 3*v(z). Let j be a(3). Suppose -7 = -j*x + 13. Is 10 a factor of x?
True
Let o = 22 - -2. Is 6 a factor of o?
True
Is 642/27 + 2/9 a multiple of 8?
True
Suppose 0 = 3*g - 4 - 5. Let l = g + -2. Suppose r + 5*v - 8 = 0, 3*r = -5*v + 15 - l. Is r a multiple of 2?
False
Suppose -3*p - p = -8. Suppose 0*m = -p*m + 44. Let t = m - -20. Is t a multiple of 14?
True
Let f = 148 - 92. Is 8 a factor of f?
True
Let p(j) = -4*j**3 + 6*j**2 - 4*j - 1. Let x(h) = 9*h**3 - 12*h**2 + 8*h + 1. Let o(s) = 7*p(s) + 3*x(s). Let q be (6/(-4))/((-6)/16). Does 4 divide o(q)?
True
Let v(t) = -3*t**2 + 7*t - 6. Let h be v(5). Let y(g) = -g**3 - g**2 + 8*g - 4. Let z be y(3). Let u = z - h. Is 15 a factor of u?
True
Suppose -4*f + 324 = -2*t + 62, 116 = 2*f - 4*t. Is 17 a factor of f?
True
Let b(s) = -2*s - 5. Let v be b(-8). Suppose -m + 12 = -v. Let k = 5 + m. Does 13 divide k?
False
Let u = 37 - -65. Does 18 divide u?
False
Let f be 99/(-11)*(-2)/6. Suppose f*z + 16 + 23 = 0. Let y = z - -55. Is 14 a factor of y?
True
Suppose 20*b - 3486 = 1134. Does 30 divide b?
False
Suppose 6*r - 474 - 588 = 0. Is r a multiple of 30?
False
Suppose 2*h - 48 = -4*m, h + 3*h + 3*m = 116. Is h a multiple of 13?
False
Let y = -91 - -163. Is 12 a factor of y?
True
Suppose -2*d = l + 8, -9 = -4*l - 3*d - 31. Let s(h) = -h**3 - 3*h**2 + h - 3. Is s(l) even?
False
Let w = -24 + 34. Suppose -j = 4*m - w - 4, j + m - 17 = 0. Let q = 4 + j. Is 11 a factor of q?
True
Suppose 3*v = 3*p - 5*p - 8, 5*v - 12 = 3*p. Suppose 51 = a - 3*h, v = -3*a + 5*h + 157 - 24. Is a a multiple of 18?
True
Let i = 63 - 21. Does 21 divide i?
True
Is ((-53)/2)/(2/(-8)) a multiple of 19?
False
Suppose 6*l - 10 = 4*l. Let y = 11 - l. Let s = -4 + y. Is s a multiple of 2?
True
Suppose 2*f - 4*l + 14 = 0, -4*l = -6 - 14. Is f even?
False
Suppose a = 2*y + 33, 2 + 10 = -3*y. Suppose a = -q + 2*q. Is q a multiple of 8?
False
Let c(b) = -b**2 + b + 9. Is c(0) a multiple of 3?
True
Does 2 divide (-50)/(-30) - (-122)/6?
True
Let h be (-26)/4*(2 - 0). Is h/(-3 + 1 + 1) a multiple of 5?
False
Let y(k) = 5*k + 1. Let f(i) = -1. Let q(b) = -4*f(b) + y(b). Let w be q(4). Let p = 56 - w. Does 8 divide p?
False
Suppose -112 + 1 = 3*f. Let s = 68 + f. Is s a multiple of 24?
False
Let g(j) = -j**3 + 13*j**2 - 8*j - 3. Let x be (-8)/12 + (-38)/(-3). Is 15 a factor of g(x)?
True
Suppose 3*t + 2*g + 0*g - 46 = 0, 0 = 4*t + 5*g - 73. Let p be -1*2/2 + 5. Let k = p + t. Is k a multiple of 8?
True
Let z(w) be the second derivative of -19*w**3/6 - 2*w**2 - 4*w. Let l be z(5). Let b = 143 + l. Does 22 divide b?
True
Suppose b - 50 - 20 = 0. Is b a multiple of 7?
True
Let u(s) = -s**2 - 6*s - 7. Let g be u(-5). Let a = g + 6. Is a a multiple of 2?
True
Suppose -5*l + 45 = -85. Is l a multiple of 26?
True
Let q(p) be the third derivative of -p**6/120 - 7*p**5/60 - 5*p**4/12 - 7*p**3/6 + 3*p**2. Is q(-6) a multiple of 5?
False
Let h be 8/4*1/(-2). Let n be 3 + 0 + h + 5. Does 9 divide (6/n)/(2/42)?
True
Suppose -2*k + 154 = 4*v, 72 - 396 = -4*k - 4*v. Suppose 2*y + k = 7*y. Is 6 a factor of y?
False
Let w = -81 - -102. Is 5 a factor of w?
False
Let l(q) = q**2 - 13*q + 2. Let g be l(13). Suppose 0 = g*f - 6, 93 = -j + 3*j - 3*f. Is j a multiple of 17?
True
Does 31 divide ((4 - -39)*-1)/(-1)?
False
Suppose 370 = 5*i - 5. Does 5 divide i?
True
Let m(k) = k**3 + k**2 + 120. Does 30 divide m(0)?
True
Suppose 2*w + 5*i - 28 = 0, 4*w + 4*i = 14 + 18. Let h be -3*(-2 + (-8)/(-6)). Suppose h*r - w*f - 14 = 0, -4*f + 8 = -0*f. Is r a multiple of 11?
True
Let n(u) = 2 - u**2 + 11*u - 2*u + 0*u. Let z be n(5). Suppose -4*a = 2*q - 44, a - 4*a = q - z. Is 9 a factor of q?
False
Let g be 3/6 - 10/(-4). Does 18 divide -1*(g + -2) - -37?
True
Let m = 3 + 0. Suppose -4 = -m*k + o - 2, -14 = -3*k - 2*o. Is 3 a factor of 2 + (0 - -2)/k?
True
Let m(f) = 10 - 3*f + f + 3*f - 2*f. Does 4 divide m(0)?
False
Suppose 3*c - 8*c = -a - 349, 0 = -3*c - 3*a + 213. Is 10 a factor of c?
True
Suppose -2*n = -7*n + 555. Does 22 divide n?
False
Suppose -2*x - x + 18 = -5*w, w - 1 = -4*x. Let i be (3 + w)/(-1 - -3). Suppose i*o + 4*o - 32 = 0. Does 8 divide o?
True
Let l(i) = -15*i - 7. Is 14 a factor of l(-6)?
False
Let a be (-2)/8 + (-68)/(-16). Let l = a - 6. Is 6 a factor of (l + (-5)/(-3))*-33?
False
Let n(k) = k**3 + 8*k**2 + 10*k - 2. Let a be n(-7). Suppose j = -j - 2. Is j*(a - (-3)/(-3)) a multiple of 8?
True
Let m be 2/(-4) - (-74)/4. Let k = m + -3. Suppose 0*b = -3*b + 2*d + k, 3*d + 5 = b. Is b even?
False
Let z = 96 + -57. Is z a multiple of 13?
True
Let q = 72 + -38. Is q a multiple of 6?
False
Suppose -h + 3*a - 6 + 30 = 0, 0 = 3*h + 2*a - 17. Let l = h - 5. Suppose 4*w = -0*w - l*b + 48, 5*b = -w - 4. Does 7 divide w?
False
Suppose 5*i = 15 - 5. Suppose -i*x = -6*x + 12. Suppose -x = -3*l + 30. Is l a multiple of 11?
True
Is 15 a factor of 2*(-2)/4 - -29?
False
Let s = 614 + -376. Is s a multiple of 34?
True
Let l = 79 + -23. Is 4 a factor of 2/7 - (-936)/l?
False
Let y(a) = 9*a**2 - 5*a - 6. Let f(b) = -3*b**2 + 2*b + 2. Let z(o) = 8*f(o) + 3*y(o). Is 21 a factor of z(-4)?
True
Suppose 4*h - p = -5*p + 16, -4*p - 14 = -2*h. Suppose -3*n = h*x - 8, -4*x - n + 0*n + 12 = 0. Is 2 a factor of x?
True
Let x(i) be the second derivative of 5*i**4/12 + i**3/3 - 2*i**2 + i. Does 13 divide x(-3)?
False
Let f(a) = -a + 11. Is 3 a fact