r of g?
True
Suppose -20 = -3*j + 2*j. Suppose 4*o + 4*p = 36 - 4, -5*o - p + j = 0. Suppose 3*m - 84 = -4*c, o*m + c - 84 = 2*c. Is m a multiple of 15?
False
Let m be -1 + 4 + (-4 - -4). Let p be ((-3)/(-2))/(m/4). Suppose 0 = p*r - 0*r - 86. Is r a multiple of 14?
False
Suppose 0 = 12*p - p - 1265. Does 15 divide p?
False
Let d = 20 - 8. Let b(a) = a**2 - 11*a - 3. Is 5 a factor of b(d)?
False
Let f = 10 + -6. Suppose 4*y - f = -2*m, 6 = -6*y + y + 3*m. Let c = y - -4. Is 4 a factor of c?
True
Let b = 23 + -16. Does 4 divide b?
False
Suppose -3*s + 12 = -0*s + 4*k, 4*s - 12 = -4*k. Let v(b) = -b + 5. Is v(s) a multiple of 5?
True
Let z(y) = 2*y**2 + 5*y - 5. Is 4 a factor of z(-5)?
True
Let x be ((-4)/(-6))/((-12)/(-90)). Suppose 2*d + 5*m + x + 9 = 0, -7 = -d + m. Suppose d*k + 14 = 2*q - k, 5*q = k + 35. Is q a multiple of 7?
True
Suppose -3*a = -5*t - 158, -5*a + 4*t = 2*t - 257. Is a a multiple of 4?
False
Let g(f) = -2*f**3 + 2*f**2 + 5. Is 9 a factor of g(-3)?
False
Suppose 25*p = 28*p - 1395. Is 52 a factor of p?
False
Let m(u) = -u + 1. Let l(g) = 5*g - 6. Let o(q) = l(q) + 3*m(q). Is 9 a factor of o(6)?
True
Suppose -120 = -5*y - 3*d, -2*d + 6 = y - 25. Let k = -9 + y. Does 6 divide k?
True
Let m(y) = y**2 + y - 1. Let k be m(-3). Suppose 3*b + k = 44. Does 13 divide b?
True
Let v = 76 - 49. Is 27 a factor of v?
True
Let h be 6/4*(-544)/(-12). Suppose f - h = -2*f + o, 0 = -f + 3*o + 12. Is f a multiple of 6?
True
Does 11 divide 4/((-80)/(-55))*4?
True
Let z(m) be the first derivative of 5*m**2/2 + m - 3. Is 15 a factor of z(3)?
False
Suppose -110 = -f - 4*f. Is 13 a factor of f?
False
Suppose 5*p - 1530 = -5*v, -3*v = 5*p - 1600 + 70. Is p a multiple of 51?
True
Suppose -5*w + 119 + 697 = 3*c, -820 = -5*w - 5*c. Is 27 a factor of w?
True
Is (-2)/11 - 1060/(-22) a multiple of 12?
True
Let u(a) = 2*a**2 - 3*a + 3. Suppose 0 = z + z - 4. Suppose 0 = -3*f - z*f - 4*k - 5, 2*k = 5*f - 25. Does 5 divide u(f)?
False
Suppose -5*u = -2*u. Let v be ((-6)/4 + u)*8. Is (-122)/(-12) - (-2)/v a multiple of 10?
True
Let d be 1/3*(4 - -2). Let q be (-5)/2*(-2)/1. Is 6 a factor of q + (d - 0) - 1?
True
Is 13 a factor of (-66)/2*(-78)/18?
True
Let r(w) = -4*w**2 - 2*w + 1. Let v be r(-2). Is (3 + v)*(-51)/12 a multiple of 17?
True
Let k = -3 - -6. Suppose -4*z + 41 = 2*x + z, 0 = -5*x - k*z + 150. Is x a multiple of 11?
True
Let h(u) = 5*u - 12. Let x be h(6). Suppose -x = -b + 2*i, 2*i - 51 - 21 = -4*b. Is 9 a factor of b?
True
Suppose -3*s - 3*m + 15 + 9 = 0, -2*s = m - 12. Suppose 102 = s*k - 5*r - 0*r, r + 94 = 4*k. Does 14 divide k?
False
Suppose -2*v + 166 + 157 = -5*x, 2*v = 4*x + 318. Is v a multiple of 44?
False
Suppose 5*a - 49 - 76 = 5*s, -s + 83 = 3*a. Let g be 3/12 - a/12. Is 4*1 + 2/g a multiple of 2?
False
Suppose 0 = -b + 89 - 30. Suppose 0 = -3*j - 3, 3*j - 2*j - b = -3*l. Suppose -2*d + l = -d. Is d a multiple of 13?
False
Let v = -6 - -5. Let p = 4 + v. Is p a multiple of 3?
True
Suppose -f + 65 = 4*f. Does 13 divide f?
True
Let w(b) = 6 - b**2 + 5 + 0*b + b. Let v = 3 - 3. Is 11 a factor of w(v)?
True
Suppose -5*f = -5*c - 0*c - 180, -3*c = 0. Is 9 a factor of f?
True
Let u(a) be the first derivative of 3*a**2 + 2*a + 1. Let v = -2 + 4. Does 14 divide u(v)?
True
Let k(f) = -f**2 + 16*f - 14. Does 5 divide k(12)?
False
Let y = 56 - 26. Let o be 29*1 + -2 + 2. Suppose -y = -3*k - f, o = 5*k - 3*f - 7. Does 7 divide k?
False
Let d be 18/22 - (-6)/33. Let x be d/((-1)/2 - -1). Does 8 divide 2/x - -9 - 2?
True
Let p(k) = -4*k**2 + 7*k + 7. Let f(v) = 11*v**2 - 21*v - 20. Let i(g) = -3*f(g) - 8*p(g). Let y be i(7). Suppose 0*l + 104 = y*l. Is l a multiple of 13?
True
Let t = -11 + 20. Let k = t - 4. Is k a multiple of 2?
False
Let t(q) = -q**2 + 14*q - 4. Is t(10) a multiple of 18?
True
Let y(n) = 6*n**2 + 4*n + 2. Is y(-2) a multiple of 6?
True
Suppose 1 = -2*m - 3. Is 55 + m*(-3)/3 a multiple of 25?
False
Let q(z) = 2*z**2 - 3*z + 1. Let a be q(2). Suppose s = 6*s + a*r - 219, -3*r - 117 = -3*s. Let f = 86 - s. Is f a multiple of 22?
True
Let m(i) = 4*i**2 - 3*i + 4. Let l be m(2). Suppose -p = -4 - l. Is 6 a factor of p?
True
Suppose 5*p + 0*l = -3*l + 93, 46 = 2*p - l. Is p even?
False
Let m(v) = -16*v. Let o be m(-1). Let w be 3/((-6)/(-8))*-2. Let u = o + w. Is 3 a factor of u?
False
Suppose 2*f = -3*f + 3*n + 22, 2*f = -2*n - 4. Let t be (-1 - -32) + (f - 1). Suppose 2*g = 4*i - t, -7*i + 26 = -3*i - 5*g. Does 6 divide i?
False
Suppose -1 = -n - 18. Let t(c) = c**3 + 5*c**2 + 3*c - 10. Let l be t(-5). Let k = n - l. Does 4 divide k?
True
Let r = 4 - 5. Let c be -1*(0 - -13) - r. Is 3 a factor of -4 + 4 - c/2?
True
Suppose 2*t + 1422 = 11*t. Is 35 a factor of t?
False
Suppose 2*k = 3*o - 96, 2*k + 0*k = 0. Does 7 divide o?
False
Let c = -42 + 72. Is c a multiple of 8?
False
Let z(o) = 6*o + 25. Let s be z(11). Suppose 3*v = s + 53. Does 12 divide v?
True
Suppose -3*f + 5*f - 32 = 0. Let y be (-1 + 3)/((-1)/(-2)). Suppose -2*v - r = -35, v + 3*r - f = y. Is 15 a factor of v?
False
Let c = -30 - -63. Is c a multiple of 11?
True
Let l = 31 + 18. Let a be (-1)/(1*(-3)/(-39)). Let n = l + a. Is n a multiple of 17?
False
Let c(s) = -3*s**3 - 2*s**2 + 3*s + 1. Does 11 divide c(-3)?
True
Let v be (-5 - -45)/((-4)/(-10)). Suppose 3*m - 60 = -f, 3*m - f = -2*m + v. Is m a multiple of 10?
True
Let z be 4 - -1*0/3. Suppose 9*x = z*x. Suppose x*m = 3*m - 78. Does 9 divide m?
False
Let k = -68 - -113. Is k a multiple of 15?
True
Suppose 2*r = 40 + 20. Is r a multiple of 6?
True
Suppose -2*t + 93 = -7. Does 10 divide t?
True
Suppose 2*a = -4*q + 95 + 447, 2*a = 4*q - 554. Is 19 a factor of q?
False
Let n = 29 + 43. Is 12 a factor of n?
True
Suppose -43 + 7 = -3*x - 5*t, 2*x + 1 = 5*t. Is x a multiple of 4?
False
Let g(x) = 2*x**2 - 4*x - 9. Let i be g(7). Let l = -23 + i. Suppose 3*t + 3*z - 27 = 0, 4*t - 2*z - l = -t. Is 6 a factor of t?
False
Suppose 5*c - c - 32 = -4*n, 4*c - 37 = n. Let j be (-6)/c*(-18)/4. Is ((-8)/(-3))/(j/18) a multiple of 8?
True
Suppose -2*o - 2*v = 6, 13 = -0*o + 4*o - v. Suppose 3*m - 112 = -o*h, 0*m + m + 3*h - 49 = 0. Is m a multiple of 12?
False
Let x(f) = f + 11. Let p be x(-9). Suppose -d + 3*y + 81 = p*d, 3*d - 65 = -y. Is d a multiple of 13?
False
Let a(k) = -4*k + 8. Let h be a(-4). Let w(p) = -p**2 + 5*p - 3. Let s be w(3). Suppose s*m + h - 99 = 0. Does 19 divide m?
False
Let o(j) = -7*j - 9. Suppose -3*b + 13 = 4*r, -3*b = -4*r + 3*r + 7. Suppose 33 - 9 = -r*f. Is 16 a factor of o(f)?
False
Is ((-45)/2)/((-6)/240*6) a multiple of 30?
True
Let h be (3/(-9)*0)/1. Suppose h*b - 12 = 2*b. Is 11 a factor of (-9)/b*22/3?
True
Suppose -u = 3*u - 5*d - 286, 215 = 3*u - 4*d. Is 31 a factor of u?
False
Is 1 - 9/((-45)/740) a multiple of 9?
False
Suppose -4 = -2*o + o. Suppose 70 = -y - o*y. Let q = 26 + y. Does 6 divide q?
True
Suppose 0 = -4*j + 20, -m - j = -8 + 1. Suppose -2*u = m*q - 26, -u - 2*q - 76 = -5*u. Does 10 divide u?
False
Let l(g) = -7*g + 67. Let q be l(9). Let y be (12/9)/((-2)/(-6)). Suppose -3*o - q*r = -13, -y*o + 3*r = o - 12. Is o a multiple of 3?
True
Suppose -3 - 14 = -3*u + 4*m, -5*m = -4*u + 22. Suppose u*x - 4*i - 86 = -3*i, 3*i = -2*x + 39. Is x a multiple of 7?
False
Suppose -8 = 2*j, q - 2*j = 2*j + 21. Let k = q + -1. Suppose -106 = -2*h + k*o, 180 = 4*h - 2*o - 8. Is 17 a factor of h?
False
Let g = 1 + 3. Suppose g*w + 2 = 102. Is 19 a factor of w?
False
Let o = 17 + 28. Does 15 divide o?
True
Suppose -m = -2*m + 2. Let w(t) = -t**2 - 5*t + 8. Let x be w(-6). Suppose -x*f = 2*f - 4*b - 64, -f + 14 = -m*b. Is 9 a factor of f?
True
Suppose -2*o - 3*s - 1 = -0, 0 = -2*s - 2. Let z be 4 + (-1)/(-2 + o). Let j(t) = -t**2 + 5*t + 4. Is j(z) even?
True
Is (56/21)/(2/72) a multiple of 16?
True
Suppose 0 = m - 3*m. Let q = -1 - -2. Does 2 divide q - (-1 - m/3)?
True
Is 5 a factor of (6/(-2))/((-9)/(-165)*-1)?
True
Let s be ((-14)/35)/((-2)/10). Suppose 0 = -2*z - s*z + 240. Is z a multiple of 30?
True
Let r(o) = -o + 17. Is r(5) a multiple of 2?
True
Suppose 4*i = -5*t - 47, 0 = 6*i - i - 10. Let n = -8 - t. Does 10 divide (-1)/((-2 + n)/(-31))?
False
Suppose -5*c - 2*p + 174 = -4*p, 4*c + p - 134 = 0. Let v = 3 + c. Suppose 0 = k - 0*x + 3*x - 13, 0 = -4*k + 3*x + v. Is k a multiple of 1