 + 5*g. Does 6 divide h?
False
Suppose 0 = m - n - 13, 4*m - n - 1 = 42. Suppose -3*s + 4 = 3*h - 4*h, 0 = -2*h + m. Is s even?
False
Let p(s) = -106*s + 464. Does 50 divide p(-6)?
True
Suppose 99 = -5*q + 419. Is 8 a factor of (0 - (-3 - -6)) + q?
False
Suppose 4*s + 0*s = -4*y + 24, 2 = 2*y. Suppose -3*f + 3*h = -75, -3*f = -s*h + h - 76. Does 12 divide f?
True
Let n = 601 + 187. Does 59 divide n?
False
Let m(f) = 93*f**3 - f**2 + f - 1. Let c be m(1). Suppose -5*d = 4*h - 0*d + 56, 4*h - 4*d + c = 0. Is 19 a factor of (-2 - (-4 + 3))*h?
True
Let h be (-1377)/(-6)*(-2)/(-3). Suppose 0 = -2*v - 0*y + 3*y + 105, 3*y + h = 3*v. Is v a multiple of 12?
True
Does 22 divide (((-26)/(-6))/(-1))/((-5)/810)?
False
Let b be (-670)/(-20) - (-1)/2. Let n = -18 + b. Suppose n = 2*a - 10. Is 5 a factor of a?
False
Suppose 0 = -4*f + 9*f - 4*y - 9094, -9085 = -5*f - 5*y. Is f a multiple of 101?
True
Suppose 50*l + 7800 = 76*l. Does 20 divide l?
True
Let o(l) = l**2 + 3*l + 2. Suppose 16 = -3*y + 4*d, y + 5*d = -2*y - 7. Let p be o(y). Suppose p*c = 3*c + 30. Is c a multiple of 10?
True
Let p be (0 + (-3)/(-6))/((-2)/(-24)). Let t(w) = 2*w - 1. Let o be t(2). Suppose 2*i - o*i + p = 0. Is 3 a factor of i?
True
Suppose -3*z - z = -h - 1, 3*h + 3*z = 12. Let q(o) = 2*o**2 - 7. Let i be q(h). Suppose -i - 19 = -5*b. Is 5 a factor of b?
False
Suppose 17*w - 7429 = -0*w. Does 31 divide w?
False
Suppose 3*h + 2*q - 16 = 0, -2*h + q = 5*q - 16. Suppose h*n + 0*n = 4*t - 452, -2*n = 3*t - 334. Is t a multiple of 14?
True
Let f = 32 - 28. Suppose -f*w = 2 - 14. Suppose -2*u - 7 = -v, 0*v = 3*v - w*u - 36. Is v a multiple of 3?
False
Suppose 3*d = -3*l - 438, 3*d - 143 = l + d. Let x be (l/10)/((-2)/4). Suppose 4*o = 19 + x. Is o a multiple of 9?
False
Let p(h) = 2*h**2 + h - 2. Let q be 1*-4*(20 - 19). Is 13 a factor of p(q)?
True
Suppose 21*s - 15*s - 30 = 0. Suppose -s*r + 16 = -4*r. Is r a multiple of 4?
True
Let u(x) be the first derivative of 9*x**2/2 - 14*x - 4. Let a be u(11). Let z = -46 + a. Does 20 divide z?
False
Let q(j) = j**3 + 16*j**2 - 47*j + 40. Does 17 divide q(-18)?
True
Suppose -s + 5*i + 180 = 0, -s + 3*i + 180 = -0*s. Suppose -2*t - t = -s. Is t a multiple of 12?
True
Suppose -2*q + 4 = 0, -h = 3*h + 2*q - 508. Let j = h - 28. Does 7 divide j?
True
Let u be -1 - -9*1 - 3. Let j be 3 + -1 + -1 + 0. Is 20 a factor of (u/(-2) - j)*-8?
False
Let j(u) = 4*u**3 + 3*u**2 - 4*u - 1. Let z(b) = b - 12. Let v be z(8). Let o be j(v). Let i = -104 - o. Does 26 divide i?
False
Suppose 5*j + 13 = f - 0*j, 0 = 2*f + 3*j + 39. Is (-27)/f*24/9 a multiple of 6?
True
Let f(g) = g - 8*g**2 - 7 - 2*g**3 + 3*g**3 + 13. Is f(8) a multiple of 3?
False
Let z = -924 - -914. Let l(n) = -21*n**3 + n**2 - 1. Let q be l(-1). Let c = q - z. Is c a multiple of 10?
False
Let v = -24 - -39. Suppose 0 = -2*d + 5*o + 48 + 43, 5*o + v = 0. Is 19 a factor of d?
True
Suppose -5*h + 13 = -12. Suppose w = -5*m - 6 + 25, 0 = -3*m - h*w + 29. Suppose -2*q + 47 = 3*q - b, -41 = -5*q + m*b. Is 10 a factor of q?
True
Let a = 134 + -95. Let j = -21 + a. Is 5 a factor of j?
False
Suppose 2*c - 3*c = 0. Suppose 3*j + 2*j - 40 = c. Let d(i) = 2*i + 17. Does 11 divide d(j)?
True
Let t = -18 + 23. Let a(c) = 2*c**2 - 4*c - 2. Does 7 divide a(t)?
True
Suppose 678 = 7*v + 153. Does 15 divide v?
True
Let s(w) = w + 1. Let u be s(-10). Let g(r) = r**3 + 11*r**2 + 6*r + 6. Let t be g(u). Suppose 6*b + 3*k = 3*b + t, 158 = 4*b + k. Is b a multiple of 10?
True
Suppose y = -y + 18. Let c(n) = 4*n - 16. Is c(y) a multiple of 5?
True
Let n(f) = -14*f - 7. Let x(t) = -t - 1. Let b(p) = n(p) - 6*x(p). Let z be b(-2). Is 5 a factor of (6/z)/((-2)/(-30))?
False
Suppose -7*q + 3*h - 829 = -9*q, 413 = q + 3*h. Is q a multiple of 32?
True
Suppose 0*g + 2*g = 4*j - 86, g + 47 = 3*j. Let c = g + 118. Is c a multiple of 37?
False
Suppose -659 - 671 = -2*m. Suppose -6*o + o = -m. Let a = o + -65. Does 10 divide a?
False
Let s(h) = -h**3 - 6*h**2 + 8*h - 9. Let p be s(-8). Suppose 2*x - p = x. Is x a multiple of 11?
True
Let n(r) = 37*r + 286. Is 70 a factor of n(32)?
True
Suppose -c - 9 = 2*c. Let q be (c - (-123)/6)*2. Does 10 divide (q/14)/(1/16)?
True
Let u(z) = z**2 + z + 86. Let c be 0/((-2)/6*-6)*-1. Does 9 divide u(c)?
False
Let r(n) = n**3 + 13*n**2 - 18*n + 4. Let c(b) = 12*b + 22. Let a be c(-3). Is r(a) a multiple of 15?
True
Let r = 23 + -31. Let j = 40 - r. Does 7 divide j?
False
Let a be (-5 + (2 - 2))/(-1). Suppose a*u + u - 240 = 0. Is u a multiple of 10?
True
Let u be -6*(-4)/(-18)*15. Let x = 33 + u. Is x a multiple of 13?
True
Let d be 79/3 - (-1)/(-3). Suppose 0 = -5*f - 2*p + 84, f = -3*f - 2*p + 66. Let i = d + f. Does 12 divide i?
False
Suppose -3*b = -15*i + 12*i - 1086, 0 = 2*b + i - 721. Is b a multiple of 19?
True
Suppose -7*j + 32 = -3*j. Is 14 a factor of 3/(6/j) + 66?
True
Let g(s) = 56*s + 508. Does 10 divide g(16)?
False
Suppose -43*t = -51*t + 1664. Does 22 divide t?
False
Let y = 244 + 531. Suppose -5*t - 210 + y = 0. Does 21 divide t?
False
Suppose 0 = -5*t - x - 153, -2*t + 5*t = -5*x - 105. Let u = -26 - t. Suppose 4*v - f - 71 = u*f, -5*v + 100 = 5*f. Is 9 a factor of v?
False
Let x = 696 - 315. Does 78 divide x?
False
Let t = -176 - -554. Does 54 divide t?
True
Let b = -84 + 91. Let g(n) = 3*n**2 - 7*n - 7. Is 13 a factor of g(b)?
True
Suppose 2*u + 2*r - 68 = r, 3*u = 5*r + 102. Does 16 divide u?
False
Let m = -17 - -26. Let u be 1/(-3) - (-3)/m. Suppose -35 = -q - u*q. Is q a multiple of 12?
False
Suppose m - 14*m + 104 = 0. Is (2 - 52)/((-4)/m) a multiple of 10?
True
Let j = -5 + 4. Does 7 divide j + 11 + -7*2/(-7)?
False
Let n = 33 + -25. Suppose -n*i = -5*i + 5*b + 7, 7 = 2*i + b. Suppose r + 275 = i*r. Is r a multiple of 20?
False
Suppose 2*n - p - 2 = 0, 6 = -5*n - 2*p + 20. Suppose 30 = 4*o - n*o. Is o a multiple of 2?
False
Suppose -4*j + 6 = -2*z, j - 2*z + 7 = 1. Suppose j*v + 1 = 197. Is v a multiple of 10?
False
Let u(p) = p**3 - 25*p**2 - 3*p + 160. Does 3 divide u(25)?
False
Suppose 54*t = 56*t - 5304. Is t a multiple of 78?
True
Let n be (-252)/(2 + -5) - 4. Suppose 3*a + n = o, -2*o = -3*o + 4*a + 81. Let k = o - 50. Is k a multiple of 16?
False
Let z(t) be the second derivative of 0 + 0*t**2 + 4*t - 1/3*t**3. Is 4 a factor of z(-3)?
False
Suppose -o - o + 4 = 0. Suppose 3*f - 13 = -o*p - 0*p, -4*p + 18 = -2*f. Suppose a - 25 = p*w - 84, 0 = -2*w + 4*a + 38. Is 4 a factor of w?
False
Let m(v) = v**3 + 8*v**2 + 9*v + 3. Suppose 0 = 3*c + 2*z - 15, 4*c - 3*z - 9 = -2*z. Suppose -27 + c = 4*i. Is 15 a factor of m(i)?
False
Let o = 305 + 335. Does 16 divide o?
True
Suppose 5*l - 8*l + 1230 = 3*m, -5*l - 3*m + 2042 = 0. Is 4 a factor of l?
False
Suppose 10*q - 5*q + 5*f = 6585, -2*q + 2609 = -3*f. Does 16 divide q?
True
Suppose 923 = 4*y + g, 241 + 224 = 2*y - 3*g. Is 28 a factor of y?
False
Let u be (-204)/(-60) - (-4)/(-10). Suppose 34 = u*d - 4*a - 51, -d + 3 = 5*a. Does 23 divide d?
True
Suppose -4*d = c + 3*c - 192, -5*c = -2*d - 268. Let g = c + -47. Does 3 divide g?
False
Suppose 5*g - 13 = -4*k, 2*g - 7*g + 15 = 5*k. Suppose -k*c = 2*c - 28. Suppose -c*r = -8*r + 10. Is 6 a factor of r?
False
Let c(v) = 5*v + 3. Suppose 3*n = -5*z + 28, -2*z + 4 = -3*n + 39. Does 29 divide c(n)?
True
Let f = -4 - -7. Let r(q) = -2*q + 2. Let x be r(1). Suppose -6 = -f*s - x*s. Does 2 divide s?
True
Let d(o) = -2*o + 26. Let r be d(-7). Suppose 5*b - 6 - 4 = 0. Suppose -3*y + q = -107, -3*y = -b*y + 4*q - r. Is y a multiple of 11?
False
Let m(v) = 2*v - 14. Let b be m(11). Does 6 divide (-260)/b*(-30)/25?
False
Suppose s - 158 = -u, -5*u + 772 = 18*s - 22*s. Is u a multiple of 39?
True
Suppose 0*g = -5*g. Let d be (-9)/(-12) - 159/(-12). Let i = d - g. Does 6 divide i?
False
Let h(q) = 5*q**2 - 7*q + 4. Let o(w) = w**2 - w - 1. Let l(k) = h(k) - 2*o(k). Let n be l(-5). Let a = 206 - n. Is a a multiple of 25?
True
Suppose -b - 5*k + 485 = 0, -b - k - 2373 = -6*b. Does 5 divide b?
True
Suppose -2*d + 6 - 4 = 0. Let c = 21 + d. Is 11 a factor of c?
True
Suppose -5 = -k - 1. Suppose k*j - 53 = 75. Does 13 divide j?
False
Suppose 84 = 9*g - 21*g. Is g/(-6) - 1 - 994/(-12) a multiple of 12?
False
Let v = 979 + -657. Is v a multiple of 21?
False
Let v(r) = -r + 5. Let x(l) = l**