ltiple of 36?
True
Suppose 7*p = 4*p - 21. Let n = p - -39. Is 5*5*n/20 a multiple of 14?
False
Let d = -35 + 71. Is 33 a factor of d?
False
Suppose 0 = -o + 4*r + 26, 39 = -5*o - 3*r + 146. Is 2 a factor of o?
True
Suppose 0 = 4*v + v. Suppose -3*i - 3*l - 1 + 31 = v, 0 = -l - 5. Let x = i + -8. Is x a multiple of 7?
True
Let y(z) be the first derivative of -z**4/4 - 13*z**3/3 - 15*z**2/2 + 8*z + 8. Is y(-12) a multiple of 22?
True
Suppose -n - 2*d = d - 19, 4*d = 20. Suppose 3*r + 121 = n*u + u, 4*u - 113 = -3*r. Does 14 divide u?
False
Suppose 0 = -3*b - 0*b - 24. Let s = b + 18. Is s a multiple of 4?
False
Let d(n) = -2*n - 1. Let g be d(-3). Suppose 4*v = -4*x + 48, -g*v + 2*x = -23 - 72. Does 12 divide v?
False
Let u be (-12)/8 + 9/2. Let q(z) = 2*z**3 - 3*z**2 - 4*z + 2. Does 5 divide q(u)?
False
Suppose -41 = -4*n + 55. Let y(g) = -g**3 - 4*g**2 + 3*g - 7. Let a be y(-5). Suppose -a*k = 0, 4*d - k - 2*k - n = 0. Is 6 a factor of d?
True
Suppose -5*m + 18 = -2*m. Let v = 13 + -11. Suppose w + j - m*j = 17, 0 = -w + v*j + 11. Is 3 a factor of w?
False
Is 1 + 104 + (-50)/10 a multiple of 10?
True
Let f = -39 - -55. Is f a multiple of 16?
True
Suppose -5*b = -0*b. Suppose 3*i + 11 + 4 = b. Let l(n) = -4*n + 7. Is 10 a factor of l(i)?
False
Suppose 2*s = -4, 3*p = -2*s + 3*s + 8. Let z = p + 5. Is 3 a factor of 1 + 0 + -5 + z?
True
Suppose f + 4*q = 44, -f - 3*q + 43 = -0*q. Suppose f = -7*n + 3*n. Let k(g) = g**2 + 8*g - 6. Is 7 a factor of k(n)?
True
Suppose -4*l + 2*d = 46, 2*d + 0*d + 8 = -2*l. Suppose -20 = -5*n - 5*c, 4*c - 16 = -5*n + 3*c. Is 7 a factor of (-84)/l*n/2?
True
Let i be 130/35 + 6/21. Suppose 9*t = i*t + 45. Does 3 divide t?
True
Suppose -2*n - 2 = -0*a - 2*a, -3*n + a + 5 = 0. Suppose n*w - 8 = -2*v, 25 - 7 = 5*w + v. Suppose z + 21 = w*z. Is z a multiple of 7?
True
Let n(b) = -b**3 + 14*b**2 - 12*b - 9. Is n(13) even?
True
Suppose 2*b = -b + 90. Suppose 6 + b = 4*x. Is x a multiple of 9?
True
Suppose -2*o - 76 = -j - 519, 5*o + 5*j = 1130. Is o a multiple of 73?
False
Let u be (-1335)/(-9) - 4/12. Suppose -3*h - h + u = 0. Does 15 divide h?
False
Suppose -4*o + g - 2*g = -503, 4*g + 488 = 4*o. Suppose -4*h + o = -3. Is 32 a factor of h?
True
Let t(w) = w**3 + 5*w**2 - w - 4. Let m be t(-5). Is (3 - m)/(8/12) even?
False
Does 34 divide ((-28)/(-12))/((-2)/(-108))?
False
Let d(q) = q**3 + 7*q**2 + 6*q + 5. Let g be d(-5). Let z be ((-64)/40)/(4/(-10)). Suppose z*a - g = 23. Is 7 a factor of a?
False
Let d = 13 - 9. Suppose 4*t - 19 = d*v - 79, -3*v + 50 = -4*t. Does 3 divide v?
False
Let n = 21 - 9. Suppose 2*c = c - 5*r - 22, 3*c = r + 14. Let k = c + n. Is k a multiple of 4?
False
Let x be -26*(-5)/4*-2. Let h = -21 - 16. Let q = h - x. Does 14 divide q?
True
Let g(f) = 14*f**2 + 3*f. Let m(r) = -13*r**2 - 2*r. Let y(z) = -3*g(z) - 4*m(z). Does 3 divide y(-1)?
False
Suppose 0 = -0*b - 5*b + 1510. Suppose -b = 4*x + 134. Let d = -61 - x. Is 16 a factor of d?
True
Let u = 1 - 0. Suppose -4*z + 2*i = -84, -z = 2*i + u - 17. Is 10 a factor of z?
True
Suppose 4*d + 97 = 4*n - 19, -2*n + 3*d = -61. Is (n/4)/((-8)/(-48)) a multiple of 13?
True
Let p(i) = 2*i**2 - i + 4. Let k be 2/6*(17 - 5). Does 21 divide p(k)?
False
Let v be 0 + 4 - -2 - 3. Suppose -2 = v*r - 4*r. Does 5 divide 2 + (15 - -2 - r)?
False
Let c(v) = 1. Let q(d) = d + 21. Let t(h) = -3*c(h) + q(h). Does 10 divide t(-8)?
True
Let b(u) = u**3 + 5*u**2 - 5. Let r be b(-5). Let k be 2/r - 776/(-40). Suppose 0 = -3*v + k + 11. Is v a multiple of 5?
True
Let y(u) = u**3 - 5*u**2 + 3*u + 8. Let s be y(6). Suppose -4*g = -3*j + s, 2*j - 7*g + 2*g - 46 = 0. Suppose -j = c - 2*c. Is 9 a factor of c?
True
Let j(b) = b**2 - b. Let c(i) = -14*i**2 + 4*i + 4. Let k(l) = -c(l) - j(l). Let m be k(3). Suppose 4*w + 0*w = m. Is w a multiple of 13?
True
Let c(o) = -1 - 51*o - o**2 + 59*o - 2. Suppose 2*h - b = -2 + 9, -4*b + 2 = -3*h. Is c(h) a multiple of 9?
True
Suppose 0 = -k - u - 4, -k + 2*k - 4*u - 16 = 0. Let o be (0 - -2) + (k - -2). Suppose -88 = -3*t - o*h, 0 = -2*t - 0*t + 2*h + 40. Is 11 a factor of t?
False
Suppose s + 0*s = p + 17, 37 = s - 5*p. Suppose 0 = -3*b - s + 96. Is 10 a factor of b?
False
Suppose 4*s - 90 = 198. Is 36 a factor of s?
True
Suppose 2*d = d - 5, -3*d - 151 = 4*n. Suppose -y = 1, 0*w - 4*w + 4*y = -256. Let c = n + w. Does 23 divide c?
False
Is -438*30/(-12)*2/10 a multiple of 49?
False
Let a(x) = -x - 1. Let n = 2 + -6. Does 3 divide a(n)?
True
Let q = -71 + 120. Suppose -4*z = -q - 39. Does 9 divide z?
False
Let v(m) = -6*m - 6. Let i(k) = k**3 + 4*k**2 - 2*k + 7. Let r be i(-5). Let y be v(r). Suppose 0 = -3*q + 30 + y. Is q a multiple of 19?
False
Let q(u) = -69*u - 1. Is 6 a factor of q(-1)?
False
Let f(o) be the first derivative of -o**4/4 + o**3/3 + o**2/2 + 76*o - 1. Is 26 a factor of f(0)?
False
Let t = -24 + 59. Does 7 divide t?
True
Is 5 a factor of -36*(-2 - 9/(-6))?
False
Let r(z) = 2*z**3 - 11*z**2 - 4*z - 15. Is r(8) a multiple of 39?
True
Suppose 5*l = -3*r + 212, -5*l + 3*r + 26 = -162. Does 3 divide l?
False
Suppose -j + 5*p = -3*j + 18, p + 6 = 2*j. Suppose 0*b = -b, 4*b + 32 = j*z. Is z a multiple of 3?
False
Is 9 a factor of (3 - 1)/(-8) - 2192/(-64)?
False
Let x be 0 + (1 - (-3 + 1)). Suppose 4*b + x*t - 179 = 0, 0 = -3*b - 3*t + 4*t + 131. Is 11 a factor of b?
True
Suppose -3*u = 5*h - u - 200, 185 = 5*h + 5*u. Does 7 divide h?
True
Let p(h) = -h**2 - 8*h + 10. Let y be p(-8). Suppose 2*f = -2*m + 5*m + 10, -y = -5*m. Does 4 divide f?
True
Let s be 4/20 + (-12)/10. Let k be -5 - -2 - (s + -2). Let o = 5 - k. Is o a multiple of 2?
False
Suppose 0 = -h + 1. Let r be (-2 - 36)*(-2)/4. Let k = h + r. Is k a multiple of 12?
False
Let h be 40/12*(-3)/(-2). Suppose 17 = -3*n + 2, -h*u = n - 80. Does 17 divide u?
True
Suppose -f = -6*f - 25. Let m(v) = -14*v + 10. Is 16 a factor of m(f)?
True
Suppose -3 + 18 = 3*h. Suppose -d - 23 = w + 4*w, -h*d = 2*w. Suppose d*g - 7*g + 25 = 0. Does 2 divide g?
False
Is (-5)/(-30) + 13015/30 a multiple of 14?
True
Suppose 2*y = -3*q + 299, 8*y + 3*q = 3*y + 761. Is 14 a factor of y?
True
Suppose 4*k = -0*k + 24. Let p = 2 - k. Is 4 a factor of (2/p)/((-2)/44)?
False
Suppose 16 = 4*g - 0. Is g even?
True
Let a(u) = 3*u**2 + 1 - 2*u**2 + 4*u + 0 - 2. Is a(-7) a multiple of 10?
True
Suppose -2*z = 18 + 2. Let c(l) = l**2 + 7*l + 12. Is c(z) a multiple of 21?
True
Suppose 0 = 4*a + 5*u - 35, a = -a - 4*u + 22. Is a a multiple of 5?
True
Let v(u) = -u**2 - 8*u - 5. Let b = -5 - 0. Let w be v(b). Suppose n - w = -n. Is n a multiple of 5?
True
Suppose -19 = -5*w - 9. Is (-40)/2*w/(-4) a multiple of 10?
True
Suppose -3*v + 4*v = 2*t - 95, 5*t + 5*v = 200. Is t a multiple of 15?
True
Let m(o) = o**2 - 5*o + 4. Let z be m(5). Suppose -z*i + 25 = i. Is i a multiple of 5?
True
Let i(b) = b**3 + 12*b**2 + 12*b + 20. Is i(-11) a multiple of 5?
False
Let b = -1 - -3. Suppose x - b*x = -10. Does 9 divide x?
False
Let v be (-692)/(-6) + 4/(-12). Suppose -4*f = f - v. Is f a multiple of 9?
False
Let f = 539 + -383. Does 12 divide f?
True
Suppose 4*x + o - 144 - 316 = 0, x + 4*o = 100. Suppose 3*d + 246 = 5*q, 5*q - x = 2*d + 128. Is 25 a factor of q?
False
Is 11 a factor of 7/(14/8)*44*1?
True
Let w(j) = -19*j + 6. Is 24 a factor of w(-6)?
True
Let m = -4 - -5. Suppose 4*g + m = 9. Suppose 41 = g*y - 1. Does 21 divide y?
True
Suppose -3*x = -42 + 9. Is x a multiple of 10?
False
Suppose -3*z - 4*d + 168 = 0, -z = 2*d - 16 - 38. Does 10 divide z?
True
Let w(m) = m**2 + 14*m - 4. Let t be w(-14). Does 26 divide 13/(t + (-13)/(-3))?
False
Let q = -69 - -45. Let v = 17 + q. Does 27 divide (-268)/(-10) + v/(-35)?
True
Suppose 0 = -3*o + 13 - 4. Let v be -2 + 1/(o/12). Is 14 a factor of v - (-5)/(15/78)?
True
Let f = -5 - -10. Suppose 33 = -f*j + 8*j. Is j a multiple of 6?
False
Let a = 4 - 2. Let n be a/(-4)*(-5 - -1). Suppose 2*i - n*k + 148 = 7*i, 96 = 4*i - 4*k. Does 14 divide i?
True
Let t = 69 + -32. Suppose t = h - 2*o - 8, -3*h + 138 = -5*o. Is 17 a factor of h?
True
Let i be 3/(-5) + 6/(-15). Let x be (i + -2 + 1)*-7. Suppose -2*d - x = -4*o, 2*d = 4*o - 2*o - 8. Does 3 divide o?
True
Let a = -185 - -318. Is 21 a factor of a?
False
Let f be (3 + (-3)/1)/(-2). Suppose f = -4*q + 5*q - 11. Is 11 a factor 