- 2*g + 53. Is r a multiple of 3?
True
Let b = -12 - -30. Does 5 divide b?
False
Suppose -163*d + 167*d = 784. Is d a multiple of 49?
True
Suppose u - 55 = 27. Let a = u - 40. Is 21 a factor of a?
True
Let a = -17 + 50. Is a a multiple of 11?
True
Let z = -20 - -21. Does 6 divide z/(110/54 + -2)?
False
Let f(s) = -s**3 + 2*s**2 + s + 2. Let o be f(2). Let d(j) = j - 1. Is 3 a factor of d(o)?
True
Let q = 92 - 61. Let i = q - 20. Does 11 divide i?
True
Suppose -5*m + 10 = 5*n, -m + 4*m - 4 = -n. Let k be 0 - (n - 1) - 3. Let h = k + 17. Is h a multiple of 14?
True
Let v(k) be the first derivative of 4/3*k**3 - 2 + 0*k**2 - k. Is 15 a factor of v(-2)?
True
Let f be 1 - (2 - (-2 + 5)). Suppose 36 = f*i + i. Is i a multiple of 5?
False
Let b = -5 - 5. Let t be 4/8 + (-1)/2. Let z = t - b. Is 10 a factor of z?
True
Suppose a - 3*g = 6*a + 263, -5*a = -g + 259. Let y = a + 108. Is 12 a factor of y?
False
Let h(j) = -j**2 - 1 + 4*j + j**2 + j**2. Let y be h(3). Suppose 0 = -6*d + 2*d + y. Is 5 a factor of d?
True
Does 27 divide (-18)/(-81) - (-2 + (-1195)/9)?
True
Suppose 0 = -0*r - 4*r + 24. Suppose 4*p - 2*d - r - 10 = 0, 4*p + 3*d + 4 = 0. Suppose -4 = -2*a - 2*a, -4*h = p*a - 106. Is 13 a factor of h?
True
Let f = 87 + -57. Is 15 a factor of f?
True
Suppose 0 = 3*v - 3*m - 489, -3*v - 4*m + 509 = -2*m. Is v a multiple of 16?
False
Let s(r) = r**3 - r**2 + 4*r - 3. Let v be ((-15)/4 + 3)*-4. Does 9 divide s(v)?
True
Suppose -2*j + 3*j = 9. Let r = 5 + j. Is 11 a factor of r?
False
Suppose 8 = p - 1. Does 5 divide p?
False
Suppose 0 = -4*d + 4*m + 488, -3*m = 1 + 5. Suppose 4*x + x - d = 0. Is 4 a factor of x?
True
Let a = -104 + 113. Is 2 a factor of a?
False
Let q(v) = 3*v**2 + v - 8. Is q(-4) a multiple of 15?
False
Let k = 103 + -42. Suppose 51 = m - 3*w + 12, 0 = 3*m + 3*w - 69. Is 3 a factor of 6/m - k/(-9)?
False
Suppose -3*v + 4*q + 61 = 0, 4*v - 51 = -5*q + 20. Is v a multiple of 14?
False
Let q(m) = m**3 - 9*m**2 - 11*m + 2. Let t be q(10). Is (-2)/t + (-70)/(-8) a multiple of 9?
True
Suppose i + 17 = 2*i. Suppose 0 = 5*k - 8 - i. Suppose 4*c - 2*t = 5 + 105, 5*t = -k*c + 115. Is c a multiple of 13?
True
Let n(v) = -v**3 + v + 2. Let l be n(0). Suppose -l*t - 301 = -3*r, -3*r + 34 = -4*t - 271. Suppose r - 36 = 3*k. Does 10 divide k?
False
Is 1857/27 + 2/9 a multiple of 23?
True
Suppose 0 = -4*g + 45 + 19. Suppose 9 = -5*q - 3*h - 25, 0 = 2*q + 2*h + g. Let x(s) = s**2 + 3*s + 2. Is 12 a factor of x(q)?
True
Let x(v) = v**3 - 6*v**2 - 14*v - 13. Let i(u) = -u**2 + 1. Let m(a) = -4*i(a) - x(a). Let k = 17 + -6. Is m(k) a multiple of 21?
True
Let m be (1/(-2) + 0)*-4. Let p(u) = u - 3*u**2 - 4*u - u**3 + 0 - 4 - m*u. Is 11 a factor of p(-3)?
True
Let t(o) = 4*o + 2. Is 13 a factor of t(6)?
True
Suppose -2*n - 25 = -5*t, 0 = -2*t - t + 4*n + 15. Suppose -3*f + 6*l - l = -134, 0 = -t*f + 2*l + 236. Is f a multiple of 13?
False
Suppose 2*g - 44 - 8 = 0. Suppose -2*t - 22 - g = -2*p, -4*t = -p + 36. Does 5 divide p?
True
Suppose -2*x - 3 = 1. Does 8 divide (x + 1)*1 - -18?
False
Suppose 5*y = 2*u - 28, -3*y + 5*y + 12 = u. Is 6 a factor of (-30)/(-3) + u + 4?
True
Let m(h) = -h**2 + h + 39. Let k be m(0). Let o = k - 22. Suppose -o - 15 = -2*t. Is 8 a factor of t?
True
Suppose g = -3*l - 4, -4*g + 2*l - 20 = g. Let b = 5 + g. Is 14/2 + -2 + b a multiple of 4?
False
Let x(y) = 0*y - 4*y - 2*y - 2*y. Does 20 divide x(-5)?
True
Let f(j) = -j + 3. Let m be f(3). Suppose m*g = -g + 15. Is g a multiple of 7?
False
Let b be (-2)/(-1)*2*-1. Let r = b - -3. Does 15 divide (r + 0)/(-1) + 14?
True
Let g(c) = c + 5. Let r be g(-4). Suppose 4*w = 3*n - 28, 4*n + r - 5 = -3*w. Is 6 a factor of (1 + 17)*n/12?
True
Let c be ((-4)/(-8))/((-2)/120). Let w = -10 - c. Is w a multiple of 5?
True
Suppose 2*o = o + 18. Suppose -o = h - 3*h. Is h a multiple of 5?
False
Let j(l) = -l**3 + 5*l**2 + 4*l - 6. Let h be j(5). Suppose 2 - h = -4*q. Suppose -q*g - g = -16. Is g a multiple of 3?
False
Let l(z) = z + 2. Let r be l(3). Let b(g) = g**2 - 5*g - 4. Let o be b(6). Suppose -o*s - 2*s = 5*t - 17, r*s = 5*t + 10. Is s a multiple of 2?
False
Let g = 27 - -57. Is g a multiple of 42?
True
Let h = -28 + 151. Is h a multiple of 28?
False
Let a(r) = -1. Let j(v) be the second derivative of v**4/12 + v**3/2 - 5*v**2/2 - v. Let f(l) = -3*a(l) + j(l). Does 15 divide f(-6)?
False
Does 28 divide (1 + 6)*(10 + -2)?
True
Suppose -148 = -5*i + 4*s, 2*s - 18 = 2*i - 78. Is i a multiple of 4?
True
Let g = 6 + -3. Let s(o) = -4*o**3 - 6*o**2 + 3. Let b(k) = -3*k**3 - 6*k**2 + 3. Let n(m) = g*b(m) - 2*s(m). Is 21 a factor of n(-7)?
False
Suppose 3*y - 9 = -4*q - q, 2*q = -3*y. Suppose -1 = w - q. Is w even?
True
Suppose y + 2*y = 0. Let i(w) = 3 - 2*w - 1 + y*w. Does 3 divide i(-2)?
True
Let v(y) = -y**3 - 7*y**2 - y + 4. Let i be v(-7). Suppose -3*n - 2*j = -49, -j - i = -n - 3. Is 4 a factor of n?
False
Let a(b) = -2*b**2 - 3*b + 214. Is a(0) a multiple of 32?
False
Is 11 a factor of (1 - -94)*6/15?
False
Is -7*-14*3/6 a multiple of 26?
False
Let z(w) = w + 2. Let a be z(-4). Does 5 divide (-16)/(-2 + a) - -1?
True
Suppose -t + 102 = p, -2 = -2*p - 8. Does 15 divide t?
True
Let s(w) be the third derivative of w**4/24 - w**3/3 - 2*w**2. Let b be s(7). Suppose -x = -4*h - 5, -22 = -2*x - 3*h + b*h. Is x a multiple of 8?
False
Let i = 5 - -5. Is i a multiple of 5?
True
Let f = -2 + 20. Is f a multiple of 6?
True
Let s(y) = 2*y - 5. Let n be s(4). Suppose -112 = a - n*a. Is 1/5 + a/20 a multiple of 3?
True
Suppose 5 = -u + 14. Let l = u - 3. Suppose 2*f - 10 = l. Does 8 divide f?
True
Suppose -7 = 2*u - 39. Is u a multiple of 6?
False
Let k(f) = f**2 - 4*f - 6. Does 18 divide k(-11)?
False
Let w(u) = -22*u. Suppose 0 = 2*j - 4 + 2. Let m be w(j). Let y = 45 + m. Does 8 divide y?
False
Suppose 0 = -5*t + 2*m + 347, 4*t + 4*m = -m + 304. Does 26 divide t?
False
Suppose 3*v - 48 = 3*w - 3, 2*w = -3*v + 60. Is v a multiple of 11?
False
Let j = -2 + 98. Does 32 divide j?
True
Let a = 5 + 17. Is 9 a factor of a*1/((-2)/(-3))?
False
Suppose 4*s - 184 = -4*y, -y = -s + 6*s - 218. Suppose -r - 2*m + s = 0, -4*r + 202 = -m - 6. Does 18 divide r?
False
Let i(z) = z + 9. Let r be i(-5). Suppose 3*m + r - 91 = 0. Does 8 divide m?
False
Let i(w) = -w**2 + w - 6. Let b be i(0). Let o be (-36)/(-8)*b/(-9). Suppose -2*n = -11 + o. Is n even?
True
Suppose 44 = s + 2. Suppose -i + o = -s, -i + 2*o + 38 = -o. Is i a multiple of 15?
False
Let a(v) = -v**3 + 5*v**2 - v - 2. Let o(k) = -k**3 - 9*k**2 - 7*k + 11. Let h be o(-8). Is 9 a factor of a(h)?
False
Suppose 4*o + o + 20 = -4*q, 4*o - 15 = 3*q. Suppose 2*y - 23 = -5*g, 2*y + g + 27 - 70 = o. Is y a multiple of 20?
False
Suppose -5*r - 123 = 82. Suppose 8*x = 3*x + 345. Let y = r + x. Is y a multiple of 12?
False
Suppose -3*r - 2*r + 650 = 3*v, -4*v - 20 = 0. Does 32 divide r?
False
Suppose 4*o = -w - 27, -4*w = -7*w + o - 42. Let s(t) = -t**2. Let f be s(0). Let l = f - w. Is l a multiple of 15?
True
Let f(y) = 2*y - 9. Let x be f(6). Is 7 a factor of 138/10 - x/(-15)?
True
Let h be 22 + 3/(-3) + -1 + 4. Suppose 2*m + 110 = -3*m. Let a = h - m. Is a a multiple of 23?
True
Let x(n) = -139*n**2 - n. Let v be x(1). Let y be 1/((-4)/(-3) - 1). Does 17 divide (-1)/y - v/6?
False
Suppose 14 = -4*q + 342. Is q a multiple of 19?
False
Let m = 29 + 0. Suppose -4*q + m = -3*q. Is 12 a factor of q?
False
Let v = -51 - -76. Is v a multiple of 25?
True
Suppose 6*w = 4*w - 4. Is 5*2*(-1)/w a multiple of 2?
False
Let c(o) = 5*o**2 - 2*o + 1. Let b be c(1). Suppose -35 - 13 = -b*i. Is i a multiple of 12?
True
Let n(z) = 5*z + 4. Let v(b) = -3 + 5 - 3. Let c(u) = -n(u) - 4*v(u). Is c(-4) a multiple of 9?
False
Let t(c) = c**2 + c - 1. Let p be t(1). Let x = 1 - p. Suppose 5*i - 3*y + 4*y = 159, -3*i + 5*y + 73 = x. Is i a multiple of 11?
False
Suppose 3*k + 4 = -w, -5*w + 16 = -2*k + 2. Is 2 a factor of (15/3)/(k/(-2))?
False
Let c be (-1)/((-3)/(-30 + 3)). Does 21 divide ((-138)/c)/(1/3)?
False
Let s = 6 - 9. Does 17 divide s*(1 - 0) + 49?
False
Let v be 5/35 - (-26)/14. Suppose 33 = 3*j + d + v*d, j - 15 = -5*d. Is j a multiple of 7?
False
Let m(l) = -3*l - 12. Let a(b) = 1. Let g(j) = -18*a(j) - m(j). Suppose 26 = 2*d + 3*n, -6 = -5*n + 4. Is g(d) a multiple of 12