a factor of b?
False
Suppose l = -5*l + 360. Suppose s - l = 5. Is 13 a factor of s?
True
Let b = -171 - -169. Is 11 a factor of (-25 + b)*-4*(-28)/(-12)?
False
Let y = 3091 - 891. Suppose -8*x + y = 3*x. Does 39 divide x?
False
Let j(n) = 13*n + 28. Is 4 a factor of j(4)?
True
Let o be 890/(-4)*(-14)/35. Let m = -29 + o. Does 12 divide m?
True
Let m(d) be the second derivative of -11*d**3/6 - 5*d**2 + 2*d. Let h be m(-6). Let j = h + -39. Is 17 a factor of j?
True
Suppose -30 = -6*y - 0*y. Suppose -y*v = -v + 4384. Is v/(-14) - 2/7 a multiple of 26?
True
Let j be 5/(-1)*12/(-10). Suppose -182 = -6*l + 202. Is l/j - 1/(-3) a multiple of 11?
True
Suppose 53*r - 34*r - 23142 = 0. Does 27 divide r?
False
Suppose -34*c + 3820 + 10834 = 0. Is 79 a factor of c?
False
Suppose -4*h = 7 - 27. Suppose -h - 5 = -v. Let p = v + 13. Is p a multiple of 7?
False
Let v be -3 + (-3)/((-3)/8). Suppose -2*i - 60 = -v*i. Does 5 divide i?
True
Is 17 a factor of (2 - 3) + 92 + 10?
False
Let i(k) = -138*k - 3. Is 43 a factor of i(-1)?
False
Let p(d) = 4*d**2 + 10*d - 60. Is 15 a factor of p(5)?
True
Suppose 3*r = -2*r - 100. Let d = r - -20. Suppose -2*h + 4*a + 26 + 44 = d, -3*h = 2*a - 65. Does 9 divide h?
False
Let w be -6 + 8/(8/(-2)). Is (-164)/w - (-3)/(-6) a multiple of 6?
False
Is (-245 - -3)*(0 - 1) a multiple of 12?
False
Let x(o) = 38*o + 138. Let a be x(-4). Let h(d) = 0*d - d**2 - 6 + 0 - 19*d. Is 16 a factor of h(a)?
True
Let d(k) = -2*k - 6. Let b be d(-5). Suppose -36*u - 106 = 110. Is 2/b + (-339)/u a multiple of 11?
False
Let l = -953 - -1201. Does 31 divide l?
True
Let j = -3376 - -6609. Is j a multiple of 61?
True
Let t(j) = -j**3 + 49*j**2 - 68*j - 59. Is 10 a factor of t(47)?
False
Let g = -54 + 50. Is 20 a factor of (-2)/g + 2/((-24)/(-1194))?
True
Let y(s) = s**2 + 6*s - 1. Let a be y(-7). Suppose -a*o - 6 = -4*o. Let f = o - -13. Is f a multiple of 3?
False
Suppose 4*p - 435 = 569. Let m = p - 143. Is m a multiple of 18?
True
Suppose -5*t = -2*t + 2*k - 189, -t = -k - 58. Let g = -37 + t. Is g a multiple of 8?
True
Suppose -3*w - 2*p = w - 84, 3*p + 34 = 2*w. Let q(b) = b**3 - 21*b**2 + 24*b - 41. Is q(w) a multiple of 11?
False
Let f = -7 - 3. Let y = 58 + f. Is y a multiple of 12?
True
Let u(k) = 2*k**3 - 6*k**2 - 4*k + 2. Does 3 divide u(7)?
True
Let z = 552 - 311. Suppose -4*s = -l - 488, -3*s + 2*l = -z - 120. Is 27 a factor of s?
False
Suppose 206 = 8*d - 202. Does 16 divide d?
False
Let z(j) = -j + 6. Let l be z(8). Let y be l - 2 - -82*1. Let d = y - 6. Is 36 a factor of d?
True
Is 53 a factor of (976/32)/(((-2)/(-16))/1)?
False
Suppose 3*x + 4 = 88. Let h = 37 - x. Is h a multiple of 9?
True
Is 28 a factor of ((-2312)/(-20))/(-2)*-5?
False
Let c(i) be the first derivative of 8*i**2 - 57*i - 25. Is c(5) a multiple of 23?
True
Suppose -5*o = -5*s + 1440, -23*s + 3*o - 876 = -26*s. Is s a multiple of 29?
True
Suppose -2*c = u - 3*u - 2, 0 = 3*u - c + 1. Suppose -2*x + 173 + 19 = 2*w, u = -5*w - x + 480. Is w a multiple of 15?
False
Let n = -1132 - -1256. Does 4 divide n?
True
Let i(d) = 49*d**2 - d + 2. Let w(r) = r**3 + 12*r**2 - 13*r + 1. Let m be w(-13). Does 21 divide i(m)?
False
Let u(s) = 9*s + 66. Let z(p) = -7*p - 67. Let h(w) = -4*u(w) - 5*z(w). Is 50 a factor of h(9)?
False
Let a = -134 - 42. Let s = a + 289. Does 29 divide s?
False
Suppose 4*u = 6*u. Suppose 2*o + 2*n + n - 36 = 0, u = -n. Is 5 a factor of o?
False
Let n be 1/3 - (-4)/(-12). Suppose 0 = -3*b + 15, q + 4*b - 21 + 1 = n. Suppose q*p - 3*p + 21 = 0. Is p a multiple of 3?
False
Let z(y) = -y**3 + 4*y**2 - 3*y + 2. Let m be z(3). Suppose -m*g + 10 = 4. Suppose 3*r - 145 = -3*w + 7*r, 3*w = g*r + 141. Is w a multiple of 11?
False
Let y = 2310 - 1128. Is 34 a factor of y?
False
Is 2 a factor of 51/(18/(-1140)*-5)?
True
Let a(c) = c**3 + 10*c**2 - 10*c + 18. Suppose -2*s = -2*v + 20 - 8, 3*s = -3*v - 42. Is a(s) a multiple of 8?
False
Let g(b) = b**3 + 5*b**2 - b - 2. Let r be g(-5). Suppose 0 = -i + 2*i + r*u - 15, -4*u = i - 13. Does 9 divide 4/(-8)*-6 + i?
False
Let q be ((-16)/(-10))/(6/15). Suppose 2*m + 7 = l, -4*m - q - 40 = -4*l. Does 15 divide l?
True
Suppose -5*x + 282 - 67 = t, x - 235 = -t. Does 21 divide t?
False
Let b = 1344 + -1231. Is b a multiple of 10?
False
Let v(z) = 3*z**2 - 3*z - 10. Suppose -23 = 2*m + 5*k, -5*m + 4*k = 5 + 3. Is 5 a factor of v(m)?
True
Let f = 3 + 2. Let u = f - 2. Suppose 0 = -5*l - 4*o + 47, 8*o - 1 = -l + u*o. Is l a multiple of 3?
False
Let i = -98 - -209. Is 41 a factor of i?
False
Let t be 5/25 + (-29)/(-5). Is (-75)/t*(-112)/35 a multiple of 9?
False
Let x = 79 + -77. Is (3 - 4/x) + 23 a multiple of 13?
False
Let f be 21*((-8)/10)/(4/10). Let u = -30 - f. Is u a multiple of 12?
True
Suppose 0 = -t + 2*d + 886 + 72, -3*t - d + 2888 = 0. Does 57 divide t?
False
Let h be 1 - -2 - (-4 - -3). Suppose -58 = -j + h*t, 0*t - 378 = -5*j - 2*t. Suppose 25 = -l - 2*x + j, 5*l + 3*x = 238. Is 13 a factor of l?
False
Let f be 18/(-4)*(-250)/(-5). Let k be (0 + 3)*f/(-27). Suppose -c + k = 9. Is 16 a factor of c?
True
Suppose -5*d + 19 = 8*p - 4*p, -d - 4*p = -7. Suppose 5*m - 5 = -5*f + 25, -2*f - 5*m + d = 0. Suppose -2*z + 5*k = -39, 2*k = -2*z + f + 23. Does 3 divide z?
False
Suppose 3*r = 5*r + 2. Let x(j) = -10555*j + 10555*j + 87*j**2. Is x(r) a multiple of 29?
True
Let v(g) = 2*g**3 + 3*g**2 - g + 1060. Does 35 divide v(0)?
False
Let c = 203 - 171. Does 8 divide c?
True
Suppose 11*v = 10*v + 3. Suppose -158 = -v*a - a - q, a - 35 = 2*q. Is 3 a factor of a?
True
Suppose j = -124*p + 128*p - 12851, -4*p = -4*j - 12848. Is 51 a factor of p?
True
Suppose 3873 = 20*a - 18807. Does 63 divide a?
True
Let u(i) = -18*i**2 + 3*i + 6. Let f be u(4). Let t = -186 - f. Does 28 divide t?
True
Let d(x) = x**2 - x - 6. Suppose -2*i + 4*w + 24 = 0, -i + 26 = i - 5*w. Let l = i + -17. Is 25 a factor of d(l)?
False
Suppose 4*c = -25 - 7. Let o(w) = -w**3 - 8*w**2 - 2*w + 16. Is o(c) a multiple of 6?
False
Let x = -10 + 17. Suppose 10*b - 9*b = 5*t - 350, 0 = 2*t - 2*b - 132. Let q = t - x. Does 23 divide q?
False
Suppose 3*w - 5*g = 8, -g = -5*w + 2*g - 8. Does 5 divide 43 + (20 + -4)/w?
False
Suppose 0 = 2*s - 10, -6*p + 10*p - 1311 = s. Does 32 divide p?
False
Suppose 0*g = g - 3*p - 269, 4*p = -g + 297. Suppose 0 = -5*d + 5*y + 335, 4*d - g = 5*y - 14. Let b = 117 - d. Is 21 a factor of b?
False
Let o(d) = -d**2 + 9*d + 1121. Is 19 a factor of o(0)?
True
Let m(r) = 13*r**2 - 19*r - 9. Does 10 divide m(4)?
False
Let t be (-1 - -2)*124/2. Let q = t + -92. Is 17 a factor of (-2690)/q + (-2)/3?
False
Suppose 19*z + 4*z = 17664. Does 16 divide z?
True
Suppose 5*y - 15 = m, 3*y - 2*y + 2*m = 3. Suppose -y*l - l = -2*s - 604, -142 = -l - 4*s. Is 30 a factor of l?
True
Let g = 9 + -4. Suppose -2*v - 56 - 22 = -2*m, 0 = g*v + 2*m + 174. Let z = -16 - v. Is z a multiple of 6?
False
Let g = 5 - 3. Let q(m) = 3*m**2 - 3*m. Let y be q(3). Suppose -r + g*r = y. Does 3 divide r?
True
Let r be (-26)/(-8) - 5/20. Suppose 5*p - 90 = -h, -r*h = -p - h + 29. Let o = -11 + p. Is o a multiple of 2?
True
Let b = 245 - 386. Is 35 a factor of b/(-2) + -3*3/18?
True
Let i(g) = 29*g**2 - 5 + 2*g + 1 + 5. Let c be (-20)/20*(0 - -1). Does 7 divide i(c)?
True
Let a(i) = -2*i**2 + 22*i + 10. Let o be a(12). Suppose 4*j - 5*r - 73 = 2*j, 0 = -r - 5. Let s = j + o. Is 4 a factor of s?
False
Suppose -3*a = c - 226 - 202, 4*a = c + 566. Does 71 divide a?
True
Suppose -2*x - 4*u + 3*u = -41, 5*x = 4*u + 83. Let j = x + 13. Does 21 divide j?
False
Is 120/80*2492/6 a multiple of 66?
False
Let t be 3/18 + 65/6. Let d = -2 + t. Suppose 0 = -i + 49 - d. Is i a multiple of 22?
False
Suppose 90*j + 24684 = 102*j. Is j a multiple of 22?
False
Suppose 15 = -h - 4*j, -2*h + 5 = 3*h + 4*j. Is 22 a factor of (23 + -4 + 3)*h?
True
Suppose 3*o - s = 32, 2*o - 2*s - 14 - 10 = 0. Suppose -4*q + 70 = o. Let j = 17 + q. Is j a multiple of 8?
True
Let g = 66 + -81. Let a(s) = -10*s - 50. Is 20 a factor of a(g)?
True
Let q(j) = -j**3 - 2*j**2 + 3*j + 2807. Does 15 divide q(0)?
False
Is 53 a factor of ((-16736)/6)/(-8)*(-27)/(-3)?
False
Is (15/(-9) - -2)/((-6)/(-1422)) a multiple of 3?
False
Let y(t) = -t**3 - 6*t**2 + 30*t + 10. Is 22 a factor of y(-10)?
True
Suppose 547 = 13*h - 207. Is 2