54?
True
Let j be (1 + -2)/(12/24). Let w be ((-25)/(-2)*j)/(-1). Let t = -5 + w. Is t a multiple of 11?
False
Let u = 5 - 2. Suppose 2*k - 2*q - 209 = u*q, 0 = 3*k + 3*q - 345. Suppose 8*i = 4*i + k. Does 14 divide i?
True
Suppose -1266 = 15*n - 18*n. Does 18 divide n?
False
Suppose -5*g = -2*f + 11 - 42, 3*g - f = 18. Suppose g*i - 11 = o - 0, -5*o + 3 = 4*i. Suppose -5*x + p = 8 - 29, i*p + 12 = 4*x. Is x a multiple of 5?
True
Let m(q) = q**3 + q**2 + 1. Suppose 5*p + 15 = 5*n, 4*p - 3 = 5*n - 20. Let s(c) = -c**3 + 4*c**2 + 4. Let t(v) = p*m(v) + s(v). Is 3 a factor of t(-6)?
True
Let u(n) = 14*n**2 - n - 2. Does 28 divide u(2)?
False
Let i(k) = -2*k + 3. Let g be i(0). Suppose -g*s = -4*s + 5*z + 20, -2*s + 8 = -2*z. Suppose s = 2*a + 5*c - 36, 5*a - 42 = c + 48. Does 5 divide a?
False
Suppose 325 = -5*b - 5*r, -2*b + 5 = 5*r + 120. Let n = b - -117. Does 11 divide n?
False
Is 9*13/1521 - 7578/(-13) a multiple of 11?
True
Suppose 0 = -0*l + l + 58. Let r = 126 + l. Is 16 a factor of r?
False
Suppose -1 - 11 = -2*s. Suppose -2*q - 1230 = -7*q + 3*a, -263 = -q + 4*a. Suppose -q = -s*r + 117. Is 12 a factor of r?
True
Suppose 3*t - 1014 = -246. Is 18 a factor of t/7 + 36/(-63)?
True
Suppose 6*t + 15 + 57 = 0. Does 10 divide 3/(-12) + (-27)/t - -157?
False
Does 17 divide 1630/4*42/35?
False
Let c(z) = -z**3 + 7*z**2 + 8*z - 2. Let q(s) = 3*s - 9. Let k be q(4). Suppose 0 = k*w + w - 28. Does 9 divide c(w)?
True
Let t(n) = -8*n - 19. Let a(s) = -44*s - 104. Let x(g) = -5*a(g) + 28*t(g). Suppose 0 = -2*l - 3*l - 40. Is 6 a factor of x(l)?
False
Let b be (1 + -11)*(1 - 2). Let g = 19 + -59. Is b*-2*36/g a multiple of 6?
True
Suppose 5*b + 71 + 144 = 0. Let i = 12 - b. Does 5 divide i?
True
Let a = 29 + -4. Suppose -5*t - a = -3*r, -2*t - 25 = -r + 3*t. Suppose 4*l + 3*x - 97 = r, 4*l - 4*x = l + 54. Is l a multiple of 11?
True
Suppose 3*o + 15 = 0, -4*o = d - 348 + 98. Is d a multiple of 2?
True
Let x(o) = 79*o - 1. Let p be x(-1). Let f = 155 + p. Does 5 divide f?
True
Let i(m) = 42*m**2 + 2*m - 1. Let r be 14/(-4) + (-6)/12. Let y = -3 - r. Is 13 a factor of i(y)?
False
Let b(v) = 7*v**2 - 5*v**2 - v**2 - 7*v. Let p be b(6). Let i(y) = y**3 + 8*y**2 + 4*y - 6. Is 14 a factor of i(p)?
True
Let v(d) = -2 - 250*d - 6 + 1 - 394*d. Let q be v(4). Is q/(-45) + 4/(-10) a multiple of 19?
True
Suppose -5*q - 285 = 60. Let g = q - -117. Is g a multiple of 4?
True
Let j be (20/(-6))/(12/54). Let d = j + 12. Let z = d + 51. Is z a multiple of 12?
True
Does 72 divide (2/6)/(59/72570)?
False
Suppose -5*t - 1135 = m, 14*m - 10*m = 20. Is t*(20/8 - 3) a multiple of 38?
True
Let h = 1733 - 1213. Is 39 a factor of h?
False
Suppose f - 14185 = -4*n, -5 = 18*f - 23*f. Is n a multiple of 18?
True
Let p(s) = -s - 8. Let v be p(-9). Suppose r = 34 + v. Is r a multiple of 7?
True
Let s(o) = 92*o**2 + 12*o + 37. Does 23 divide s(-5)?
True
Let h = 1041 + -524. Suppose 9*r - h = -2*r. Does 19 divide r?
False
Let r(o) = -110*o**3 + o**2 - 2. Let l be r(-1). Let n = l + -98. Is 7 a factor of n?
False
Let r be (-4)/6 - (-453)/(-9). Let i(k) = 8*k**2 + 4*k - 7. Let y be i(3). Let d = y + r. Is d a multiple of 13?
True
Let s(p) be the third derivative of -p**4/24 + p**3/2 - 3*p**2. Let r be s(2). Suppose r - 15 = -g. Is g a multiple of 6?
False
Suppose 10 = 5*r, 2*r - 1128 = -4*k - 2*r. Does 14 divide k?
True
Suppose 6 = -4*i + i. Is 16 a factor of ((-4)/1)/(i/64)?
True
Let s = -52 - -7. Let b = 96 + s. Is 12 a factor of b?
False
Let r(w) = w - 4. Let a be r(7). Suppose 169 = a*n + 55. Does 5 divide n?
False
Let i(o) = 14*o**2 + o. Suppose 11*a = 1 - 12. Does 4 divide i(a)?
False
Suppose 53 = 2*b + 11. Let l be 6/21 + 36/b. Is -1 + (26 - -1 - l) a multiple of 10?
False
Let s be (592/(-20))/(8/(-20)). Suppose 20 = -3*o - 2*o, 5*o = -2*i + s. Is 5 a factor of i?
False
Suppose -2*j + 4 = -j. Suppose 3*t + 2*s = 91, 4*t + 67 - 187 = -j*s. Does 31 divide t?
True
Let z(l) = -l + 1. Let g(u) = -u**2 - 18*u. Let k(p) = -g(p) + 3*z(p). Let n be k(-12). Let b = 56 + n. Does 4 divide b?
False
Suppose 0 = 4*m - 5*x + 797, x + 0 = 1. Does 46 divide (-9)/18 - m/4?
False
Let f(k) = -k**2. Let r(m) = -18*m**2 - m + 1. Let t(u) = -6*f(u) - 2*r(u). Is 14 a factor of t(1)?
True
Let s = 1069 - 563. Is s a multiple of 8?
False
Suppose -38*m = -41*m + 102. Does 17 divide m?
True
Let s(k) = k + 51. Let m be s(0). Let p be 3/9 + m/9. Does 5 divide p*((-1)/2 - -3)?
True
Let k(v) = v**3 - v**2 - v + 24. Suppose 3*j + 2 + 3 = 5*d, 2*j + 2 = 2*d. Is k(j) a multiple of 6?
True
Suppose -m = 4*y - 437 - 400, -m + 4*y + 805 = 0. Does 61 divide m?
False
Is 8 a factor of 456 + 5 + 1 + -1?
False
Suppose 38 = -5*f - 5*r + 93, f = 4*r + 31. Let u be -5*(-6)/f + -2. Suppose k = -4*t + 33 + 66, u = 2*t + 5*k - 45. Is 8 a factor of t?
False
Let o(q) = -4*q**2 - q. Let v(m) = 16*m**2 + 5*m. Let g(s) = -9*o(s) - 2*v(s). Does 18 divide g(-2)?
True
Let u = -5 + 50. Let h be 1*2 - (15 - u). Does 14 divide h/(-144) + 508/18?
True
Let q(x) = -x**3 + 5*x**2 - 6*x + 5. Let m be q(4). Is 21 a factor of m - (-3 - 126/2)?
True
Does 27 divide (-10)/5 - (1 + -108)?
False
Let w be (-272)/(-10) + 1/(-5). Let q = 31 - w. Does 4 divide q?
True
Suppose 5 = -n + 3*i, 6*n = 7*n + 2*i + 15. Is 11 a factor of 19/1 + 9 + n?
False
Let c(g) = -g**2 + 9*g + 3. Let x be -2 + 6 + (0 - -5). Let z be c(x). Suppose -3 = -z*u, a - 3*u = -2*u + 19. Is a a multiple of 5?
True
Suppose 201 = -0*b + b + 4*p, -4*b + 3*p = -823. Let v = -140 + b. Is 5 a factor of v?
True
Suppose -26 + 4 = -2*h. Suppose -2*v = 3*c + h, 5*v + 2*c = -8 - 3. Let a = 5 - v. Is 2 a factor of a?
True
Suppose -2*f = -18 - 10. Let u = 20 - f. Let k(j) = 7*j - 2. Is 11 a factor of k(u)?
False
Let u = 42 - 66. Is 18 a factor of 1*206*(-2)/u*6?
False
Let p be 13/((-65)/(-1000))*3/2. Suppose 12*b - 7*b = p. Is 12 a factor of b?
True
Suppose -4*l = -l - 51. Does 4 divide l + 4 + 3 + -3?
False
Suppose -2*c - 313 + 65 = -3*a, 4*a + 2*c = 312. Is 16 a factor of a?
True
Suppose 2002 = 23*u - 16*u. Does 13 divide u?
True
Suppose 0 = 6*b - 8*b + 6. Suppose 0*q - f = -3*q + 41, b*f - 33 = -4*q. Suppose -4*h + 146 = 5*y, 4*h = 2*y - q - 24. Is y a multiple of 26?
True
Let s(f) = -f**3 + 10*f**2 + 10*f + 15. Let w be s(11). Suppose 28 = 6*y - w*y. Does 13 divide y?
False
Suppose -7*y + 4 = -5*y. Suppose 2*v - y = -2*n, -4*n + 5*v = -7*n + 5. Suppose -134 = -2*x - n*x. Is 23 a factor of x?
False
Let l(z) = 194*z - 8. Is l(1) a multiple of 34?
False
Let g(q) be the third derivative of q**6/120 + 3*q**5/20 - 5*q**4/24 + 5*q**3/2 + 30*q**2. Is g(-9) a multiple of 25?
False
Let v = 1208 + -2108. Is ((-1)/2)/(3/v) a multiple of 32?
False
Let j = 3266 - 2139. Does 31 divide j?
False
Suppose 2*v - 2*o - 53 = -o, 5*o = -v - 1. Let w = 21 + v. Suppose -2*i = i - w. Is i a multiple of 8?
False
Suppose 0 = -16*w + 221 - 29. Let c = -11 - -5. Let m = c + w. Is 6 a factor of m?
True
Let f(t) = -t**2 + 3*t + 2. Let x be f(3). Suppose 4 = x*u - 0*u. Let j = u - -51. Is 9 a factor of j?
False
Let t(q) be the third derivative of 0 + 0*q + 1/120*q**6 - 3*q**2 - 1/3*q**4 + 1/3*q**3 + 1/12*q**5. Is t(-6) a multiple of 8?
False
Let i be 8/3 + -14 + 598/39. Let g be (-3)/(6/10) + -2. Does 17 divide g/(33/9 - i)?
False
Suppose 2*w - 5*t + 2 = 25, -2*w + 18 = -4*t. Is (-3 - (w - -1)) + 33 a multiple of 30?
True
Let x(d) = -4*d + 0*d + 2*d**2 + 2 + 2. Let b be x(2). Suppose b*v - 105 = -v. Does 21 divide v?
True
Let g = -5 + -8. Let i = 1264 - 1286. Let h = g - i. Does 9 divide h?
True
Let d = 8618 - 5911. Is d a multiple of 23?
False
Suppose -2*a = 5*v + 34, 3*v + 0*v = -3*a - 51. Let u = -28 - a. Let q = u - -22. Is 11 a factor of q?
True
Let z(f) = f**3 - 12*f**2 - f - 29. Let d be z(12). Let i = d + 98. Does 19 divide i?
True
Is 44 a factor of 0 + (-6350)/(-15) + 2/3?
False
Suppose 3*g = g + 4. Suppose 5*u = -4*j - 34, 6*j - g*u + 59 = j. Is (5 + j)*10/(-4) a multiple of 3?
True
Suppose 2*q - 75 = -3*q. Suppose -d + q = 2*d. Let i = d + 5. Does 5 divide i?
True
Let i(o) be the third derivative of -o**5/60 + 11*o**4/24 - 19*o**3/6 - 7*o**2. Is i(7) even?
False
Suppose -v + 1 - 7 = 0. Let d = 11 + -9. Is (v/4 + d)*12 even?
True
Suppose 507 = 12*k - 11*k. Does 13 divide k?
True
Let r = 54 + 9. Suppose 5*f = -2*f