 377*k - 20. Does 21 divide o(9)?
False
Is (15/20)/((-9)/(-295428)) a multiple of 137?
False
Let p be 10/(-115) - 17375/(-115). Suppose 165*n = p*n + 5418. Is 44 a factor of n?
False
Suppose 103*r - 57658 - 195413 = 0. Is r a multiple of 9?
True
Let m(z) = -2*z - 4*z - 8*z - 66 + 9*z. Let l be m(0). Let k = 134 + l. Is 19 a factor of k?
False
Let s = -1970 + 3367. Is s a multiple of 36?
False
Let p = 36568 + -12996. Does 10 divide p?
False
Let o(a) = -19*a - 25. Let k(c) = 96*c + 126. Suppose 5*n + 3*f = 3*n - 60, -2*n = 5*f + 68. Let m(j) = n*o(j) - 5*k(j). Is m(-6) a multiple of 19?
True
Let g = -30693 + 72733. Is g a multiple of 20?
True
Let t = -4 + 91. Suppose 600 = 16*h + 4*h. Let x = t - h. Does 19 divide x?
True
Let o be (((-120)/(-25))/12)/((-6)/(-75)). Let j = -1420 - -2390. Suppose -3*z + v + 0*v = -593, -o*z = 2*v - j. Is 10 a factor of z?
False
Suppose -1386 = -2*o + 5*n + 2744, -2*o + 4154 = n. Suppose 0 = 4*h + 75 - o. Is h a multiple of 100?
True
Let h(i) = -178*i + 123. Suppose 0 = -12*j - 72 - 24. Does 13 divide h(j)?
True
Let u = 314 + 6. Let t = u - 256. Is t a multiple of 32?
True
Let u(l) = -948*l + 257. Does 47 divide u(-9)?
True
Let h be 19/((6/15)/((-54)/(-45))). Suppose h*m + 740 = 58*m. Is m a multiple of 74?
True
Let g(f) = 3*f**2 - 9*f + 3. Let k be g(-11). Does 93 divide (-38 + 39)*k/1?
True
Let o = -5447 - -5666. Is 4 a factor of o?
False
Let o be (1 - 5)/(-4*(-4)/(-512)). Suppose 2*r - 2 = -6. Let v = o + r. Does 14 divide v?
True
Let i(p) = p**2 - 16*p + 2. Let v be i(16). Suppose t - v*z = -2, 5*z - 1 = 4*t + 1. Suppose 72 = 5*k - t*g - 144, g = 3*k - 129. Is 14 a factor of k?
True
Let g be (-6328)/(-12)*12/14. Suppose 5*j - 2*c - 568 = 0, 5*j - j - g = c. Does 9 divide j?
False
Let i = -683 - -1706. Suppose 11*f - i = 869. Is 14 a factor of f?
False
Let w be (6 - 0) + 0 + -4. Suppose r = -a + 3*r + 214, -w*r - 1078 = -5*a. Does 18 divide a?
True
Suppose 0*z - 504 = -3*z. Let h(t) = 12*t**3 - 2*t**2 - 7*t + 7. Let b be h(5). Suppose -6*r + z = -b. Does 25 divide r?
False
Let b(h) = -4*h**2 - 42*h - 7. Let w be b(-10). Suppose 3*d = -w + 7, o - 29 = 2*d. Is o a multiple of 21?
False
Let r = 29 - 27. Suppose 3*q - r*m = 462, 2*q - 4*m - 431 + 131 = 0. Does 33 divide q - -11 - 1/(1/2)?
True
Suppose -16*n + 102505 = 49*n. Is n a multiple of 14?
False
Suppose 11*v - 3024 = -2*k + 7*v, 5*k - 2*v = 7488. Is 30 a factor of k?
True
Let a = -22976 - -42658. Suppose 1832 = -25*s + a. Is s a multiple of 50?
False
Let z = 9892 - 3149. Is z a multiple of 29?
False
Let a(z) = -z**3 + 11*z**2 - z - 3. Let q be a(10). Let w = -70 + q. Is 17 a factor of w?
True
Let t = 503 + -505. Is 10/10 - 612/t a multiple of 28?
False
Let d = -318 + 14590. Is 64 a factor of d?
True
Suppose -16 = -4*w, 49156 = 3*n - 3*w + 11152. Is 16 a factor of n?
True
Suppose 2151 = -174*s + 177*s. Is s a multiple of 7?
False
Let r = -97 - -101. Let w(g) = 30*g**3 + 3*g**2 + 2*g - 7. Let n be w(r). Suppose s = -10*s + n. Does 16 divide s?
False
Let o(j) = -66*j + 1900. Is 8 a factor of o(10)?
True
Suppose -224*f + 2152949 - 76021 = 0. Is f a multiple of 226?
False
Let g(m) = 12*m - 409. Let x be g(34). Let y(d) = -179*d**3 + 22*d + 21. Is y(x) a multiple of 3?
False
Let p(o) = 21*o + 6. Let l be p(13). Suppose -z - 39 - 120 = -3*s, 5*s = -3*z + l. Suppose -s = 39*i - 42*i. Is 3 a factor of i?
True
Let k = -16 + 36. Let o = -8 + k. Is 13 a factor of ((-13)/(-3))/(o/36)?
True
Let v(h) = -57*h - 13. Let l be 18/(-63)*(-21)/6. Suppose f + l = -3. Is v(f) a multiple of 35?
False
Let p = -51 - -55. Suppose -4*w = 3*v + v - 212, p*w + 196 = 4*v. Let t = 119 - v. Is 6 a factor of t?
False
Suppose -5*m + 962 = 2*p, -2*p = -4*m - 648 - 296. Let q = p - 452. Does 8 divide q?
True
Let z be 5/2 + (-46)/(-92). Is 2170/21 + 3 + (-1)/z a multiple of 16?
False
Let o(w) = -w**3 + 13*w**2 - 45*w + 20. Let f be o(6). Suppose -f*t - 30613 = -25*t. Is t a multiple of 11?
True
Let v be (-35 - (-3 - 7))*(-17 - 1). Let g = -294 + v. Does 12 divide g?
True
Suppose -5*i + 47 = -2*x, i - 2*x + 0*x - 11 = 0. Is 7 a factor of ((-8)/10)/(i/(-540))?
False
Let z be (-5)/20 - (-18)/8. Let r(m) = -32*m + 79. Let i be r(1). Suppose 52 = 2*q - q - z*k, -q + i = -3*k. Does 28 divide q?
False
Suppose u = -0*y + 2*y - 4, -4*y = -u - 10. Suppose -2*a + 288 = 5*r, 774 = 5*a - y*r + 2*r. Is a a multiple of 7?
True
Let y = 56 + -52. Suppose 0*d - 530 = -4*d - 3*x, -y*d + 544 = -4*x. Let p = d + -102. Is p a multiple of 16?
True
Suppose 5 = 3*i - 1. Let w be (-2 - -5 - 3) + -2 - -242. Suppose 0 = -i*j + 6*j - w. Does 30 divide j?
True
Let m(f) = f**2 - 4*f - 17. Let x be m(-4). Suppose x*k - 14*k - 42 = 0. Is k a multiple of 7?
True
Let m(v) = -55*v + 488. Does 41 divide m(-53)?
True
Let s(o) = 19*o**3 - 3*o**2 + 8*o - 8. Suppose -2*d = -7*d + 10. Does 37 divide s(d)?
True
Let z = -155 + 157. Is 23 a factor of (0 + z + 3)*79?
False
Let v(b) = -24*b**2 + 9*b + 15. Let w(g) = 2*g**2 - 1. Let y(c) = -v(c) + 2*w(c). Is y(-5) a multiple of 91?
True
Suppose -16 = p - 3*h, -h = 4*p - 6*h + 50. Is 10*(p/5 - (-41)/2) a multiple of 37?
True
Let m(g) be the first derivative of 125*g**2/2 + 25*g + 52. Is 60 a factor of m(7)?
True
Let n = 724 - 712. Let r(i) = 23*i - 28. Let x(j) = -22*j + 27. Let a(o) = -3*r(o) - 4*x(o). Is a(n) a multiple of 51?
True
Let v = -1112 - -2334. Does 6 divide v?
False
Suppose 4*s = 5*o - 19264, -3*o - 21*s = -26*s - 11574. Is o a multiple of 148?
True
Let h(p) = 196 + 2*p**2 + 244 + 23*p - 390. Is 15 a factor of h(-21)?
False
Suppose 0 = -3*m + 5*y - 24, -2*m - 40 = 3*m + 4*y. Does 15 divide -3 + 6*53 - (-4 - m)?
False
Suppose -4*l + 4*p - 8 = 0, -2*l - 2 = 3*p - 3. Let v be (l - 0)/6 + (-28105)/66. Let b = -120 - v. Does 24 divide b?
False
Let w = -3973 + 5928. Does 17 divide w?
True
Let h(y) = 2*y**2 + 13*y - 40. Let q be h(-9). Suppose -2*o - 3*o - 5*c + 735 = 0, -c = q*o - 747. Is 9 a factor of o?
False
Let c(q) = q**3 + 14*q**2 + 12*q + 10. Let n be c(-8). Suppose -n*j + 5052 = -292*j. Is 65 a factor of j?
False
Let t be (-5*4/(-3))/((-6)/(-36)). Suppose -d = 4*d + t. Let w(q) = -6*q + 16. Is w(d) a multiple of 4?
True
Is 51/21 - 2 - ((-203019)/21 + 4) a multiple of 8?
True
Let k(a) = 807*a**2 - a + 13. Let o(l) = -808*l**2 + l - 17. Let m(x) = 4*k(x) + 3*o(x). Is 26 a factor of m(-1)?
True
Let j = -15482 - -19542. Is j even?
True
Let f = 23954 - 4962. Is 161 a factor of f?
False
Suppose 7 + 1 = -r. Let n(q) = -q**2 - 7*q + 10. Let o be n(r). Suppose 0*y - 105 = -y - 3*s, o*y - 4*s = 180. Is y a multiple of 21?
False
Let y = 1589 + 7141. Is 45 a factor of y?
True
Let h = -9 + 9. Suppose -i = q + 6, 3*q - 2*q + 3 = h. Is 5 a factor of (18 + -24)*8/i?
False
Let s be 3 - 1 - (2 + -6 + 12). Let w be (-2)/s*(-162)/(-18). Suppose 0 = w*a + r - 250, -3*r + r - 4 = 0. Does 10 divide a?
False
Let s(k) = -3*k - 6. Let x be s(-3). Suppose -v - 10 = -3*o, 2*o + x*o = v + 14. Is o even?
True
Suppose 0 = -4*i + 895*k - 891*k + 12680, -5*i = 4*k - 15841. Is 75 a factor of i?
False
Let k(a) = -17241*a - 2949. Is k(-2) a multiple of 156?
False
Is 15 a factor of 1110/(-12)*(5504/(-20) + -4)?
False
Let l be 1*(-16 - -3 - -2). Let p(j) = -4*j - 39. Let t be p(l). Suppose 4*w - 16 = -k, 2*k + 61 = 3*k - t*w. Is k a multiple of 12?
True
Suppose 16793 = 24*k - 22*k + 3*z, -2*z + 8396 = k. Does 19 divide k?
True
Let u be (0 + 1)*(-8)/10*-5. Suppose c + u*c - 1 = a, -5*a + 110 = -2*c. Is 24 a factor of a?
True
Let n = 6650 + -1610. Is 72 a factor of n?
True
Let z(m) = -m**3 + 2*m + 1. Let g be z(-2). Suppose -5*b = g*k - 85, -2*b - 5 = k - 17. Suppose k*u = 17*u + 270. Does 16 divide u?
False
Is (-13 - 690/40)*(0 - 32) a multiple of 121?
True
Suppose 132*a - 144*a - 5784 = 0. Let z = a + 575. Is z a multiple of 3?
True
Let q(j) = 8*j - 18*j + 2*j**2 + 3 - 1 + 6. Let z be q(8). Does 2 divide z/10 + (-4)/(-10)?
True
Suppose 879*q = 877*q. Suppose 3*w - 8*w + 2265 = q. Does 30 divide w?
False
Let w = 179019 + -105342. Does 41 divide w?
True
Let w(p) = 479*p**2 - 87*p - 28. Is w(-3) a multiple of 7?
False
Let r be -4 + (198 - -4)/((-8)/(-16)). Is (1 + 1)*r - (-315)/(-63) a multiple of 15?
True
Let r = 220 + -228. Let t(j) = -48*j - 42. Does 40 divide t(r)?
False
Suppose 24*c = 3*c + 7245. Let l = c + -