(1 + 3)*(-105)/c?
False
Let z be 9/(-6)*8/3. Let l = z + 3. Let h = 7 + l. Does 6 divide h?
True
Let l(r) = -r**2 - 8*r + 6. Is 13 a factor of l(-7)?
True
Let s(i) = i**3 - 5*i**2 + 5*i. Let a be s(4). Suppose -2*b = a*p - 20, 4*p + 3 = 4*b - 1. Suppose 2*o + 12 = b*o. Does 6 divide o?
True
Let l = -138 + 140. Is 2 a factor of l?
True
Does 10 divide (-69)/(-12)*-1*-12?
False
Suppose 0 = 4*h - 4, -2*f + 5 = -4*h - 5. Suppose 37 = 4*s - f. Is 11 a factor of s?
True
Is 13 - (5 + 2 + -5) a multiple of 3?
False
Let w(z) = 69 - 3*z - 70 + 11*z. Is w(9) a multiple of 17?
False
Let j(r) = r**3 + 12. Suppose 0 = p + 2*y + 3, 0 = -4*p + 4*y + 11 + 1. Let z be 2 + 6/(-2) + p. Is 12 a factor of j(z)?
True
Let j(s) = -3*s - 5. Let z(b) = -b - 1. Let y be z(3). Let q be j(y). Is 2 + 2 + q*5 a multiple of 21?
False
Let x = 183 - 105. Does 13 divide x?
True
Suppose 5*s = s + 4*k - 36, 4*s + 2*k + 60 = 0. Suppose -b - l = -0*b - 23, -5*b + 85 = -l. Let q = b + s. Is 5 a factor of q?
True
Let d be 2/(-8) - (-21)/(-12). Let u(n) = -n**3 - n**2 + 2*n. Let t be u(d). Suppose t = i - 15 - 13. Does 10 divide i?
False
Let l(z) = 16*z**2 + 5*z - 5. Is 23 a factor of l(2)?
True
Suppose -2*z + 62 = -58. Suppose -a - 3*g = -2*g - z, -4*a + 225 = g. Is 11 a factor of a?
True
Suppose -q - q = -108. Is 27 a factor of q?
True
Suppose -83 = -3*i + 5*s + 77, 5*s = -25. Suppose 5*m + 15 = i. Does 3 divide m?
True
Let c(i) = -3*i**3 + 2*i + 6. Does 12 divide c(-3)?
False
Is (4/8)/((-3)/(-576)) a multiple of 10?
False
Suppose -7*d + 5 + 93 = 0. Does 6 divide d?
False
Let g be (3/2)/(2/4). Suppose -c + g*c = 34. Is 17 a factor of c?
True
Is 22 a factor of (-8 - 11)*(-2 + -5)?
False
Suppose 0 = 2*r - r - 18. Is 6 a factor of r?
True
Let o(d) = 66*d**2 + d + 1. Is o(-1) a multiple of 11?
True
Let z(b) = -b**2 - 25*b - 16. Does 32 divide z(-16)?
True
Suppose 2*u - 2*r = 4, -5*r = -2*u - 0*u - 2. Suppose x - 22 = -5*p, -4*p - 3*x - u = -15. Suppose -p*l + 4*a + a - 5 = 0, 0 = l + 2*a - 11. Does 3 divide l?
True
Let j(d) be the third derivative of d**4/12 - d**3 + d**2. Let t(a) = a + 1. Let z be t(6). Is j(z) a multiple of 5?
False
Let z(v) be the third derivative of v**6/120 - v**5/60 - v**4/24 + v**3/6 - v**2. Is z(2) a multiple of 3?
True
Suppose 133 = -2*s + 5*l, 2*s + 2*l + 157 = 59. Let b be (4/6)/((-12)/s). Suppose -b*w = -w - 82. Is 17 a factor of w?
False
Suppose -4*m + 164 = -4*y, 2*m - 120 = -0*y + 3*y. Let i = y + 63. Does 25 divide i?
True
Let n(t) = 22*t**2 - 7*t + 3. Is 15 a factor of n(3)?
True
Let z(q) = -3*q - 1 - 6 - 2 - 10*q. Does 28 divide z(-5)?
True
Let h be 7 - (-4)/(8/6). Is 12 a factor of (-3*4)/(h - 11)?
True
Suppose 8 = -4*v, -5*v = 2*j - v - 150. Let b = j + -51. Does 10 divide b?
False
Let b be (-198)/(2/(-3 - -5)). Let a be 2/(-4) - b/4. Is 22 a factor of -3 - (a/(-1) + 2)?
True
Suppose -3*m + 2 = -2*m. Suppose m*r = 7*r - 105. Does 7 divide r?
True
Let b = 7 + 1. Let y = b - -12. Suppose -a + y = a. Is a a multiple of 7?
False
Let p = -5 + 8. Suppose 2*q = 3*i - p*q - 27, -i = 3*q + 5. Suppose x = i + 12. Does 8 divide x?
True
Let t(k) = -6*k - 3. Does 3 divide t(-4)?
True
Suppose b - 62 - 6 = 0. Suppose c = -5*t + 81, -4*t - 3*c + b = c. Does 16 divide t?
True
Suppose 0 = j + 3*j. Suppose 0 = -j*q + q. Suppose q = -i + 4*i - 78. Is i a multiple of 13?
True
Suppose -5*k = 5*m - 833 + 273, -4*m = 3*k - 333. Suppose -k = 5*x - 40. Let w = 28 + x. Is w a multiple of 4?
False
Let q(t) = 12*t**2 - 3*t - 1. Is q(3) a multiple of 14?
True
Suppose 5*l = 188 - 13. Is l a multiple of 11?
False
Let m be -2 - (-16 + 0/(-2)). Suppose 0 = -3*i + m + 10. Is 4 a factor of i?
True
Let h = 19 + -19. Does 18 divide (28 + -1)*(h + 2)?
True
Suppose -h = -2*t - 89, 5*h - t = -3*t + 421. Is 22 a factor of h + (3 - 5) + 2?
False
Suppose 4*o + a - 2 = -4*a, 3*o - 3*a = 15. Let j = 26 - o. Is j a multiple of 16?
False
Let y be -2 + 5/(15/6). Let w = y - -4. Is 13 a factor of 81/w - 4/16?
False
Suppose -3*i - 2*s = -408 + 6, 4*i - 535 = -3*s. Does 16 divide i?
False
Let b = -10 + 18. Suppose 5*u - u + b = 0. Does 5 divide (u + -1)*10/(-3)?
True
Let l = -11 + 6. Let g = 16 + l. Does 11 divide g?
True
Let t = 11 - -31. Suppose 30 + t = 4*d. Is 6 a factor of d?
True
Let u(q) = q + 6. Let g be u(-9). Is 11 a factor of 44/g*3/(-2)?
True
Let t(b) = -11*b**3 + b - 1. Let h be t(1). Suppose -1 - 24 = 5*c. Let r = c - h. Is r a multiple of 6?
True
Let x(n) = -4*n**3 - 2*n**2 - 2*n - 1. Let h be x(-1). Suppose -p - 64 = h*p. Let b = 30 + p. Is 8 a factor of b?
False
Let m = 502 - 170. Suppose b - m = -3*b. Is 28 a factor of b?
False
Suppose -8*h + 1079 + 1337 = 0. Does 27 divide h?
False
Suppose -i = -4 + 2. Suppose 212 + 47 = 5*y + b, 3*y - i*b - 145 = 0. Is 22 a factor of y?
False
Is (1 - (2 - -2))*-126 a multiple of 42?
True
Let j = 1 - -9. Suppose v - 1 + j = 0. Does 4 divide (-12)/(-9)*v/(-3)?
True
Let b be 14/18 + (-4)/(-18). Let w(z) = -z**2 + 1. Let h be w(b). Suppose h*m = -3*m + 9. Is m even?
False
Let g(d) = d**2 + d + 17. Is g(0) a multiple of 11?
False
Let a(m) = 3*m - 10. Let r be a(7). Let j = 6 - 6. Suppose -b + 1 + r = j. Is b a multiple of 12?
True
Suppose -m = 2*m - 42. Let g = m + 0. Does 3 divide g?
False
Suppose -w + f = 4*w, 2*w = -4*f. Let v be 2*(w + 1)/1. Suppose 0*r - v*r = -28. Is r a multiple of 14?
True
Suppose -5*b = -0*b + 30. Is 7 a factor of (-1)/(-3)*(-198)/b?
False
Suppose -3*o - 14 = 4*i, -4*i = -i + o + 8. Is (-3)/(i - 99/(-51)) a multiple of 19?
False
Does 37 divide 182 - ((-4)/14 + 57/(-21))?
True
Let a(o) = -3*o**3 + 7*o**2 + 3*o + 6. Let l(b) = 7*b**3 - 14*b**2 - 7*b - 12. Let c(w) = -5*a(w) - 2*l(w). Is c(8) a multiple of 14?
False
Let l = -66 - -132. Does 9 divide l?
False
Let l(z) = z**3 + 8*z**2 + 8. Is l(-6) a multiple of 28?
False
Let s = 24 - 13. Let o = 35 - s. Does 12 divide o?
True
Suppose u - 5*f - 9 - 1 = 0, 3*u - 5*f - 50 = 0. Suppose d + 5*l + 58 = 2*d, -u = 4*l. Is 11 a factor of d?
True
Let f(m) = m**3 - 8*m**2 - 13*m - 5. Is f(10) a multiple of 13?
True
Suppose -2*c + 3 + 3 = 0. Is c a multiple of 3?
True
Suppose -5*j - 200 = -5*s, -79 = -5*s + 3*s + j. Is s a multiple of 4?
False
Let a(s) = 2*s**2 - 6*s. Suppose -m = -4*w + 12, -4*m = 3*w - w - 24. Let l be a(m). Suppose 4*f = -0 + l. Is 2 a factor of f?
True
Suppose b + 2*q = 18 + 34, 2*q = -4*b + 178. Is b a multiple of 14?
True
Suppose -3*v = 4*j - 13 - 4, 0 = -3*v - 2*j + 13. Suppose v*b = -15 - 3. Is (-141)/b + (-1)/(-2) a multiple of 14?
False
Let k be 5*4 + 0/7. Suppose k + 40 = 5*h. Is h a multiple of 12?
True
Suppose -3*f + 5*f - 12 = 0. Is f a multiple of 6?
True
Let m(k) = -8*k - 4*k + 0*k. Let v be m(-3). Let s = v - 24. Is s a multiple of 6?
True
Let r(n) = 3*n**2 + 2*n + 1. Let m be r(-1). Suppose 0 = h + 4*g - 19, h - 2*g = -m*h + 85. Is 17 a factor of h?
False
Let c = -30 - -170. Is c a multiple of 28?
True
Let y = 26 - 17. Suppose -3*m + y = -15. Let b = m - -13. Does 7 divide b?
True
Let j = -39 + 99. Does 10 divide j?
True
Suppose 2*s = -12 + 40. Is 7 a factor of s?
True
Suppose b + 53 - 69 = 0. Is b a multiple of 6?
False
Let g = 62 + -39. Is g a multiple of 23?
True
Let q = 109 - 51. Let u = q - 40. Is u a multiple of 9?
True
Let c(u) = u**3 + u + 4. Let k be c(-2). Let x be 6/(-21) - (-158)/14. Let j = x + k. Is 5 a factor of j?
True
Let a(v) = 2*v - 3. Let b(u) = -u**2 - 7*u - 6. Let s be b(-5). Is a(s) a multiple of 5?
True
Let q = 4 - -5. Is (0 - -2)/(2/q) a multiple of 7?
False
Suppose -32 = -3*r - f + 58, 4*r + 3*f - 120 = 0. Does 6 divide r?
True
Suppose -3*y + 7*y - 48 = 0. Is y a multiple of 6?
True
Let x be (-56)/9 - (-2)/9. Does 2 divide (-10)/(-3) - (-2)/x?
False
Let m(a) = -a**3 - a**2. Let c be m(0). Suppose c = -3*l + 4*l - 26. Is l a multiple of 13?
True
Let r(k) = 8*k - 12. Let t be r(-7). Let m = -13 - t. Does 11 divide m?
True
Let v(a) = -4*a - 7. Let p be v(-6). Suppose -x - p = -l - 3*l, 18 = -2*x + 4*l. Let z = x - -29. Is 17 a factor of z?
False
Let q(t) = -3*t - 2. Suppose 2*v = 2*j - 14, 3*v - 2 = -3*j + 1. Suppose j*b + 0*b = -8. Does 2 divide q(b)?
True
Let q(a) = 4*a + 2 + 3*a + 1. Is q(3) a multiple of 13?
False
Let z(a) = 7 - 1 - 2*a - 4 - 1. Is 6 a factor of z(-3)?
False
Let z(k) = -2*k**3 - 14*k**2 - 21*k - 9. Let g(p) = -p