 + 3 + 7 + 252?
True
Suppose 5*n - 3 = 7. Is 56 - (6/n - 5) a multiple of 5?
False
Suppose -890 = -6*a + 2998. Is 36 a factor of a?
True
Suppose 35*j = 26*j + 1557. Is 2 a factor of j?
False
Let d be 190/57 - (-2)/3. Suppose -2*u - 204 = -5*g, -d*u = -0*u + 8. Is g a multiple of 7?
False
Let n(s) be the first derivative of 11*s**2/2 + 22*s - 5. Is n(10) a multiple of 12?
True
Let t(m) = -m**3 - 6*m**2 - 3*m - 5. Let d be t(-4). Suppose -3*a - 5*z = 120, a = 4*a + z + 120. Let b = d - a. Does 15 divide b?
True
Suppose p + 8*t = 4*t + 422, 0 = -t + 3. Does 10 divide p?
True
Let z(x) = x**2 + 10*x + 5. Let h be z(0). Suppose -l + h*r = -115, -l - 2*l - 4*r = -421. Is l a multiple of 22?
False
Suppose -5*i + 594 = -b, -2*i = -0*i + 5*b - 216. Let x = i - -69. Let n = x + -131. Is n a multiple of 16?
False
Is (-1007)/(-9) - 59/(-531) a multiple of 16?
True
Let u(w) = 2*w**2 + 11*w + 3. Let b be -5*(4 - (3 + 2)). Does 9 divide u(b)?
True
Let s = -14 - -19. Suppose -r + 2*r = s. Suppose 296 + 24 = r*i. Is 20 a factor of i?
False
Let y be 1 + -4 + -2 + 10. Let r(m) = m**3 - 5*m**2 + 3*m - 3. Let a be r(y). Let z(n) = 3*n - 30. Is z(a) a multiple of 2?
True
Let w be 4 - (-35 + 0 + -2). Suppose -w - 7 = -a - 3*u, 0 = -4*u + 8. Suppose 9*f + a = 10*f. Is f a multiple of 6?
True
Suppose q = 5*w - 302, -5*w + 3*q + 306 = -0*w. Is 15 a factor of w?
True
Suppose 0 = u - 21 + 6. Let w(q) = 4*q + 12. Let t be w(u). Suppose -12 - t = -2*s. Is 18 a factor of s?
False
Suppose 4*n - 32 = -2*b, b + 4*b = 4*n + 38. Let j = b + -7. Is 48/j + (-3)/1 a multiple of 13?
True
Let b = -151 - -252. Is 36 a factor of b?
False
Let y be (9/6)/((-1)/(-4)). Suppose 8*o = y*o. Suppose -5*p - 68 = -r, o = 2*r - p + 4*p - 110. Is 29 a factor of r?
True
Let m = 16 + -11. Suppose 2*t - 2 = m*s - 14, s - 3*t = 5. Suppose -5*f = 2*q - 332, f + s*q - q = 67. Is f a multiple of 11?
True
Let t = -3 - -8. Suppose -47 = -0*h - 2*h - p, -4*h + 85 = t*p. Let g = h + -11. Is 7 a factor of g?
True
Let l be (-2)/2*(-1 + 1). Let n(y) = -y + 13. Let f be n(l). Is 106/f + (-20)/130 a multiple of 2?
True
Suppose 3*j - 4*j = -6. Suppose j*p + 27 - 213 = 0. Is p a multiple of 10?
False
Let s(r) = 0*r + 0*r + 2 + 82*r**2 - 1 + r. Is s(1) a multiple of 26?
False
Suppose 0 = 6*b - 97 - 395. Does 26 divide b?
False
Is 3 a factor of 80 + -1 + 3 + (-22)/(-11)?
True
Let f(l) = -l**3 + 3*l**2 + 1. Let g be f(3). Let m(k) be the first derivative of 15*k**2 + 4. Does 24 divide m(g)?
False
Let n = 380 - 557. Let k = -39 - n. Is 46 a factor of k?
True
Let b = -89 - -99. Suppose -b*z + 514 = 34. Is 12 a factor of z?
True
Let w(c) = -8*c**3 - 3*c**2 - c + 5. Let l be w(3). Let b be 6/2 + (l - 4). Let y = b - -359. Is 39 a factor of y?
True
Suppose 4*p - z = 4, 2*p - 7*p - 4*z = -26. Suppose -2*f + 15 + 137 = -p*i, 2*f - 5*i = 167. Is 9 a factor of f?
False
Suppose -3*l + 5148 = 3*x - 0*l, -3*x - 5*l + 5148 = 0. Is 26 a factor of x?
True
Let h(j) = 25*j**2 - j + 1. Let q = 19 - 5. Let d be (0 - -2)*(-7)/q. Is h(d) a multiple of 16?
False
Let i(y) = y**3 + y + 5. Let z be i(0). Suppose -46 = -z*r - 6. Is (-39)/52*r/(-3) a multiple of 2?
True
Suppose 200 = n - 4*b, 5*n - 9*b = -4*b + 955. Is 29 a factor of n?
False
Let d(p) = p**2 + 3. Let v be d(0). Suppose -v*z - x + 13 = 0, 4*z - 6*x = -5*x + 8. Suppose 54 = 5*k - 3*j, 28 = z*k - 4*j - 0*j. Does 8 divide k?
False
Let y(g) = -g**2 - 7*g + 13. Let w(u) = u**3 + 11*u**2 + 9*u - 10. Let c be w(-10). Suppose -4*s = -c*i - 3*i - 8, 0 = -4*i - s - 36. Is y(i) a multiple of 5?
True
Let o(x) = x**2 + 13*x + 16. Let c be o(-16). Suppose 3*n - 32 - c = -3*k, -n + 2*k = -26. Does 30 divide n?
True
Let k be 13 + -6 + (4 - 1). Suppose 5*v - 61 = -i + k, -3*v = 12. Is i a multiple of 44?
False
Suppose -p = -2 + 1. Is -3 - (p - -266)/(-3) a multiple of 20?
False
Let q = -1315 + 1926. Suppose -9*c - q = -1988. Is 17 a factor of c?
True
Suppose 4*a - 9*a = -135. Suppose -31*u + 108 = -a*u. Is u a multiple of 5?
False
Suppose 7*z = 9*z. Suppose -4 = v, z*w + 2*w + 5*v - 16 = 0. Is 13 a factor of w?
False
Let f = 2320 + -821. Is 32 a factor of f?
False
Does 3 divide 67 + -33 - ((-1 - 0) + 6)?
False
Does 2 divide (12/(-5))/((-2)/(-5)) - -144?
True
Suppose -3*t = -3*g - 33, 5*t = 2*t + g + 25. Suppose 0 = -5*w - u + t, 0 = -w - 3*w - 5*u - 7. Does 24 divide (26 - w) + (-2 - -2)?
True
Let n(m) = m + 5. Let g be n(-3). Suppose 0 = 3*w - 10 - g. Suppose 21 = 3*a - 3*t, 2*a = -w*t + 31 + 13. Is a a multiple of 7?
False
Let b = 262 - -38. Is 18 a factor of b?
False
Let n(r) = 14*r**2 - 46*r + 21. Is n(-10) a multiple of 35?
False
Let i(h) = -4*h + 0*h + 3*h + 3*h - 5. Let a be i(4). Suppose -r = a*r - 20. Is r a multiple of 5?
True
Let o = 14 + -11. Suppose 0 = o*x - 71 - 34. Is x a multiple of 9?
False
Let l(t) = -20*t. Is 8 a factor of l(-6)?
True
Suppose -3*q = -5*l + l - 28, -14 = 2*l + 4*q. Let k(c) = 58*c**2 + 4 + 4*c**3 - 2*c - 5*c**3 - 130*c**2 + 67*c**2 + 11*c. Is k(l) a multiple of 19?
False
Let b = 4 - 1. Suppose b*i - p - 34 = p, -5*i + 55 = -3*p. Let j = 13 - i. Is 2 a factor of j?
False
Let j = 247 - -1130. Is j a multiple of 81?
True
Let l be 1/4*-7*-2*10. Let h = l + -15. Is h a multiple of 6?
False
Let q(n) = 2*n**2 + 5*n - 9. Let z be q(-6). Suppose -3*r = -u + z, -59 - 39 = -4*u - 5*r. Suppose -5*k = -6*k + u. Does 20 divide k?
False
Let g be (-87)/27 + (-2)/(-9). Let v be (3/(-9))/(g/207). Let b = v - 2. Is 5 a factor of b?
False
Is 41 a factor of 805 - (-4 + -5 + 16)?
False
Suppose -3*k - 86 = -u, -3*u - 2*k = -126 - 77. Is u a multiple of 2?
False
Suppose 0 = -36*r + 38*r + 20. Let h(g) = g**2 + 4*g + 14. Is 21 a factor of h(r)?
False
Let u(w) = w - 11. Let m be u(3). Let t be -2*12/m - -3. Suppose t*a - 144 = 72. Is 12 a factor of a?
True
Suppose 493*b = 507*b - 5068. Does 13 divide b?
False
Suppose 0 = -5*b + 13 + 87. Let a be 879/4 + 5/b. Suppose -3*m - 2*m + a = 0. Is 22 a factor of m?
True
Let n be ((-3)/((-6)/2))/(-1). Let z be (n + -1)*17/2. Is ((-16)/(-4))/(-2) - z a multiple of 5?
True
Let j(o) = -298*o**3 - o**2 + 2*o + 2. Let x be (8/12)/((-12)/18). Does 30 divide j(x)?
False
Let k(g) = g**3 + 3*g**2 + 2*g - 4. Let d be k(-3). Let b be (d - 13)*(1 + 0). Let x = 36 + b. Is x a multiple of 13?
True
Let t = -46 - -46. Suppose -8*q + 1447 - 159 = t. Is q a multiple of 23?
True
Let n be ((12790/4)/5)/((-1)/(-4)). Is (-12)/15 - n/(-10) a multiple of 31?
False
Let d be (-20)/(-6)*36/30. Suppose d*c - 258 + 2 = 0. Is c a multiple of 53?
False
Let r be (21 - -1)*(-18)/(-3). Let g = -34 + r. Does 21 divide g?
False
Let s(z) = 45*z + 2. Let r be (3 - 0)/((-15)/(-10)). Let k be s(r). Suppose 2*c - 4*q = k, q + 3 = 4*q. Is 12 a factor of c?
True
Let w be -3 - -7 - (-4 - -4). Suppose -55 = -w*y + 457. Does 27 divide y?
False
Let h(n) = n**3 - 9*n**2 + 7*n + 43. Is 18 a factor of h(13)?
True
Suppose 0 = -5*o + 3*k + 1855 + 674, -492 = -o - 4*k. Is o a multiple of 8?
True
Suppose 45 = -5*r - 25. Let x = -6 - r. Does 12 divide 28 + 7/((-14)/x)?
True
Let r(l) = l**3 - 2*l**2 - 3*l + 4. Let t be r(3). Let z(a) = a**2 - 8*a - 6*a**2 + 3*a**2 + 5*a**2 - 4. Is z(t) a multiple of 4?
True
Suppose 5*h - 3*a - 5829 = 0, h - 8*a - 1173 = -5*a. Is h a multiple of 16?
False
Let c(r) = r**3 - r**2 - 4*r - 3. Let d(v) = 2*v**3 - v**2 - 2*v - 1. Let y be d(-1). Let n be c(y). Let a(i) = -10*i - 17. Does 19 divide a(n)?
False
Let b(g) = g**3 - g**2 - 2*g + 2. Let z be b(1). Suppose -2*a + 4*a - 208 = z. Is a a multiple of 8?
True
Let i(q) = 2*q + 167. Is i(59) a multiple of 15?
True
Let y(w) = 60*w + 11. Let x be 4*2/8*-4. Let d be y(x). Let i = -149 - d. Is i a multiple of 40?
True
Let v(z) = -2*z + 1 + 5 + 0*z - 3*z. Is v(-6) a multiple of 9?
True
Suppose -66*t = -32*t - 23596. Is 49 a factor of t?
False
Let b(l) = l**2 + 11*l + 11. Let o(n) = n - 7. Let i be o(-5). Let y be b(i). Let p = 30 - y. Is 2 a factor of p?
False
Suppose 4*j - 1 = 19. Let o = 80 + -35. Suppose j*s + o = 225. Does 13 divide s?
False
Let x = -10 + 21. Let o = x + -27. Is (-432)/64*o/3 a multiple of 18?
True
Let w be (-10795)/(-20) + (-1)/(-4). Suppose 0*c = 3*c - w. Suppose 3*q + 0*q = c. Does 15 divide q?
True
Suppose 2*h - 68 = 86. Is 63 a factor of h?
False
Let c(i) = i**3 + 3*i**2 - 31*i + 17. Does 10 divid