- -6)?
True
Let t = 652 - -90. Is t a multiple of 4?
False
Suppose 3*t = 4*l - 48, -5*t - 5*l = -5 + 50. Let z = 30 - t. Is 7 a factor of z?
True
Suppose 3*q + 2*s - 2206 = 4*s, -4*s = 5*q - 3640. Is q a multiple of 31?
False
Let f = 94 + -92. Suppose 0 = -5*d + f*q + 70, -3*d - 3 = q - 45. Does 4 divide d?
False
Let w(j) = 7*j**2 + 3*j - 62. Does 19 divide w(15)?
True
Let n(p) be the first derivative of -7*p**2 - 15*p - 4 - 1/3*p**3. Does 25 divide n(-10)?
True
Let f be 0/1*(-1)/(-2). Suppose 4*i - i = -n + 13, 19 = 5*i - n. Suppose i*p + f = 44. Does 3 divide p?
False
Let g(m) = 6*m - 1. Let d be g(-2). Suppose 0 = -11*q + 12*q + 22. Let b = d - q. Is b even?
False
Suppose g - 5*u - 18 = 4, -2*g - 2*u = -44. Suppose 0 = 3*c - 20 - g. Suppose c + 8 = d. Is d a multiple of 13?
False
Let j(g) = -1. Let y(q) = -q**3 + 9*q**2 - 8*q - 1. Let f(c) = -3*j(c) - y(c). Let p be f(8). Suppose 98 = -d + p*d + 4*n, 168 = 5*d + 2*n. Is 12 a factor of d?
False
Suppose -3*p + 12 = 2*d, 5*d - p + 0 + 4 = 0. Suppose -5*m + 3*r + 194 = d, -3*m - 25 = -4*m - 4*r. Does 7 divide m?
False
Let x = 1431 + 174. Is 39 a factor of x?
False
Suppose -5*j - 5 = -20. Suppose -j*k + 332 = 92. Is 16 a factor of k?
True
Let k(z) = 12*z**2 + 10*z - 37. Let l be k(6). Suppose 4*t - 5*q - 385 = 0, 2*q = -5*t + 3*q + l. Is 18 a factor of t?
True
Let t be (-51)/(-1) + (1 - 2). Let r = t - 0. Suppose -2*h = h + n - r, 2*n = 10. Is h a multiple of 6?
False
Suppose -f - 10176 = -6*f - l, -4*f + 8140 = l. Is 14 a factor of f?
False
Suppose 0 = -3*d + 4 + 2. Suppose 58 = d*k - 2*n, 4*n = -k + 21 - 2. Is 10 a factor of k?
False
Is 14 a factor of 22/165 + (-2)/90*-164919?
False
Does 24 divide 3385 + 0 - (-9)/12*4?
False
Let k(f) = 19*f**2 - 6*f + 6. Let p be k(5). Suppose -t - 2*t + p = -r, 0 = 2*t - 2*r - 302. Suppose 4*i = i + t. Is 10 a factor of i?
True
Let c be -4*(1 + 4/12*3). Does 14 divide (-92)/c*1*4?
False
Let i(u) = u**3 - 8*u**2 + u - 6. Let g be (-1 + 3)*(1 + (-14)/(-4)). Is i(g) a multiple of 14?
True
Suppose -10*d + 5*c = -8*d - 1804, -4568 = -5*d - 2*c. Is d a multiple of 19?
True
Suppose 80536 = 54*r + 9256. Is r a multiple of 55?
True
Is 17 a factor of (3 - (-6 - -163))/(2/(-3))?
False
Let v(s) = -3*s - 27. Let b be v(-7). Is (-3)/b + (-474)/(-12) a multiple of 8?
True
Let n(x) = -3*x + 8. Let b be n(2). Suppose -2*i + 10 = -4. Suppose b*r = 7 + i. Does 2 divide r?
False
Suppose 2*m - 8 = -2*m, 242 = 4*r - m. Suppose -x + 5*b - r = -5*x, -63 = -3*x + 2*b. Is x a multiple of 7?
False
Let l(t) = t**2 + 2*t - 10. Let i be l(-5). Suppose 759 = i*n + 279. Is n a multiple of 13?
False
Suppose -4*v - 9 = g + 4*g, 0 = -4*v + 5*g + 1. Is 6/((-2)/v) + 76 a multiple of 11?
False
Suppose 4 = -17*b + 19*b. Let d(x) = 22*x - 6. Does 38 divide d(b)?
True
Let l = -276 + 168. Let n = -65 - l. Does 8 divide n?
False
Let i = -19 + -15. Let t = i - -8. Let m = 83 + t. Is 17 a factor of m?
False
Suppose 0*j = 4*j - 3*p - 39, j - 3*p = 21. Does 37 divide (-1406)/(-10) - j/10?
False
Let r(p) = 16*p + 1. Let s be r(5). Let n = s - 30. Is n a multiple of 15?
False
Let z = -1233 + 1804. Suppose -z = -5*l + 269. Suppose -4*i + 4*r = -196, -l = -4*i - 2*r - r. Is 15 a factor of i?
True
Is 112*(4/(-18) - (-154)/126) a multiple of 16?
True
Suppose 575 = 7*m - 888. Suppose 0*o - 5*s - 145 = -2*o, 3*o - m = -s. Is o a multiple of 35?
True
Is (620/6)/((14/12)/7) a multiple of 62?
True
Suppose s + 3 - 6 = 0. Suppose -s*r - 10 = 4*y, -4*r - 12 + 0 = 4*y. Is (44/(-55))/(y/15) a multiple of 4?
True
Let g = 9 - 7. Suppose 5*x - g*w - 123 = 0, 79 = 3*x - 0*x + 4*w. Let k = x + -14. Is k a multiple of 4?
False
Suppose 5*i = 9*m - 4*m + 11645, -2*i - 4*m + 4682 = 0. Is 31 a factor of i?
False
Suppose 13*w = 6*w + 14. Let k be (-1)/w + (-182)/(-4). Let u = k - -54. Does 33 divide u?
True
Suppose -54*s + 62*s = 1640. Does 2 divide s?
False
Let w = -1172 - -1430. Is 41 a factor of w?
False
Suppose 0 = -0*y - 3*y. Let d = y + 18. Does 6 divide 4/d - 212/(-18)?
True
Suppose z - 16 = -2*h + 3*z, 3*h - 2*z = 23. Suppose 3*g + 4*q + 8 = 0, g - 4*q - 1 = h. Suppose g = d + 3, -4*v = 2*d + 3*d - 177. Is v a multiple of 24?
True
Suppose 40 = 4*d - 4*c, -c - 4 = -5*c. Suppose -3*r + 3*n + 2*n = -49, -r + 28 = -4*n. Let m = d - r. Is 3 a factor of m?
True
Let j = 21 + 21. Does 4 divide j?
False
Let h(r) = r**2 + 2 + 0*r + 2 + 7*r. Let n be h(-7). Suppose n*b - 232 = -52. Is b a multiple of 11?
False
Let k be 1054/6 - (-1)/3. Does 29 divide (-11)/33 - k/(-6)?
True
Let y = 171 - -87. Let t be ((-34)/(-51))/((-4)/y). Let z = 3 - t. Does 23 divide z?
True
Is 1*3 + (-16 - -222) a multiple of 11?
True
Let k = 96 - -54. Is k a multiple of 10?
True
Does 17 divide -2 + 1185/6 + (-4)/(-8)?
False
Let y(h) = 3*h + 1. Let o be y(1). Is o*2 - 12/(-12) a multiple of 6?
False
Does 7 divide ((-1568)/(-80))/(3 - (-87)/(-30))?
True
Suppose 6 = 2*d + 5*j, j = -2*j + 6. Let k be d/7 + (-4530)/70. Let q = k + 164. Is 33 a factor of q?
True
Let v be (-9 + -6)*(-2)/6. Suppose 0*j + 2*h = 2*j - 534, v*h + 255 = j. Suppose -4*i = -5*r + i + j, 3*r = 5*i + 158. Is 14 a factor of r?
True
Let x = 6407 + -4557. Does 74 divide x?
True
Suppose 3*k = 4*g - 1, -3*k - 4 = 2*g + 9. Is 18 a factor of (-48)/(-27) + g + (-1280)/(-9)?
False
Suppose -3*i - 2*i - 3*g = -25, -1 = 2*i - g. Suppose -i + 3 = v. Is 10 + 17 + (v - 2) a multiple of 13?
True
Suppose -122*x + 133*x - 2376 = 0. Is x a multiple of 18?
True
Let g be 2/14*2 + (-26)/(-7). Suppose -g*t + 67 = -13. Is t a multiple of 10?
True
Suppose -3359 + 34838 = 21*v. Is 14 a factor of v?
False
Let j = 405 - -150. Suppose 3*n = -93 + j. Does 22 divide n?
True
Suppose 6 = 2*c - 0*c. Let h be (-3)/(1 - (-1 + c)). Let d(p) = 23*p + 3. Is d(h) a multiple of 24?
True
Suppose 3*y - 4 = 8. Suppose -41 = y*b - 265. Does 24 divide b?
False
Suppose -y - d = -3*d - 2, 4*d = -3*y + 6. Suppose 5*k + y*b = b, 0 = -k - 3*b - 14. Suppose -k - 5 = -2*w. Is w a multiple of 2?
False
Suppose -5*x = 7*x - 3888. Is 18 a factor of x?
True
Suppose j - 1790 = -4*j. Suppose 9*p + 79 = j. Does 12 divide p?
False
Let g = 4 + -20. Does 3 divide g/(-72) - 50/(-18)?
True
Let r = -544 + 1622. Is r a multiple of 49?
True
Let l(d) = -115*d + 8. Is 10 a factor of l(-6)?
False
Suppose 0 = -31*r + 14481 + 6196. Is 13 a factor of r?
False
Let l(u) = 37*u**3 - u**2 - u + 1. Suppose -8*a = -5*a. Let h be a/5 + 1 + 0. Does 12 divide l(h)?
True
Let m(c) = -1 - 61*c - 4 + 63*c - 1. Is 8 a factor of m(11)?
True
Let g(k) = 5*k**2 - 2. Suppose 0 = 4*r - 14 + 6. Is g(r) a multiple of 6?
True
Let j(l) = 2*l**3 + 14*l**2 + 2. Is j(-5) a multiple of 6?
True
Suppose 39 - 363 = -2*p. Suppose -5*l + 0*h = -h - 293, p = 3*l + 4*h. Let x = -40 + l. Is x a multiple of 9?
True
Let m = -48 - -427. Is m a multiple of 19?
False
Let j(s) be the third derivative of -2/3*s**3 + 0 + 0*s + 7*s**2 - 1/60*s**5 - 17/24*s**4. Is j(-15) a multiple of 5?
False
Let i = 1548 + -625. Is i a multiple of 32?
False
Let x be 1/(-3) + (-14)/(-6). Let k(w) = w + 2 + x - 6. Is k(12) a multiple of 10?
True
Suppose 607 - 8387 = -10*v. Suppose -6*t + v = -212. Does 33 divide t?
True
Let l(f) = f**2 - 3*f. Let g be l(4). Suppose -o + 242 = 10*o. Suppose -g*j + 6 = -o. Is j a multiple of 4?
False
Let d(b) = -70*b - 5. Does 8 divide d(-1)?
False
Suppose 4*k - b = 1296, -4*k - k - 4*b = -1599. Is k a multiple of 18?
False
Suppose 0 = -9*h + 35699 - 6944. Does 40 divide h?
False
Suppose -2376 + 204 = -4*p. Does 83 divide p?
False
Does 5 divide 4/6 + (-4147)/(-39)?
False
Suppose -5*d + 4*o = -332, 0 = -3*d + 4*o + 164 + 32. Is d a multiple of 9?
False
Suppose -4*o - 454 = -130. Let g = 145 + o. Is g a multiple of 32?
True
Let t = -2 + 24. Suppose -t = -9*i + 1598. Does 18 divide i?
True
Is 31 a factor of (-6)/(-16) - (-467298)/208?
False
Let c(z) = -z**2 - 9*z - 12. Let o be c(-17). Let y = 208 + o. Is y a multiple of 15?
True
Suppose 4749 = 32*a - 243. Does 12 divide a?
True
Let l = 34 + -35. Does 4 divide -6*(l + -2) - -1?
False
Suppose 7 = -5*s + 7. Suppose s = -3*a + m + 136, -5*a = -a + 4*m - 160. Is 8 a factor of a?
False
Suppose -4*l + 361 = 5*n - 352, 2*l = 5*n - 731. Suppose 2*b = -10, 2*b = -2*h + 7*b + n. Is h a multiple of 6?
True
Let k(u) = u**2 + 15*u + 18. Let z be k(-10). Let o