se
Suppose -202 = -t - n + 90, -5*t - n = -1468. Is t a multiple of 68?
False
Let t = 472 - 337. Let k = -63 + t. Let m = -22 + k. Is m a multiple of 11?
False
Let r = 2 + 0. Is r/(-13) + (-1464)/(-52) a multiple of 7?
True
Let x(v) = v**2 + v + 1. Is x(3) a multiple of 8?
False
Suppose 3*s + 0 = 45. Suppose -5*w - 3 + s = -4*c, -c = 2*w - 10. Suppose -31 - 41 = -c*g. Is 8 a factor of g?
False
Let w(d) = d**3 + 12*d**2 + d - 12. Let j(s) = 3*s**3 + 25*s**2 + s - 24. Let b(o) = 2*j(o) - 5*w(o). Let z be b(8). Does 8 divide z/(-8)*12/10?
False
Let b = -415 + 811. Is b a multiple of 36?
True
Let j(u) = 3248*u**2 + 40*u - 37. Does 15 divide j(1)?
False
Suppose 10*z - 239 - 11 = 0. Suppose f = 3*f + 4*j - 84, -z = -5*j. Does 16 divide f?
True
Let r(h) = h**2 + 5*h + 3. Let q be r(-5). Suppose p + 156 = -q*p. Is 10 a factor of (-8)/52 + (-1722)/p?
False
Let q be (-1)/(-1 - -3)*-4. Suppose 4*t + 5 = -5*v, 26 + 2 = v - 5*t. Let b = q + v. Does 4 divide b?
False
Let x(g) = g**2 - 9*g - 10. Let l be x(10). Suppose l*v = -v. Suppose v = 2*t - 57 + 15. Is t a multiple of 12?
False
Let h(x) = x**2 + 7*x - 7. Suppose 4*y = -3*w - 25, 5*y + w = -w - 33. Let z be h(y). Is 14 + (z - -3)/(-1) a multiple of 4?
False
Let l(y) = 6*y**2 + 9*y + 6. Let q = 6 + -12. Let s be l(q). Suppose 5*k = k + s. Is 14 a factor of k?
True
Suppose -13*x - 15 = -12*x. Let j = 31 + x. Is j a multiple of 4?
True
Suppose 7746 = -12*x + 24534. Is 10 a factor of x?
False
Let b(w) = -62*w - 410. Is b(-13) a multiple of 71?
False
Let g(v) = -v + 10. Let f(s) = -1. Let r(o) = 6*f(o) + g(o). Let i(n) = 56*n + 52. Let a be i(-1). Is r(a) a multiple of 2?
True
Let x(o) = o**3 + 11*o**2 + 12*o + 12. Let n be x(-10). Let c be 500/6 + n/(-12). Does 21 divide ((-5)/(10/c))/(-1)?
True
Let h be (-1)/(1/(-9)*3). Suppose 1 = b - h. Is b a multiple of 2?
True
Suppose 5*k - 2*i + i = 15, -5*i - 9 = -3*k. Suppose -11 + 140 = -k*c. Let u = c + 71. Does 28 divide u?
True
Suppose 12*h - 138 = -18. Is h a multiple of 10?
True
Let y(v) = 5 + 0 + 2 + 6 - 15*v - v**2. Let f = 33 + -43. Is 9 a factor of y(f)?
True
Let o(q) = -27*q - 92. Does 5 divide o(-4)?
False
Suppose 5*p - 13*p = -80. Let m(k) = 2*k**2 + 4*k - 13. Let j(d) = -5*d**2 - 13*d + 38. Let v(g) = 3*j(g) + 8*m(g). Does 15 divide v(p)?
False
Suppose -y = 5*z - 12, 0 = y + 3*z + 4 - 12. Suppose 3*w + y*w = 2080. Does 16 divide (w/13)/(1 + 0)?
True
Let v = 4727 - 2559. Is v a multiple of 24?
False
Suppose 32*n - 19207 = -4615. Is 19 a factor of n?
True
Let r be ((-8)/(-2))/((-2)/3). Is 21 a factor of (r/5)/((-6)/135)?
False
Suppose -5*b = -4*x + 13, 0*x - 3*x + b + 7 = 0. Suppose -5*s + 9*s = 24. Suppose t + x*t = s. Is t a multiple of 2?
True
Let o(c) = 2*c**3 - c**2 + 8*c - 21. Is o(5) a multiple of 18?
False
Suppose -3*b - 2*b + 25 = 0. Suppose 0 = -2*w + b*w - 63. Does 6 divide w?
False
Suppose -158 = -5*q - 2*o, o = 5*q - 4*o - 130. Suppose l - q - 54 = 0. Does 12 divide l?
True
Let z = 0 + 4. Suppose -2*d = -5*d - 2*q + 9, -d - 3*q = z. Suppose 3*w - 69 = d*b, -w - 3*w + 69 = b. Does 6 divide w?
True
Let j(q) = -q**3 + 2*q**2 + 4*q. Let d be j(3). Suppose s + 10 = 5*x - 3*x, d*x + s = 5. Is x/(-4) + 1572/48 a multiple of 16?
True
Let z(x) = x**2 - 8*x + 12. Let l be z(6). Suppose 17*s - 20*s + 441 = l. Is s a multiple of 35?
False
Let n(s) = 233*s - 34. Does 8 divide n(2)?
True
Let u(v) = 24*v - 5. Does 3 divide u(1)?
False
Let x(r) = 2*r**2 + 32*r + 18. Suppose -4*a = 135 - 71. Does 9 divide x(a)?
True
Suppose u + 6*z - 6082 = 0, -4*u + 5*z + 24308 = 9*z. Does 14 divide u?
True
Let x(p) = p**3 - 10*p**2 - 11*p + 71. Does 7 divide x(12)?
False
Is 386 - (-1 + -4) - (-7 + 3) a multiple of 9?
False
Let q = -16 - -53. Let v = 48 - q. Is 7 a factor of v?
False
Let j(g) = -g**3 - 8*g**2 + 11*g - 18. Does 12 divide j(-12)?
False
Let t be -1 + (-5)/(-10)*6. Suppose t*x + 3*g - 11 - 24 = 0, -113 = -5*x + g. Is 7 a factor of x?
False
Let s be ((-5)/(-10))/(5/(-40)). Let i = 10 + s. Is 2 a factor of i?
True
Let q = 1 - -1. Suppose -q*t = 10, 2*u + 4*t - 1 = 3*t. Suppose u*c + 16 = 4*c. Does 9 divide c?
False
Suppose 3*r = 2*g - 956, 2*r + 912 + 48 = 2*g. Is g a multiple of 11?
True
Suppose -v - 4*s + 9 = 0, 2*v + 4*s - 4 = 10. Suppose r - 1 = 0, -3*n + 2*r = v*r - 39. Is n a multiple of 6?
True
Let z be -5*3*(0 + 1). Let y(t) = t**3 - 40*t**2 + 76*t + 38. Let f be y(38). Does 14 divide f/2 - (-13 - z)?
False
Let k = 9645 - 6635. Is 86 a factor of k?
True
Suppose 8*u - 3367 = u. Is u a multiple of 13?
True
Let j(a) = -23*a + 2. Let l be j(-2). Let v = l - 30. Is v a multiple of 14?
False
Is 39 a factor of ((-21)/(-3) - 7) + (-3 - -259)?
False
Suppose 1034 = -6*n - 5*n. Let c = n + 137. Is 43 a factor of c?
True
Suppose -14*l + 42 = -8*l. Suppose 5*n = l*n - 56. Is 9 a factor of n?
False
Suppose 2*l + 6*l - 4096 = 0. Does 43 divide (-4)/(-6) + l/6?
True
Suppose -4*s - 5*c + 3353 = 0, -4*c = 3*s - 9*c - 2471. Is 49 a factor of s?
False
Let w(q) = q**3 + 3*q**2 - 12*q + 8. Let v be w(-7). Let k = v + 160. Does 8 divide k?
True
Suppose 0 = 3*h - 8*h. Let s(r) = -r - 4. Let p be s(-11). Does 5 divide (h - 3) + 112/p?
False
Suppose -21*o + 646 = -2*o. Is 17 a factor of o?
True
Suppose -13*j + 210 = 1003. Let c = 119 + j. Is 6 a factor of c?
False
Let d = -7 - -9. Suppose 3*q - 27 = -3*m, d*m - 6 = 5*q - 23. Suppose m*i = 74 - 18. Is i a multiple of 8?
False
Let h(u) = 74 - 37 - 38 - 60*u. Is 12 a factor of h(-1)?
False
Let k = -63 + 87. Does 7 divide k?
False
Let m(t) = -t + 19. Let r(n) = -n + 20. Let f(z) = 4*m(z) - 3*r(z). Let p be f(10). Does 5 divide 3/p + (-204)/(-8)?
False
Let d be 1/(2/(7/(7/46))). Let o = 79 - d. Is 8 a factor of o?
True
Let h be 2*1/(-2) + 3. Suppose l - 2*x = 3*x + 39, -h*l = -2*x - 78. Is 4 a factor of l?
False
Suppose 3087 = 5*y - 2013. Does 12 divide y?
True
Suppose -4*f - 12 = -7*f. Suppose 3*z - 3*u + u - 7 = 0, 0 = -4*z + f*u + 8. Suppose -z*r - 19 = -52. Is r a multiple of 3?
False
Let d(r) = -r**3 + 3*r**2 + 9*r - 7. Let f be d(5). Is -7*3/(63/f) a multiple of 2?
True
Let t(h) = -h**3 + 32*h**2 - 26*h - 8. Is 8 a factor of t(31)?
False
Let t(h) = -h**2 - 1. Let y(x) = -x + 3. Let g(i) = -2*t(i) + y(i). Suppose 12 = -7*v + 3*v. Does 22 divide g(v)?
False
Suppose -5*d + 0*i - 10 = i, 3*d + 3*i + 18 = 0. Let l be 1 + (1 - 2)/d. Suppose 3*w = -l*w + 110. Is 11 a factor of w?
True
Let u(s) be the second derivative of 5*s**4/6 - s**3/3 - 7*s**2/2 - 36*s. Is u(3) a multiple of 12?
False
Suppose 0 = -x + 5*l + 19 - 5, -6 = -x + l. Suppose -3*t - 4*s = -2*s - 164, -4*t = x*s - 224. Is t a multiple of 7?
False
Suppose 6*l + 2*d - 422 = 4*l, 4*l = -d + 856. Is 25 a factor of l?
False
Let y = -8 + 2. Let m(w) = -w**3 - 4*w**2 + 8*w + 2. Let d be m(y). Suppose i - 4*h - d - 4 = 0, 46 = i + 4*h. Is 19 a factor of i?
True
Suppose 0 = 5*i + 20, -12*i + 9*i = j - 147. Is 18 a factor of j?
False
Suppose -40*h + 28368 = -4*h. Does 13 divide h?
False
Suppose 0 = 3*y - 12, -4*t = -5*y - 1459 - 761. Does 10 divide t?
True
Suppose 2*a = 3*l + 2*l - 45, 4*a = 2*l - 2. Let z(d) = 2*d**2 - 16*d + 4. Is 10 a factor of z(l)?
True
Is 2 a factor of -38 + 39 + (-1 + -44)/(-1)?
True
Let h(m) = -m**2 - m + 2. Let i be h(0). Suppose l - q = 16, -52 = -5*l + l - i*q. Does 6 divide l?
False
Suppose v + 10 = -0*v. Let k be v/(-6)*216/60. Does 27 divide (-25 - 2)/((-2)/k)?
True
Let x = 0 - -2. Suppose -4*n - 2 + 10 = 0, 0 = x*y - 4*n - 120. Is 8 a factor of y?
True
Suppose 470 = -5*o + 10*o. Does 5 divide o?
False
Suppose -15 = -5*u + 3*l, u + 5 + 5 = -2*l. Suppose 0*a + a = u. Is 2 - a - -46 - 0 a multiple of 12?
True
Let a = 28 + -1. Let y = 12 - a. Let h = 39 + y. Is 6 a factor of h?
True
Let v(d) = d**2 + 10*d - 32. Does 6 divide v(6)?
False
Let l(x) = x**3 + 7*x**2 - 2*x - 6. Suppose 3*v + 60 = -v. Let f = v - -10. Is l(f) a multiple of 18?
True
Suppose 0*n = -3*n - 4*b, 0 = n + 2*b. Suppose -4*p + 340 = -n*p. Suppose -d = -0*d - 5, -5*w = -3*d - p. Does 5 divide w?
True
Suppose 5*g = 5*s + 9675, 4*s + 5781 = 3*g + 9*s. Does 69 divide g?
True
Suppose 7*y = 8*y - 165. Does 11 divide y?
True
Suppose i + 2 = -1. Is 13 a factor of (-2 - (i - -3)) + 2 + 65?
True
Suppose 6*w + 35 = -5*j + 3*w, 5*j + w + 25 = 0. Let m = j + 19. Let u = 31 - m. Is u a multiple o