of t(j)?
False
Let h = -38 + 36. Let y(v) = 5*v**2 - 3*v - 6. Does 7 divide y(h)?
False
Suppose 4*i + 7 = -13. Let d be 13 - i/(2 - -3). Suppose -r + 1 = -d. Does 5 divide r?
True
Is (-1364)/(-10) + 135/225 a multiple of 16?
False
Let h be -2 - 2/((-8)/12). Let u = 85 - 50. Let b = h + u. Is 12 a factor of b?
True
Suppose -8*v = -v + 35. Let f(o) = -o**2 - 4*o + 5. Let m be f(v). Let a(i) = -i**2 + 26. Is a(m) a multiple of 13?
True
Suppose 28 + 188 = 3*n. Suppose 5*d - d + n = 2*h, h = -5*d + 71. Suppose 2*t - 4*t = -h. Does 8 divide t?
False
Suppose 11 = 3*p - 286. Let y = 18 + p. Suppose 4*z - 59 = y. Is z a multiple of 12?
False
Let m = 1036 - 663. Is 63 a factor of m?
False
Let r be (-2)/9 + (-885)/27. Let p = 210 + -275. Let k = r - p. Is k a multiple of 8?
True
Does 20 divide 378 + (2 - -2) + -2?
True
Let g(b) = b + 3. Let y be g(0). Let u be 2 + y + -5 + -1. Is (-4)/(1 - u) - -59 a multiple of 19?
True
Let v(f) = -f**3 + 8*f**2 + 27*f - 30. Is v(10) a multiple of 14?
False
Let w be 11/4 + 1*(-1)/(-4). Let x be (1 + 29)*4/5. Suppose -w*t = -51 - x. Does 8 divide t?
False
Let n = 476 + -328. Does 30 divide n?
False
Suppose 0 = 2*r - 863 - 583. Is r a multiple of 32?
False
Suppose -p - 10 = -3*p. Let g = 22 + -20. Suppose -4*w = -3*k - p, k - 3*k = -g*w. Is k a multiple of 5?
True
Let x(n) = 9*n - 212. Is 3 a factor of x(26)?
False
Let b(z) = -8*z + 11. Let f be b(-8). Suppose -65 = -2*w + k, 0*k + f = 3*w + 3*k. Suppose -4*y = -i + 51, -i - 2*y + w + 3 = 0. Is i a multiple of 13?
True
Let m(f) = 46*f + 576. Is m(-4) a multiple of 14?
True
Suppose -3*g = -5*f + 23, 5*g + 25 = 3*f + 6*g. Let c(r) be the second derivative of r**4/6 - 5*r**3/6 + 3*r**2 + 8*r. Is c(f) a multiple of 8?
False
Let h(p) = -4*p**3 + 11*p**2 - 6*p + 12. Is 19 a factor of h(-5)?
True
Let q = -94 - -51. Let z = q + 66. Does 23 divide z*(-2)/(-6)*9?
True
Let y(z) = -2*z - 4. Let s be y(-6). Let u = -4 + s. Suppose -t - 3*x = -u*t + 42, -2*x - 58 = -5*t. Is t a multiple of 7?
False
Suppose 4*u - 3*u = 141. Let z = 201 - u. Suppose 4*j - z = -2*b, 2*b = -5*j - 0*b + 73. Is 13 a factor of j?
True
Suppose -8*w + 14*w = 0. Suppose -p + w*p = q - 182, -181 = -q - 2*p. Does 46 divide q?
False
Let r = 307 - 229. Is 2 a factor of r?
True
Let g(q) = 3*q - 1. Let y(m) = -7*m + 3. Let b(f) = -9*g(f) - 4*y(f). Let t be b(3). Suppose -l + 20 + 42 = t. Is 20 a factor of l?
False
Suppose 32*c = 37*c - 265. Suppose 4*v + 96 = 2*o, 3*v - 293 + c = -5*o. Does 8 divide o?
True
Let p(l) = 2*l**2 + 16*l - 10. Does 8 divide p(-13)?
True
Let i(v) = 3*v**2 + 14*v - 7. Let m(c) = 2*c**2 + 7*c - 4. Let t(q) = 3*i(q) - 5*m(q). Let a be t(7). Is 1*a*(1 + -43) a multiple of 14?
True
Let c = -457 + 545. Does 8 divide c?
True
Let p = -688 + 723. Is p a multiple of 17?
False
Let c(y) = -y**3 - 13*y**2 + 42*y + 128. Is c(-17) a multiple of 95?
True
Let u = 155 - -38. Suppose 0 = -5*m - 3*s + 199, -2*m - s + u = 3*m. Does 12 divide m?
False
Let c(s) = 821*s**2 - 4*s + 3. Is 10 a factor of c(1)?
True
Suppose -2*v + 3 = n - 4*v, -2*n - 5*v = -24. Suppose -9*q + 192 = -n*q. Does 32 divide q?
True
Let d(z) be the first derivative of -z**4/4 + 5*z**2/2 - 2*z - 1. Let u(a) = -16*a + 172. Let w be u(11). Is d(w) a multiple of 14?
True
Let l(t) = 6*t + 42. Suppose -9*p + 104 = -p. Is l(p) a multiple of 12?
True
Let y(t) = -t**3 + 7*t**2 + 9*t + 8. Suppose -3*m = -2*c - 26, 5*m - 56 = 2*c - 14. Is 10 a factor of y(m)?
False
Let g(m) = m**3 + m**2 + m - 1. Let c be g(1). Suppose -c*y + 1 = -q, 4*y - 45 = -5*q + 20. Is (-230)/(-15)*q/6 a multiple of 10?
False
Let m(f) = 6 + 4 + 23 - 5 + 6*f. Is 10 a factor of m(9)?
False
Let w be -327 - (-6 + 2) - 2. Let a = -213 - w. Is 18 a factor of a?
False
Suppose -446 = -4*s - 2*w, -6*s + 9*s - 327 = w. Is s a multiple of 13?
False
Suppose 2*i = -4*d + 278, 2*i = 3*i + 4*d - 135. Is 11 a factor of i?
True
Let q = -120 - -1389. Is 13 a factor of q?
False
Is (-8969)/(-13) + (-134)/(-1742) a multiple of 18?
False
Suppose 7*g - 35*g = -14588. Is g a multiple of 4?
False
Let k be (-9)/(-15)*(660/4 + 0). Let q = -73 + k. Is q a multiple of 13?
True
Suppose -38*i - 8*i + 9108 = 0. Does 22 divide i?
True
Let v(r) = -r**2 + 22*r + 17. Let d be v(17). Suppose 0*s - d = -3*s. Does 14 divide s?
False
Suppose 0 = -4*u + 110 + 10. Is u a multiple of 10?
True
Suppose -6*b = -1432 - 2174. Does 31 divide b?
False
Is (-25 - -33)*-26*26/(-4) a multiple of 26?
True
Suppose 3*z = q - 267, -4*q - 425 + 1537 = -z. Is q a multiple of 2?
False
Suppose -2*l - 3*l + 20 = 0. Let q be (-64)/(-20)*(-495)/(-6). Suppose -4*v + 2*f + q = 0, 2*v - l*f - 188 = -v. Is 17 a factor of v?
True
Let i(r) = 18*r + 113. Does 3 divide i(-5)?
False
Let t(z) = -207*z - 437. Does 62 divide t(-9)?
True
Suppose -5376 = 62*o - 78*o. Is 21 a factor of o?
True
Let m = -80 - -68. Let l(q) = 3*q**2 - 7*q + 4. Let w be l(4). Let x = m + w. Is x a multiple of 3?
True
Let w(b) = -26*b + 882. Let z(m) = 9*m - 294. Let j(f) = 4*w(f) + 11*z(f). Does 30 divide j(0)?
False
Let u(g) = g + 19. Let d be (1/2)/((-2)/72). Let y be u(d). Is 2 a factor of ((-42)/(-3) - 3)/y?
False
Let p(d) = d**3 - 10*d**2 + 4*d - 25. Let w be ((-40)/22 - -2) + (-216)/(-22). Is 3 a factor of p(w)?
True
Suppose 3*t - 12 = 0, -5*v + 2*t + 20 = -22. Suppose -g + 286 = v*g. Is 13 a factor of g?
True
Suppose 0 = v - b + 27, 24 = -v - 5*b + 3*b. Does 18 divide (-346)/(-13)*3 + (-4)/v?
False
Suppose -3918 - 1986 = -4*x. Does 10 divide x?
False
Let w(m) = 0*m + m - 3*m - 1 - 3. Let d be w(-4). Is 17 a factor of 50 - (d + (-2 - 0))?
False
Let s(v) = -v**3 - 6*v**2 - 4*v - 1. Let l(w) = w**2 - 5*w + 3. Let p be l(3). Let f be s(p). Does 29 divide (-466)/f - (-1)/(-8)?
True
Suppose 0 = -5*t + x + x + 25, t = 3*x + 5. Does 3 divide t*-1*(-26)/10?
False
Let i(h) = -37*h + 139. Is i(-15) a multiple of 5?
False
Let m(o) = -2*o**2 - 7*o + 17. Let c be m(-7). Let y = c + 104. Is 13 a factor of 7 - 4 - y/(-2)?
True
Suppose -7*n = -2202 - 2369. Is n a multiple of 7?
False
Let z(b) = -b**3 - 12*b**2 - 12*b - 21. Let o be z(-12). Let f = -41 + o. Is f a multiple of 12?
False
Let b = 185 - 166. Suppose -5*y + 17 = t, -y - b - 28 = -t. Does 3 divide t?
True
Let j(z) = -z**3 - 7*z**2 + 8*z + 4. Let v be j(-9). Suppose v = 3*w - 263. Does 17 divide w?
True
Suppose 2*m + 3*x = 6*m - 4, -2*x - 8 = -4*m. Suppose -m*r = 3*k - 249, -k - 3*r = -5*r - 93. Does 7 divide k?
False
Suppose 3*w + 4*f - 68 - 34 = 0, -2*w + 2*f + 54 = 0. Suppose h - w = -2*u, -5*h + 0*u = -2*u - 114. Suppose 2*y + h = 4*y. Is y a multiple of 6?
True
Suppose -5*j - 2*f = -400, 13*f + 80 = j + 15*f. Is j a multiple of 4?
True
Let j(p) = -p**3 + 19*p**2 - 20*p + 11. Let b(l) = l**3 - 18*l**2 + 20*l - 10. Let q(x) = -4*b(x) - 3*j(x). Does 23 divide q(12)?
False
Let v be (-20)/(-4 + (-465)/(-117)). Suppose -7*m - v = -22*m. Does 26 divide m?
True
Let p(l) = -l + 39. Let u be (3/(-2))/(9/(-42)). Let j be (7 - u)/(3 - 1). Is 12 a factor of p(j)?
False
Suppose -2*p - 212 = -5*u + 724, 5*u = -2*p + 944. Suppose 3*q + u = 5*q. Does 20 divide q?
False
Let z(o) = -4*o + 18. Let d be z(14). Let s = d - -69. Does 31 divide s?
True
Suppose -u = -p - 155, -3*u = u - 3*p - 624. Suppose 0*h + u = 3*h. Does 15 divide h?
False
Suppose -23 = -5*a + 3*u, -a - 9 = -3*a + u. Suppose -a*b - 2*t + 526 = 0, -4*t - 238 = -0*b - 2*b. Does 43 divide b?
True
Suppose 64 = q - 3*w, -4*q + 2*w = q - 255. Let j = -23 + q. Does 26 divide j?
True
Let t(j) be the second derivative of -j**3/6 - 3*j**2 + 7*j. Let n be t(-6). Suppose -5*r + 4*s + 124 = -n*r, r = -s + 23. Is r a multiple of 8?
True
Let c = 117 - 14. Does 3 divide c?
False
Suppose -2*x - 2*s + 2262 = 0, 8*x - 2253 = 6*x + s. Does 12 divide x?
True
Let v(d) = -7*d - 1. Let p be v(-1). Let t be -166*(-2 + p + -3). Let f = -88 - t. Is f a multiple of 26?
True
Let v = -242 - -587. Is 14 a factor of v?
False
Let s(p) = -p + 10. Let t be s(8). Suppose -4*o + 94 = -3*y, t*y + o = -0*o - 59. Does 16 divide (144/y)/(2/(-20))?
True
Suppose 5*a + 2 - 72 = -4*u, 3*a = -3*u + 54. Suppose 0 = -8*z + 13*z - u. Suppose -2*g - z*g + 216 = 0. Is g a multiple of 8?
False
Does 3 divide 159 + 30/18 + 70/(-15)?
True
Suppose 5*m - 84 = 51. Is m a multiple of 4?
False
Let d be 1/(-3) - (-1683)/27. Suppose -