le of 5?
True
Is 1554/18 - 6/(-9) a multiple of 29?
True
Suppose -10*s + 4278 + 9002 = 0. Suppose 4148 = 12*r + s. Does 47 divide r?
True
Let y(u) = u + 4. Let t be y(-4). Suppose t = 5*n - 6*n + 5. Let x(g) = g**2 + g + 2. Is 10 a factor of x(n)?
False
Is 88 a factor of 1 - (3/9)/((-8)/19176)?
False
Suppose -6*w + 2*w = -5*q - 21, 5*w = -3*q - 20. Suppose -40 = 4*f - 2*f - 2*r, 3*r + 45 = -2*f. Does 16 divide (-7)/(f/(-135))*w?
False
Let b(j) be the third derivative of -11*j**6/30 + j**5/30 + j**4/24 - 17*j**2. Suppose 0 = -4*p - 5*o - 7 + 18, -4*p - o = 1. Does 15 divide b(p)?
True
Suppose 3*h + 4*h - 35 = 0. Let z(p) = 28*p - 36. Is z(h) a multiple of 8?
True
Let l = -1305 - -1339. Is l a multiple of 4?
False
Suppose 5*b - 2*p = 1570, 0 = -3*b - 0*p + 5*p + 961. Suppose b = t + 3*t. Is 2 a factor of (-4)/(-6)*t/4?
False
Suppose 2*s - s + 3*b = 5, 15 = -3*s + b. Let i(g) = 43*g + 2. Let p be i(s). Let x = -111 - p. Does 29 divide x?
False
Let r = 258 - 144. Let j = 162 - r. Is 26 a factor of 2/(-1) + -1 + j?
False
Let y = 803 + 1829. Does 8 divide y?
True
Suppose v + 103 + 42 = f, -5*v - 293 = -2*f. Is 8 a factor of f?
True
Suppose 5*r - 15 = -150. Let c = r + 51. Is c a multiple of 4?
True
Let a(p) = 2*p**3 - 3*p**2 + 1. Let t be a(2). Let h be (93/18)/(6/36). Suppose t = o - h. Is 9 a factor of o?
True
Let a(s) = s**3 + 5*s**2 + 2. Let v be a(-5). Suppose v*i + 2 - 8 = 0. Suppose -i*o - 5*j - 6 = 0, j + 11 = 3*o - 1. Is o a multiple of 3?
True
Let i(a) = -a**3 - 6*a**2 - 5*a - 2. Let j be i(-4). Let u = j - -16. Suppose -u*f = -0*f - 178. Is f a multiple of 19?
False
Let d(f) = f**2 - 3*f - 4. Let z be d(4). Suppose 2*w + z*w = 2. Is (-2 + 0)/(w/(-4)) a multiple of 7?
False
Let p(g) = -10*g**2 - 212*g + 5. Is p(-19) a multiple of 12?
False
Let f = 21 - 85. Let d = f - -76. Is d a multiple of 3?
True
Suppose 0 = 2*h + 13*r - 18*r - 2241, -h - 4*r = -1127. Is 6 a factor of h?
False
Let t(z) = -z**3 + 10*z**2 - 7*z + 45. Does 28 divide t(9)?
False
Let f = 119 - 116. Suppose -f*c + 14*c = 3091. Does 13 divide c?
False
Let q = 179 + 22. Suppose 0 = -y - 129 + q. Is y a multiple of 6?
True
Let u be (-1653)/(-12) - (14/8 - 2). Suppose -44 + u = q. Is 10 a factor of q?
False
Let f be 6*(0 - 2/(-6)). Suppose -f*b = -b + 2. Does 14 divide (-63 + b)*8/(-10)?
False
Suppose w + 5*o = 106, -3*w - 3*o - 282 = -6*w. Is w a multiple of 4?
True
Let a be (72/54)/((-2)/(-57)). Does 38 divide a - (0 - (-5)/(-1))?
False
Let u = -28 + 112. Suppose -5*x + l = -105, 3*l = 4*x + 4*l - u. Is 7 a factor of x?
True
Suppose -5*x + b = 4*b + 146, 30 = -x - b. Let f be ((-4)/14)/(4/x). Let h(y) = 10*y**2 + 4*y - 1. Is h(f) a multiple of 15?
False
Let i be 2*((-12)/(-3) - 6). Let c(l) = 14*l**2 - l - 5. Let u be c(i). Suppose -6*m + u = -101. Is 18 a factor of m?
True
Suppose 0 = -4*h + 12. Suppose -2*n = z - 4*z - 101, 0 = z - h. Let c = n + -25. Does 7 divide c?
False
Suppose 0 = -9*j + 1891 + 2501. Is 61 a factor of j?
True
Let w = 2411 + -673. Is 22 a factor of w?
True
Let k be (-49)/(-5) - (-3)/15. Suppose 0 = -p + s - k, 3*s - 18 = 2*p + 6. Does 17 divide p/(-15) - (-186)/10?
False
Let q be (-5)/(-15) + 4/6. Let v be (140/4)/q - -3. Suppose v = a + a. Is a a multiple of 14?
False
Let o(f) = 14*f + 1. Let h = -84 + 87. Is o(h) a multiple of 29?
False
Let h(i) = 360*i**2 - 17*i + 18. Is 46 a factor of h(1)?
False
Suppose -51*o = -30401 - 96895. Does 96 divide o?
True
Suppose 2*k - 9 = -5*h, 3*h - 6*k + k = 24. Suppose 2*r - 9 - h = 0. Suppose -7*z + r*z + 26 = 0. Is z a multiple of 4?
False
Let d = -33 - -54. Suppose 0 = 9*k - 14*k. Suppose d = 3*a - k*a. Does 4 divide a?
False
Let l be (-1)/5 - 144/(-20). Let i(p) = -11*p + 14. Let c(k) = 4*k - 5. Let a(t) = 17*c(t) + 6*i(t). Is a(l) a multiple of 7?
False
Let q be (-2)/(4 - 7/2). Let b be 8/(q/352*-2). Is 21 a factor of b/8 + 0 + -4?
False
Let r(h) = h**3 + 13*h**2 - 76*h - 43. Is r(-16) a multiple of 15?
True
Let w(m) = 51*m + 606. Is w(-10) a multiple of 48?
True
Suppose -5*m + 20 + 0 = 0. Suppose -20 = -m*v, 2*v - 3*v = -4*h + 79. Is h a multiple of 10?
False
Suppose -2*p = -4*g - 5*p + 2977, -2*g + 3*p = -1511. Is g a multiple of 11?
True
Let b = 10 - 13. Let k = b + 3. Suppose k*q = 5*q - 250. Does 25 divide q?
True
Suppose -3*a = -2*a - 3. Let v(q) = -3 + 47*q**2 - a + 5 - q + 5*q**2. Is v(-1) a multiple of 26?
True
Is 4 a factor of (4 - 20/(-15))/(6/81)?
True
Let h = -7 + -10. Let j = 92 + h. Suppose 15 = -5*f + j. Is 12 a factor of f?
True
Suppose 3*o - 2*o = 3*d - 1361, 0 = -3*d + 5*o + 1345. Is d a multiple of 7?
True
Does 36 divide 615 - (5 - 0/(-5))?
False
Suppose -z + 1 - 4 = 0. Is 18 a factor of (24 - z)/(1/4)?
True
Suppose 129 = 3*x - 771. Is x a multiple of 10?
True
Let s = -47 - -83. Let k = s + -31. Suppose -4*f - w = -273, -4*w + 72 = 6*f - k*f. Does 21 divide f?
False
Let h be (-30)/50 - (-654936)/10. Is h/247 + (-2)/13 a multiple of 34?
False
Let p = 18 + -14. Suppose p*s + 5*r = 15, 0 = -2*s + 7*r - 3*r - 12. Suppose s = -h - h + 120. Does 14 divide h?
False
Suppose -i + 7*d - 3*d + 92 = 0, -498 = -5*i + d. Does 10 divide i?
True
Let x be (-3)/(-4) + 35/(-20). Let s be (-1 - 3)/x - 71. Let z = 121 + s. Does 18 divide z?
True
Let z(p) = 3*p - 32. Let o be z(9). Let s(l) = 4*l**2 - 12*l - 17. Is 11 a factor of s(o)?
True
Let p(t) = 2*t**2 - 8*t + 11. Suppose 0 = f - 11. Is p(f) a multiple of 16?
False
Suppose 0 = -5*q - 20, -4*q = 2*i + 2 + 4. Let h be 35/(-21)*-3 - (-214)/2. Suppose 192 = i*w - 0*w + 4*f, -4*f + h = 3*w. Is 23 a factor of w?
False
Suppose 4*g - 1436 = -4*v, -4*g + 2*v + 734 = -2*g. Does 11 divide g?
True
Suppose -s - 2*d = -745, 0*s - 4*d - 2920 = -4*s. Is s a multiple of 7?
True
Suppose d - 3*y + 54 = -2*y, 5*y = -3*d - 202. Let l = 121 + d. Let c = 118 - l. Does 15 divide c?
False
Let z = -47 - -47. Suppose -14*f + 6*f + 1472 = z. Is f a multiple of 23?
True
Suppose -5*f + 7 + 3 = 0. Suppose 3 = -b, -i - 4*b = f*i + 12. Suppose -4*v + 328 - 4 = i. Does 27 divide v?
True
Let w be ((-27)/3)/3 + 3. Suppose 0 = -w*d - 2*d - 8. Let i = d + 15. Is 4 a factor of i?
False
Let r = 101 - 116. Let h(w) = -w**3 - 16*w**2 - 20*w + 14. Is 33 a factor of h(r)?
False
Let t(b) = b**2 - b. Let n = 5 + -3. Let z be t(n). Suppose z*x - f = 61, -165 + 8 = -5*x + f. Does 29 divide x?
False
Is 44 a factor of (-1 - -2)*23/((-184)/(-2112))?
True
Suppose 4*t - 36 = -4*h, 0*t = -2*h + 2*t + 6. Suppose 4*i + 2*j = h, j = i - 3*j - 6. Suppose 6*s - i*s = -5*o + 33, 5*o - 9 = -2*s. Does 4 divide s?
True
Suppose -3*v + 4*f = -4, -5*v - 3*f + 16 = -10. Suppose v*c - 95 = -3*i, 5*i = -4*c + 4 + 93. Is c even?
False
Let t be -1*(5 + -60 + -1). Let q = 116 - t. Is q a multiple of 15?
True
Let q be -2847*(0 - 1/3) - 4. Suppose 2*v = 7*v - q. Is 21 a factor of v?
True
Suppose -4*o - 20 = -44. Suppose 120 = 12*a - o*a. Is (-5)/a - (-546)/8 a multiple of 14?
False
Let a(y) = -8*y + 1 + 8 + 4 - 15. Suppose 7*m + 24 = 4*m. Does 19 divide a(m)?
False
Let u(j) = 61*j + 126. Is u(10) a multiple of 23?
True
Let z(x) = -x**2 + 6 + 5*x + 4*x - 5*x + 7*x. Let k(g) = -g**2 - 8*g - 5. Let v be k(-5). Is 9 a factor of z(v)?
False
Let f(d) = d**3 + 3*d**2 - 21*d - 9. Does 2 divide f(-6)?
False
Suppose 8*r = 4611 + 2213. Does 13 divide r?
False
Let r(z) = 33*z**2 + 2*z - 1. Let v(k) be the third derivative of k**4/24 - 11*k**3/6 - 4*k**2. Let x be v(12). Is 12 a factor of r(x)?
False
Let l = 6 - 5. Let m be 5 + 46 - -1*l. Suppose 0 = -2*g - h + m, -2*g + 2*h - 7*h = -52. Is 26 a factor of g?
True
Let b(l) = 4*l - 15. Let n be b(13). Suppose -i - 2*h + 6*h = -4, -4*i - 5*h = -n. Is i a multiple of 6?
False
Suppose 243 = -16*y + 19*y. Is y a multiple of 17?
False
Suppose 0 = 3*k + k - 24. Let h(t) = 3*t - 8. Is 5 a factor of h(k)?
True
Suppose 12*k - 10*k = 16. Suppose 3090 = 7*a + k*a. Is 26 a factor of a?
False
Let d be 15/3 + 3 - 2/(-1). Suppose d*w - 7*w - 216 = 0. Does 9 divide w?
True
Suppose 0 = 3*x - 13 - 2. Suppose 5*a - 15 = -x*h, -h - 3*a = -0*h - 9. Let f = 19 - h. Is 5 a factor of f?
False
Let a be (-28)/8 + 6/4. Let v be ((-7)/21)/(a/(-42)). Is 11 a factor of (4 - v)*(-1)/(-1)?
True
Suppose 0 = -3*o - 43 - 92. Let s = -36 - o. Is 8 a factor of s?
False
Suppose -304 = -3*j - 2*y - 14, 0 = -3*j + 2*y + 310. Suppos