 r?
True
Suppose -5*g - 16 = 3*g. Is 6 a factor of (-160)/(-24)*(-21)/g?
False
Suppose 0 = 2*b + 3 + 5. Does 22 divide 5 + (b + 916)/3?
False
Suppose 4*r - 5*f - 27 = 0, -2*r = 3*r + 2*f - 9. Suppose -r = y - 3*z - 21, -3*y + 38 = -z. Is y even?
True
Let y(m) = 7*m**2 - 3*m + 2. Suppose 4*a + 5*x = 65, 5*a - 10 = 3*a + 2*x. Suppose b + a = 6*b. Is 17 a factor of y(b)?
False
Let q(g) = -2*g**2 + 19*g - 8. Does 6 divide q(4)?
True
Let j = 21 + -14. Suppose -30 = -j*m + 2*m. Suppose 4 = -5*s + m*s. Does 3 divide s?
False
Let z(m) = -233*m**3 - 1 + 386*m**3 - 2 + 4 - 2*m. Is z(1) a multiple of 19?
True
Let l(x) = -32*x - 4. Let r(w) = -w**3 - 7*w**2 + w + 5. Suppose 0*c + 4*k - 16 = 4*c, -3*k = -2*c - 5. Let n be r(c). Is l(n) a multiple of 30?
True
Let z(i) = i**3 - i**2 + 4*i - 3. Let w be -2 - (-4 + 2 - 8). Suppose -d + w = -5*g, -2*d - 5*g + 3 = -2*g. Is z(d) a multiple of 9?
True
Let l be (((-6)/3)/4)/(5/(-20)). Suppose -2*d - l*d = 4*u - 200, 5*d = -3*u + 142. Is 18 a factor of u?
True
Let n(h) = -38*h**3 + h - 2. Let b be n(-2). Suppose -b + 1290 = 9*c. Is c a multiple of 12?
False
Suppose 8 = 4*r, -2*r = -a + 35 + 45. Suppose -10*k - 2196 = -28*k. Let z = k - a. Is z a multiple of 19?
True
Suppose 2*c = 18 - 6. Let m be -4 + c/(-9)*-6. Suppose m = r + r - 36. Is 4 a factor of r?
False
Let p = 14 - 6. Let x(c) = c**3 - 9*c**2 + 8*c + 4. Let w be x(p). Let h(q) = 2*q + 8. Does 8 divide h(w)?
True
Suppose 864 = 4*o - r, 109 = 5*o + r - 971. Is o a multiple of 24?
True
Suppose 2*d + 50 = k - 3*d, k = -2*d + 78. Is k a multiple of 10?
True
Suppose -k - 6231 = -4*o - 1734, 2231 = 2*o + 3*k. Does 30 divide o?
False
Suppose j + 14 - 58 = 0. Suppose 0 = -2*a + 3*o - 77, 31*a + 88 = 28*a - o. Let m = j + a. Is 13 a factor of m?
True
Let k(w) be the second derivative of w**4/12 + w**3/2 + 4*w**2 - 7*w. Is k(-4) a multiple of 6?
True
Suppose -d - 4*f = -2, 3*d + d - 26 = 2*f. Let l = -2 + d. Does 2 divide ((-15)/10)/((-1)/l)?
True
Suppose 2*i - 67 = -51. Is i a multiple of 8?
True
Let x(m) = -4*m**3 + 3*m**2 + 5*m - 4. Let g be x(3). Is (304*(-7)/g)/((-4)/(-10)) a multiple of 23?
False
Let x be 1 + -2 - (16 + 1). Let p be 4/x + 114/27. Suppose 11 = -3*w + p*w + 3*b, 4*w - 4*b = 124. Is 13 a factor of w?
True
Let r(u) = 19*u - 201. Is r(17) a multiple of 4?
False
Suppose -4*i = 2*g - 36, 3*g + 20 = i - 3. Let t(c) = -2*c**3 - 4*c**2 + c + 3. Let d be t(-3). Let a = d - i. Does 3 divide a?
False
Let g(h) = 2*h - 12. Let c be g(6). Suppose -2*r - r - 72 = c. Is 17 a factor of -2 + (3 + -3 - r)?
False
Suppose -20 = -4*v - 2*f, 4*f = v + 3*v - 44. Suppose 0 = -4*l + v*l. Suppose -3*g + 158 - 32 = l. Does 21 divide g?
True
Let m = 242 + -103. Let v = m - 111. Is v a multiple of 28?
True
Let j(w) = -4*w - 17. Let i(v) = -4*v + v - 12 + 6 - 12. Let f(t) = -5*i(t) + 4*j(t). Is f(0) a multiple of 6?
False
Suppose -4*i = -2*l + 5*l - 205, -4*i + l + 209 = 0. Is 81 + (164/i - (-4)/(-26)) a multiple of 28?
True
Let x = -12 + 164. Does 10 divide x?
False
Let s be ((-8)/(-28))/((-1)/(-7)). Suppose -3*r + 27 = -4*h, s*r + 3*r - h = 28. Suppose 8 = r*q - q. Does 2 divide q?
True
Suppose 567 = 2*s - j, 0 = -5*s + 5*j + 2330 - 915. Does 20 divide s?
False
Let k = -7 + 13. Suppose w = k*w - 670. Suppose 0 = -4*f + b + 119, 0*f + w = 4*f + 2*b. Is f a multiple of 10?
False
Let o(y) = -y**2 + 9*y + 301. Does 8 divide o(0)?
False
Suppose -2*n + n - g - 32 = 0, -3*n + 4*g - 96 = 0. Let v = n - -48. Is 7 a factor of v?
False
Suppose -2*b + 341 = -299. Is 64 a factor of b?
True
Suppose 2*c + 3 = j + 224, 2*j = 10. Suppose 4*r - c = -29. Is 3 a factor of r?
True
Suppose 10*h = -11 + 41. Suppose -3*k = 2*f - 188, h*f = -2*k - 3*k + 280. Is 25 a factor of f?
True
Suppose 2*w - 3*i - 60 = 0, 3*w - 2*i = -0*w + 95. Let o = -23 + w. Is o a multiple of 5?
True
Let p(l) = -5*l - 14. Let b = -57 - -87. Suppose 0 = 8*x - 5*x + b. Is p(x) a multiple of 12?
True
Let z = 22 - 8. Suppose z*m = 12*m + 120. Is m a multiple of 30?
True
Let q(b) be the second derivative of -b**4/12 + b**3 - 9*b**2/2 + 4*b. Let h be q(7). Let n = h + 24. Does 6 divide n?
False
Let a(u) = u**3 - 6*u**2 - 6*u + 2. Let d be ((-3)/6)/((-2)/(-92)). Let q be (-6)/9 + d/(-3). Is 9 a factor of a(q)?
True
Let z = -14 + 31. Let m = -29 + 34. Let g = z - m. Does 3 divide g?
True
Let x(s) = 75*s**2 + 9*s - 13. Is x(2) a multiple of 14?
False
Suppose 0 = 37*a - 32*a - 1355. Suppose a = -8*x + 1039. Does 12 divide x?
True
Let d = -480 - -675. Does 20 divide d?
False
Let m(z) = 2*z**2 + 16*z + 14. Let g(i) = -i + 2. Let r be g(13). Let s be m(r). Suppose 104 = p + c, 216 = 3*p - 5*c - s. Is 34 a factor of p?
True
Suppose 2057 = -h + 2869. Is 48 a factor of h?
False
Let r(s) = -3*s**3 + s**2 - 4*s - 5. Let f be r(-2). Let u = f + -16. Suppose -2*n + 3 = -u. Is n a multiple of 8?
False
Let y be 6/3 + 1 + 0. Suppose y*l - m - 16 = 0, 5*l + 0*m - 2*m - 27 = 0. Suppose 3*h - 15 = 0, 5*h - l - 95 = -5*w. Does 15 divide w?
True
Suppose 2*x = -3*x - 3*k + 1626, 0 = -x + 4*k + 316. Let j = 489 - x. Does 13 divide j?
False
Let b(k) = k - 6. Let m be b(11). Suppose -m*y - 15 = 0, 0*d = d + 4*y - 13. Suppose -2*g + 55 = 5*j - d, -80 = -5*j - 4*g. Is j a multiple of 12?
False
Suppose 5*t = -3*y - 89, -5*t + 23 = -2*y + y. Suppose 0 = -r - 5*b + 29, -2*r + 5*b + 0 = 2. Let p = r - y. Is 18 a factor of p?
False
Let b(g) = g**3 - 3*g**2 + 2*g - 2. Let t be b(3). Suppose -t*p = -6*p + 84. Is 14 a factor of p?
True
Suppose 2*s + 3*d - 15 = -s, 2*s + 5*d - 19 = 0. Suppose -2*z + r + 73 = 0, 0*z + 4*z = -s*r + 150. Is 3 a factor of z?
False
Suppose -4*i + 3*o = o - 6, 4*o - 8 = -2*i. Suppose -i*r - 3*r + 2*v = -67, 4*v = 4*r - 44. Does 5 divide r?
True
Let v(t) = t**2 + 4*t + 8. Let k(d) = 2*d**2 + 7*d + 15. Let h(i) = 4*k(i) - 7*v(i). Does 7 divide h(-2)?
False
Let z = 121 + -81. Is 7 a factor of (1/(-3))/(-1 + z/42)?
True
Let y(b) = -33*b + 314. Does 2 divide y(7)?
False
Let c(m) = 2*m**2 + 5*m + 5. Let g be c(-3). Let n(k) = k**3 - 7*k**2 - 6*k - 6. Does 3 divide n(g)?
False
Let g = -57 + 52. Does 42 divide -14*(240/4)/g?
True
Let w(x) = -63*x + 91. Does 14 divide w(-11)?
True
Let r = 174 + 87. Is r a multiple of 24?
False
Let u be (-3)/(-2)*(3 - 1). Suppose 0 = -u*r - 135 + 12. Is (-5)/20 + r/(-4) a multiple of 5?
True
Does 3 divide (23/5 + -4)/(3/315)?
True
Is 12 a factor of ((-8294)/(-88))/(1/4)?
False
Suppose -2*j - 2*t + 410 = 0, -5*j + 1033 = -7*t + 4*t. Suppose 5*h - 4*w = -3*w + j, w = 4. Does 7 divide h?
True
Let g(h) = -3*h**3 - 14*h**2 + 18*h - 27. Let o be 30/20*(-28)/6. Let k(u) = -2*u**3 - 9*u**2 + 12*u - 18. Let v(b) = o*k(b) + 5*g(b). Is 7 a factor of v(-8)?
True
Let m = 37 - 34. Let s(f) = -5*f + 3*f + 5*f + 0*f - 4. Does 2 divide s(m)?
False
Suppose 0 = -4*c - 4*c + 144. Let z = c + -7. Is z a multiple of 11?
True
Suppose -5*q = -3*v - 0*q + 1655, -2*q + 2250 = 4*v. Suppose -g = 3*g - v. Suppose w - 6*w + g = 5*t, -2*w = -3*t + 64. Is t a multiple of 8?
True
Suppose 4*q = 5*s + 122, -136 = -4*q - q - 2*s. Does 14 divide q?
True
Let x = -8635 + 13180. Is 116 a factor of x?
False
Let p be 1 - ((-6)/(-6) - 4). Let c be 6/3 + (2 - 0). Suppose -p*d - 337 = -5*b, 2*b - 180 = c*d - 38. Does 23 divide b?
False
Let c(r) = -32*r + 5. Let y be c(-9). Let h = y + -205. Is h a multiple of 11?
True
Let h = 20 + 39. Is h a multiple of 2?
False
Suppose -2*p + 4 + 6 = 0. Suppose 5*z + 288 - 26 = 3*d, 2*d - p*z = 183. Suppose 2*f - d = -4*k - 7, -4*f + 184 = -2*k. Does 14 divide f?
False
Suppose 30 = q + 30. Suppose q*y = -4*y + 400. Is 10 a factor of y?
True
Let t(y) = y**2 + 8*y + 14. Let v be t(-7). Suppose -4*i - 6 = -v*i. Is i a multiple of 2?
True
Let g(w) = 10*w + 2. Let d be g(4). Suppose -5*s + d = -28. Is s even?
True
Suppose 2*o - 140 = -3*o. Suppose b + b + o = 0. Let v = b + 62. Does 24 divide v?
True
Let j(l) = l**2 + 6*l + 6. Let r = -19 + 12. Let n = r + 0. Is j(n) a multiple of 4?
False
Let m be 1632/40 + 2/10. Suppose -u + 1 = 2*a - m, -3*a = -2*u + 105. Does 8 divide u?
True
Suppose 0*x - 3*x + 24 = 0. Does 12 divide ((-12)/10)/(x/2880*-3)?
True
Let i(w) = w**2 + 2*w. Let r = -2 + 5. Suppose r*n + 3*z = 0, -3*n + 4*z = -n - 12. Is 8 a factor of i(n)?
True
Suppose -5*t + 3*b = -95, -3*t - b - 8 = -79. Is t a multiple of 