 r?
True
Let u be 1/(-4) - 119/4. Let b be (80/u)/((-4)/6). Suppose 10 + 16 = j - 4*w, -4*w = b. Does 15 divide j?
False
Let f(k) = 3*k**3 - k**2 - k + 1. Let v be f(1). Suppose 7*l = -v*l + 54. Does 5 divide l?
False
Let d = 115 - 153. Does 5 divide (69 + 1)/(d/(-57))?
True
Let b(w) = 2*w**2 - w. Let d be b(3). Let c = -12 + d. Is (-40)/c*(-36)/10 a multiple of 12?
True
Suppose 2*n + 5*h = -2*n + 37, 5*n - 36 = 4*h. Suppose -330 = 5*v - n*v. Is 22 a factor of v?
True
Suppose -5*p = 3*f - 66, 5*f - 1 = -3*p + 109. Let g = f + -20. Suppose -3*u + 121 = -v, g*u - 62 = v + 17. Does 21 divide u?
True
Let z = 229 + -13. Is 9 a factor of z?
True
Let h = -242 - -346. Is 2542/16 - (-13)/h a multiple of 27?
False
Suppose 4*s + 36 = h + s, 51 = 2*h + s. Suppose -h = -g - 23. Suppose n = g*n - 102. Does 6 divide n?
False
Let u(j) = 2*j + 149. Does 10 divide u(-33)?
False
Let j = 17 - -75. Is 13 a factor of j?
False
Let w be ((-18)/12)/(2/44). Is (3 - w/6)/((-2)/(-4)) a multiple of 4?
False
Let g = -6 - -8. Suppose 0 = -g*n - 5*r - 7, -2*n + 2*r + 17 + 11 = 0. Suppose -2 = c - n. Is 2 a factor of c?
False
Let d(i) = 15*i**2 + 2*i - 2. Is 40 a factor of d(5)?
False
Suppose 26 = -5*v + 4*x, -3*v - 20 = -3*x - 2. Is 8 a factor of (2 - v) + (-140)/(-4)?
False
Let n = -134 + 691. Does 6 divide n?
False
Let k(c) = 14*c - 56. Suppose -2 = -4*m + 2, -n + 13 = 4*m. Does 7 divide k(n)?
True
Let m(x) = 51*x**3 - 2*x + 1. Let j be m(1). Suppose -j = -v - v. Suppose -u + 2*k + 7 = 0, u - 2*k - v = -2*u. Is 9 a factor of u?
True
Let r = 28 - -57. Suppose -4*d - r = d. Let f = 62 + d. Is 19 a factor of f?
False
Let d(a) = 3*a**2 - 4*a - 2. Let y(v) = -v. Let t(n) = d(n) - 6*y(n). Is 20 a factor of t(-6)?
False
Let a = 0 - -149. Is 2 a factor of a?
False
Let n = 39 + -31. Suppose -23 = n*o + 297. Does 2 divide o/(-3) + (-6)/(-9)?
True
Let x be 10/(-25) + (-66)/10. Let i(a) = -6*a - 7. Let f be i(x). Suppose 3*o - 291 = -5*m - o, f = m - 5*o. Is 7 a factor of m?
False
Let f = -649 - -1207. Does 31 divide f?
True
Suppose -10*r + 7 = -9*r. Suppose -r*a = -2*a - 400. Is 5 a factor of a?
True
Let n(u) = 3*u**2 - u + 3. Let p be n(-3). Let x(r) = -r - 14. Let c be x(4). Let o = c + p. Is o a multiple of 15?
True
Suppose -72*h + 77*h - 1776 = -k, 5*k - 1425 = -4*h. Does 71 divide h?
True
Let b(h) = 88*h**2 + 5*h + 3. Let w be b(-3). Does 8 divide w/(-13)*(-16)/10?
True
Let m(q) = -8*q**3 - 22*q**2 - 14*q - 27. Let i(p) = -11*p**3 - 33*p**2 - 21*p - 41. Let u(x) = 5*i(x) - 7*m(x). Let s = -5 + 17. Is u(s) a multiple of 17?
False
Let l = 20 - 16. Let y(d) = -d**2 + 2*d + 14. Does 3 divide y(l)?
True
Let l = -6 + 40. Suppose l = 3*y - g + 189, g = -2*y - 100. Let s = y + 87. Is 12 a factor of s?
True
Suppose 4876 = 4*b - 4*a + 6*a, b + 2*a = 1222. Suppose -6*n + b = 306. Is n a multiple of 40?
False
Let f(k) = -k**3 - 28*k**2 + 37*k + 1. Is f(-32) a multiple of 137?
False
Suppose -136*x = -134*x - 972. Does 6 divide x?
True
Let m(k) = -k + 14. Let s(q) = -q**3 - 5*q**2 - q + 6. Let w be s(-5). Let f be m(w). Is (2/f)/(3/117) a multiple of 6?
False
Let l be -23 - -19 - (-15 - 0). Let r(x) = 3*x + 3. Let f be r(-5). Let o = l - f. Is o a multiple of 14?
False
Let w be 2/((3 - 5) + 0). Let t be 126/(-12)*(7 - w). Is (-36)/t + (-81)/(-7) a multiple of 4?
True
Let y be (-2*(2 - 3))/(-4 - -3). Is 30/10 + ((-66)/y - -1) a multiple of 2?
False
Let i = 579 + -363. Is (2/9*-3)/((-2)/i) a multiple of 9?
True
Suppose -5*s - f + 2700 = 0, 16*s - 12*s - 2179 = 3*f. Does 7 divide s?
False
Let s = 2500 - -68. Is s a multiple of 18?
False
Let y(z) = 33*z - 3. Let u be y(1). Suppose h = 3*i + 22, 0 = -h + 4*i + i + u. Is 5 a factor of h?
True
Let r = 337 + -282. Is 11 a factor of r?
True
Let a(m) = -33*m - 10. Does 7 divide a(-5)?
False
Let j(q) = -100*q - 238. Is j(-4) a multiple of 6?
True
Suppose -3*a = -4*d + 2868, 2*a = 3*d - a - 2148. Is d a multiple of 18?
True
Is (-13)/((-39)/(-9)) + 371 a multiple of 46?
True
Let i(c) = 2*c**2 + c - 8 - c**2 - 5*c. Suppose 3*s + 19 = 4*k + 1, -2*s + 5*k - 12 = 0. Is i(s) a multiple of 13?
True
Does 12 divide (-19)/((-95)/(-108))*-70?
True
Let d = 138 + -86. Suppose 4*s - z - 577 = 0, s - d = -4*z + 88. Does 36 divide s?
True
Is 7 a factor of (133/2)/(33/264)?
True
Suppose -2*p = 10, -f - 2*p = -p - 191. Suppose -5*n + f = -n. Does 16 divide (252/n)/((-4)/(-14))?
False
Suppose -16*i - 3*i = -38. Suppose -b - 256 = -5*t, i*b + 68 + 80 = 3*t. Is t a multiple of 4?
True
Is 2 a factor of 45 - (3 - 2*(-5 + 4))?
True
Is (-576)/6*(1 + -6) a multiple of 16?
True
Does 4 divide 127 - (30/(-3) + 6)?
False
Let p = -367 + 550. Is p a multiple of 11?
False
Suppose 4*t - 2*c - 1418 = 0, -4*t - 3*c - 1413 = -8*t. Is t a multiple of 51?
True
Suppose -5*h = -3*i - 15, 0 = -2*i - 3*i. Suppose h*p = 191 + 49. Is (156/(-65))/((-2)/p) a multiple of 32?
True
Let f(q) = 2*q**3 + 4*q**2 + 7*q - 8. Let r be f(4). Let y = r - 73. Is 42 a factor of y?
False
Suppose 0 = 20*x - 72*x + 103012. Does 51 divide x?
False
Suppose 5*b + 512 = 2*z - 525, -z + 511 = -4*b. Does 8 divide z?
False
Is 12 a factor of 1*(-8 + 373 + 8)?
False
Let j = 628 - 412. Does 8 divide j?
True
Suppose 0*y - 59 = -v + y, 51 = v - 5*y. Does 9 divide v?
False
Suppose 3*h - 451 = 338. Suppose 2*n - h = 61. Is 18 a factor of n?
True
Let v be ((-35)/7 - -31)/((-2)/10). Let u = v - -136. Does 6 divide u?
True
Is 19449/27 + 2 + (-7)/3 a multiple of 40?
True
Let s = 103 + 113. Is s a multiple of 27?
True
Let n = -199 - -184. Suppose -y = 2*y - 4*q - 52, 5*q = 2*y - 30. Let u = y + n. Is 5 a factor of u?
True
Let b(t) = t**2 + 8*t + 11. Let p be b(-11). Let s be 1/(-2) + p/8. Suppose 2*f = -4*h + 2*h + 46, 147 = s*h - 3*f. Is 9 a factor of h?
True
Suppose -2*r - h + 27 = -0*h, 4*r + 4*h - 48 = 0. Is 391/5 + r/(-75) a multiple of 26?
True
Let v(y) = 6*y + 47. Let n be v(-7). Suppose -n*p = -589 - 451. Is 30 a factor of p?
False
Let n(l) = -l - 2. Let q be n(-7). Suppose -6*i + i + 3*y = -402, q*i = -5*y + 410. Suppose i = m + 27. Is 18 a factor of m?
True
Let p(r) = -r**3 + 11*r**2 + r - 14. Let b be p(11). Suppose 5*m + 10 - 45 = 0. Let x = b + m. Does 2 divide x?
True
Let p(j) = -j**3 - j**2 + j + 25. Is p(-5) a multiple of 12?
True
Let u(j) = -13*j + 13. Let b(m) = 273*m - 273. Let n(o) = 5*b(o) + 104*u(o). Let g be 8/(-28) + 88/14. Is 10 a factor of n(g)?
False
Is (-1)/((-15)/(-756))*(-240)/72 a multiple of 3?
True
Let i(k) = 3*k + 12. Let u be i(-5). Is 15 a factor of 1*(u - -4)*60?
True
Is 12 a factor of 2 - 0 - (-10)/1?
True
Let a(w) = w + 41. Let v(c) = 2*c + 40. Let s(n) = 6*a(n) - 5*v(n). Is s(-9) a multiple of 7?
False
Let a = -245 + 544. Does 57 divide a?
False
Let u = -587 + 1387. Does 50 divide u?
True
Let u = -10 - -10. Suppose 2*q + 71 - 183 = u. Is 14 a factor of q?
True
Suppose 0 = 3*c - 0*c - 42. Let r(t) = 4*t + 4. Does 15 divide r(c)?
True
Suppose 0 = -33*d - 6165 + 68568. Is d a multiple of 61?
True
Let a = -33 + 31. Let n(z) = -2*z**3 - 5*z - 5. Does 21 divide n(a)?
True
Suppose 18*l - 6392 = 10*l. Does 47 divide l?
True
Let i(l) = 7*l**3 - l**2 + 5*l - 4. Let n be i(3). Suppose 0 = 4*d - n - 49. Does 31 divide d?
False
Let u(i) = -i**3 - i**2 + 4*i + 412. Does 4 divide u(0)?
True
Suppose -4*k + 2*q + 1534 = 0, -5*k = 5*q - 2068 + 143. Is 16 a factor of k?
True
Let m(n) = n + 11. Let g be m(-10). Let q be -2 + 5 - (g - 3). Suppose -q*p + 0*p + 130 = 0. Is 13 a factor of p?
True
Let h = -915 + 1401. Does 54 divide h?
True
Let v be 0*(0 + -1) - 2 - 50. Let h = v + 115. Is h a multiple of 16?
False
Suppose -m - 2280 = -5*m - 4*a, 0 = 3*m - 5*a - 1670. Suppose -4*z + 4*y = 7*y - m, 0 = 3*z - 2*y - 428. Suppose 5*v = 452 - z. Is 15 a factor of v?
False
Suppose 136 = 17*f - 15*f. Suppose 5*x + f = l, -2*l - x = 2*x - 188. Is 22 a factor of l?
True
Suppose 2*u + 20 = 4. Is 18 a factor of 2/u + 1251/12?
False
Let z = -69 + 63. Is (z/(-5))/((-2)/(-5))*28 a multiple of 12?
True
Let u(j) = -5*j**2 + 2. Let r be (4/(-12))/((-1)/(-6)). Let g be u(r). Is (22/(-4))/(9/g) a multiple of 11?
True
Suppose 3*v = -5*k + 21 + 9, -3*v + k = -12. Suppose 0*y + v*y = 3*l + 384, l = -4*y + 314. Is 26 a factor of y?
True
Let m = -76 + 33. Let b = -31 - m. Does 4 divide b?
True
Suppose -5*y + 24 = -0*y + z, 0 = -4*z + 16. S