s 21 a factor of t?
False
Let s = 235 + -165. Suppose 5*h + 0 - s = 0. Is h a multiple of 11?
False
Let q(i) = i**2 - 3*i - 1. Let c be q(-2). Suppose 3*f - w = 6, -w = 2*w - c. Is f a multiple of 2?
False
Let v = -4 - -10. Let t(a) = -a**2 + 7*a + 2. Let y be t(v). Suppose -60 = -13*b + y*b. Is b a multiple of 7?
False
Let d be (-2)/(4*(-2)/4). Does 11 divide (-11)/(-22)*(35 - d)?
False
Let g be (-14 + (-2 - -1))/(-1). Suppose 4*d - 5*y = -87, -3*d + g = 3*y + 60. Let u = 26 + d. Does 3 divide u?
False
Is 15 a factor of 57 - (1/1 + -4)?
True
Let f(a) = -a**3 + 14*a**2 + 18*a - 14. Does 17 divide f(14)?
True
Let w(g) = -4*g + 5*g + 2 - 2*g. Let f be w(-7). Suppose 2*p - p = f. Does 8 divide p?
False
Let d(n) = -7*n**3 + n. Let q be d(-1). Let s be -5*(0 - (q - 1)). Suppose -2*r = -r - s. Is r a multiple of 9?
False
Let o(r) = 6*r**2 - 2*r - 29. Does 9 divide o(6)?
False
Suppose j = -2*j + 3. Is (135/j)/3 + 2 a multiple of 17?
False
Let t be -3 + (63/1 - -3). Suppose 3*c = -5*k - 0*c + t, -c - 35 = -3*k. Let a(x) = -x**2 + 13*x - 6. Is a(k) a multiple of 6?
True
Let o(g) = -3*g**2 - 4*g**3 - 3*g**2 + 2 - g**2 + 4*g**2 + g. Let n = 1 + -3. Is 10 a factor of o(n)?
True
Suppose -2*i - 402 = -4*i. Suppose -3*v + 4*z + i = 0, 0*z = -v + z + 66. Suppose 2*a = 3*j + 16, 3*j - 19 = -5*a + v. Is 14 a factor of a?
True
Suppose 2*a + 8 - 22 = 0. Suppose 0 = -3*h + a*h. Suppose h = 2*j - 23 + 7. Is 4 a factor of j?
True
Let s = 28 - -4. Is s a multiple of 8?
True
Let t(c) be the first derivative of -3 + 1/4*c**4 - 5/3*c**3 + 0*c - 1/2*c**2. Is t(6) a multiple of 12?
False
Suppose -2*b = 2*f - 5*f + 6, 2*f = -2*b + 14. Suppose -18 = f*y - 74. Is 14 a factor of y?
True
Suppose o + t = 3*o - 99, t = -5*o + 265. Is o a multiple of 13?
True
Suppose -5*g + 6*g = 2. Let x = 6 + g. Is x a multiple of 5?
False
Let f be (-6)/9*6/(-4). Let v be -4*(f + (-14)/(-8)). Let o = v - -29. Is o a multiple of 9?
True
Let p = -4 + 8. Suppose 1 = 4*z - p*x - 43, 2 = -3*z - 4*x. Let b = z + 18. Is b a multiple of 8?
True
Let n(s) = s**3 - s**2 - 5*s. Let h be n(6). Suppose 5*d - 2*d = h. Is d a multiple of 25?
True
Suppose 0 = 2*y + 1 - 5. Let n be y - -2*2/(-4). Suppose u + 34 = r - n, -u = 3*r - 109. Is 18 a factor of r?
True
Does 15 divide (-2)/(3/180*-2)?
True
Let l be ((-18)/(-3))/(1/23). Let i = -89 + l. Is 31 a factor of i?
False
Let d(l) be the first derivative of 4*l**3/3 + l**2 + l + 3. Is 3 a factor of d(-1)?
True
Suppose 2*r = -3*c + 5 + 24, 0 = -4*r + 4*c + 48. Is r a multiple of 3?
False
Suppose 0 = -2*t - 3*t + 40. Let g = t + -5. Suppose -31 = -2*c + g. Is c a multiple of 6?
False
Let b = 122 - 55. Suppose -3*i + 11 = -b. Does 11 divide i?
False
Let h(j) = j**2 + 6. Let r be h(-7). Suppose -y = 5*n - r, 4*n - y = y + 58. Does 6 divide 1/((-1)/n*-2)?
True
Let m be 9/(-11) - 8/44. Let x(t) = -1. Let u(l) = l**2 + 12*l - 15. Let d(y) = m*u(y) + 2*x(y). Is 12 a factor of d(-11)?
True
Let h(g) be the first derivative of -g + 2. Let x(l) = 22*l - 4. Let w(r) = -5*h(r) + x(r). Is 9 a factor of w(1)?
False
Let w be (13 + 1)*(-27)/(-6). Suppose -3*d = -3*s - w, 2*d = 3*s + 36 + 3. Let q = d + 1. Is q a multiple of 16?
False
Let j(z) be the third derivative of -z**5/60 - 5*z**4/12 + 5*z**3/3 - 3*z**2. Does 10 divide j(-10)?
True
Let w = -35 - -53. Let v = -11 + 8. Does 15 divide (w + v)*(-2)/(-2)?
True
Suppose -3*y + 243 = -33. Let n(f) = f**3 - 6*f**2 + f - 3. Let j be n(6). Suppose 4*v - 4*o = y, -o = -j*v + 96 - 17. Is v a multiple of 14?
True
Suppose -18 = -5*i + 2. Suppose -225 = 5*q + i*f, -5*q - 177 - 48 = -f. Let h = q + 63. Is h a multiple of 9?
True
Suppose -t + 4 = -4. Is t a multiple of 5?
False
Suppose 0 = p + 3. Let x = p - -4. Is (5 + x)/(9/6) even?
True
Suppose 0*s + 2*s = 14. Suppose -3*q + 8 = -s*q. Let y = 5 + q. Does 3 divide y?
True
Let w = -187 + 103. Does 7 divide (-4)/6*w/8?
True
Suppose -3*y + 148 = 7. Is 11 a factor of y?
False
Let r be 3 + -5 + (6 - 0). Let c(k) = -k**2 + 3. Let f(d) = 2*d**2 + d - 3. Let q(g) = r*c(g) + 3*f(g). Is 19 a factor of q(-5)?
True
Let y(x) = -10*x + 6. Does 13 divide y(-15)?
True
Let w(j) = j**2 - 1. Let r be w(-2). Suppose 0*h + 2*h - 4*m - 28 = 0, 4*h - 2*m = 26. Suppose 3*n + 0*p + 5*p = 64, r*n - 46 = h*p. Is n a multiple of 11?
False
Suppose 0 = -4*d - 2*d + 156. Is d a multiple of 9?
False
Suppose 5*u - 2*i = -6*i + 96, 4*u - 78 = -2*i. Is 10 a factor of u?
True
Suppose 2*h = -5*c + 26, 2*h - 6*h + 16 = c. Suppose -2 = h*y - 11. Does 2 divide y?
False
Let z(g) = -g**2 - 8*g - 4. Let k be z(-6). Is 7 a factor of 10/(3 + k/(-3))?
False
Let w = 0 - -4. Suppose -10 = -0*h - 5*h. Suppose v - h*v = -w. Is v a multiple of 4?
True
Let a = -2 - -164. Does 13 divide a?
False
Let h(q) = 64*q**2 - 2*q - 1. Let r be h(-1). Suppose -r = -4*a + 43. Is 7 a factor of a?
False
Suppose 0 = n - 3*n. Suppose 70 = 2*v - n*v. Suppose -4*z = 3*t, 0 = -5*z - 0*z + 5*t + v. Does 3 divide z?
True
Suppose r = -2*j + 5, -r + 4*j - 3*j = -5. Suppose 5*a - 7 = 3*l, r*a - l + 6*l - 15 = 0. Is (a/(-4))/((-1)/30) a multiple of 4?
False
Let z = -12 - -51. Does 13 divide z?
True
Suppose -5*k - r = r - 48, 0 = -3*k + 5*r + 35. Does 9 divide (k/(-15))/(4/(-162))?
True
Let q = -251 - -459. Is q a multiple of 31?
False
Let b be (2*1)/(10/(-695)). Let n = b - 193. Does 18 divide 2/6 + n/(-12)?
False
Is (62/4)/(12/24) a multiple of 31?
True
Suppose -4*l + 60 = -5*j - 0*l, 90 = -5*j - 2*l. Let n = -9 - j. Is n a multiple of 6?
False
Let j(g) = 5*g**3 - 2*g**2 - 10*g - 10. Let a(u) = 14*u**3 - 6*u**2 - 29*u - 29. Let t(v) = 6*a(v) - 17*j(v). Is 5 a factor of t(-3)?
False
Suppose -4*z = 5 - 77. Suppose -2*p = -4*p + z. Does 2 divide p?
False
Suppose -1 = 3*h + q - 54, 4*q = -2*h + 52. Does 16 divide h?
True
Suppose 0 = 6*v - 9*v + 120. Is v a multiple of 10?
True
Suppose -2*w = w - 9. Suppose r - 34 = 17. Suppose -5*f + 4*c + 94 = 10, -3*f + r = -w*c. Is f a multiple of 16?
True
Let q = -74 + 122. Does 16 divide q?
True
Let o(n) = 2*n**3 - n**2 + 1. Let h be 1/(-1 - (-2 + 0)). Let q be o(h). Suppose -q*c + 7 = -23. Is 8 a factor of c?
False
Let u be 12/(-5)*(-4 + 9). Let k(f) = -f**2 - 13*f + 6. Let p be k(u). Let o = 29 - p. Does 11 divide o?
True
Suppose -2*m = -7*m. Is 9*((m - 0) + 1) a multiple of 9?
True
Let p = -21 - -45. Suppose -5*c + p = -2*c. Is 4 a factor of c?
True
Suppose 5*w - 19 + 4 = 0. Let v(s) = s**3 - 2*s**2 + s - 4. Is 4 a factor of v(w)?
True
Suppose q + 267 = -2*q. Let m = 61 + q. Let t = m + 43. Is t a multiple of 7?
False
Let j(w) = w**2 - 8*w - 7. Let g be j(9). Suppose 7*z - 70 = g*z. Is 14 a factor of z?
True
Suppose -66 = -6*c + 354. Is 11 a factor of c?
False
Let l(s) = -8*s + 1. Let r(v) = -7*v. Let z(y) = 3*l(y) - 4*r(y). Does 8 divide z(11)?
False
Is 6/(-18)*-89 - (-2)/6 a multiple of 10?
True
Let w(q) = -q - 4. Let t be w(-8). Suppose 0*s - 78 = -4*g + s, t*g = -4*s + 68. Is 12 a factor of g?
False
Suppose f - 266 = -5*j - 2*f, 0 = 4*j - 4*f - 200. Does 13 divide j?
True
Suppose o + 656 = 4*d - 2*d, 5*d - 3*o - 1638 = 0. Is d a multiple of 14?
False
Let d(r) = -23*r + 13. Is d(-3) a multiple of 30?
False
Suppose -2*o - 2*x + 24 + 22 = 0, 2*x = -4. Does 25 divide o?
True
Let n = 20 + -32. Let s = n - -8. Let k = 16 + s. Is k a multiple of 12?
True
Let f(u) = -5*u + 1. Let g(i) = i. Let q(y) = -f(y) - 2*g(y). Is q(7) a multiple of 10?
True
Does 14 divide (4 - 10)*(-11)/2?
False
Suppose 0 = -p + 5*p - 464. Let q = p + -83. Is q a multiple of 11?
True
Let f(a) = -a. Let k be f(-4). Suppose -4*c = -k*q - 10 + 30, -5*q = -2*c - 31. Suppose q*z - 35 = 2*z. Is 4 a factor of z?
False
Let b(k) = k**3 - 11*k**2 + 9*k + 13. Let x be b(10). Suppose -7 = x*v + 5*o - 1, v - 2*o + 2 = 0. Is 10 a factor of (v - 36/(-15))*50?
True
Let j(b) = -b**3 + 4*b**2 + 2*b. Let f = -8 - -4. Let a be (-1)/(-1 + 2)*f. Is 8 a factor of j(a)?
True
Let z(b) = -1 - 3*b - 2 + b. Let a be z(-3). Suppose -a*v + 5 = -67. Is 13 a factor of v?
False
Let o = 196 - 119. Is 11 a factor of o?
True
Let w be (-4)/(-5)*75/(-6). Let u(i) = -9*i + 3. Let n be u(3). Let p = w - n. Is 10 a factor of p?
False
Suppose 1 = -5*b + 5*j - 19, -12 = -3*b - 3*j. Let v(o) = 0 + b + 6*o. Is 16 a factor of v(6)?
False
Let b = 13 + -9. Suppose -b*g = -284 + 44. Let a = g - 42. Is a 