uppose 7*q - 1628 = 283. Is 39 a factor of q?
True
Does 29 divide ((-140)/98)/(1/(-1204))?
False
Does 12 divide (95/(-3))/(((-333)/648)/37)?
True
Let a be -1*8/(-2) + -1. Let r(v) = v**2 + 14*v + 29. Let o be r(-2). Suppose -o*u = 3*t - 216, 4*t + 0*t - 299 = -a*u. Is 21 a factor of t?
False
Let c(w) = -3*w + 1. Let u(g) = -10*g + 3. Let a(p) = -7*c(p) + 2*u(p). Does 3 divide a(4)?
True
Suppose 10*z - 456 = 2*z. Does 19 divide z?
True
Let l = -54 + 45. Let i(v) = 2*v**2 + 13*v - 3. Does 18 divide i(l)?
False
Let s be (-36)/(-63) + 20/14. Suppose 3*b = s*b. Suppose 3*v - 3 = 0, i + i - v - 41 = b. Is i a multiple of 7?
True
Is 14 a factor of 3094/(4/2) - (-450)/(-225)?
False
Suppose -2*x + 4*v - 56 = 0, 2*v = 3*x - 14 + 94. Let b = x - -146. Is b a multiple of 30?
True
Let f = -337 - -352. Let g = 21 - -89. Let l = g - f. Is 20 a factor of l?
False
Let j = -19 + 6. Let s = -11 + j. Is 28 a factor of (s/7)/(7/(-147))?
False
Let z = -1063 + 1813. Is 24 a factor of z?
False
Let m = 57 + -24. Suppose 42 = 5*c - m. Is c a multiple of 2?
False
Suppose 4*n - 7*u - 92 = -5*u, -5*u = 2*n - 70. Is 4 a factor of (-23 - 1)/((-10)/n)?
True
Let t(n) = -n**3 - 12*n**2 - 9*n - 15. Let v be t(-11). Let a = 142 + v. Is a a multiple of 15?
True
Is 48 a factor of (-4)/(-10) + (-20822)/(-145)?
True
Let v be 0/2 + -2 + 9. Let x(r) be the third derivative of r**5/60 - r**4/12 + r**3/6 + 32*r**2. Is x(v) a multiple of 9?
True
Suppose -4*r = -2*q - 3590, 3*q - 6*q + 2670 = 3*r. Does 32 divide r?
False
Let n(y) = y**3 - 2*y**2 - 10*y + 6. Let z be n(4). Is 3 + (-399)/(-1 + z) a multiple of 34?
True
Is 19 a factor of -2*((-284)/3 - 7/21)?
True
Let v be -2*(4 - 5) - 2. Suppose 3*r + c - 120 = 0, -4*r = 2*c - v*c - 160. Let t = r + 32. Does 13 divide t?
False
Suppose n - 5*w = 100, -3*w - 378 = -5*n + 12. Suppose -23 = 4*o - n. Let k = -1 + o. Is k a multiple of 12?
True
Let h = 542 - 171. Does 53 divide h?
True
Suppose v + 4*y - 2376 = -2*v, v - 800 = -4*y. Does 29 divide v?
False
Let h(l) = -156*l**3 + 6*l + 5. Does 9 divide h(-1)?
False
Suppose -3*k + 44 = d, -3*d + 4*d = 3*k + 50. Does 3 divide d?
False
Let v = 37 + -35. Suppose v*s + 252 = 4*s. Is 35 a factor of s?
False
Suppose 88 + 52 = -7*s. Is 12 a factor of s/(-78)*375 - 12/78?
True
Let r = 241 + 9. Is r a multiple of 19?
False
Let z(s) = 5*s**2 - 3*s + 2. Let r be z(1). Suppose -r*y + 540 = y. Does 12 divide y?
True
Let q be (0 - 45)*(-10)/25. Suppose -q = -5*n + 2*n. Suppose -4*x + 30 = n. Does 3 divide x?
True
Let z(d) = d**2 + 5*d - 14. Let x be (-28)/(-4) - 2 - -3. Is z(x) a multiple of 10?
True
Let x = -93 - -208. Let r = x - 55. Is 12 a factor of r?
True
Let v = 545 + -380. Is v a multiple of 16?
False
Let s be (-1 - -3) + 1 + 4/(-2). Does 12 divide ((-52)/s)/((-20)/14)*5?
False
Let p(v) be the first derivative of 1/2*v**2 - 1/4*v**4 - 2/3*v**3 + 5*v + 4. Is p(-4) a multiple of 11?
True
Let j be 40/12*(-6)/(-4). Suppose j*x + l - 788 = -2*l, 0 = 4*l + 16. Is x a multiple of 32?
True
Suppose 5*y = 5*u - 35, y + 2*y + 21 = -4*u. Let p = y - -10. Does 5 divide p/(-3) + 13/1?
False
Let i(g) = 23*g**2 - 7*g - 5. Suppose 0 = -2*j + l, -2*l = -4*j + l + 4. Does 11 divide i(j)?
False
Let v = 12 + -10. Let h be v - 0 - -1 - 3. Suppose 0 = -h*k + 2*k - 58. Is k a multiple of 9?
False
Is 8/((-48)/(-2790)) + -4 + -1 a multiple of 46?
True
Suppose -4*k - 5 + 173 = 0. Let j be ((-30)/5 - 0) + -27. Let a = j + k. Is a a multiple of 6?
False
Let b(t) = -2 + 0*t + 2*t**3 - t - 3*t**3 - 2. Is b(-5) a multiple of 21?
True
Let n = 58 - 41. Let j(t) = t**3 - 16*t**2 - 16*t - 15. Let q be j(n). Suppose q*c + 103 + 69 = 5*h, -h - 3*c = -31. Is 6 a factor of h?
False
Let r = -2162 - -3281. Is 15 a factor of r?
False
Let h(c) be the second derivative of 5*c**3/6 + 7*c**2 + c. Suppose 6*u = 8*u + 4, -2*d - u = -12. Is 11 a factor of h(d)?
False
Does 50 divide (3579/(-6))/((-15)/30)?
False
Suppose 0 = 4*x - 3*q + 154, 1 = 3*q + 7. Suppose 0*s = 2*s + 120. Let v = x - s. Is 20 a factor of v?
True
Suppose 22*d - 277 = 251. Is d a multiple of 3?
True
Suppose 2*f = -l + 4*l - 11, l + 3*f = 0. Suppose -2*z - l*z = 190. Let y = 113 + z. Is 24 a factor of y?
False
Let y(u) = u**3 - 4*u**2 + 3*u + 4. Let a(v) = 4*v - 12. Let m(j) = 11*j - 37. Let z(o) = -8*a(o) + 3*m(o). Let n be z(18). Is y(n) even?
True
Suppose -13*v + 8*v = -f + 22, 3*v = 5*f - 220. Let j = f - -104. Does 27 divide j?
False
Suppose 0 = -2*r - 4*r + 84. Suppose 160 = -r*y + 552. Does 4 divide y?
True
Let a be 2*1250 + -5 + 7. Is 29 a factor of a/36*1*2?
False
Suppose -2202 = -4*m - 558. Does 3 divide m?
True
Let a(v) = -19 - 19 + 41 + 12*v + 10*v**2 - v**2. Let g be a(-9). Suppose 5*u + 4*l = g, -5*u + 553 + 70 = 3*l. Is u a multiple of 28?
False
Let m = 2 - 1. Suppose -2*l + 28 = 5*j, -j - l - m = -6. Suppose 0 = i - j*i + 20, -4*i + 136 = 5*s. Does 12 divide s?
True
Suppose 16 = 4*u - 0. Suppose u*q - 60 = 2*l, -2*q - l + 30 = -0*l. Suppose r = 5*f - 81 + q, 17 = f - 4*r. Does 13 divide f?
True
Does 29 divide (-377)/(((-2)/(-3))/((-48)/72))?
True
Let f(l) = -l + 41. Let w = 8 + -8. Is 7 a factor of f(w)?
False
Let k be (8 - 2)*(-3)/(-9). Suppose 109 = k*l - 71. Is 30 a factor of l?
True
Suppose -583 = -2*b + 317. Is b a multiple of 27?
False
Let j(i) = -44*i + 65. Is 10 a factor of j(-9)?
False
Let l(j) be the first derivative of 5 + 6*j + 5*j**2 + j**2 - 5*j**2. Does 7 divide l(7)?
False
Let x(p) = -12*p + 155. Is x(-17) a multiple of 2?
False
Suppose 4*r = 0, 4*j + 2*r + 458 = 2010. Suppose 0 = -0*q - 4*q + j. Does 17 divide q?
False
Let n = 26 - 23. Suppose 0 = -0*i - i - 4. Does 25 divide n/(6/(-37))*i?
False
Suppose -4*v + 2*k + 32 + 300 = 0, 4*k = 3*v - 244. Let g = v - 57. Is g a multiple of 27?
True
Suppose 235*k = 250*k - 37920. Is k a multiple of 10?
False
Let c = -607 + 655. Let p be 0 + 1 + (1 - -2). Suppose -5*o - 2*i + 128 = -0*o, -p*i + c = 2*o. Is o a multiple of 5?
False
Does 2 divide 5/(-3*2/(-96))?
True
Let u(o) = 3*o**2 + 13*o - 36. Is u(-11) a multiple of 8?
True
Suppose 0*u + 1425 = 5*u. Is 19 a factor of u?
True
Let b(q) = -q**3 + 5*q**2 - 14. Let l be b(4). Suppose -5*t = 3*h - 439, -l*h - 4*t = -4*h + 256. Does 16 divide h?
False
Let d = -117 - -99. Does 12 divide d/(-8)*(2 + 58/3)?
True
Let x(j) = -j**3 + 7*j**2 - 2*j - 2. Suppose v + 2*d = -3*d - 2, -4*v + 7 = 5*d. Is 13 a factor of x(v)?
False
Let h = -73 + 77. Suppose -h*i = 3*l - 403, 5*l + 118 = -0*i + i. Does 7 divide i?
False
Let g(u) = -2*u**2 + 26*u - 14. Let w be g(12). Does 46 divide (-9)/(-45) + 2378/w?
False
Suppose -j - 4 = -12. Is 3 a factor of 0 + ((-126)/j)/7*-20?
True
Suppose 5 = z + 2. Suppose 4*r - z*r - 8 = 0. Suppose -3*o = -r*o + 125. Does 7 divide o?
False
Let o(n) = n**2 + n - 79 + n**2 + 7 + 30. Is 7 a factor of o(7)?
True
Suppose 2*c + s = 6*s + 24, -s - 8 = -2*c. Suppose 0 = 4*b - c*b - 2. Is (0 + 0 - -14) + b a multiple of 6?
False
Suppose -8*w - 8 = -6*w. Is 26 a factor of -1 + 116 + 8/(w + 8)?
False
Let w = 137 + -134. Suppose 144 = w*d - 0*d. Does 6 divide d?
True
Let s be 10/(-3)*(-63)/35. Let b(q) = -q**2 + 8*q - 6. Does 3 divide b(s)?
True
Suppose -4*r + 11 = -9. Suppose 2*z - 111 = -r*h + 112, 523 = 5*z + h. Let b = z - 41. Does 20 divide b?
False
Let p(r) be the first derivative of r**5/4 - 5*r**4/12 + r**3/2 + 2*r**2 - 6*r + 10. Let d(s) be the first derivative of p(s). Is 25 a factor of d(3)?
False
Let y(k) = -k**3 - 2*k + 4*k**2 + 5*k - 4*k. Let m be y(4). Is 22 a factor of -3 + 2/(m/(-50))?
True
Let q = -23 + 33. Let x = q + -10. Suppose x = -3*l + 3*o + 180, -2*l + 2*o + 100 = 5*o. Is 15 a factor of l?
False
Suppose 0*v + 3*v + 4*w + 23 = 0, -4*w - 16 = -4*v. Let u = 1 + v. Suppose -2*k + 2*j + 67 = 3*k, -2*k + 4*j + 14 = u. Does 15 divide k?
True
Let v(s) = s**3 - 35*s**2 + 31*s - 3. Let x be v(34). Does 16 divide (x/(-9) + -1)*(-99)/(-6)?
True
Let w = 10 - 7. Suppose 0 = 2*g - 7 + w. Suppose -13 = -g*o + o. Is o a multiple of 13?
True
Let n = -1 - -11. Does 3 divide 39/(-2)*n/(-15)?
False
Let a(q) = -24*q + 291. Does 49 divide a(9)?
False
Let k = 13 - 8. Suppose 5*s + 2*d - 6*d - 21 = 0, 20 = k*s - 5*d. Suppose 0*r - 260 = -s*r. Does 20 divide r?
False
Let j(g) = 4*g + 46. Let m(l) = l + 9. Let a(n) = n + 12. Let h be a(-14). Let x(k) = h*j(k) + 