+ 5661898/793?
True
Let r(n) = n**3 - 7*n**2 - 2*n + 24. Let l be r(6). Let y be 4*5*-9*4/l. Let j = y - -70. Is j a multiple of 12?
False
Is (-64)/(-160) - ((-20012)/(-6))/((-50)/90) a multiple of 4?
True
Let r(i) = 81*i - 255. Let t(u) = u**3 + 6*u**2 + 6*u + 2. Let b be t(-2). Is r(b) a multiple of 7?
True
Suppose 0 = -2*v + 3*g + 1, 4*v - g = 4*g + 5. Suppose 4*q - 2923 - 1696 = x, x + 5775 = v*q. Is q a multiple of 17?
True
Suppose 433 = 2*g + d, 2*d - d + 5 = 0. Suppose -616 = -o - g. Suppose -o = -14*t + 149. Does 6 divide t?
False
Let f(r) = -9*r + 3*r**2 - 4*r**2 + 70 - r - 2*r. Is f(-12) a multiple of 35?
True
Let i = -64 + 555. Suppose -4315 = -8*c - i. Does 18 divide c?
False
Let p(y) = 377*y**2 + 299*y + 20. Is p(-9) a multiple of 50?
False
Let a(v) = -v**2 - 2*v + 17. Let j be a(0). Let z = j - 15. Suppose -416 = -4*f + m, -7*f + 4*f - z*m + 312 = 0. Is f a multiple of 16?
False
Suppose -c - c = -406. Let n = -58 + c. Does 12 divide n?
False
Let z be (-4 - 0) + (-7 - -110). Let g = z - 91. Suppose 2*m = 3*u - 246, 2*u + 4*m - g*m - 156 = 0. Is 21 a factor of u?
True
Let o = -1051 + 2600. Is 5 a factor of o?
False
Let r = -59 + 65. Suppose r*o = -2*o - 80. Let v(n) = n + 24. Is 14 a factor of v(o)?
True
Suppose -9*h + 4*h = -10. Suppose h*j - 6 = -j. Suppose -j*o + 2 = -4. Does 3 divide o?
True
Let q(n) = 19*n + 8. Let m be q(-6). Let f = m - -253. Is 49 a factor of f?
True
Suppose 7*f + 51 = 268. Suppose -f*y - 1209 = -6324. Does 55 divide y?
True
Suppose -10*a + 164 = 14. Suppose 2*z = -4*v + 9156, 3*v + 5*z - 6709 - 165 = 0. Suppose 0 = -a*g + 4*g + v. Is g a multiple of 12?
False
Let l be 2*(27 - (-3 - 0)). Let k be (-2)/(-12) + 170/l. Suppose k*t - 3*p = -4*p + 341, -5*p - 250 = -2*t. Is 19 a factor of t?
False
Suppose -u - 2*u - 3*n = -705, -3*u - 2*n + 700 = 0. Let p = u - -168. Does 38 divide p?
False
Let h(n) = -28*n**3 - 7 - 1 - 33*n**2 - 39*n + 27*n**3. Does 18 divide h(-32)?
True
Let i = -63 + 116. Suppose 159 = -2*w - i. Let t = -43 - w. Is t a multiple of 20?
False
Let j(c) = c**2 - 6*c + 9. Let l be j(4). Let w(f) = 5 - l + 1 - 91*f. Is w(-1) a multiple of 24?
True
Suppose 5*p + 0*p - 412 = r, -3*p + 255 = 2*r. Does 7 divide p?
False
Let v = 162 - -127. Suppose -2*o = 3*x - 936, -2*x - 2*o = -335 - v. Is 24 a factor of x?
True
Let c = -2 + 8. Let d(a) = 16 - 2*a - c*a + 7*a. Does 19 divide d(-16)?
False
Is (-4 + 84/30)/(20/(-25))*3156 a multiple of 61?
False
Let r(z) = -z**3 - 14*z**2 + 13*z - 28. Let x be r(-15). Is 43 a factor of (-45)/x*((-5796)/35)/6?
False
Suppose 8*d = -7*d + 60. Is 22/d*10728/36 a multiple of 12?
False
Let y(v) = 7*v**3 - 20*v**2 - 187*v + 16. Let i(d) = 11*d**3 - 30*d**2 - 281*d + 24. Let u(n) = 5*i(n) - 8*y(n). Does 22 divide u(-6)?
True
Suppose 5*b - 4*q - 58761 = 0, 3*b - 48125 = q - 12867. Is 161 a factor of b?
True
Let l = -235 - -526. Let n = l - 199. Is n a multiple of 45?
False
Suppose 0 = -2*x - 4293 + 28029. Is 43 a factor of x?
True
Let s(x) be the first derivative of 148*x**2 - 100*x - 115. Is 20 a factor of s(5)?
True
Suppose -5*t = -34 + 4. Suppose -3*p = -t*p - 6, 4*a = -3*p + 2622. Is a a multiple of 8?
False
Let j(p) be the second derivative of p**3/6 - p**2 + p. Let d be j(4). Suppose -7*n = -4*n - 3, -d*n = -5*b + 278. Is b a multiple of 14?
True
Suppose -15*r + 35035 - 14290 = 0. Let v = -879 + r. Does 13 divide v?
False
Let q = 34 - 220. Let w = q + 424. Is w a multiple of 32?
False
Suppose 52*j = 56*j - 12. Let n = -14 - -14. Is 13 a factor of n + -3 + j + -2 - -32?
False
Let c(g) = -2*g**3 - 52*g**2 - 25*g - 6. Let v = -342 - -316. Is 34 a factor of c(v)?
False
Let y(x) = x**2 + 19*x + 35. Let p be y(-17). Does 17 divide p*51*(0 - (2 + -5))?
True
Let t(f) = 7*f**3 + 25*f**2 - 54*f - 39. Let i(s) = 3*s**3 + 12*s**2 - 27*s - 19. Let h(q) = 5*i(q) - 2*t(q). Is 28 a factor of h(-9)?
False
Suppose g + 72 = 4*s, 5*s - 2*g - 93 = -6. Suppose 3*h + 183 = 5*i, 0 = i + s*h - 21*h - 38. Does 18 divide i?
True
Let a = -16 - -23. Let p(f) = 4*f**2 - 8*f - 4. Does 34 divide p(a)?
True
Let y = -11043 - -50495. Is 28 a factor of y?
True
Suppose -258 + 348 = 5*d. Suppose -3300 = -3*f + 3*h, 3*f + d*h = 14*h + 3314. Does 29 divide f?
True
Suppose -p + 104*j + 1788 = 107*j, 4*p - 7200 = -4*j. Does 7 divide p?
True
Suppose -65*s = 4*q - 61*s - 12, 3*s = -q + 15. Suppose -d + 26 = -60. Is 6 a factor of q*d*(16/(-12) + 1)?
False
Is 7621 + (-3 - -11) + -3 + -7 a multiple of 12?
False
Let a = 63 + -45. Let s(x) = 8*x - 106 - 76 + 278 - 110 - 3*x. Does 19 divide s(a)?
True
Suppose 3*o = -2*x - o - 14, 5*x - 5*o = -50. Let m be (-2)/(-5) - x/(45/(-202)). Is (1 + (-15)/10)*m a multiple of 10?
True
Let z(b) = -b - 14. Let x be z(-12). Let p(i) = 2*i**3 + i**2 + 4*i. Let t be p(x). Does 4 divide -1 + 2 + -5 - t?
True
Let g = 174 - 163. Suppose 0 = -11*v - g*v + 8910. Does 29 divide v?
False
Let b be ((2 + -2)*-1)/(-24 + 26). Suppose -3*j + 59 + 46 = b. Is j a multiple of 7?
True
Suppose 3*v = 6*v + 3*m - 132, 0 = 3*v + 4*m - 133. Let b = v + -33. Suppose 96 = -6*z + b*z. Is z a multiple of 12?
True
Suppose -71*r + 11890 = -70*r + 2*n, r - 11908 = 4*n. Is 249 a factor of r?
False
Let g(c) = c**3 + 9*c**2 + 5*c - 28. Let z be g(-6). Does 29 divide (-4)/10 + 41320/z?
False
Let o(t) be the second derivative of t**3/3 + 637*t**2/2 - 3*t - 5. Is 12 a factor of o(0)?
False
Suppose -6*d - 5*v + 715 = -9*d, -d - 2*v = 231. Let l = -139 - d. Is l a multiple of 8?
True
Let m(k) = 2*k**3 + 15*k**2 + 11*k + 1693. Let q(u) = -u**3 - 8*u**2 - 6*u - 847. Let f(o) = 3*m(o) + 5*q(o). Is f(0) a multiple of 60?
False
Is 17 a factor of (-648)/567 + 44/14 - -1426?
True
Suppose 0 = -4*i - 16, 4*r - 2*i - 329 = 183. Suppose -12*m = -6*m - r. Suppose m = -3*k + 69. Is k a multiple of 7?
False
Does 10 divide ((-518625)/(-1844))/(3/16)?
True
Suppose 710 = q + 11. Suppose h - 693 = c, h - q = 18*c - 15*c. Is 46 a factor of h?
True
Let s(k) = 5*k**3 - 3*k**2 - 7*k - 5. Let j be s(-1). Let w(l) = l**3 + 9*l**2 + 7*l + 6. Is 6 a factor of w(j)?
True
Suppose -14*d + 4*d - 70 = 0. Let m(f) = -152*f - 152. Let c(w) = -16*w - 16. Let l(t) = 48*c(t) - 5*m(t). Is l(d) a multiple of 8?
True
Let g(h) = 80*h + 965. Is g(14) a multiple of 3?
True
Suppose -133*u + 167*u - 438219 = -173*u. Is 3 a factor of u?
False
Let y be (48/(-96))/(2/(-20)). Does 7 divide y/30*6*43?
False
Let i = 1 + -2. Let t(g) = -6*g - 1. Let m be t(i). Suppose 2*r - 72 = o, -r + m*o = 3*o - 36. Is r a multiple of 6?
True
Suppose 5*f - 91 = 9. Suppose -4*h + 5*i = -f, 0*h + 5*i = 3*h - 15. Is ((-12)/(-7))/(h/((-175)/(-1))) a multiple of 15?
True
Let s(g) = -15*g - 4*g + 2 + 10*g - 7. Let f be s(-1). Suppose f*q = u + 144, -2*q - 4 + 76 = -2*u. Is q a multiple of 3?
True
Suppose -5*g + 8021 = -11073 - 3186. Is g a multiple of 15?
False
Suppose -439*x + 123528 = -425*x - 60768. Is 20 a factor of x?
False
Suppose v + 4*c = 1, 3*v - 13 = 8*v + 2*c. Let f(o) = 0*o**2 + 3*o**2 - 2 + 6*o + 3*o**2. Does 7 divide f(v)?
False
Let u(q) = 27*q**3 + 42*q**2 - 299*q + 4. Does 5 divide u(7)?
True
Is (-6)/(-12) + (-1 - 4 - 549219/(-102)) a multiple of 32?
False
Suppose -5 = -6*x + 37. Let u(d) = x + d + 0 + 2*d**2 + 10 + 1. Is u(7) a multiple of 12?
False
Is 29 + (20 - 26) - -4613 a multiple of 76?
True
Let s(v) = v**2 - 20*v + 11. Let u(r) = -r**2 + 22*r - 11. Let f(d) = 6*s(d) + 5*u(d). Does 65 divide f(17)?
True
Let u = 1209 - 649. Suppose -h + u = 6*h. Suppose 6*k = 10*k - h. Is k a multiple of 5?
True
Suppose -4*y + 4*s = -5136, 3*s + 1296 = y + 6*s. Suppose 0 = -8*a + 17*a - y. Is 38 a factor of a?
False
Let f be 2*-2 + (1 - 1). Let k be ((-28)/(-6) + f)*6. Does 10 divide (-1 + (-2 - 17))/(k/(-2))?
True
Suppose 0 = -2*i, -30*b + 26*b + 9348 = -3*i. Does 41 divide b?
True
Let j = 2553 + 1399. Is j a multiple of 16?
True
Does 14 divide -3*1272634/(-726) - (-4)/22?
False
Let m = 6271 + -1840. Suppose 5*p = x + 7373, -4*x + x - m = -3*p. Is p a multiple of 40?
False
Let v(o) = o**3 + 11*o**2 + 7*o + 9. Let u be v(-7). Let s = -69 + u. Is 38 a factor of s?
False
Suppose -26*q + 58*q - 3448 = 24*q. Is q a multiple of 6?
False
Let p = 40 + -30. Let s be (4/p)/((-1)/5) + 26. Let t = 56 - s. Does 13 divide t?
False
Let m = -2030 + 1371. Let q = 1016 + m. Is q a multiple of 17?
Tr