, 0 = j + 2*k - 228. Suppose v - 146 = j. Is v a multiple of 36?
False
Let f be 236/(-10) - (-24)/(-60). Let j be 9/(87/f - -4). Is 6 a factor of 2 + j + -3*1?
False
Let u(s) = -5*s - 97. Let i be u(-21). Suppose -i*m + 1144 = -968. Is m a multiple of 24?
True
Suppose 58*f = 60*f - 10. Suppose -2*u + 6 = -q, -4*q + f + 7 = u. Is 13 a factor of (4/(-2) - u)*(-156)/24?
True
Suppose 0 = 5*o - 2*y - 62, 4*y - 40 = -2*o + y. Suppose -o*c - 235 + 2083 = 0. Is 25 a factor of c?
False
Let t(q) = 9*q + 387. Is 27 a factor of t(-37)?
True
Suppose -185*q + 3*a - 103349 = -187*q, a = -5*q + 258379. Does 12 divide q?
False
Let t(r) = r**2 - 3. Let o be t(0). Let g be (-153)/34*2/o. Suppose g*m - 1026 = -5*l, -3*l + 5*m - 606 = -6*l. Is 18 a factor of l?
False
Let j(w) = -w**3 + 10*w - 4. Is j(-5) a multiple of 11?
False
Suppose -3178 = -t + 4*k, 890*t - 892*t + 6381 = -3*k. Is 66 a factor of t?
False
Let o be 4/(16/(-4))*-3. Suppose -o*l - 8 = -2. Is 15 a factor of (-3)/l - 6183/(-18)?
True
Let i(f) = -f**2 - 13*f + 1. Let x be i(-13). Let r be (-2)/4*0/x. Suppose -2*k + 4*b + 270 = r, -125 = -k + b + 3*b. Is k a multiple of 21?
False
Suppose -2*a + b = -a - 14, b + 2 = 0. Let c(d) = -d**2 + 27*d - 30. Does 10 divide c(a)?
True
Suppose 42*y = -14140 + 64960. Is 16 a factor of y?
False
Let j(h) = 14*h - 1. Let r(o) = -o**2 - 12*o + 2. Let m be r(-12). Let z be ((-2)/(-4))/(1/12*m). Is j(z) a multiple of 19?
False
Let f be (1 + (-12)/9)*169*-3. Let m = f - 135. Is m even?
True
Let y(j) = 172 - 388*j + 160 + 404*j. Is 36 a factor of y(-5)?
True
Let a = 174 + -171. Suppose -a*m + 133 = -1271. Is 36 a factor of m?
True
Suppose 0 = 387*s - 362*s - 175. Let x(w) = -w + 6*w - 4 + 40. Is 11 a factor of x(s)?
False
Suppose -3*w + 5*v = -21518, 5*w + 3*v - 26874 - 9080 = 0. Does 10 divide w?
False
Is (((-2)/4)/((-195)/624))/((-4)/(-117370)) a multiple of 242?
True
Suppose -b = 4*n - 1860, -2*b + 930 = 2*n - b. Suppose -2*h = -2*l - n + 29, 3*h - 668 = -4*l. Is h a multiple of 55?
True
Let q be (4 - (-3 + 6))*43. Suppose 6*x - 151 = -q. Let m = 4 + x. Is m a multiple of 11?
True
Let t be 11*(-5 - (-354)/66). Is ((-205)/t)/((-75)/600) a multiple of 13?
False
Let y = -746 - -839. Let l = y - 71. Is 22 a factor of l?
True
Suppose 5*s - 2*d - 1533 - 542 = 0, -2*d - 1245 = -3*s. Suppose -2*x = -q + 244, 2*q + 2*x - 97 = s. Is q a multiple of 21?
True
Suppose 0 = 5*h - 5, 5*z + 3*h = h + 52. Let s = z - 6. Is 18 a factor of 6612/48 + 1/s?
False
Let w(k) = -k**3 - 23*k**2 + 24*k - 16. Let j be w(-24). Let p(l) be the first derivative of -l**3/3 - 10*l**2 + 8*l - 3. Is 9 a factor of p(j)?
True
Is 21 a factor of 3*((-4)/(-30) + 15/(-25)*-1857)?
False
Suppose 11462 = 5*g + 4*z + 4333, 4273 = 3*g - 2*z. Does 31 divide g?
False
Let o(s) = 173*s**2 + 44*s - 231. Does 94 divide o(5)?
False
Let o(q) = 3*q + 12. Let g = -17 - -37. Let c = -6 + g. Is o(c) a multiple of 18?
True
Suppose -12*a + 952 = 2776. Let h = 150 + a. Is 0 - -2 - (-1)/(h/(-338)) a multiple of 63?
False
Let g be 8/8 + (-9 - 0)/(-3). Suppose -g*u - 168 + 694 = 5*v, 3*u = 2*v - 215. Is 11 a factor of v?
False
Is (6 + 1 - (-3 - -2))/(1404/673218) a multiple of 7?
True
Suppose -4*h + 327 + 185 = 0. Let s = 186 - h. Let c = 76 - s. Does 6 divide c?
True
Suppose 3*d - 4*p + 8 = 0, 30 = -5*d + 3*p + 24. Suppose -1668 = -4*u - g - d*g, -5*g = -20. Does 52 divide u?
True
Suppose 4*j - 2*k = 2*j + 180, -5*j = -k - 470. Let d = j + 1253. Does 17 divide d?
False
Suppose -7*x + 3633 = -8471 - 5144. Is 44 a factor of x?
True
Let h(v) = v**2 - 97*v + 1910. Is h(75) a multiple of 20?
True
Let h be (-82)/205 - (-57993)/(-5). Does 26 divide (-1)/3 + -2 + h/(-21)?
False
Is ((-102)/306)/(2/(-18858)) a multiple of 6?
False
Let h be 624/3 + -1 + 0. Suppose -c = h - 594. Is c a multiple of 16?
False
Let o = -1329 + 3911. Is o a multiple of 3?
False
Let y(z) = 229*z**2 - 29*z**2 - 5*z + 0*z + 1 + 1. Is y(2) a multiple of 22?
True
Let v(b) = -7*b**3 - 34*b**2 - 44*b + 45. Let w(g) = -4*g**3 - 17*g**2 - 22*g + 23. Let n(j) = -3*v(j) + 5*w(j). Is 10 a factor of n(-8)?
True
Let k = 2537 + -1703. Suppose 0 = d - 13*d + 26984 - 26732. Is 21 a factor of 6/d - k/(-21)?
False
Suppose 10*w + 4959 = 5399. Does 43 divide w?
False
Suppose a - 8 = 3*m, 5*m + 2 = 5*a - 18. Suppose 3*i = -2*k + 295, 244 = 4*i + k - 156. Suppose 2*g - i = -a*v + 3, -5*v = 3*g - 160. Is g a multiple of 10?
True
Let u(s) = 23*s**2 - 13*s + 179. Does 9 divide u(7)?
True
Let m(z) = -2*z**3 + 2*z**2 + z - 1. Let r be m(-2). Suppose -v - 5*q - r = 0, 7*v - 3*v = 5*q - 159. Is 24 a factor of v/(-27)*(-159)/(-2)?
False
Let f = -29445 + 44208. Does 19 divide f?
True
Is 154 a factor of ((-38259)/(-819))/((-2)/(-518))?
False
Let r(q) = 2*q**2 - 15*q - 5. Let z be r(8). Suppose -z*t - 291 = -2*s, -4*s - 357 = 2*t - 931. Is 36 a factor of s?
True
Let v(k) = -k**3 + 12*k**2 - 12*k + 14. Let x be v(11). Suppose 0 = 3*z - 5*d + 3*d - 14, -4*z = x*d + 4. Suppose 0 = z*a - 4*a + 72. Does 15 divide a?
False
Let c(h) = 2*h**2 + 26*h + 4. Let s be c(-13). Suppose -5*r - 182 = -2*u + 249, 4*u = -s*r + 792. Does 18 divide u?
False
Let q(f) be the third derivative of 13*f**5/60 + f**4/6 - 4*f**3/3 + 29*f**2. Does 24 divide q(-3)?
False
Let h be 2/(-9) - (-102)/(-27). Let m = 873 + -888. Does 15 divide (35/m - -3)/(h/(-270))?
True
Let j be ((-3)/5)/(1/(-5)). Let s be (-3)/(j/(-3 + 0)). Is 4 a factor of (s/(-3))/(-2 - (-15)/8)?
True
Suppose -5*j = 3*n - 13, 3*n + 2*j = -2*n + 28. Suppose 2*s + n*s = 80. Suppose c = s*c - 1377. Is c a multiple of 17?
True
Let o = 427 - 244. Let s = -96 + o. Is 20 a factor of s?
False
Suppose 359937 = 59*y - 936883. Does 10 divide y?
True
Suppose -4*f - 20 = -9*f. Suppose p - f*p = 0. Suppose a = b - 28, p*b + 28 = b - 2*a. Is 7 a factor of b?
True
Let r(m) = -m**2 + 189*m + 213. Is 29 a factor of r(50)?
True
Let m be (-23688)/(-45) + (-4)/10. Suppose -2*s + m + 402 = 0. Does 8 divide s?
True
Let j be ((-10)/(20/(-3)))/(6/16). Suppose 0 = -j*w + 1068 + 260. Is 23 a factor of w?
False
Let o(y) be the first derivative of -5*y**2/2 - 25*y + 15. Let c be o(-6). Suppose 0*v + 3*v + 2*j - 75 = 0, -2*v + c*j + 50 = 0. Does 19 divide v?
False
Suppose -5*n + a + 764 = -914, -a = 5*n - 1682. Suppose -2*t + n = -504. Is t a multiple of 21?
True
Let o = -875 - -1008. Let n = 872 - o. Is n a multiple of 5?
False
Let q(b) = 2*b + 11. Let n(x) = x + 1. Let t(h) = -5*n(h) + 5*q(h). Let d be t(-9). Suppose -302 = -6*w + d*w. Is 24 a factor of w?
False
Suppose 0 = -4*f + u + 32275, 5*u + 3 = -32. Is 150 a factor of f?
False
Let f = 7896 - 5352. Does 53 divide ((-20)/(0 + 4))/((-16)/f)?
True
Suppose -7*q = -2*q - 10, 5*q = 4*v - 10. Suppose 3*o + 5*c = 7*o - 497, v*o + 3*c = 575. Is 10 a factor of o?
False
Let i(t) = 13*t**2 - 36*t**2 + t**3 + 8*t + 12*t**2 - 4. Let p be i(10). Does 4 divide p/(-5) + (-32)/40?
True
Suppose -4*o = -h - 1 - 12, 0 = 5*o + 4*h - 11. Suppose 4*x - 292 = -o*i + 404, 2*x = -3*i + 690. Is 76 a factor of i?
True
Let d(r) = -42*r + 33 - 5*r**2 - 4 - 39. Does 6 divide d(-8)?
True
Let i = -6121 + 7609. Does 93 divide i?
True
Suppose -1332*n + 1284*n = -1411440. Is n a multiple of 181?
False
Let g(v) = -2*v**3 + 109*v**2 - 292*v + 19. Is 10 a factor of g(37)?
True
Suppose 15*w - 31616 = -11*w. Suppose 0*q + 4*q - 2*i = 2420, 0 = -2*q + 4*i + w. Does 21 divide q?
False
Let u(t) = 2*t**2 + 11*t - 4. Let o be u(-6). Let l be -15 + 11 + 14/o. Suppose -l*y + 216 = 27. Does 29 divide y?
False
Suppose 3*s + 15 = 3*t, s - 4*t = 5*s - 20. Suppose i - 1824 = -5*w - 0*i, -4*w + 4*i + 1464 = s. Is 32 a factor of w?
False
Suppose -3*y + r = -11, -4*y + 5*r = -5*y + 25. Suppose 0 = -k - 3*x + 592, 380 + 2580 = y*k - 3*x. Is k a multiple of 27?
False
Suppose 5*k + 1361 = 4*b + 5125, -b = 2*k - 1516. Is k a multiple of 126?
True
Let s(p) be the second derivative of 0 - 15*p - 2*p**3 - 3/2*p**2. Is 15 a factor of s(-3)?
False
Let c be 6/15*((-4 - -2056) + -2). Let p = -505 + c. Is 5 a factor of p?
True
Suppose -28*x + 229821 = 61261. Is 86 a factor of x?
True
Let y(g) = g**2 - 14*g + 35. Let v be y(9). Let i(j) = 2*j**2 - 18*j + 4. Does 12 divide i(v)?
True
Does 37 divide 2379132/198 - 10/(-55)?
False
Suppose 0 = d - 3*m - 3018, 13*m - 10*m + 12117 = 4*d. Does 39 divide d?
Fa