ctor of p(i)?
True
Let k be (1 - (-2 - -3)) + 35. Let m = -13 + k. Is m a multiple of 9?
False
Let c(z) = z**2 + 10*z - 15. Let t be (-190)/14 + 48/84. Is 5 a factor of c(t)?
False
Let l = 81 - 52. Is l a multiple of 14?
False
Suppose -2*m - 1 = -7. Suppose -2*a - m*a - 10 = 0. Does 6 divide a/8 - 50/(-8)?
True
Let m(d) = 10*d**2 - 11*d - 23. Let q(n) be the first derivative of n**3 - 2*n**2 - 8*n - 1. Let c(b) = 2*m(b) - 7*q(b). Does 3 divide c(7)?
True
Let i(y) = y + 55. Suppose 0 = 5*v + 4*q - 17 - 3, 0 = v + 5*q - 25. Does 24 divide i(v)?
False
Suppose 0 = -4*l + 554 - 130. Is 36 a factor of l?
False
Let a(t) = -2*t + 84. Is a(0) a multiple of 14?
True
Suppose 36 + 33 = 3*q. Suppose -115 = -2*a - q. Suppose -3*g + 8 = -a. Is g a multiple of 18?
True
Let n(i) = i**2 + 7*i. Let m be n(-7). Let j be 18/(m - (-4)/10). Suppose 0 = -5*f + 5*p + j, -3*f = -8*f - p + 39. Does 4 divide f?
True
Suppose -i + 108 = 2*i. Is i a multiple of 18?
True
Let f(x) = x + 1. Let m be f(3). Suppose b = m - 1. Does 3 divide b?
True
Let x(m) = 2*m. Let v be x(5). Is 486/15 + 6/v a multiple of 11?
True
Let n = 20 + 18. Does 8 divide n?
False
Suppose 2*i = 7*i - 90. Suppose -4*s = i - 126. Does 9 divide s?
True
Suppose 4*n + 0*n = 12. Let a = n + 12. Let p = a + -9. Is 3 a factor of p?
True
Suppose -3*j - 3 = -6. Suppose 0 = -5*r + 3*u + 155, r - 4*u + j - 32 = 0. Is r a multiple of 14?
False
Suppose 8 = o - 17. Is 25 a factor of o?
True
Let s(q) = 2*q + 8 - 2*q + 0*q - q. Let p be s(8). Let d(k) = -k**2 + 6. Is 4 a factor of d(p)?
False
Let k(u) = -2*u + 12*u - 3*u + 6 - u**2. Let p = 7 - 1. Is k(p) a multiple of 12?
True
Suppose -4*b - 2*h = -360, b + 90 = 2*b - 3*h. Let u = 5 + -3. Suppose u*k = 5*k - b. Does 15 divide k?
True
Suppose 0 = -3*k - 2*x - x + 42, 5*k = 3*x + 102. Is k a multiple of 14?
False
Let a be ((-3)/(-6) - 0)*6. Let h(d) = 2*d**2 - 4*d + 1. Let w be h(a). Let r(y) = 4*y - 10. Is r(w) a multiple of 18?
True
Let f = 75 - 42. Is f a multiple of 6?
False
Does 7 divide ((-2)/6)/((-1)/747*3)?
False
Let d(t) = 5*t**2 - 3*t - 2. Let j(b) = b**2. Let k be j(2). Let g be d(k). Suppose -3*a - g = -4*y + y, 0 = -3*y - 5*a + 42. Is y a multiple of 19?
True
Suppose -3*h = -3*w + 114, -2*w - 155 = -6*w + 3*h. Let k be 128/6 - (-4)/6. Let x = w - k. Is x a multiple of 10?
False
Is 6 a factor of (-30)/(-50) - (162/(-5) + -1)?
False
Suppose 5*f = -4*c + 33, -7*c + 32 = -3*c + 4*f. Suppose 2*o - c - 13 = 0. Does 9 divide o?
False
Suppose g - d = -2*d + 2, 3*d = 4*g - 8. Suppose -45 = -5*t + 3*c + 99, 0 = g*t + 2*c - 48. Is t a multiple of 7?
False
Let l = -108 + 233. Is l a multiple of 25?
True
Suppose 3*p = 2*h - 4, -2*h + 2*p + 2*p + 2 = 0. Suppose 4*q - 225 = -5*s + 5*q, -h*s - 4*q = -250. Is s a multiple of 11?
False
Suppose 0*j - 21 = 4*j + 5*s, -3*s = 5*j + 10. Suppose 4*q + 4*l = 20, -q + 7*l - 2*l - j = 0. Is 3 a factor of q?
False
Let p be 2 + 0*(-1)/2. Let d = 1 + p. Suppose -d*v + 96 = 2*v - 3*r, -5*v + 4*r + 98 = 0. Does 14 divide v?
False
Let l(d) be the second derivative of 2*d**3/3 - 7*d**2/2 - 9*d. Does 15 divide l(15)?
False
Let s be 4/4 + -2 + 4. Is 13 a factor of (-3)/((-2)/(104/s))?
True
Suppose 6*s = -0*s + 594. Does 34 divide s?
False
Let n(l) = -l**3 + 6*l**2 - 4*l - 7. Let h be n(5). Let b(c) = 6*c**2 - 4*c - 3. Let r be b(h). Let q = 74 - r. Does 17 divide q?
False
Let k(r) = -r**3 + 7*r**2 - 10*r + 1. Is 4 a factor of k(4)?
False
Suppose 2*m = -m + 105. Suppose -5*n + 5 = 0, i = 2*n + n + 2. Suppose m = -i*p + 190. Does 12 divide p?
False
Let v = 7 + 11. Is v*9/30*5 a multiple of 7?
False
Suppose 0 = -5*y - 4*r + 43, 3*r + 21 = 3*y + 7*r. Let t = 76 - y. Is t a multiple of 22?
False
Let k(b) = 2*b**3 + b**2 - 1. Let g be k(1). Suppose 4*o - 24 = 4*f, -3*o + 3*f + 30 = g*o. Is o a multiple of 6?
True
Suppose -a + 14 = -20. Is -2*a/(-4) - 1 a multiple of 16?
True
Let i = 34 - 25. Is i a multiple of 5?
False
Suppose 53*b - 51*b = 356. Does 15 divide b?
False
Suppose 0 = 3*t + 8 + 28. Let w be (t/15)/(4/(-10)). Is (27/4)/(w/8) a multiple of 15?
False
Let s be (-5 - -3)/(-1 - 0). Let f(p) = -11*p - 2. Let l be f(s). Does 7 divide l*(-3)/12*2?
False
Suppose -3*r + 15 = 0, -4*g + 2*r + 75 = -3*r. Does 25 divide g?
True
Suppose 3*t - b = 888, 888 = 3*t + 3*b + 2*b. Does 16 divide t?
False
Suppose 0 = b + 4*b - 325. Is b a multiple of 13?
True
Let c(k) = 4*k + 1. Let s be c(1). Let m be (-4)/s*(-25)/10. Is (m + 1)*22/3 a multiple of 18?
False
Suppose 0 = 3*g - 16 - 14. Suppose -x + 20 = 5*z, 3*x - g = -2*z - 2. Suppose 0 = b + 3*b - 4*c - z, -5*b + 13 = -c. Is b a multiple of 3?
True
Let f(l) = -l**3 - l**2 - l - 1. Let a be f(-1). Suppose k + 7 + 36 = 2*z, 5*z + 4*k - 140 = a. Is z a multiple of 8?
True
Is -2 + 66 + 4 + 1 a multiple of 13?
False
Suppose -v - 5*b - 16 = 0, 3*b + 32 = 4*v - b. Suppose -g = -3*p - 115, 4*p = v*g + 58 - 198. Is p/(-3)*(-36)/(-30) a multiple of 6?
False
Suppose 5*v - 224 = -3*v. Does 25 divide v?
False
Suppose 5*a = -5*o + 160, -2*a = -4*a - o + 62. Suppose -4*h + 2*h = -a. Is 15 a factor of h?
True
Let w(u) = -u**2 - 6*u + 2. Let j = 3 - 7. Does 5 divide w(j)?
True
Let z be (-2 - 3)*(0 - 1). Let m = 1 - z. Let t(c) = c**3 + 6*c**2 + 7*c + 5. Is t(m) a multiple of 5?
False
Suppose 4*h - 50 = -h. Let c = h + 12. Let n = c + -10. Is n a multiple of 7?
False
Let r be (-3 - 0)*4/4. Let p be (73/r)/(4/(-12)). Suppose -4*k + 0*k + 5*d + p = 0, -d + 16 = k. Does 8 divide k?
False
Let o = 22 - -5. Is 4 a factor of o?
False
Suppose -3*w + 2*f + 381 = -f, -2*f + 538 = 4*w. Does 27 divide w?
False
Does 4 divide 8/52 - (-1448)/52?
True
Let i = 147 - 69. Let r = i + -46. Is 10 a factor of r?
False
Suppose 4*j = t + j - 5, t - 4 = 2*j. Suppose 0 = -3*x + 3*w, 0 = -4*x + t*w - 3 + 5. Let m = 31 - x. Does 10 divide m?
True
Let j(u) = u**2 - 11*u + 4. Is 11 a factor of j(15)?
False
Suppose 0 = -5*h + 19 + 11. Suppose -z = -u - 36 + 10, 3*u = h. Is z a multiple of 10?
False
Is 6 a factor of (0 - -27) + 0/(-4 + 7)?
False
Suppose -26 = 4*j + 5*q, 0 = -7*q + 4*q - 6. Is 16 a factor of j/10 + 492/30?
True
Suppose 3040 = 13*g + 7*g. Is g a multiple of 8?
True
Let v be -1 + 1/((-2)/(-2)). Suppose -2*a + 3*j + 74 = v, -2*j = -3*a + 17 + 99. Is a a multiple of 11?
False
Suppose 28 = -0*q + 2*q. Does 14 divide q?
True
Let f = -7 - -48. Is f a multiple of 7?
False
Let i(a) be the second derivative of a**4/12 + a**3/3 - 4*a**2 - a. Is 14 a factor of i(-7)?
False
Let l(a) = a**3 - 6*a**2 - 9*a - 8. Is 13 a factor of l(8)?
False
Let c(o) = o + 1. Let q be c(3). Suppose m - q*m = -123. Does 14 divide m?
False
Suppose -5*i - 2*g - 295 = -9, -3*g = 2*i + 121. Let p = -38 - i. Is p a multiple of 10?
False
Let b(u) = -u**2 - 5*u + 3. Let f be b(-5). Suppose -60 = -f*v - 2*v. Is 12 a factor of v?
True
Suppose 542 = 4*j - 2*w + 172, 5*j + 4*w = 495. Is 17 a factor of j?
False
Suppose -4*z + 3*x - 42 = 6*x, -3*z + 4*x = 44. Suppose -3*y - 5 - 70 = 0. Let c = z - y. Does 8 divide c?
False
Let r(z) = z**3 - 10*z**2 - 8*z - 15. Does 4 divide r(11)?
False
Let t = -57 - -8. Let y = t - -73. Is 8 a factor of y?
True
Let z = 7 + -3. Suppose -5*h + 19 - z = 0, 3*t + h = 24. Is 3 a factor of t?
False
Let o(h) = 3*h + 48. Let u be o(-9). Suppose 14 = 3*a + i + 2, 4*i + 12 = 3*a. Suppose 3 = a*x - u. Is 5 a factor of x?
False
Is -4*((-204)/16 - 4) a multiple of 14?
False
Suppose 0 = -4*q + q + 441. Suppose 0 = -4*r + 4*w + w + q, -r + 5*w + 48 = 0. Does 12 divide r?
False
Suppose -20*l + 16*l + 408 = 0. Does 51 divide l?
True
Let h = -2 - -18. Suppose 3*j = 2*p - h + 39, 5*p = 4*j - 40. Is 3 a factor of j?
False
Let o = -267 - -379. Suppose -n + 4*j + 39 = 8, 4*j = 4*n - o. Is n a multiple of 14?
False
Suppose -320 = -21*f + 16*f. Is f a multiple of 8?
True
Let d be (-22)/(-5) - (-4)/(-10). Let n be (d/(-3))/((-2)/(-9)). Does 4 divide 32/6*n/(-4)?
True
Let k(i) = 3*i - 14. Is k(9) a multiple of 4?
False
Let k(u) = -9*u - 8. Let t(o) = -o**2 - 2*o + 1. Let i be t(1). Let q be (-6)/i*2/(-1). Is k(q) a multiple of 19?
False
Let j(b) = 5*b**2 + 0*b**3 - 13*b**2 + b**3 + 3. Is j(8) even?
False
Suppose -v + 10 = -0*v. Is v even?
True
Let w(c) = 2*c**2 + c - 1. Let x be w(2). Suppose 3 = 5*i + u, u + 2*u - x = 0. Suppose 5*z = -i*z + 50. Is z a multiple of 10?
True
L