y + 80. Does 10 divide m?
False
Is 7 a factor of 3300/120 + 1/(-2) + 1?
True
Is 19 a factor of 2185/20 - -1 - (-2)/(-8)?
False
Suppose 0 = -2*m - 2 + 4. Let j(w) = 3*w**2 + w. Let p be j(m). Suppose 0 = 3*l - 5*i - 19, -p*i = -4 - 0. Is l a multiple of 4?
True
Is 2 a factor of ((-1 - 4) + 7)/(4/126)?
False
Suppose 0 = 5*x - z + 6*z - 195, -5*x + 2*z = -174. Is 4 a factor of x?
True
Let r be (16/10)/(4/10). Let y(g) = -27*g - 8. Let b be y(-6). Suppose 5*j + 5 = r*a - b, 66 = 2*a + 2*j. Does 14 divide a?
False
Let c(l) = 2*l**3 + l**2 + 2. Let t be c(2). Let f = -2 + t. Is 10 a factor of f?
True
Suppose 185 = 2*i + 2*i + 5*h, -2*i + 91 = 3*h. Is i a multiple of 10?
True
Suppose -2*h - 18 = 4*g - 7*g, 4*g + 3*h = 41. Suppose -4 - g = -z. Is 6 a factor of z?
True
Let r(v) = 1 + 3 + 0 - 2*v + 27*v**3 - 3. Does 13 divide r(1)?
True
Let q(l) = 4*l**3 - 5*l**2 - 10*l - 5. Is 32 a factor of q(5)?
True
Suppose -20 = -5*o, -4*t - o = -0*o + 8. Let s be (-2)/t - (-35)/15. Suppose -s*l - l + 24 = 0. Is l a multiple of 4?
False
Let q = 1 - -3. Suppose q*m - 11 = -l, 6*l - 44 = 2*l + 5*m. Is l a multiple of 5?
False
Let g(z) = -4*z + 1. Let t(f) = f**2 + 9*f - 9. Let p be t(-9). Does 19 divide g(p)?
False
Let p be -18*-1*(-6)/4. Suppose 5*q - 2*q = 177. Let a = q + p. Does 12 divide a?
False
Let q(p) = -14*p**2 + 2*p - 1. Let o be q(1). Let m = 26 - o. Is 13 a factor of m?
True
Let m = 59 - 37. Does 6 divide m?
False
Suppose 38 + 8 = 2*w. Let u = 7 + w. Is u a multiple of 8?
False
Suppose 8*c + h = 3*c + 200, h = c - 34. Does 11 divide c?
False
Let u be (-175)/(-20) + (-6)/8. Suppose 2*j - 12 - u = 0. Is j a multiple of 7?
False
Let p = -37 + 61. Is 12 a factor of p?
True
Let t(m) = 7*m**3 - m**2 + 1. Let f be t(-1). Let s = 43 + f. Is s a multiple of 16?
False
Let t = 28 + -17. Is 7 a factor of t?
False
Let i(o) be the first derivative of o**3/3 + 16*o - 7. Is i(8) a multiple of 20?
True
Suppose 0 = 5*o + o + 348. Is 8/20 + o/(-5) a multiple of 4?
True
Let m = 2 + 22. Suppose -16 - m = -2*u. Does 6 divide u?
False
Let m(w) = 21*w**2 + 3*w - 3. Does 23 divide m(-2)?
False
Suppose -4*a + 4*c = -76, -4*a + 88 = -0*c + 2*c. Does 7 divide a?
True
Does 6 divide ((-6)/(-7))/(-1*(-2)/56)?
True
Let x(w) = 6*w + 6. Let p be x(7). Let g = 100 - p. Let k = g - 30. Does 11 divide k?
True
Suppose -6 = 3*d, 2*d - 45 = -3*o + 140. Suppose -2*h = -h - o. Is h a multiple of 26?
False
Let n(u) = u - 2 + 3 + 0*u. Let a be (-7 - -8) + (2 - -4). Does 3 divide n(a)?
False
Is (-4)/18 - ((-1518)/27 - 2) a multiple of 29?
True
Let m(k) = 10*k + 16. Let h be m(-6). Suppose 3*d = 5*d - 132. Let j = d + h. Is j a multiple of 11?
True
Let b(h) = -h**2 + 11*h + 7. Is b(11) a multiple of 3?
False
Let b(u) = -u + 3*u - 2 + 2*u - 5*u + u**2. Let c be b(-5). Suppose -9 = j - c. Does 18 divide j?
False
Let q(z) = 2*z**2 + 5*z + 13. Does 7 divide q(-5)?
False
Let t(v) = 63*v**2 + 1. Is t(-1) a multiple of 32?
True
Let x be 96 - (-1 - 0) - 1. Let r = 12 - 8. Suppose x = r*u - 0. Does 9 divide u?
False
Suppose 4*f - 2 = -2*o, 4*o - 4*f - 4 = 48. Is 8 a factor of 2 + 11 + o/(-3)?
False
Suppose 0 = -3*a - 2*i + 136, i = 6*i - 25. Does 21 divide a?
True
Suppose -3*v + 6 = 3*x, 3*v + 3*x + 18 = 6*v. Does 4 divide v?
True
Let k be 3*(-2)/3 - -4. Suppose y + k = -4*f + 43, -2*f + 4*y - 2 = 0. Does 4 divide f?
False
Let k(m) = m - 5. Let s = 5 - -2. Let x be k(s). Suppose -x*v + 0*b + 10 = -3*b, 0 = -2*b + 4. Is v a multiple of 5?
False
Let k = 8 - 6. Suppose -17 = -k*t + 3. Does 14 divide ((-56)/t)/(2/(-10))?
True
Let w(j) = -106*j - 2. Is w(-1) a multiple of 26?
True
Let m be ((-21)/(-3))/(1/(-9)). Let a be 3/(-3*1/m). Suppose -3*i + a = -33. Is i a multiple of 13?
False
Let s(m) = m**2 - 5*m + 10. Let j be s(7). Let c = j + 2. Is c a multiple of 12?
False
Suppose 0 = 4*g - 3*q - 1 + 8, -2*g + 24 = 4*q. Suppose -g*r + 5*r - 2*y - 102 = 0, -2*r + 2*y + 66 = 0. Is 12 a factor of r?
True
Let l be (40/50)/((-2)/25). Let z = -1 - l. Is z a multiple of 4?
False
Let i(l) = l**2 + 2*l. Let k be (-6)/(-4)*(-3 + 5). Suppose 16 - 4 = -k*s. Is i(s) a multiple of 3?
False
Let s(t) be the third derivative of -t**4/4 - t**3/6 + 4*t**2. Let a be s(-5). Let p = a + -7. Is 22 a factor of p?
True
Is (40/24)/(1/45) a multiple of 15?
True
Let p(z) = 4*z**2 - 15*z + 7. Is 16 a factor of p(8)?
False
Suppose -1 = -2*i + 3. Let o = 20 + -33. Let k = i - o. Is 6 a factor of k?
False
Suppose 0 = q - 2 - 6. Let d(z) = 7*z**2 + 1. Let r be d(-1). Is 3 a factor of 26/r - 2/q?
True
Suppose k + 4*q - 9 = 4*k, 3*k + 5*q = -36. Let i(d) be the first derivative of -d**2/2 + d + 1. Is 8 a factor of i(k)?
True
Let m be 17/(-5) - 3/5. Let p = -4 - m. Suppose p = -3*j - 0*j + 48. Is 16 a factor of j?
True
Is 9 a factor of ((-45)/6)/(18/(-312))?
False
Let u be 5/(15/(-9)) + 10. Suppose u*n - 2*n - 15 = 0. Suppose -n*i = -67 - 29. Does 12 divide i?
False
Suppose 5*b = -5 + 80. Suppose 0 = 5*u - 7 - 3. Suppose b = 3*m - u*m. Is 14 a factor of m?
False
Let c(f) = -f**3 + 9*f**2 - f + 4. Is c(8) a multiple of 12?
True
Suppose -294 + 114 = -5*l. Is l a multiple of 36?
True
Let r = 34 - 3. Let v = r - 17. Is 14 a factor of v?
True
Suppose 0 = -0*g + 2*g - 54. Is g a multiple of 22?
False
Let p be 3 - (-7 - (1 + -1)). Let r = 17 - p. Does 2 divide r?
False
Suppose 2*y + 7*r + 6 = 2*r, -5*y = -r - 12. Suppose -4*h + 0*h + 188 = 4*g, -h = -y*g - 62. Does 26 divide h?
True
Suppose 12 = h + 5*h. Suppose h*t - 48 = 6. Is t a multiple of 9?
True
Let h be (-6)/(-3) - (-59 - -1). Suppose 0*i = -5*i + h. Is 12 a factor of i?
True
Suppose -4*g + 2*s + 8 = 0, 5 = -g - 0*s + 4*s. Does 2 divide ((-3)/g)/((-2)/6)?
False
Suppose j + 12 = 2*c, -4*j + 4*c + 6 = -7*j. Is 5 a factor of 28/8 - j/4?
True
Let s be ((-57)/6)/(1/4). Let r = s - -82. Does 23 divide r?
False
Let o = 40 - 29. Let l = 20 - o. Suppose -4*g + l = -39. Is 12 a factor of g?
True
Let n(l) = l**2 + 7*l - 8. Does 9 divide n(-10)?
False
Let c be 1*(-6)/(-3) + 2. Suppose -3*l - 104 = -5*l - 4*w, -c*l + 158 = -2*w. Suppose 0 = 3*t + 4*x - l, -50 = -3*t - 2*x - 2. Does 18 divide t?
True
Let g(o) be the second derivative of o**5/20 + o**4/12 - o**3/6 + 21*o**2/2 + 2*o. Does 13 divide g(0)?
False
Let u(h) = -h**2 + h + 3. Let w be u(0). Suppose -w*c - 4*o + 2*o = 0, -c = 5*o. Suppose -44 = -c*s - 2*s. Is 11 a factor of s?
True
Suppose 0 = 9*d - 541 - 494. Does 23 divide d?
True
Suppose -2*x + x = 4. Is x/(-10) - 156/(-10) a multiple of 16?
True
Suppose -y - 1297 = -4*c, -c + 334 = -0*c + 3*y. Is 13 a factor of c?
True
Let n(s) = 5*s**2 - 1 + 24*s**2 - 4*s**2. Is n(-1) a multiple of 8?
True
Suppose 0*v - 3*v = -51. Does 15 divide v?
False
Suppose y = -3*u + 241, 2*y = 3*u - 2*u - 85. Is 14 a factor of u?
False
Let u be ((-12)/(-14) + 0)*7. Let o = 6 + u. Is o a multiple of 12?
True
Does 2 divide (-20)/(-8) - (-1)/(-2)?
True
Let c = -81 - -97. Does 6 divide c?
False
Let x be 0/(-2) - (2 + -4). Suppose 6 = x*g - 5*g. Is 3 a factor of -1*3*(-3 - g)?
True
Let q = -2 + 7. Suppose c = q*c - 56. Suppose 0*w + c = 2*w. Is 4 a factor of w?
False
Let k be ((-24)/(-15))/(6/15). Let u = k + 11. Is u a multiple of 11?
False
Let m = -4 - -6. Let o be (11/(-3))/(m/18). Is (o - 1)/(3 - 4) a multiple of 12?
False
Let n be ((-4)/(-10))/((-6)/(-15)). Suppose 2*q - n = 3*q. Is 8 a factor of 235/15 - q/3?
True
Suppose -5*x - 2 = -57. Is 3 a factor of x?
False
Let m be (-8)/(-4)*1/2. Is 18 a factor of (-3 - -41) + (-2)/m?
True
Suppose 2*d = 2*l - 23 - 11, 0 = -5*l + 2*d + 88. Is l a multiple of 3?
True
Let t(u) = u**2 + 59. Is t(7) a multiple of 27?
True
Suppose 6*f + 12 = 2*f. Let l be (3*-37)/f + -2. Is l - (-4 + 0 + 3) a multiple of 15?
False
Suppose 0 = 2*p + 9*p - 2079. Does 27 divide p?
True
Let s(t) = -3*t - t**3 - 7*t**2 + 2*t - 2*t - 10. Does 5 divide s(-7)?
False
Let a = -8 + 27. Is a a multiple of 3?
False
Let g = 7 - 5. Is 13 a factor of g - (96/(-2) - 0)?
False
Let r = 31 - 16. Is 7 a factor of r?
False
Let n(z) = -z**3 - 22*z**2 - 9*z + 16. Is 13 a factor of n(-22)?
False
Let f be (5 - (2 + -1))/2. Let o = f - 1. Suppose 5*j + o = 36. Does 7 divide j?
True
Is (-5)/(20/(-84))*1 a multiple of 6?
False
Suppose -3 + 7 = 2*v. Suppose v*u - 4*u - 4*c + 56 = 0, -4*u = -3*c - 68. Does 20 divide u?
True
Let w(c) = 