2). Suppose -m = -7*h + 1471. Is h a multiple of 11?
False
Let u = -53 - -33. Let x = u + 20. Suppose 4*z + 236 = 2*p - x*p, 2*z = -8. Does 10 divide p?
True
Let a = -14 + 13. Let j be (a + 4/4)/2. Suppose j*v + 99 = v. Is v a multiple of 14?
False
Let h = 1172 - 1650. Let i = h + 786. Is i a multiple of 28?
True
Let i(r) = -r**3 + 24*r**2 + 53*r + 52. Is 32 a factor of i(-15)?
True
Is (-2)/8 + ((-396)/(-660) - 40313/(-20)) a multiple of 39?
False
Let r(w) = 4*w**2 - 23*w - 22. Let i = -78 + 72. Is r(i) a multiple of 54?
False
Suppose 0 = 8*b + 651 - 35611. Is 95 a factor of b?
True
Let d(o) = -o**2 - 3*o + 24. Let v be d(-7). Is 224/(-2)*v + (-11 - -5) a multiple of 13?
True
Let a(q) = 10*q**2 - 19. Let x = -88 + 81. Let b be -27 + 29 + x*1. Does 33 divide a(b)?
True
Suppose -33 = -f + 3*k, 2*f - 29 = 4*k + 37. Suppose -3*j + 9 = 8*m - 5*m, -5*m - j + 19 = 0. Suppose p = m*p - f. Is p a multiple of 11?
True
Let q(u) = -1513*u + 458. Is q(-5) a multiple of 18?
False
Suppose 28 - 92 = -4*n. Suppose 0 = 5*g + 5*y, -5*g = -0*g - 3*y - n. Suppose -g*s = -8, 4*b + 2*s - 144 = 5*s. Is 23 a factor of b?
False
Let v be (-99)/(-11) - 6*1. Suppose 0 = v*j - 2*s - 301, -5*s = 5*j - 4*j - 106. Is j a multiple of 6?
False
Suppose -6 = 21*l - 24*l. Suppose n + 2*n = -l*z + 2545, 2*n + 6372 = 5*z. Is z a multiple of 91?
True
Let k(j) = -j**3 - 19*j**2 - 82*j + 179. Let d be k(-14). Let i(n) = -31*n + 2. Let m be i(6). Let u = m + d. Does 23 divide u?
False
Suppose 9*u - 8*u - 4*j = 4244, 5*j - 38237 = -9*u. Is u a multiple of 118?
True
Suppose 41*p - 81209 = 104931. Is p a multiple of 2?
True
Let c = -19 + -25. Let o = -36 - c. Let y(z) = 17*z + 21. Does 13 divide y(o)?
False
Let d(h) = 2*h**2 - 5*h - 8. Let s be d(4). Let n be 561 + ((-2 + s)/2)/(-1). Suppose -n = -65*c + 61*c. Is 7 a factor of c?
True
Let f(u) = -u**3 + u**2 + u + 9. Let k(c) = -c**3 + 7*c**2 - 10*c + 33. Let m be k(6). Suppose -2*i = -m*i. Is f(i) a multiple of 9?
True
Suppose -2*q = -2*j - 62, 0 = j + 2*q + 25 - 3. Let t = 49 + j. Is 17 a factor of (-4 + t)/(2/6)?
True
Let n(q) = -q**2 + 3*q + 5. Let g = -35 + 38. Let p be n(g). Suppose -5*o - p*y = -110, 0 = -3*o - 2*o + 3*y + 94. Is o a multiple of 6?
False
Suppose -580*z = -571*z. Suppose z = -5*u - 4*i + 684, -i + 259 = 4*u - 297. Is 5 a factor of u?
True
Let s be -3 + 12 - (-12 + 1141). Let p = 285 - s. Does 36 divide p?
False
Let z = -1833 - -3388. Let o = z + -650. Is 15 a factor of o?
False
Suppose 2 = 3*m + 2*f, m - 1 = 2*f + 5. Suppose 12 = 2*x + 3*x - 3*b, m*x - b - 4 = 0. Suppose 0 = 6*z - x*z - 54. Is z a multiple of 9?
True
Let j(i) = 15*i**2 + 642*i + 8515. Is 338 a factor of j(-13)?
True
Let f be (-15)/6*10/25. Let i(a) = -49*a + 23. Is i(f) a multiple of 8?
True
Let g = -5624 + 6146. Does 6 divide g?
True
Suppose 0 = w - 4*d - 54, d = 3 - 0. Suppose 2*z = -3*h + 2*h + 14, -14 = -z - 4*h. Suppose -z*i + 4*i + w = 0. Is 7 a factor of i?
False
Is 30/25*(-553035)/(-63) a multiple of 229?
True
Let y = 94437 - 55221. Does 100 divide y?
False
Suppose -8*p - 104 = -336. Does 10 divide p*-5*(-14)/35?
False
Let c be (9/6)/((-1)/10). Let o be -11 + (-2 + 212)/5. Let m = c + o. Does 16 divide m?
True
Let i(f) = -2*f**2 - 3*f - 3. Let r be i(-3). Suppose 24*u - 1321 = 191. Let s = u + r. Does 11 divide s?
False
Suppose -26*d + 25*d + 2*h = -13960, -d - 2*h + 13964 = 0. Does 39 divide d?
True
Let g(q) = -q**3 + 9*q**2 + 2*q - 16. Let z be g(9). Suppose -425 = -3*v + 5*y - 10*y, z*y + 397 = 3*v. Does 5 divide v?
True
Is (-2259228)/531*81/(-6) a multiple of 24?
False
Let q = 88 + -85. Suppose 3*o - p = 537, 2*p + q*p = -4*o + 697. Is o a multiple of 7?
False
Suppose 931*t - 5*a - 10690 = 928*t, 3554 = t + 3*a. Is 89 a factor of t?
True
Suppose 0 = r + 1, 8*m - 3*m = 4*r + 49. Let g(d) = 15*d + 23. Let p(i) = 43*i + 70. Let b(z) = -11*g(z) + 4*p(z). Is b(m) a multiple of 19?
False
Suppose -18851*p = -18820*p - 49569. Is 13 a factor of p?
True
Let i(j) = 2*j**2 + 2*j + 4. Let u be i(-2). Suppose 4*g + u - 28 = 0, 93 = -4*n - 3*g. Let t = n + 194. Does 28 divide t?
False
Let j = -32 - -35. Suppose -4*g = 2*k - 64, -81 - 6 = -j*k + 3*g. Is k/105 + (-1307)/(-7) a multiple of 20?
False
Let c(k) be the third derivative of -k**5/60 + 19*k**4/12 - 17*k**3/6 - 8*k**2 + 2*k. Is 41 a factor of c(15)?
True
Suppose 3 = s - 11*d + 8*d, 2*s + 3*d - 6 = 0. Suppose -s*g - 186 = -5*b, 2*b = 4*b - 2*g - 76. Does 5 divide b?
False
Suppose -2*n = 1387 - 28295. Is n a multiple of 31?
True
Let j = -256 + 296. Is ((-173)/(-2))/(20/j) a multiple of 5?
False
Suppose 135886 + 232349 = 49*u. Is 49 a factor of u?
False
Suppose 0 = -4*u - 2*l + 30926, l = 17*u - 12*u - 38675. Is 22 a factor of u?
False
Suppose 32421 = 16*g + 6101. Does 7 divide g?
True
Suppose 2223365 + 25566 - 173231 = 204*j. Is j a multiple of 150?
False
Let u(a) = -a + 52. Let q be u(6). Let y = -44 + q. Suppose y*w + 3*d - 111 = 0, -14*d + 9*d - 215 = -5*w. Is w a multiple of 4?
True
Let f = 7003 + -6020. Is f a multiple of 28?
False
Is (2208/(-40))/(-4 - 11179/(-2800)) a multiple of 23?
True
Let i(d) be the first derivative of d**7/840 - d**6/120 + 7*d**5/120 - d**4/6 + 28*d**3/3 + 2. Let q(z) be the third derivative of i(z). Is 27 a factor of q(5)?
True
Let d be -3 - (108 + 0)/(-4). Suppose -4*l + d = 3*o, 5*l + 2*o = 42 - 5. Suppose 2*z - 92 = -2*j, -l*j + 4*j - 230 = -5*z. Does 9 divide z?
False
Suppose 2*a + 14 = 0, 4*a - 52827 + 186571 = 4*n. Is n a multiple of 31?
False
Let b(x) = 4 - 2 - 1 + 2 + x. Let c be ((-1)/4)/((-11)/308). Is b(c) a multiple of 6?
False
Let p(j) = 7*j + 14*j - 22*j + 178. Is p(39) a multiple of 13?
False
Suppose 0 = -5*k - 15, -2*f - 5*k + 7100 = -3*k. Does 19 divide f?
True
Let o(z) = 83*z - 139. Let t = -303 + 309. Does 24 divide o(t)?
False
Does 11 divide ((-12)/54 - (-103398)/27)*36/24?
False
Suppose 0 = h + 5*k - 5174, 2*h + 10*k = 11*k + 10370. Does 12 divide h?
True
Suppose 3128 = -24*l + 23768. Does 20 divide l?
True
Is 55 a factor of (-130398)/(-9) + 4 - 86/129?
False
Let t be (9/6)/((-2)/(-76)). Let l = t - 55. Suppose -l*a + 4*w + 94 = 0, -3*a + 84 = 5*w - 2. Is a a multiple of 37?
True
Let z(a) = -a**2 + 26*a - 64. Let d be z(3). Suppose -d*m = -3*n - 963, -3*m + 12*n + 601 = 16*n. Is 15 a factor of m?
True
Let r(q) = q**2 - 16*q + 18. Let t be r(14). Let w be 16/10*t/(-4). Suppose -4 = -j, w*z - 5*j + 20 = 372. Does 20 divide z?
False
Let j(f) be the third derivative of 7*f**5/60 + f**4/3 + 2*f**3 + 4*f**2 - 2*f. Is 2 a factor of j(5)?
False
Suppose 0 = -7*t + 3*t + 20. Suppose -4*l + 48 = 4*d + 116, 35 = -d + t*l. Is 15 a factor of 150/d*(-8 - -2)?
True
Let b be ((-4 + -8)/(-4))/(3/4). Suppose 2*j - s = 225 + 11, b*j = -s + 466. Is j a multiple of 2?
False
Suppose -10*v - 27 = -5*w - 7*v, -w + v = -5. Let f(q) be the first derivative of 4*q**3/3 - 5*q**2/2 + 7*q - 1. Is f(w) a multiple of 8?
False
Does 37 divide (4736/(-4))/(13 + (-725)/55)?
True
Let n(x) = -272*x + 584. Does 41 divide n(-110)?
True
Let p(u) be the first derivative of 22 - 13/2*u**2 + 10*u. Does 26 divide p(-7)?
False
Let s(i) = 0*i**3 + 2*i**2 + 8*i**2 - 3*i**2 + 14 - i**3 + 9*i. Is 22 a factor of s(8)?
True
Suppose 8 = -3*p + 20. Suppose -2*v - 5*i + 165 = 0, -p*v - 3*i + 237 = -100. Does 12 divide v - (-1 + -1)/(8/(-12))?
False
Let m(g) = 233*g - 359. Is 11 a factor of m(15)?
False
Is 18 a factor of (48/(-56)*(-14)/3)/((-4)/(-8802))?
True
Suppose -9*x = -13*x + 2*h + 25080, -31350 = -5*x - 3*h. Suppose x = 217*b - 207*b. Is b a multiple of 19?
True
Let s(p) = -3*p**3 + 9*p**2 + 20*p - 12. Let a(d) = d**3 + 0 + d**2 + 5 - 4*d**2 - 1 - 7*d. Let w(c) = 11*a(c) + 4*s(c). Does 3 divide w(3)?
False
Let m = 1566 - 1473. Is m even?
False
Suppose -2*r - 2 = 0, 0*r = h - 2*r - 170. Suppose -s + h + 40 = 0. Is s a multiple of 9?
False
Suppose 99*i - 76*i + 897 = 0. Suppose 0*q - 183 = 3*q + 4*a, 2*q = 4*a - 122. Let r = i - q. Is r a multiple of 11?
True
Let o = -22 - -36. Suppose -3*j + 389 = o. Is 4 + (-7 - -5) + j + -1 a multiple of 18?
True
Let q = 27 - 18. Suppose 14*c + 544 = 15*c. Suppose -q*z - c = -13*z. Is 17 a factor of z?
True
Let g(q) = 5*q**3 + q**2 - 4*q. Let s be 195/169 + (-4)/26. Let w be s/(2 + (-15)/9). Does 22 divide g(w)?
True
Let b(i) be the first derivative of 76*i