 Is 12 a factor of o?
False
Suppose -v + 5*t + 3 = 0, -3*v + 5*v = -t + 6. Suppose j = -v + 1. Is (3 - j)*5 - 1 a multiple of 16?
False
Suppose -3*g - 3 = -5*r + 7, -5*g - 8 = -4*r. Let b be -11 + (g - -1) + 1. Let v(m) = m**3 + 8*m**2 - 10*m - 2. Is v(b) a multiple of 5?
False
Let s = 15 - 9. Let y = s + 8. Is 7 a factor of y?
True
Let k(i) = -i - 1. Let w be k(-5). Let y(c) = 2*c**2 + 4*c - 5. Let u be y(w). Suppose -3*x = 16 - u. Is 4 a factor of x?
False
Let n(u) = u**3 - 4*u**2 - 1. Let r be n(3). Let l = 45 - 30. Let h = l + r. Is h a multiple of 4?
False
Suppose 5*i = 4*c, -4*c + 2*i + 2*i = 0. Let z(m) = -m**2 + 24. Does 12 divide z(c)?
True
Let z(s) = 7*s**2 + 2. Let b be z(-2). Let q be ((-20)/(-2))/(2 + -1). Suppose -2*w = -2*y + b - q, -18 = -y - 3*w. Does 12 divide y?
True
Let x(d) = d**2 - 9*d - 3. Let b(k) = -5*k**2 + 46*k + 15. Let q(y) = -2*b(y) - 11*x(y). Does 3 divide q(6)?
True
Let s = -3 - -6. Suppose -3*y = -8*y - s*o + 17, y - 7 = 3*o. Let h = y + 3. Does 5 divide h?
False
Let r(b) be the third derivative of -3*b**4/2 - 2*b**2. Let j be r(-4). Suppose j = 5*o - 2*p, 3*p + p = -4*o + 104. Does 15 divide o?
False
Suppose t - 75 = 6*t. Let u = t + 29. Does 7 divide u?
True
Suppose 4*a - 12 = -5*i, -5*a - 3*i + 3 = 1. Does 28 divide 0 + -3 - 62/a?
True
Suppose -w = -2 + 15. Let i = 25 + w. Is 8 a factor of i?
False
Let d = -5 - -55. Is 5 a factor of d?
True
Let a(d) = d**2 - d - 1. Let k be a(2). Let w = 4 - k. Is w even?
False
Let g(w) = -w + 3. Suppose 4*t + 8 = 2*n, 0 = 4*n - t - 0*t - 2. Let o be g(n). Suppose 16 = -o*k + 52. Is 9 a factor of k?
False
Suppose 2*u = 2 + 2. Does 4 divide u/6 + 14/3?
False
Suppose 5*q + 29 = -3*x, -x + 0*x = -5*q - 17. Let n(r) = -r - 9. Let l be n(-8). Does 15 divide 9*l*(q - 1)?
True
Let p(k) = -k**2 + 8*k - 6. Let b be p(9). Let y(z) = -z**2 + 3. Let n be y(6). Let v = b - n. Is v a multiple of 18?
True
Let d be ((-1)/(-2))/((-4)/(-24)). Suppose t - d*t = -120. Let o = -32 + t. Is o a multiple of 14?
True
Let c(n) = -8*n**2 + 3*n. Let j be c(3). Let i = j + 96. Is 11 a factor of i?
True
Let m = 205 - 138. Let t be (-5 - -2)/((-3)/m). Suppose -38 = -5*v + t. Does 8 divide v?
False
Is (30/(-8))/((-15)/40) a multiple of 10?
True
Let o = 3 - 7. Let b(x) = 3*x**2 + 2*x - 4. Let a be b(o). Suppose -w - w + a = 0. Is w a multiple of 11?
False
Suppose -d + 1 = -0. Suppose 3*u + d = -5, -u = -4*a + 94. Is a a multiple of 10?
False
Let r be 46/8 + 3/(-4). Suppose r*a - 83 + 8 = 0. Is a a multiple of 5?
True
Suppose -9 = -6*i + 261. Does 7 divide i?
False
Let q(m) = m**3 + 6*m**2 + 4*m - 4. Let v be q(-5). Let o(n) = 8*n**2 + n. Let t be o(v). Suppose t = -3*p + 84. Does 10 divide p?
False
Suppose 30*k - 28*k = 366. Is k a multiple of 13?
False
Let g = -178 + 21. Let r = g - -99. Let s = 99 + r. Is s a multiple of 15?
False
Suppose -5*l + 143 = w, 3*w = 5*l - 40 - 91. Suppose -4*c = -4*q + l, 0 = 4*q + c - 3*c - 20. Does 2 divide q?
False
Let k = 116 + -35. Is 8 a factor of k?
False
Let z(o) = 2*o**2 + o + 1. Let d be z(-1). Suppose 0 = -d*k - 5*l + 84 - 18, 4*k + 4*l - 108 = 0. Let w = 33 - k. Is w a multiple of 9?
False
Let v(d) = -d**2 + 11*d + 10. Is 13 a factor of v(9)?
False
Suppose -2*c - 10 = -52. Suppose 0*x = 3*x - i - 1, 0 = 3*x + 3*i - c. Suppose -15 - 13 = -x*f. Does 9 divide f?
False
Suppose -o = -6*o - 10, -4*h + 54 = 3*o. Suppose 0 = 4*m - 8, 0*f = -f - 2*m + h. Is 3 a factor of f?
False
Suppose 0 = -4*x + 120 + 44. Is 18 a factor of x*(2 + -1 - 0)?
False
Let y(z) = 33*z - 21. Is y(11) a multiple of 18?
True
Suppose 3*i - 4*k - 140 = -i, -4*k + 40 = i. Let t = -14 + i. Does 11 divide t?
True
Suppose 2*i = -2, 2*i + 200 = -4*b - 2*i. Let p = b + 93. Is p a multiple of 11?
True
Suppose -a = 5*p - 11, -3*p + 139 = 4*a - 2*p. Is 7 a factor of a?
False
Let r = 3 + 2. Let v be 4/r*(-15)/(-6). Suppose 0 = a + 4, v*a - a + 68 = 4*u. Is 9 a factor of u?
False
Is 7/(-2)*(-4 - (4 - 2)) a multiple of 21?
True
Suppose 4*b - 302 = 34. Is b a multiple of 28?
True
Suppose 0 = -4*h - 3 - 5. Let l be 2/h*2 + 5. Is (1 - (1 - 2)) + l a multiple of 4?
False
Let z(v) = 2*v - 2. Let t be z(2). Suppose -2*k + 54 = 5*u - 46, 3*k = -t*u + 51. Is 9 a factor of u?
True
Let h = 8 - 5. Let k(n) = -n + 4 - h*n + 3*n. Does 3 divide k(0)?
False
Let i(q) be the first derivative of q**3/3 - 3*q**2/2 - 8*q + 1. Is 2 a factor of i(6)?
True
Let o(y) = 2*y**2 - y + 1. Let q be o(1). Suppose 0 = 4*b - q*b - 34. Does 11 divide b?
False
Let u(v) = -v**2 + 6*v + 7. Let p be u(7). Suppose p = -5*j - 2*a + 62, 3*a + 40 = 4*j + 7*a. Let n = j + -9. Is 5 a factor of n?
True
Suppose 4*v - 2*m = 242, 5*v - 3*m - 2*m = 305. Let b = -34 + v. Is 9 a factor of b?
False
Let g = 293 + -125. Suppose 0 = 3*j + j + 4*t - g, 198 = 5*j - t. Suppose -4*p + j = p. Does 3 divide p?
False
Does 27 divide (-12)/(-2)*270/12?
True
Let b be (-4)/(-2)*(-3)/(-2). Suppose b*h + 225 = 8*h. Is 5 a factor of (4/3)/(6/h)?
True
Let o(d) = -8*d**2 - d - 1. Let i be o(-2). Let p = -20 - i. Is 11 a factor of p?
True
Suppose 0 = -2*z - 61 - 161. Let f be z*((-6)/(-9))/(-2). Let a = f + -10. Is a a multiple of 11?
False
Let u(c) be the third derivative of c**6/120 - 2*c**5/15 + 7*c**4/24 + 5*c**3/3 - 3*c**2. Is 10 a factor of u(7)?
True
Suppose 3*q - 20 = 3*u - 2*u, 3*u = 2*q - 11. Suppose l - 1 = -2*a + q, l - 8 = 3*a. Is l a multiple of 6?
False
Let p(z) = -6*z**2 - 12*z - z**2 + 6*z**2. Let q be p(-9). Is 9 a factor of 12*(q/12)/3?
True
Suppose -4 + 16 = -o - 3*n, -3*o = -3*n - 12. Suppose 12 - 81 = -3*u + 3*a, o = a + 5. Is 6 a factor of u?
True
Suppose 120 = -3*f + 693. Suppose -4*d = 47 - f. Is 21 a factor of d?
False
Let p = 86 + -57. Is 11 a factor of p?
False
Suppose 4 = 2*y - 0. Does 12 divide 4/(4/11) + y?
False
Let b be -2*(164/(-8) + -1). Suppose 4*y + 3*m - 210 = 0, 3*y - 115 = -2*m + b. Is 18 a factor of y?
True
Is (1 - -7)/(4/14) a multiple of 14?
True
Suppose 2*y - 28 = 4*w, 0 = -4*y - 3*w + 12. Let z = -3 - -9. Let f = z + y. Does 12 divide f?
True
Let b(u) = u**3 + 7*u**2 + 6*u - 4. Is b(-5) a multiple of 8?
True
Suppose t = 2*t - 2. Let x be (-462)/18 - t/6. Let z = 40 + x. Is 5 a factor of z?
False
Let s = 112 - 67. Is 15 a factor of s?
True
Suppose -9*v + 6*v = -21. Does 2 divide v?
False
Suppose 0 = 2*v - 140 - 78. Does 18 divide v?
False
Suppose -5*a = -0*a - 430. Is a a multiple of 19?
False
Let n = -5 - -5. Suppose n = -2*v - 0*v. Suppose v*q + 3*q - 132 = 0. Is 21 a factor of q?
False
Let a be (-1)/(-3 - 11/(-4)). Suppose a*f - 60 = -f. Is 6 a factor of f?
True
Let r be -2 + 3 + 2 + 17. Is (r/2)/((-14)/(-35)) a multiple of 9?
False
Let x(a) = -a + 5. Let j be x(5). Suppose 5*m - 7 = 2*v, 3*m - m + 3*v + 1 = j. Suppose 2*z - m = 21. Is z a multiple of 11?
True
Suppose -y - y = 2. Let r be y/4 + (-141)/(-4). Suppose j - 3 = 0, 3*x - r - 25 = -4*j. Does 11 divide x?
False
Let j(b) = b**2 - b + 36. Let t be 0/(1 - 0)*1. Let g be j(t). Let k = g - -16. Is 18 a factor of k?
False
Let w = 123 + -67. Is 14 a factor of w?
True
Is 51 a factor of 5/20*17*(34 - -2)?
True
Let n = 437 + -305. Does 11 divide n?
True
Let x(v) = -v**2 - 8*v - 6. Let a be x(-4). Let y(l) = 16*l + l**2 - 5*l**2 - 4*l + 3*l**2. Is 10 a factor of y(a)?
True
Let r be (-2 + 5 - 3)/1. Let w(x) = 0 + r - x + 2*x**2 - x. Does 20 divide w(-4)?
True
Is (-24 - -31)/((-1)/(-20)) a multiple of 14?
True
Let u be 14/35 + (-56)/(-10). Suppose u*a - 3*a = 114. Is a a multiple of 6?
False
Suppose -15 = 2*t - 357. Is t a multiple of 9?
True
Suppose 5*l = 31 + 29. Suppose -o - 3 - l = -5*t, -t = -2*o - 12. Suppose 4*c = -3*p + 83 + 27, 0 = -t*p + c + 88. Is p a multiple of 15?
False
Is 93/2 + (-5)/2 a multiple of 11?
True
Let l be 2*4/(16/12). Suppose -k + d + 48 = l*d, -3*d = -2*k + 57. Is 10 a factor of k?
False
Suppose -5*y - 20 = 3*u, -3*u - 2*y + 8 = -4*y. Let g(z) = -z**2 + 4. Is g(u) even?
True
Let o(c) = -5*c + 1. Let y be o(2). Let p be (y/2)/(27/(-72)). Let d = 11 + p. Does 22 divide d?
False
Let v(w) = w - 7. Suppose 0 = 5*d - 3*d - 18. Let j be v(d). Suppose -j*z = -0*z - 42. Does 11 divide z?
False
Suppose -4*d = 3*a + d - 29, 3*d = -5*a + 27. Let l be (0 + (3 - 4))*0. Suppose 0 = 4*u - 2*u + v - 1, -4*u - a*v - 3 = l. Does 3 divide u?
True
Let z = 50 - 15. Does 35 divide 