 of 4?
True
Suppose -2033 = -16*u + 127. Is 5 a factor of u?
True
Suppose 4*y + 2*y - 1620 = 0. Is y a multiple of 5?
True
Let i(d) = -d**3 - d**2 - 2. Let g be i(-2). Suppose 3*m - 2 = g*m. Suppose 3*o = 3*w + 54, -57 = -2*o + m*w - 7*w. Does 4 divide o?
False
Suppose 5 = -2*v + 1, -3*u + v = 103. Does 26 divide (-15)/u + 9960/35?
False
Let c(v) = v**2 + 2*v - 5. Let l be c(-4). Suppose -l*h - z = -15, -h + 5*z + 5 = -0*h. Suppose s = -k + 40, 0 - h = -5*k. Is s a multiple of 12?
False
Let p be (-3 - -4) + 2/1. Let d be (5 + -3)/(p/537). Suppose -2*w = 4*g - d, -3*g + 0*g + 2*w + 286 = 0. Does 23 divide g?
True
Let u(k) = -10*k**3 + 2*k**2 + 2*k + 1. Let b be u(-1). Let l = 16 - b. Suppose l*j - 28 = -h, -2*h = -5*h - j + 56. Is 18 a factor of h?
True
Suppose -4*v + 2 = 3*x, -3*x + 11 = -8*v + 3*v. Suppose -2*r - 4*f = 8, 5*r - x*f - 3*f = 25. Suppose -r*z + 8 = -0*z + 4*k, -4*z + 52 = -4*k. Does 2 divide z?
True
Suppose 43 + 5 = -4*t. Let g = 21 + t. Let o = g + 59. Does 17 divide o?
True
Let q = -280 - -390. Is q a multiple of 10?
True
Let l(m) = -4*m**2 + 3*m - 6. Let y be l(-5). Is 24 a factor of (-2)/(-1 - -3) - y?
True
Let v = 14 - -14. Suppose 3*r + 4*d = -19, -r - 3*d - v = 4*r. Is 15 + r/((-20)/(-12)) a multiple of 10?
False
Suppose 3*f - 157 - 470 = 0. Suppose -f = -4*x + x - c, 5*c + 5 = 0. Is 5 a factor of x?
True
Suppose 2*f + 4*l - 812 = 0, 14*f - 9*f + 4*l = 2036. Does 7 divide f?
False
Suppose 0 = -4*j - 98 + 34. Let x = 32 + j. Suppose -4*y + x = 0, 0*p - 403 = -5*p + 3*y. Does 21 divide p?
False
Let t = -2133 - -3090. Is t a multiple of 16?
False
Let h = 14 + -23. Let z(q) = -11*q**3 + 5*q**2 + 4*q - 5. Let a(f) = 22*f**3 - 11*f**2 - 9*f + 11. Let p(y) = h*z(y) - 4*a(y). Does 3 divide p(1)?
False
Let r(t) = t**3 - 5*t**2 - 6*t - 3. Let m be r(6). Let d be (-260)/60 + (-2)/3 - -3. Does 7 divide d/(m/21*1)?
True
Let v = 9 + -7. Suppose v*z - z = 0. Suppose 0 = j - z*j - 3, -j - 51 = -3*t. Is 12 a factor of t?
False
Let d(v) = -v**3 - 10*v**2 + 8*v + 2. Let i = 4 + -15. Let u be d(i). Suppose 0 = -4*n + u + 13. Is 6 a factor of n?
True
Let h be 0 - (0 - (0 - -2)). Suppose 3*x - 4 = h*x. Suppose -3*a + 2*a + 4*o + 3 = 0, x*a - 3*o = 77. Does 5 divide a?
False
Suppose b - 4*r - 12 = 0, -b - 4*r - 12 = -6*b. Suppose b*g - 39 = g. Let w = 71 + g. Is 16 a factor of w?
True
Suppose 0 = -5*b + z + z, 5*b = -z + 15. Suppose -2*d - 4*y - y + 110 = 0, -4*d - b*y + 252 = 0. Does 5 divide d?
True
Suppose -2124 - 601 = -5*p. Suppose -p = -y - 4*y. Does 16 divide y?
False
Let u(c) = c**3 + c**2 + c + 5. Let m be u(-2). Let v(p) = 34*p - 9. Let b(k) = -33*k + 8. Let d(n) = 5*b(n) + 4*v(n). Is 11 a factor of d(m)?
True
Let u be (-11)/((-33)/252)*1. Suppose 0 = 5*f - 171 - u. Suppose -2*c + 4*s - f = -127, -c + 4*s + 48 = 0. Does 17 divide c?
False
Suppose 32*d - 13583 - 30193 = 0. Is d a multiple of 75?
False
Let j(h) = -h**3 + 16*h**2 + 19*h - 16. Let b = -28 - -45. Does 9 divide j(b)?
True
Let x(y) = -2*y + 31. Let z be x(13). Suppose 3*w - 54 = 2*c - z*c, 0 = -3*w + 4*c + 68. Is w a multiple of 10?
True
Let x = -9 - -11. Suppose x*d - 3*l = -l + 18, -12 = -3*d - 2*l. Let k = 11 + d. Is k a multiple of 12?
False
Let u = 27 - 24. Suppose -u*b - 614 = -5*q, 2*q + 250 = 4*q + b. Is q a multiple of 31?
True
Let l = -916 + 1021. Does 15 divide l?
True
Let h = -6141 + 9381. Is h a multiple of 60?
True
Let o = 18 - -126. Suppose o = l + l. Is l a multiple of 18?
True
Let l(b) = 3*b - 12. Let v be l(5). Suppose 4 = -4*g - v*w, 13 = 4*g - 3*w - 7. Is 2 a factor of g?
True
Does 3 divide ((-42)/(-9))/(4 + 136/(-36))?
True
Does 16 divide 5 - 393*253/(-33)?
False
Suppose -3*n + 111 = -5*l - 84, -5*n = 25. Let b = 97 + l. Is b a multiple of 10?
False
Suppose -5*r + 573 + 2166 = 3*u, 4*r - 4*u - 2204 = 0. Is r a multiple of 14?
False
Let y = 255 + -184. Is y a multiple of 2?
False
Let t be (-1)/((3/12)/1). Let g be 66/15 - t/(-10). Suppose -2*c - g = -3*c, -20 = -2*y + c. Is 5 a factor of y?
False
Let q(u) = -u**3 + 6*u**2 + 6*u + 10. Let a be q(7). Suppose 6*d = a*d - 5*y + 580, -5*d + 976 = -y. Does 39 divide d?
True
Let b = 111 - 60. Let v = -32 + b. Suppose v + 31 = 5*u. Does 5 divide u?
True
Is 31 a factor of 87*(-5 + (-460)/(-30))?
True
Suppose -26 + 10 = j. Let f = j + 23. Does 5 divide f?
False
Suppose 0 = -2*o - 2 - 6. Let u be (-5 - 1)/((-6)/o). Let p = u + 16. Does 6 divide p?
True
Suppose 27*m = 4*m + 20631. Does 6 divide m?
False
Suppose 0 = -7*f + 85 + 342. Let s = 87 - f. Is s a multiple of 13?
True
Let m(w) = -13*w - 9. Does 14 divide m(-19)?
True
Suppose -2*p - p = 18. Is ((-24)/(-10))/(p/(-45)) a multiple of 18?
True
Let i = 20 - 18. Let s(j) = i*j + 2*j + 38*j**2 - 4*j. Does 19 divide s(-1)?
True
Suppose 8*p + 4*h + 35 = 3*p, -4*p - 3*h - 27 = 0. Suppose -7 = -2*o + 5. Let k = o + p. Is 2 a factor of k?
False
Let f be (2 + 0)*1 + 38/1. Suppose -35*b - 675 = -f*b. Is b a multiple of 27?
True
Let h = 1153 + -364. Does 55 divide h?
False
Suppose 5*l = -3*l + 2584. Is 7 a factor of l?
False
Let b = 58 + 96. Does 10 divide (b/35)/(2/5)?
False
Let o be (((-112)/12)/(-2))/((-4)/(-6)). Suppose 78 = 8*s - o*s. Is s a multiple of 13?
True
Let f = 487 - 163. Is 14 a factor of f?
False
Let z(k) = k**3 + 16*k**2 - 5*k + 38. Is 26 a factor of z(-15)?
True
Let l(d) = -d**3 + 3*d**2 - 6*d - 6. Does 29 divide l(-4)?
False
Suppose 3*w - 5*c = 28, -2*c = -2*w + 4 + 8. Is w*-7*210/(-5) a multiple of 30?
False
Suppose -40*r + 38437 = -11243. Does 23 divide r?
True
Let r(k) = 77*k**2 - 6*k. Is 4 a factor of r(-1)?
False
Let k(m) = -2*m + 5. Let y be k(0). Suppose 0 = y*o - 262 - 58. Does 32 divide o?
True
Suppose 3*d + 2*d - 35 = 5*j, -2*j + 3*d - 11 = 0. Let x be (1 + -2)*(j + 7). Does 9 divide x - 11*(-1 - 1)?
False
Let t = 125 + -121. Suppose -t*o = i - 68, 0 = -i - 0*i + o + 58. Is i a multiple of 15?
True
Let p = -8 - -5. Let d be (1/p)/((-1)/138). Let u = d - 21. Is 7 a factor of u?
False
Let u(v) = v**3 + 15*v**2 + 14*v + 9. Suppose 4*w - 10 + 2 = 0. Suppose 3*p = -w*d - 34, 4*d + 3*p + 15 = -47. Is u(d) a multiple of 9?
True
Let q(v) = -v - 3. Let g be q(-6). Suppose 0 = -4*i - g*j + 119, 4*j - 72 = i - 3*i. Is i a multiple of 13?
True
Let k = 601 - 241. Is k a multiple of 18?
True
Suppose 5*d + 331 = m, 448 = 4*m - d - 895. Is 14 a factor of m?
True
Let t = -20 - -36. Let v = t - 13. Suppose 5*k = y + 3*y - 119, v = -k. Does 10 divide y?
False
Suppose 4*x = -3*m + 1276, -x - 6*m + 3*m + 310 = 0. Is x a multiple of 7?
True
Let t(b) = 6*b - 5. Suppose 13 = z + i, z - i - 47 = -3*z. Is 15 a factor of t(z)?
False
Suppose 0*a - a + 25 = 0. Suppose 5*x + 2*d = 24, -4*x + 10 = 3*d - 6*d. Suppose x*h - 5*h + a = 0. Is h a multiple of 11?
False
Let p = 1572 - 714. Suppose p = -5*i + 11*i. Does 12 divide i?
False
Let p be 1 + -6 - 0/(-2). Let a = 15 + p. Does 5 divide -1 + 13 + a/(-5)?
True
Let f(t) = 20*t - 44. Is f(5) a multiple of 19?
False
Let o be (236/4)/((-2)/(-6)). Let f = 91 - o. Let z = f + 132. Is z a multiple of 21?
False
Suppose t - 4*t = -75. Suppose -4*s + t = -3*s. Is 5 a factor of s?
True
Is (-8 - -782) + -7 + 16 a multiple of 66?
False
Let h be (-2)/(-11) - (-16)/(-88). Suppose h = 2*c + 146 + 26. Is 0 + (-2)/4*c a multiple of 12?
False
Suppose -3*j - 222 = -j. Let s = j - -200. Is 17 a factor of s?
False
Let f = 70 + -68. Suppose 0 = -3*n - f*w + 65, 5*n - w - 120 = -2*w. Does 15 divide n?
False
Suppose 5*o = 2*x + 54, 2*x = -x + 9. Let b be 54/o*(-4)/(-6). Suppose -b*r + 2*r + 24 = 0. Is r a multiple of 11?
False
Suppose 0*v = 2*v - 152. Let i = -67 - -35. Let h = i + v. Does 13 divide h?
False
Let l(u) = 2*u**2 + 2*u - 5. Let h be (-200)/(-30)*3/2. Suppose -z + h = 3*i, 3*i + 6 = 5*z - 2*z. Does 13 divide l(z)?
False
Let l(c) = -28*c**3 - c**2 - 3*c + 3. Is 29 a factor of l(-2)?
False
Let v = 96 + -37. Is v a multiple of 2?
False
Let a = -13 + 15. Is 28 a factor of 332/6 - a/(-3)?
True
Let g(v) = v**3 + 9*v**2 - 3*v + 6. Let k be g(-9). Is 12 a factor of (1 - (-2)/(-14))*(k + -19)?
True
Let c(f) = -2*f - 19. Let b be c(-11). Suppose 4*q - 3*w - 504 = 0, -w = q - b*w - 131. Is q a multiple of 9?
False
Suppose 25*o - 837 = 22*o. Suppose -2*x + o = x. Is x a multiple of 17?
False
Suppose 363 + 127 = -7*d. Let t(o) = 5*o**2 - o - 2. Let u