oes 36 divide 294/4*(-43200)/(-504)?
True
Let p = -24 + 26. Suppose 3*u - 7 - 868 = -5*z, 562 = p*u - 2*z. Is u a multiple of 54?
False
Let k = -20 - -24. Suppose -d = -4 + 1. Suppose 42 = k*p - d*p. Is 7 a factor of p?
True
Suppose -5*f = -2*u - 25 + 8, 20 = -3*u + 2*f. Does 11 divide 1 + 163 - 3*u/18?
True
Suppose -102*y = -97*y - 15. Is (-5 + y)*(-1 - 109) a multiple of 55?
True
Let v = -1166 - -1965. Let f(m) = -4 + 790*m**2 - v*m**2 + 2*m + 2 - m**3. Does 26 divide f(-10)?
True
Suppose -x = 6*x + 1575. Let t = 379 + x. Is 14 a factor of t?
True
Let r(i) = 26*i**2 + 58*i - 1027. Is 31 a factor of r(24)?
False
Does 37 divide (12277125/120)/35 + 1*3/(-24)?
True
Is 28 a factor of ((-3238)/(-6) - -1)*(331 - 16)/15?
False
Suppose -3*y - d + 10051 = 0, -4*d - 1195 = -y + 2151. Suppose -2*o + 4*u = -3*o - y, -o = -4*u + 3382. Is o/(-16) - 15/40 a multiple of 14?
True
Let n(j) = -1061*j + 222. Is n(-5) a multiple of 4?
False
Let y be 0/(2/(-1))*(-5 + 4). Does 11 divide (y - 1) + 5*335/25?
True
Suppose -5*f - 6 = -8*f. Is 14 a factor of 1150 + (-4 - f) + 4 + 0?
True
Suppose 3 = 24*j - 23*j. Suppose 5*o + 305 = -5*i + 65, 3*i = j*o - 126. Is (i/(-10))/(-9)*-76 a multiple of 19?
True
Let q = -286 + 1073. Let o = q - 94. Does 9 divide o?
True
Let a(c) = 499*c + 4515. Let t be a(-9). Let l = 1 + 25. Suppose l*q - 70 = t*q. Is 5 a factor of q?
True
Let y = -24 - -23. Let r be (1 + -9 - y)*-1. Suppose 0 = -5*t + r*t - 168. Is 14 a factor of t?
True
Suppose 6*t - t = 3*v + 531, t + 3*v - 99 = 0. Suppose -7*r + t = 14. Suppose -420 = -r*l + 9*l. Is l a multiple of 21?
True
Suppose 0 = 5*b - z - 3380, 0 = -2*b + 4*z + 52 + 1318. Suppose -2*y + b = -15*d + 20*d, 5*y - 1695 = -5*d. Does 17 divide y?
True
Let u(f) = 54*f - 9. Let v be u(-5). Let g = -20 - v. Is g a multiple of 51?
False
Is -189*(9/(-12) + (-242)/264) a multiple of 65?
False
Let d(i) = 3*i**2 + 16*i - 267. Is d(-19) a multiple of 3?
False
Let r(h) = -h**3 - 7*h**2 - 12*h + 5. Let z be r(-4). Suppose -4*q = 3*f - 526, f + 3*q + 668 = z*f. Does 9 divide f?
False
Let s = -90 + 86. Let b(d) = -55*d + 38. Let t be b(s). Suppose 3*g - t = -3*l, 5*g - 5*l - 106 = 374. Is 7 a factor of g?
True
Let d(k) = -k**3 - 9*k**2 - 9*k - 12. Let p be d(-8). Let j be p/(-6)*(-2727)/(-18). Is 23 a factor of 3*(-3 + j/3)?
True
Let c = 93 + -93. Suppose -b + 3*x - 10 + 38 = c, b + 4*x - 7 = 0. Is b a multiple of 4?
False
Suppose 4*x - 361 = -329. Let g be 24/x*7/3. Suppose g*r = 4*r - 5*d + 98, d - 200 = -5*r. Is 14 a factor of r?
False
Let q(d) = -2*d + 134. Let g(u) = -u**2 + 10*u - 9. Let i be g(9). Does 5 divide q(i)?
False
Let k(s) = 2*s**3 + 8*s**2 + 6*s + 13. Let b be k(-4). Is 497/3 - b/(165/(-10)) a multiple of 15?
True
Suppose -6*a + 2*a + 1780 = 2*u, 0 = 4*a - 4*u - 1804. Let o = a - 415. Does 9 divide o?
False
Let k(c) = c**2 + 8*c - 12. Suppose 4*b - 4 = u - 0*u, -4*u - 3*b = 54. Let z be k(u). Suppose -5*o = 4*i - z, 10 = 4*i + o - 26. Is i a multiple of 5?
False
Let y(w) = 403*w + 2. Let m be y(2). Suppose -g = i - 410, -2*i - 8*g + m = -3*g. Suppose -3*t - i = -8*t - b, -2*t = b - 168. Is 41 a factor of t?
True
Let i(a) = -6*a**2 - 2*a + 6. Let o(y) = 5*y**2 + 3*y - 5. Let m(u) = -6*i(u) - 5*o(u). Is m(7) a multiple of 13?
True
Let a = 5077 + -4983. Is a a multiple of 44?
False
Let t = 7891 - 5115. Is 10 a factor of t?
False
Let a(o) = o**2 - 14*o - 42. Suppose -4*b + 306 = 13*b. Is a(b) a multiple of 30?
True
Suppose 5*x = 3*x + 2, 4*a - 5*x = -629. Let i = a - -198. Is 21 a factor of i?
True
Let s be 0 - (1/2 - (-21)/(-2)). Suppose -3*c + 3*v = -1 + s, c = -2*v. Does 3 divide (-8)/c*(-4)/(-4)?
False
Let t(u) = u**2 + 7*u - 13. Let o be t(-9). Let z(m) = -233*m - 1392. Let y be z(-6). Suppose -o*x - 140 = -y*x. Is x a multiple of 14?
True
Suppose -1580*c + 1571*c = -711. Is 23 a factor of c?
False
Let i(l) = 18*l - 21. Let z be i(6). Suppose -4*f = 65 - 373. Let q = z - f. Does 8 divide q?
False
Let d(g) = g**2 + 13*g - 7. Let r be d(-13). Let y(h) = -5*h - 33. Let t be y(r). Does 8 divide (-1 + (-446)/t)*12/(-24)?
True
Suppose g + 25793 = -14*i + 19*i, -5*i + 5*g + 25765 = 0. Is i a multiple of 14?
False
Let p be (1 + 1)/4*3406. Let b = -919 + p. Suppose b = -30*o + 34*o. Is o a multiple of 49?
True
Let s(l) = 384*l - 1852. Is 10 a factor of s(8)?
True
Suppose -3 = -3*s, 2*s + 4 = -n + 13. Suppose 5*x + 12 - n = 0. Is 4 a factor of 72 + x + (-34)/(-34)?
True
Let r(w) = 5*w - 226. Let p be r(38). Let k be -2*-4*(-13)/2. Let m = p - k. Is 3 a factor of m?
False
Let t(r) = r**3 + 31*r**2 + 19*r + 41. Is t(-19) a multiple of 17?
True
Let p(g) = -8*g + 4. Let u be p(7). Let z = -661 + 744. Let m = u + z. Is m a multiple of 2?
False
Suppose -179 + 47 = -12*d. Suppose -d*k + 1538 + 79 = 0. Is 21 a factor of k?
True
Suppose 4*n + 368 = 872. Suppose g - 25 + n = 3*t, -g - 108 = 4*t. Let i = -59 - g. Is 15 a factor of i?
True
Suppose -o - 14 = -3*t, -t + 5*t - 4*o = 24. Suppose 2*u = -t*r + 30 - 6, 3*r - 5*u = 31. Is 2 a factor of r?
False
Let b = -2424 + 5085. Is b a multiple of 25?
False
Suppose -i + 5*y + 66 = 16, 0 = 4*y + 4. Let d = i + -44. Does 13 divide 2/4*68/d?
False
Let t be ((-68)/(-8) - 3 - -3)*-188. Let c be (-5)/20 - 1/((-8)/t). Does 50 divide 1/(4/(-8)) - -2 - c?
True
Is 15 a factor of ((-3)/(-2))/(594/956428) + (-2)/9?
True
Suppose 30*w - 82*w + 1730302 = -30522. Does 63 divide w?
False
Does 8 divide (-634564)/(-173)*(-34)/(-8)?
False
Suppose -638745 - 161340 + 176413 = -98*p. Is 90 a factor of p?
False
Suppose 0 = -3*c + 2*i + 11663, 4*c + 3*i - 12212 = 3350. Does 199 divide c?
False
Let p(m) = -m**2 + 9*m - 1. Let w be p(8). Let h(z) = 21*z + 32. Let b(r) = -32*r - 48. Let j(i) = 5*b(i) + 8*h(i). Is 9 a factor of j(w)?
True
Suppose -2*d + 814 = 2*b, -5*d - 3*b = -8*d + 1191. Let c = d + 58. Does 5 divide c?
True
Let z(n) = 68*n**3 - 6*n + 7. Let p be z(2). Suppose -5*w = -p - 771. Is w a multiple of 5?
False
Let r be (-12)/126 - (-640)/105. Suppose -r*d - 288 = -9*d. Is d a multiple of 6?
True
Let c = 1637 + -301. Does 4 divide c?
True
Let j(b) = b**3 - 6*b**2 - 7*b + 3. Let m be j(7). Let p be 5/3 - ((-1000)/30)/(-20). Is m + (p + 1)*136 a multiple of 33?
False
Suppose -7 - 1 = 4*x. Let g(i) = 69*i + 10. Let z be g(x). Let p = -79 - z. Does 9 divide p?
False
Does 2 divide 36/8*(1130 + 118)?
True
Suppose -25 = -21*u + 16*u. Let q be -2 + 276*4/6. Suppose -u*f = -3*f - q. Is f a multiple of 31?
False
Suppose -93*l + 144*l + 121*l = 830588. Is l a multiple of 3?
False
Suppose -s - 4 = s - 4*d, 6 = -2*d. Let b(j) = -2*j**2 - 17*j - 6. Let h be b(s). Is 14 a factor of (-1)/(h/(-444)*2)?
False
Let i be 9/(-15) - (-1703)/5. Suppose 67 + 23 = 2*p. Suppose 41*m + i = p*m. Is m a multiple of 17?
True
Suppose 64353 = 92*a - 82*a - 9747. Does 190 divide a?
True
Let m = 142 - -106. Let l = 441 + m. Does 15 divide l?
False
Let l = 22510 - 12617. Is l a multiple of 13?
True
Let i be ((-16)/(-60))/(-2) - 65184/(-180). Let z = 519 - i. Is z a multiple of 2?
False
Let t be (2 - (-3)/(-2))*(25 - 25). Suppose 5*f = -t*f + 5*k + 355, 2*k - 238 = -3*f. Is 7 a factor of f?
False
Let q be 301/63 + (-2)/(-9). Suppose -4*o = q*u - 41, -2*u = -u - 2*o + 3. Suppose 5*j + u*c = 180, -3*j - 124 = -6*j + 5*c. Is 8 a factor of j?
False
Let m(x) = 141*x**3 + 36*x + 32. Is 8 a factor of m(6)?
True
Suppose -6468 = -21*x + 25494. Is 19 a factor of x?
False
Let o(z) = -3*z + 8. Let c be o(4). Is c/(-8) - (-235)/2 a multiple of 8?
False
Suppose 33*n = 32*n + o + 8670, 0 = 4*n + 5*o - 34689. Does 8 divide n?
False
Let h = 52 + -123. Let z = h + 73. Suppose 7*x = z*x + 90. Does 5 divide x?
False
Let n(g) = -6*g - 44. Suppose -5*c - 23 - 3 = 3*l, 5*l - 2*c + 33 = 0. Let z(x) = 12*x + 87. Let h(m) = l*n(m) - 4*z(m). Does 5 divide h(-10)?
True
Suppose y + i = 15 - 4, 13 = y - i. Suppose y*j + 1392 = 18*j. Does 8 divide j?
True
Suppose -7*r = 14*r - 168. Is (r + -155)/((-1)/2) a multiple of 42?
True
Let f(t) = t**3 + 60*t**2 - 78*t + 72. Is f(-59) a multiple of 30?
False
Let q = -31 + 33. Suppose 0 = q*o, -u - 2*o - 132 = 3*o. Is 22 a factor of (-32)/3*u/16?
True
Let y = -1447 - -7969. Is y a multiple of 33?
False
Suppose 0 = 1002*b - 1038*b + 370656. Is 33 a factor of b?
True
Let k(n) = -n**2 - 6*n + 100. Let o be k(20). Let r