 = q - w. Is p a multiple of 14?
False
Is 5684*((12/(-30))/((-32)/380) + -2) a multiple of 165?
False
Let w(p) = -30*p + 5. Let y be w(-3). Let a(z) = -18*z - 7. Let u be a(-4). Let f = y - u. Does 15 divide f?
True
Let n = 1142 + 3048. Does 25 divide n?
False
Suppose -3*p + 5*d + 44 = 0, -8*d = -4*p - 6*d + 40. Does 24 divide p + 1968/(54/9)?
True
Let h = -3953 - -4521. Is h a multiple of 5?
False
Let d(m) = 10*m**2 - 3*m + 2. Let z be d(2). Let b be 15/3 + -1 + (11 - -19). Let c = z + b. Is 10 a factor of c?
True
Suppose 0 = 2*q - u + 11, 2*q - 4*u = u + 1. Let v = q + 10. Suppose -v*l - 2*l - 4*s + 298 = 0, -3*l - 3*s + 177 = 0. Is 10 a factor of l?
False
Suppose 2*u + 458 = 5*j, 5*u + 302 + 78 = 4*j. Is j a multiple of 4?
False
Let p(o) = 36*o**2 - 17*o + 192. Does 4 divide p(9)?
False
Let k(l) be the first derivative of l**3 + 45*l**2/2 - 29*l - 92. Is k(-29) a multiple of 10?
False
Let m(l) = 6*l**2 + 51*l - 48. Let f(w) = -11*w**2 - 102*w + 93. Let n(h) = 4*f(h) + 7*m(h). Does 5 divide n(-23)?
False
Let h(q) = -7*q - 19. Let w(d) = d**2 - 17*d - 31. Let y = -55 - -73. Let r be w(y). Is 12 a factor of h(r)?
True
Let a(m) = m**3 - 10*m**2 - 10*m - 6. Let g be a(11). Suppose 4*n - 1321 = -t - 86, -5 = g*t. Does 76 divide n?
False
Let q(h) = h**2 + 1. Let f(x) = x**3 - 3*x**2 - 2*x - 2. Let c(p) = -f(p) - 3*q(p). Let n be c(-3). Let b = n + -8. Is b a multiple of 3?
True
Let d(t) = t**3 - 54*t**2 - 469*t + 74. Is 14 a factor of d(62)?
False
Let j(n) = 9*n**2 - 16*n - 33. Let y(g) = -5*g**2 + 8*g + 16. Let v(q) = -4*j(q) - 7*y(q). Let r be v(10). Does 6 divide 13 + r + (2 - 3)?
True
Let h be (3*88/(-36))/((-4)/(-30)). Is 11 a factor of 107/5 - 33/h?
True
Let i(d) be the first derivative of 594*d**2 - 18*d - 88. Does 39 divide i(1)?
True
Suppose -3*k + 21027 = 2*x, 3*x + 23*k - 31599 = 25*k. Does 20 divide x?
False
Let b = -2158 + 4159. Is b a multiple of 4?
False
Let y = -136 - -135. Does 19 divide 291 + (5 - -1)*y?
True
Let t(o) = -3*o**2 + 22*o + 43. Let z be t(11). Does 20 divide ((-201 - -1)/10)/(1/z)?
True
Let x(q) = 32*q - 26*q - 15 + 23*q - 76. Is x(16) a multiple of 4?
False
Suppose 0 = -8*x - 35 + 75. Suppose d - 2*l = 5*d - 7494, 0 = d - x*l - 1846. Is d a multiple of 99?
False
Does 3 divide ((-217)/(-14) + -15)*(2 - -6094)?
True
Suppose -164*n + 160*n + 252 = 0. Does 21 divide n?
True
Suppose 4*h + 14219 = 5*f + 115404, -5*h - 4*f = -126512. Suppose -h = 117*k - 142*k. Is 15 a factor of k?
False
Suppose -2*u + 18468 = 7*u. Suppose -7*l - u = -26*l. Is l a multiple of 9?
True
Suppose 5*d + 1277 = -4*r + 468, -2*d + r - 321 = 0. Let t = d - -242. Does 6 divide t?
False
Suppose -3*o + 2*s + 155036 = 0, 8*o + 5*o - 671813 = -s. Is o a multiple of 9?
True
Let w = 68 - 51. Let t(y) = 1 + w*y - 4 + 1. Does 22 divide t(4)?
True
Is (-4)/(134944/67504 - -4 - 12/2) a multiple of 15?
False
Let t = 537 + -546. Let h(j) = -j**2 - 18*j + 11. Does 2 divide h(t)?
True
Does 37 divide (-7 + -9 - -9) + (2 - -17867)?
False
Let v be (-12)/546*7 + 126/(-26). Does 7 divide (-25290)/(-75) + 6/v?
True
Let y(j) = 3*j**3 + 11*j**2 - 6*j + 62. Let t(b) = -13*b**3 - 44*b**2 + 23*b - 250. Let p(n) = -2*t(n) - 9*y(n). Is 72 a factor of p(-15)?
False
Let x be (-1)/(3*4/96). Let y(a) = a**3 + 8*a**2 - 5*a - 5. Let f be y(x). Suppose -40*l = -f*l - 390. Does 39 divide l?
True
Let m be (4/(-6))/(1 + (-58)/57). Let r = m - 31. Does 17 divide (66/(-12) - -2)*(-44)/r?
False
Let v = -1146 + 1150. Let d(r) = 3*r**3 + 0*r**3 - 6*r**2 + r - r**3. Is d(v) a multiple of 18?
True
Let m = -24 + 27. Let w(a) = 5*a - 47. Let j be w(10). Suppose m*f - j*q = 162, -2*q + 5*q = -6. Is 9 a factor of f?
False
Suppose 0 = 6*n - 2335 - 1295. Let g = -445 + n. Is 53 a factor of g?
False
Suppose 4*b = -0*b + 2*f - 64, -2 = b + 3*f. Let q = b - -71. Is 19 a factor of q?
True
Let v(m) = -m**3 - 5*m**2 + 3*m - 14. Let j(u) = -2*u + 11. Suppose 7*o = 4*o + 27. Let p be j(o). Is v(p) a multiple of 33?
False
Suppose 0 = -74*r + 72*r + 8. Suppose v + v = 4*z - 352, -106 = -z - r*v. Is 10 a factor of z?
True
Let i = 10 + -3. Let g(w) = -w**3 - 58*w**2 + 119*w - 22. Let k be g(-60). Suppose -i = -9*n + k. Does 3 divide n?
False
Suppose 23 = 6*u + 41. Let s(a) = -107*a - 12. Does 41 divide s(u)?
False
Let k(x) = -x**3 + 5*x**2 - 3*x - 4. Let j be k(3). Suppose -2*p + 76 = j*i, 4*i + 14 = 6. Suppose -128 = 39*m - p*m. Is m a multiple of 32?
True
Suppose 4*j - 9*j + 180 = 0. Suppose -2*f - 5*z = 47, -2*z = -3*f + 2*z - j. Let k = f - -74. Is 29 a factor of k?
True
Suppose 3*s - 2164 = t - 5*t, -3*t + 1623 = 4*s. Suppose 33 = 5*x + 2*w - 1617, x = -3*w + 343. Suppose -f = -4*q + t, -2*q - 4*f + x = 44. Is 11 a factor of q?
False
Does 123 divide 44/(-198) - (2/10 + 4533336/(-405))?
True
Suppose 4*z - 3*f - 2554 = 0, -4*z - 5*f + 0*f + 2538 = 0. Let t = z - -61. Is t a multiple of 41?
False
Suppose r + 0 - 76 = u, 4*u + 12 = 0. Let j = 109 - r. Suppose 0*m + 2*m = j. Is m a multiple of 11?
False
Does 30 divide ((-220185)/(-42))/(6/16)?
True
Let h = -1 + 4. Suppose -15*f = -h*f - 24. Is ((-543)/(-6))/(0 - (-1)/f) a multiple of 20?
False
Suppose 0 = 4*o - 2*k - 20342, 5*o + 14*k - 25424 = 13*k. Does 9 divide o?
True
Let v(n) = -3*n - 372 + 383 - 12*n. Does 28 divide v(-3)?
True
Does 33 divide (1436/((-91)/21 - -1))/(3/(-15))?
False
Suppose 5*z + 419 = 3*u, -4*u + z + 553 = -0*z. Suppose -5*a = 3*j - 250, -77 = -5*a + 4*j + u. Is 26 a factor of a?
False
Let v = -26 + 632. Suppose -12*y - 102 = -v. Is y a multiple of 9?
False
Let q(m) = m**3 + 3*m**2 - m - 3. Let b be q(-3). Suppose 5*u + 5 = b, 2*z = 3*z - 4*u - 14. Suppose z*k = -46 + 246. Does 7 divide k?
False
Let r(f) = -f**3 - 102*f**2 + 478*f - 1045. Is r(-109) a multiple of 38?
True
Suppose -3*j + 1037 = -5*d, -611 = 3*d - 3*j + 4*j. Let w = 425 + d. Is 69 a factor of w?
False
Let o(r) be the first derivative of 6*r**2 - 3*r + 3. Suppose 5*h - 2*z - 6 = z, 6 = 2*z. Does 11 divide o(h)?
True
Let o = 32066 + -19096. Is 11 a factor of o?
False
Let m(w) = -w**2 + 13*w + 5. Let f be m(13). Suppose -f*x = -872 + 57. Let r = 228 - x. Is 5 a factor of r?
True
Suppose 0 = 11*v + 2*v - 650. Suppose -3*p - v = 46. Let q = -16 - p. Does 8 divide q?
True
Suppose -5*s + 2*n = -52 - 90, -n - 26 = -s. Suppose 42 + s = 6*g. Is g a multiple of 4?
True
Suppose 3*x - 1 = 4*d, 3*x + 18 = -4*d - 13. Let l(i) = -24*i**2 - 2*i + 5. Let t(p) = -49*p**2 - 3*p + 9. Let j(k) = x*l(k) + 2*t(k). Does 10 divide j(2)?
False
Is 4/6*(11 - 5*(-43570)/20) a multiple of 11?
False
Let q = 4709 - 3889. Is 10 a factor of q?
True
Let z(y) = 3*y - 8. Let k be z(4). Suppose k*d - 2*u = 116, 4*d = -2*u + 105 + 27. Is d even?
False
Let h(g) = -2589*g + 6419. Is 20 a factor of h(-30)?
False
Let w = -97 + 122. Is 2752/5 + 15/w a multiple of 23?
False
Let l be 3/18*(-7 - -4)*-12. Let x be (l/(-9) - -1)/((-1)/(-9)). Does 4 divide 7*(x + 0)/(63/12)?
True
Suppose -4*w = -12, -29*p + 28*p + 2*w = -98. Does 3 divide p?
False
Is (-3 - (-4 - -2)) + 331111/31 a multiple of 12?
True
Suppose 6*q - 4*q - 110 = 0. Suppose -1169 - q = -18*h. Does 11 divide 4/(-20) + (-9)/5 + h?
True
Suppose -q = -2*t - 87 - 32, 123 = -2*t - 3*q. Let v = -30 - t. Does 3 divide 378/v + 8/20?
False
Let v be ((-5)/(60/56))/((-8)/204). Suppose h - 3*r = 29, 3*h - 3*r = -2*r + v. Does 2 divide h?
False
Suppose 2*f - 3 = g - 4*g, 0 = 4*f - 2*g - 14. Suppose -5*a - f*z + 25 = -99, 2*a + 5*z - 42 = 0. Is a even?
True
Let w be ((-65)/10)/((-5)/(-10)). Let g = 13 + w. Suppose g = 2*c + c - 390. Is 13 a factor of c?
True
Suppose 20*i - 1546776 = -52*i. Is 99 a factor of i?
True
Let z(f) = 38*f**2 + 8*f - 7. Let h be z(2). Suppose -3799 - h = -11*n. Does 18 divide n?
True
Let n(j) = -631*j + 167. Let i be n(-10). Suppose -7*z + i = 10*z. Is 14 a factor of z?
False
Let s = -6491 - -12745. Is s a multiple of 4?
False
Let n = -461 + 5629. Does 16 divide n?
True
Let b = 10691 + -8130. Is 56 a factor of b?
False
Suppose 0 = 44316*s - 44320*s + 160. Does 5 divide s?
True
Is 32 a factor of 23/(92/8) + -2 + 1554?
False
Suppose -147*n = 313*n - 3119260. Does 28 divide n?
False
Let o(n) = 266*n + 966. Is 67 a factor of o(10)?
False
Let t(k) = k**2 + k. Let c be t(-1). Let r be (5/(-3) - -2)*c. Suppose -3*n - 3 = r, 91 + 54 = 3*d - n. Does 17 d