of 7*m**2/2 - 1. Is r(2) a multiple of 5?
False
Suppose 17*m = 18*m - 100. Is 50 a factor of m?
True
Let c(q) = -3*q**3 + 3*q**2 - 4*q + 2. Let y(t) = -t - 10. Let b be y(-12). Let v be c(b). Is 8 a factor of 2*3/v*-69?
False
Let k = -12 + 20. Suppose -3*s + 108 = 5*a - 0*s, a + 4*s - k = 0. Does 8 divide a?
True
Let z be (-3 + 2/4)*-2. Suppose -2*g = 3*y - 48, -z*y + 88 = 4*g - y. Is g a multiple of 9?
True
Suppose 0*i = -4*i - 16. Let q be (-4)/2*90/i. Suppose 0 = -j + 6*j - q. Is 5 a factor of j?
False
Let l(v) = 28*v + 1. Let a(d) = 0*d + 2*d + 7 - 3*d. Let b be a(6). Does 11 divide l(b)?
False
Let p = 8 - -7. Suppose -2*v - 3*v = -p. Is 3 a factor of v?
True
Suppose -w - 35 = -5*w - z, -4*z + 30 = 5*w. Suppose w = d + d. Suppose -f + 3*k + 10 = -15, 3*f = d*k + 55. Does 7 divide f?
False
Let t(k) be the first derivative of k**2/2 + 2*k - 1. Let n be t(3). Suppose n*w - 58 = -13. Is w a multiple of 8?
False
Let v(t) = 3*t**3 + 2*t**2 - 1. Suppose -2*x - 2*l - 14 = -6*x, 4*x - 17 = 3*l. Is v(x) a multiple of 8?
False
Let q = 5 - -40. Is q a multiple of 10?
False
Let r = 20 + -10. Is 8 a factor of r?
False
Let n be ((-56)/20)/((-1)/30). Suppose -n = 3*q - 5*q. Does 14 divide q?
True
Let p be -1 + (-2)/((-6)/9). Is 11 a factor of (p + -46)*6/(-8)?
True
Suppose -5 = 3*b + 19. Let w be (-2*3)/(-1 - 1). Does 3 divide 1/w - b/3?
True
Suppose -h = -3*h. Let l(o) = h + o + 1 + 0*o. Is l(6) a multiple of 4?
False
Let o = 5 + 14. Is 11 a factor of (-4)/(-2) + 2 + o?
False
Suppose 5*z - 161 = -h - 3*h, -29 = -z - 4*h. Is 7 a factor of 41/3 - 22/z?
False
Let g(i) = -17*i - 6. Is g(-1) a multiple of 2?
False
Let s(v) = -10*v**2 + 1 - 2 + 5*v**3 - 3*v + 2*v. Let n(m) = m**3 - m**2 + 1. Let j(k) = 4*n(k) - s(k). Is j(6) a multiple of 10?
False
Let d be (-8)/(-24) - (-256)/6. Suppose -5*t = 3*i - 123, 0*t + 5*i + d = 2*t. Does 12 divide t?
True
Is (-3)/1*(-57)/9 a multiple of 14?
False
Let v(g) = g**3 + 10*g**2 + 9*g + 1. Let q be v(-9). Let f = 1 - q. Suppose -2*z + m + 12 = f, 3*z + 3*m = 4*m + 19. Does 3 divide z?
False
Suppose -2*j - p + 2*p = 1717, 4*p - 2568 = 3*j. Does 24 divide j/(-15) - 2/(-3)?
False
Suppose c + 3*l = 3*c - 21, 3*l = -15. Suppose x = -c*x + 12. Does 20 divide 57 + (x - (6 - 3))?
False
Let f be 0/1*(-2 + 1). Suppose 0*p - p + 5 = f. Suppose 2*m - 10 = u + u, -p*m - 4*u = -70. Is m a multiple of 5?
True
Let h = 90 - 62. Is 10 a factor of h?
False
Let m be (-2)/6 + 38/6. Let c = 130 - 63. Suppose -m*j = -j + 2*f - 83, -f + c = 4*j. Is j a multiple of 13?
False
Let g = 58 - 29. Does 9 divide g?
False
Let n = -3 - 1. Let d(t) = t - 4. Let q be d(n). Does 12 divide q/(-3)*18/4?
True
Let h(p) = -p**2 - 19*p. Let f be h(-11). Suppose 0 = 7*k - 3*k - f. Does 5 divide k?
False
Let x = -6 + 9. Does 10 divide (-1)/x*-10*3?
True
Suppose -2*u - 22 + 117 = 5*s, -230 = -5*u - 5*s. Is 10 a factor of u?
False
Is 26 a factor of ((-5)/(-2) + -3)*-60?
False
Let p(d) = 4*d**2 + 5*d - 5. Let t be p(-7). Let r = 242 - t. Suppose 0 = -5*o + 19 + r. Is 21 a factor of o?
True
Suppose 2*p + 4*j = 112, -2*j + 5*j - 183 = -3*p. Suppose -o - 5*u = -0*u - p, -4*u = -4*o + 216. Is 18 a factor of o?
False
Let m(h) = -8*h. Let x be m(6). Suppose -3*t - 2*t + 4*s = -413, -4*s + 12 = 0. Let g = t + x. Is g a multiple of 17?
False
Let p = 96 - 65. Suppose 4*b - p - 21 = 0. Does 11 divide b?
False
Let s = 3 + -6. Let u(y) = -3*y**3 - 3*y**2 - 3*y - 4. Is 20 a factor of u(s)?
False
Suppose -5*u = -20, 3*u - 284 = -5*h + 2*u. Is h a multiple of 14?
True
Let k(g) = -2*g - 5. Let s be k(-4). Suppose -33 = -3*j - s. Let d = -7 + j. Is 2 a factor of d?
False
Let h be 9/2 - (-3)/6. Suppose 0 = -4*f - y + h*y + 4, -5*f - y + 35 = 0. Does 4 divide f?
False
Suppose 5*u - 175 = -2*d, -8*d - 4*u = -4*d - 356. Is d a multiple of 43?
False
Suppose -2*c + 0*c = -10, 4*t = 2*c + 26. Is t a multiple of 9?
True
Is (5 - 222/42) + (-156)/(-7) a multiple of 4?
False
Let f(u) = u**3 - 4*u**2 - 10*u - 6. Does 3 divide f(6)?
True
Is 3 a factor of ((0 - -3) + 32)*4/5?
False
Let l = -32 + 51. Does 6 divide l?
False
Let o(s) = -11*s + 5. Let m be o(-4). Suppose 0 = -y + 5*w + 33, -3*y + 131 = 2*w + m. Is 7 a factor of y?
True
Suppose 3 = 4*q + z, 2 = -3*q - 2*z - 2. Suppose q*d = -2*d + 64. Does 3 divide d?
False
Suppose -2*z = 5*f + 11, 4*z + 2*f + 0 - 2 = 0. Does 20 divide (6 - 5)/(z/120)?
True
Let r(g) = -3*g - 12. Let x be r(-4). Suppose 5*k - q = -3, -3*q - q + 12 = -3*k. Suppose x*t + 5*t - 155 = k. Is 12 a factor of t?
False
Suppose -336 = -8*t + 5*t. Does 28 divide t?
True
Let b = -1 - 1. Let g be (b + -1)*-1 - 2. Is (3 + -6)/(g/(-6)) a multiple of 9?
True
Let v(j) = 7*j**2 + j - 1. Let n be ((-3)/3)/((-1)/2). Is 7 a factor of v(n)?
False
Let t(a) = 2*a**2 - 6*a + 5. Let d be t(6). Is 18 a factor of 0 + d + 3 + -1?
False
Suppose 2*c - 386 = -5*u, 4*u - c + 2*c - 307 = 0. Does 12 divide (6/(-4))/((-3)/u)?
False
Let z(p) = -p**3 + 3*p**2 + 2*p - 4. Let q be z(3). Suppose 12 + 9 = q*w - 3*s, 4*s + 12 = 0. Does 3 divide w?
True
Let z = -27 - -54. Suppose -2*p - 30 + 48 = 0. Is ((-6)/p + 2)*z a multiple of 18?
True
Suppose -3*o + 8*o - 300 = 0. Does 36 divide o?
False
Let w = -1 - -1. Suppose 4*o + 0*o = w. Suppose o = -3*t - c + 83, t + t + 4*c = 72. Is 9 a factor of t?
False
Suppose -m + 22 = -5*c - 0, -2*c = -m + 7. Let h = 0 - c. Is h a multiple of 2?
False
Let k = 117 - 99. Does 3 divide k?
True
Is 1 + -3 + 6 - -75 a multiple of 15?
False
Does 3 divide (-1573)/(-91) + (-4)/14?
False
Suppose -n = -2*y + 4*y - 2, -3*y + 3 = -2*n. Suppose -j = -1 - y. Suppose 271 = -j*o + 7*o - 3*f, 2*o = -3*f + 100. Is o a multiple of 24?
False
Suppose -3*u + 0 = -3, -q - 2*u = -25. Is 23 a factor of q?
True
Let c(y) = 2*y - 19. Let o(m) = m - 9. Let s(l) = -6*c(l) + 13*o(l). Let k be s(8). Suppose -3*f = -3 - 0, -50 = -k*g - 5*f. Does 6 divide g?
False
Let p = 147 - 55. Is p a multiple of 15?
False
Let i be -4 + 3 + 4/2. Let z = i - -5. Does 3 divide z?
True
Suppose -s - 5*u + 1 = 6, -3*u - 21 = -3*s. Let l be 6/(-4)*282/(-9). Suppose -78 = -s*a + l. Is a a multiple of 25?
True
Let i(j) = 7*j - 2. Does 13 divide i(4)?
True
Let a(f) = 42*f**2 - 1 + 0 + 1. Is a(1) a multiple of 21?
True
Let q(d) = 3*d**2 + 14*d - 12. Is 15 a factor of q(6)?
True
Suppose -4*c + 0 = -376. Is 7 a factor of c?
False
Suppose -2 = -i + 2. Suppose 0 = -i*g + 77 + 47. Is 10 a factor of g?
False
Let l = -1 + 6. Let u(d) = -d**2 + 4*d + 7. Let n be u(l). Suppose a = n*a - 18. Is a a multiple of 9?
True
Let n(z) = -4*z - 3. Let c be n(-2). Let d = c - 3. Suppose 0 = -2*i + 4*j + 14 + 22, -112 = -4*i - d*j. Is 14 a factor of i?
False
Suppose 3*h + 2*d + d - 3 = 0, -d - 11 = -3*h. Suppose h*z = 2*z + 86. Suppose z = 4*o + 3*j, 5*j = 3*o + 4*j - 58. Is o a multiple of 9?
False
Is (-96)/(-9) + (-1)/(-3) a multiple of 3?
False
Let y(a) = -5 + a + 0*a + 0*a. Let z be y(7). Suppose v = -4 + 1, 3*n - 18 = -z*v. Is n a multiple of 8?
True
Suppose 2*q + 10 = -4. Let o be 142/7 + 2/q. Suppose -3*k = -7*k + o. Is k a multiple of 2?
False
Let q(n) = n**3 + 6*n**2 - n - 2. Let r be q(-6). Suppose 8*z = 3*z - 2*v - 41, -23 = 5*z - r*v. Let u = 1 - z. Does 4 divide u?
True
Let i = -32 - -66. Is i a multiple of 17?
True
Suppose -306 = -3*z + 2*p, z = -z - 4*p + 220. Is 4 a factor of z?
True
Let z(u) = -6 + 12*u - 5 + 13 + 10*u**2 - 1 - u**3. Is z(11) a multiple of 3?
True
Let m = -70 + 126. Is m a multiple of 16?
False
Let l be (-4)/6 + (-84)/(-18). Suppose -4*x + 4*a - 32 = 0, 2*a + 16 = -2*x - l. Let n = 15 - x. Is n a multiple of 8?
True
Suppose -5*j - u = -214, -2*j + 138 = 2*u + 46. Does 14 divide j?
True
Suppose -5*d - 25 = 0, -2*m - 20 = -4*m + 2*d. Is 57/m + 54/90 a multiple of 12?
True
Suppose 4*a - a - 201 = 0. Suppose 5*j - 113 = a. Is 18 a factor of j?
True
Suppose 2*z - d + 53 = 0, 3*z + d + 107 = -3*d. Let j = -14 - z. Does 16 divide (-11 - 1)/((-6)/j)?
False
Suppose -8 = -3*i + 82. Is 15 a factor of i?
True
Suppose -3*a + 61 = -563. Is a a multiple of 19?
False
Is 0 + 44 + (-7 - -2) a multiple of 2?
False
Suppose 0 = 3*b + 15, 4*b = -4*i + 2*i - 20. Suppose -4*o + i*o = -228. Is o a multiple of 22?
False
Suppose 5*s + 138 = 8*s. Suppose 5*o - 108 = -3*h, -4*h = 2*o - s + 14. Does 15 divide o?
False
Suppose 4*b + b - 555 = 0. Does 3