. Is t a multiple of 10?
True
Let c(d) = 4*d - 3. Let p be c(-6). Let k(b) = -b + 9. Let o be k(-14). Let t = o - p. Does 14 divide t?
False
Does 9 divide (-1 - 1) + -1 + -2 - -275?
True
Suppose -14*z + 548 = -712. Is 5 a factor of z?
True
Suppose -3*o = 4*w - 1129, -3*w - 385 = 2*o - 3*o. Suppose 5*b - o = 231. Suppose b = 10*k - 8*k. Is k a multiple of 31?
False
Let k(l) = 3*l**2 + 69*l - 369. Is 18 a factor of k(6)?
False
Let f(j) = 3*j**2 + 2*j - 8. Is 5 a factor of f(3)?
True
Suppose -5*g = -2*g. Let y be (10 + g)*8/20. Suppose -12 = -5*i + y*i. Is 6 a factor of i?
True
Let u(g) = g**2 - 2*g + 99. Is 33 a factor of u(0)?
True
Let g be 6/(-2) - 1*-73. Suppose 2*c = 226 - g. Is 26 a factor of c?
True
Suppose -6 = -3*v - 0*v. Suppose -3*l + 270 = 3*j - 6*l, j - 90 = -v*l. Does 30 divide j?
True
Let g(j) = 2 - 4*j + j**2 - 11 + 2 - 2*j. Let l be g(5). Is 11 a factor of 68*9/l*-1?
False
Let n = -2328 + 5188. Does 20 divide n?
True
Let u = -3328 + 4678. Is 10 a factor of u?
True
Suppose -3*f + 2*m + 839 = 0, -54*m = -5*f - 50*m + 1395. Is 9 a factor of f?
False
Suppose 5*t + 409 = 2*d, 2*d - 389 = t - 0*t. Does 3 divide d?
True
Let h(m) = 5*m + 1. Let k be h(3). Suppose -3*i + k = -i. Suppose -w + 1 + i = 0. Is 9 a factor of w?
True
Let q(y) = 50*y**2 - 3*y - 3. Does 15 divide q(3)?
False
Suppose -2*d + 3*d = 4. Suppose 480 = d*x + 5*w, -2*w - 517 - 83 = -5*x. Is x a multiple of 12?
True
Let f be -5*(0/1 + -3 + 2). Suppose 3*y - 2*o - 9 = -o, -o + 23 = f*y. Does 4 divide y?
True
Is 27 a factor of (37 - 1)*(-260)/(-39)?
False
Suppose 0 = -11*u + 17*u - 384. Suppose 4*a - 22 = -4*o + 30, 0 = -3*a + 2*o + u. Is 18 a factor of a?
True
Is (-67)/268 - 2901/(-4) a multiple of 25?
True
Let j(a) = a**3 - 23*a**2 - 9*a - 96. Does 91 divide j(27)?
False
Let g(c) be the third derivative of c**5/20 - 2*c**3/3 + 13*c**2. Is 5 a factor of g(3)?
False
Let y(v) = -119 - 118 - 2*v**2 + 21*v + 236. Is y(7) a multiple of 16?
True
Let t be (-465)/(-27) - 6/27. Let i = t - 21. Is 6 a factor of (-28)/i - 4 - -20?
False
Let u be (-188 - (2 + -4))*(-8)/(-6). Let b = 358 + u. Is 10 a factor of b?
True
Suppose -2*o + 6*o + 4*l - 2268 = 0, -2*o + 1124 = 4*l. Is o a multiple of 12?
False
Suppose -162*z - 6594 = -169*z. Does 2 divide z?
True
Suppose 40*h + 9 = 43*h. Suppose 4*z + 110 = 3*s, -4*s = h*z - z - 154. Does 5 divide s?
False
Let n be 1*(-12)/(-2) + 6/(-3). Suppose n*q - 7*q = -234. Is 24 a factor of q?
False
Let j = 16 + -78. Let k = j - -5. Let b = -34 - k. Does 23 divide b?
True
Suppose -2*y + 10 = 3*m - 2*m, -3*y + 5*m - 11 = 0. Suppose 4*i = i - 5*v + 83, 4*i - 159 = y*v. Is 6 a factor of i?
True
Let n(v) = -4*v + 1. Let d be n(-6). Let u = d + -28. Let h(z) = -z**3 + 2*z**2 + 2*z - 1. Is h(u) a multiple of 8?
False
Let j(k) = k**3 + 4*k**2 + 4*k + 1. Let q be j(-3). Let m(o) = 15*o + 3. Let l(b) = 29*b + 6. Let v(g) = 2*l(g) - 5*m(g). Does 7 divide v(q)?
False
Let b(w) = -w**3 + w**2 - 2*w + 1. Let l be b(0). Let v be -5*((-3)/5 + l). Is 858/221 + v/(-17) even?
True
Is 23752/28 + 12/(-42) a multiple of 36?
False
Suppose 6*v = 5*v + 147. Is v a multiple of 4?
False
Suppose 0 = -7*c + 3*c + 56. Suppose y - c = 12. Is y a multiple of 6?
False
Let y(r) = -2*r + 232. Does 8 divide y(0)?
True
Is 6 - (1/2)/((-14)/3892) a multiple of 2?
False
Suppose -4*v = 2*o - 656, 5*o - 895 + 85 = -5*v. Is 49 a factor of v?
False
Let y(n) = 2*n**2 - 2*n - 22. Let j(h) = -h**2 + h + 23. Let l = -30 - -32. Let s(a) = l*y(a) + 3*j(a). Is 7 a factor of s(0)?
False
Let w(a) = 7*a - 27. Let r be w(12). Let k = r + 15. Is k a multiple of 12?
True
Suppose b + 4*u - 92 + 26 = 0, 0 = -5*b - 5*u + 300. Suppose 0 = -3*g - 9, -3*m = -g - 20 - b. Is m a multiple of 19?
False
Is 10 + (0 - -1156 - 9) a multiple of 13?
True
Is 35 a factor of -5 - (110/88 - (-5818)/(-8))?
False
Let s = 1 - -6. Let o(n) = 7*n**3 - 14*n**2 + 10*n + 2. Let c(q) = 4*q**3 - 7*q**2 + 5*q. Let t(j) = -5*c(j) + 3*o(j). Is t(s) a multiple of 20?
False
Is 7 a factor of (2/6)/(-6*7/(-32634))?
True
Let j = 87 - 58. Suppose 0*g = -g + j. Is g a multiple of 29?
True
Let z(s) = -s**2 + 4*s - 7. Let a be z(2). Let j(d) = -4*d**3 - 5*d**2 - 3*d - 3. Does 18 divide j(a)?
False
Let s = 1724 - 372. Is 44 a factor of s?
False
Let o = -39 - -39. Is 4 a factor of (o - -2 - (-1)/(-1)) + 26?
False
Suppose 5*d - k = 234, -1 = d - 2*k - 46. Let t = 67 - d. Does 7 divide (1 - 0/(-3)) + t?
True
Let v = -1 + 23. Let w = v - -15. Is 8 a factor of w?
False
Let y(q) = q + 6. Let i be y(3). Suppose -5*d + 11 = -i. Suppose c - 4*c + 44 = d*l, -2*l - 3*c + 28 = 0. Is l a multiple of 4?
True
Let b be 2 - (50 + 1) - -4. Let y be (b/(-36))/((-1)/(-4)). Is 7 a factor of (2 + y - 2)*7?
True
Let m = 7 - 3. Suppose 3*l = m*l - 44. Is l a multiple of 10?
False
Let f(i) = i**2 - 11*i + 7. Let t be f(11). Suppose -3*u - t = -121. Is u a multiple of 19?
True
Suppose 4*g - 96 = 164. Suppose 2*f - 6 = -f, -5*q - 5*f = -g. Is q a multiple of 3?
False
Suppose 3*m = -3*g + 3006, -2*m - 3*g - 1105 = -3114. Is 8 a factor of m?
False
Suppose 6*o - 3*o = 4*z + 68, 0 = -z + 5*o - 34. Let r be (-2)/(-3)*21/z. Let d = 43 + r. Is d a multiple of 11?
False
Suppose -4*k + m + 24 = 0, -4*k + 24 = -0*k - 2*m. Let t be 7 - (k - (4 - 2)). Suppose 0 = h + t*i + 1, i = 4*h - i - 38. Does 3 divide h?
False
Suppose 5*t = 98 + 57. Suppose -5*m + 3*i - 6 - 12 = 0, -2*i = 3*m + 26. Let p = m + t. Does 6 divide p?
False
Suppose 0 = -2*o - 3 + 5. Let j be (-1 + 0)*-2*o. Suppose 63 = v - 3*r - j*r, 4*v + 3*r = 137. Is v a multiple of 19?
True
Let y(a) = a**2 + 6*a - 1. Let p be y(-7). Let w = 6 - p. Suppose 0 = 5*v + 2*q - 91, w = 4*v - 5*q - 7 - 46. Is v a multiple of 12?
False
Suppose -11*x + 6 = -9*x. Suppose 5*d - 275 = -0*d + m, -x*d + 5*m + 143 = 0. Is d a multiple of 23?
False
Let q be (0 + -1)*(-5 + -51 + 4). Suppose -q = -5*s + 68. Does 4 divide s?
True
Let l be 5/5*2/1. Suppose -2*s + 0*s = l*c + 6, -3*s - 5*c = 19. Suppose 3*p + 361 = -s*q + 6*q, 0 = -q + 5*p + 69. Is 23 a factor of q?
False
Suppose 5*t - 22 = -b, -5*b = 2*t + 3*t - 10. Let i(s) = 3*s**2 + 6*s + 3. Is 3 a factor of i(b)?
True
Suppose 8*w - 4*w - 5*g = 485, 5*w - 5*g = 605. Is 4 a factor of w?
True
Let v(h) = 22*h**2 + 6*h - 7. Is 9 a factor of v(4)?
True
Suppose -b + q + 3*q = 16, b = 5*q - 19. Let u be (-2 - -2)/(1 + b). Is 3 a factor of -8*(u + 1)*-1?
False
Suppose -j + 8 = -29. Let r be 1/((-1)/4) + j. Suppose -35*u = -36*u + r. Does 21 divide u?
False
Let z(w) = w**3 - 5*w**2 + 26*w - 232. Is z(11) a multiple of 30?
True
Let d(m) = 3*m**2 - m**2 - 2*m + 2 + 4*m. Let y be d(-2). Suppose -7 = -f + y. Does 13 divide f?
True
Does 18 divide 2/8 - (-1079)/4?
True
Let d = 17 + -18. Let x be -6*(-22)/4 - d. Let v = x + -13. Does 6 divide v?
False
Let f be (1 + -3)/(0 - -2). Let s(n) = -9*n**3 - n**2 + 2*n + 2. Is 3 a factor of s(f)?
False
Suppose 1105 = 4*z + 141. Is 7 a factor of z?
False
Suppose 2*a + 10 = 3*r, 15 = 3*r + 3*a - 6*a. Suppose -4*u + 214 = -2*z, 5*z = -5*u - r*z + 275. Is 33 a factor of u?
False
Suppose 0 = -5*j + s + 598 + 1388, -2*s = -4*j + 1590. Is j a multiple of 10?
False
Let g = 112 + -137. Let d = 19 - g. Is 4 a factor of d?
True
Is 8 a factor of ((-2)/(-4))/(((-76)/864)/(-19))?
False
Let n be (-12)/(-8)*-2 - -5. Suppose -15 - 17 = -n*f. Does 3 divide f?
False
Let l(i) = i - 1. Let n(f) = -16*f + 3. Let j(h) = -3*l(h) + n(h). Is 23 a factor of j(-4)?
False
Let c(z) = 25*z**2 - 6*z - 60. Is c(-7) a multiple of 21?
False
Let h = 10 - 5. Suppose 0 = -2*c - m + 43, 0*m - 49 = -c + h*m. Does 12 divide c?
True
Suppose -2*k = 5*p - 5, -2*k + 0 + 3 = 3*p. Suppose 5*v + k*v = 230. Suppose 5*b = q - v, 0 = 4*q - 4*b + 2*b - 112. Is q a multiple of 13?
True
Let f be ((-95)/20 - -5) + (-11)/(-4). Let u = 56 - 34. Suppose -g + 3*r = -13, -f*r + u = 3*g - 5. Is 10 a factor of g?
True
Suppose 30 = 2*n - 4*o, 2 - 10 = 2*o. Let k(x) = -x**2 + 13. Let b be k(n). Does 18 divide b*(-2 - 9/(-6))?
True
Let d be 816/(-2) + 4 + -1. Let z be ((-1)/(-3))/((-5)/d). Suppose -c = 8 - z. Is c a multiple of 5?
False
Suppose 95 = 4*y + 527. Is y*(-5 + (-20)/(-5)) a multiple of 18?
True
Let z = -7 + 28. Let v = z - -36. Suppose s - 4*s + v = 0. Does 11 divide s?
False
Suppose 0 = -2*c - 2*s - 1800, -s - 2192 = 4*c + 13