ltiple of 21?
False
Suppose -19*y = 11*y - 1470. Is y a multiple of 4?
False
Is 0 + 3293/3 + (-8)/12 a multiple of 13?
False
Suppose -306 = 5*r - 5*u - 106, 5*u = -2*r - 59. Let p(i) = -i**3 + 11*i**2 + 10*i + 11. Let f be p(12). Let v = f - r. Is v a multiple of 8?
True
Let o(i) = i**2 - 26*i + 288. Does 3 divide o(22)?
False
Suppose 0 = 4*d - 2*q - 0*q - 10, -28 = -4*d - 4*q. Suppose -154 = -2*k + n, -k + 0*n = -d*n - 77. Is 7 a factor of k?
True
Let q = 281 + -150. Let u = q + -121. Does 4 divide u?
False
Let m(i) = 3*i**3 + 24*i**2 - 11*i - 10. Let j(k) = -k**3 - 8*k**2 + 4*k + 3. Let t(d) = -11*j(d) - 4*m(d). Let c = -1 + -7. Is 7 a factor of t(c)?
True
Suppose 10 = 19*b - 21*b. Is -87*((3 - 2) + (b - -3)) a multiple of 15?
False
Let x = 1444 + -844. Does 50 divide x?
True
Let l = 105 - 40. Let q be (-1)/(2 - 81/41). Let f = q + l. Does 24 divide f?
True
Suppose -26 = -2*o + 14. Let h = 24 - o. Is 4 a factor of h?
True
Suppose -5*k - c = -1009, -c = -k - 6*c + 221. Is k a multiple of 7?
False
Does 28 divide 276/36 + -8 + (-15584)/(-6)?
False
Let v = -1158 - -2898. Is v a multiple of 174?
True
Suppose -3*h + 371 = -469. Let w = h + -196. Suppose 0 = -17*z + 20*z - w. Is z a multiple of 14?
True
Suppose -3*n - 216 = -462. Is 4 a factor of n?
False
Let m be 6 - (2 + -1 - 0). Suppose m*c = -3*c + 104. Suppose 5*t - 17 = c. Does 6 divide t?
True
Suppose -3 = 2*u + 9. Let w(r) = r**2 + r - 3. Let t be w(6). Let f = u + t. Does 9 divide f?
False
Let l(z) = -2*z**2 + 91. Suppose -u + 4*u - 8 = -2*n, 0 = -2*n + 3*u + 8. Suppose t + 6 + 10 = -4*g, -n*t - g - 4 = 0. Is l(t) a multiple of 25?
False
Let v be (-2)/(-6) - 142/(-6). Let d = v + -36. Let c = d + 28. Does 16 divide c?
True
Suppose 1720*n = 1723*n - 591. Does 9 divide n?
False
Let i = -446 + 674. Does 38 divide i?
True
Suppose -4*y = -4*b + 57 - 173, -5*y + 4*b = -143. Suppose 3*s + 30 = n - y, 0 = -5*s + 15. Suppose 4*w = w + n. Is w a multiple of 8?
False
Suppose 5*c - r + 2 = 5, -r - 3 = 0. Suppose 4*a - 616 = 2*d, c = 5*a + 3*d - 2*d - 770. Is 12 a factor of a?
False
Let m(t) = 6*t**2 - 81*t + 39. Is 15 a factor of m(18)?
True
Let w(a) = 7*a + 33. Let h be w(-4). Suppose -2*f + 170 = h*b, 5*f + 3*b + b - 442 = 0. Does 5 divide f?
True
Suppose 0 = 6*l + 1882 - 280. Let z = -119 - l. Is 21 a factor of z?
False
Let g(i) = 4*i - 9. Let c be g(3). Suppose 0 = 5*k - 5, 0 = -4*h - k - c + 288. Is h a multiple of 14?
False
Let x(z) = -2*z**3 - 8*z**2 + 20*z + 38. Does 48 divide x(-7)?
True
Let q be (-30)/3*92/(-10). Does 3 divide 69/q + 61/4?
False
Let f be ((-6)/(-21) - (-10)/14) + 215. Suppose i + 4*h = 82, 0 = 3*i - 2*h + 4*h - f. Is i a multiple of 13?
False
Suppose 0 = 2*m - v + 2*v - 4, 0 = -m - 5*v - 7. Suppose -m*r + 447 + 21 = 0. Is r a multiple of 12?
True
Suppose 2*i = 5*i. Suppose i = 12*q - 8*q - 128. Suppose -2*o + 126 = 4*r + q, 4*r + 4*o - 84 = 0. Does 6 divide r?
False
Let t = 368 - -336. Is 30 a factor of t?
False
Suppose 417 = -b + 1719. Is b a multiple of 13?
False
Suppose -3*z - 2*l + 2064 = -0*l, -4*l - 2082 = -3*z. Is z a multiple of 5?
True
Suppose 2*f = -12*f + 19824. Is f a multiple of 59?
True
Suppose -263 = -5*a + 6*p - 4*p, -3*p = 4*a - 215. Does 2 divide a?
False
Let q = -2 - -4. Suppose q*y + 3*y - 15 = 0. Suppose 28 = y*o - 71. Is 8 a factor of o?
False
Let w(g) = -2*g - 14. Let m be w(-10). Suppose m*s = 7*s - 5. Suppose f - 51 = -4*u, f = 2*u - s*u + 37. Is 14 a factor of u?
True
Let x(v) = -v**2 + 11*v - 4. Let z be x(10). Suppose 9*p = z*p + 27. Is 34/p - 2/(-9) even?
True
Let y be (-33)/12 + 3/(-12) + 53. Let s = 185 - y. Is s a multiple of 27?
True
Let r = -77 + 73. Does 20 divide (0 - -8)/(r*2/(-120))?
True
Suppose -5*w - z = 12 - 0, 4*z = 12. Does 5 divide ((-268)/(-8))/(w/(-6))?
False
Suppose 2*h = 5*l - 379, -3*l - 4*h + 215 = h. Let t = 106 - l. Does 20 divide t?
False
Suppose 5*c = 383 + 232. Suppose 45 = 3*j - c. Is j a multiple of 8?
True
Suppose 0*n - 2*n = -130. Suppose 2 = -2*v, 2*v + n = 5*x - 27. Is 9 a factor of x?
True
Suppose 0 = 3*g - 548 - 364. Is 76 a factor of g?
True
Suppose -3*z = -4*o + 141, -166 = -4*o - 5*z + 3*z. Let u = 23 - 41. Let f = u + o. Is f a multiple of 5?
False
Suppose 3 = c - 3. Suppose -4*s + c*q + 228 = 3*q, 5*s - 2*q - 278 = 0. Is 7 a factor of s?
False
Suppose -2 = 17*i - 18*i. Suppose -2*f + 285 = 5*j, i*f = -j - 0*j + 281. Is 35 a factor of f?
True
Let r(v) = v**2 + v + 2. Let h be r(-3). Suppose h*x = 997 - 365. Does 16 divide x?
False
Suppose 2*n - z = -1, -4*n + 5*z = -3 + 20. Suppose -2*a + 201 = 195. Is (3 + (n - -15))*a a multiple of 15?
True
Let k(r) = 4*r + 8. Suppose -5*a + j = -2*j + 24, -3*a - 8 = -5*j. Let d be k(a). Let n = -7 - d. Is 7 a factor of n?
False
Suppose -3*u - 4744 = -5*u + 4*v, -3*u = -4*v - 7126. Does 33 divide u?
False
Suppose 9*d = -4748 + 21038. Is 15 a factor of d?
False
Let j(r) = 19*r**2 + 2*r + 2. Let w(s) = -18*s**2 - 3*s - 2. Let h(y) = 5*j(y) + 4*w(y). Is 14 a factor of h(-2)?
True
Let v(f) = f**3 + 10*f**2 + 12*f - 2. Is v(-8) even?
True
Suppose 0 = -19*h + 580 + 313. Does 6 divide h?
False
Let k = -342 + 377. Does 2 divide k?
False
Let h be (-2 - (-21)/12)*-4. Let c = h + 12. Is c a multiple of 8?
False
Let n(m) be the second derivative of m**5/20 - 7*m**4/12 + 2*m**3/3 - 5*m**2 + 9*m. Is 13 a factor of n(7)?
False
Suppose 3*f - 3552 = z + 3*z, -3*f + 3552 = 3*z. Does 94 divide f?
False
Suppose -4*i - 5 = 7, -5*w - 3*i = 4. Let k(m) = 210*m**3 - m**2. Let f be k(w). Let l = f + -116. Is 19 a factor of l?
False
Let r(k) = 41*k - 125. Is r(7) a multiple of 58?
False
Is 14 a factor of ((-112)/18)/((-16)/144)?
True
Suppose -5*a + 0*a - 35 = 0. Let f(c) = 6*c**2 + c - 3. Does 24 divide f(a)?
False
Suppose -4*j + 113 = -2*n - 865, 9 = -3*n. Suppose 555 + j = 7*v. Is 11 a factor of v?
False
Let n(d) = 100*d**2 - 2*d. Let i be 6/(-2) + 3/(3/2). Does 17 divide n(i)?
True
Let y be 165/(-21) + 3/(-21). Let b = 4 - y. Is 3 a factor of b?
True
Let d(w) = -9*w**3 - 36*w**2 + 28*w - 15. Let i(l) = 4*l**3 + 18*l**2 - 14*l + 8. Let m(f) = -3*d(f) - 7*i(f). Does 12 divide m(-19)?
True
Let g be (2 + -2 - -1) + -1. Suppose g = b - 0 - 15. Does 14 divide (b - -2) + 9/3?
False
Suppose -4*j = -5*w - 26, -9 = -j + 5*w + 5. Suppose -j*l - r = -3*r - 702, -3*r = -l + 188. Is l a multiple of 45?
False
Suppose 0 = 8*t - 700 - 1444. Does 20 divide t?
False
Suppose -4*i + 0*i + 2*b - 38 = 0, -2*b = -3*i - 31. Suppose 5*v = -2*c + 5*c + 194, 160 = 4*v - 4*c. Let y = v + i. Is 30 a factor of y?
True
Let t be (-1)/4 + (-10)/(-8). Suppose -t + 9 = 2*p. Suppose -p*g + 91 = 3*m, -g + 3*g = -3*m + 53. Does 19 divide g?
True
Suppose 2*f - 2 = -3*m + 3, 7 = 2*f + 5*m. Let k be (-9)/(-12) - (-10)/8. Suppose -p = -k*j - f, -4*p - 2*j = -2 - 52. Is p a multiple of 11?
True
Let m(i) = -i**2 + 24*i + 40. Is m(24) a multiple of 40?
True
Let m(n) = n**3 + 5*n**2 + n + 17. Does 18 divide m(7)?
True
Suppose 2727*b = 2722*b + 25920. Does 81 divide b?
True
Let s(l) = l**2 - 5*l + 3. Let k be s(2). Let x be (k + 9)*(0 - 2). Let y = 87 + x. Is 25 a factor of y?
True
Suppose -4 = -0*c - 2*c, -w = c - 349. Suppose -5*q - 2*l + 242 = 0, w = 5*q - 3*l + 85. Is 9 a factor of q?
False
Let u be -4*(-2)/(-4)*3. Let n = 11 + u. Does 17 divide ((-176)/(-20))/(1/n)?
False
Let s(o) = o**2 + 16*o - 6. Let b be s(-12). Let h = -2 - b. Is 13 a factor of h?
True
Let m = 688 + -428. Suppose 0*i = -5*s - 4*i + m, -4*s - 5*i + 217 = 0. Is s a multiple of 4?
True
Let v be 8/(-132)*3 - 1654/(-22). Suppose -267 = -4*g - v. Is g a multiple of 6?
True
Let x(k) = 3*k - 2. Let w be x(2). Suppose -h - w*h + 75 = 0. Suppose l = -3*n + 48, h + 89 = 3*l + n. Does 13 divide l?
False
Let h(l) = 15*l**2 + 57*l - 21. Is 9 a factor of h(-10)?
True
Suppose u - 3*u + 126 = -5*r, 0 = -r. Suppose -2*c = c - 3*t - u, -33 = -c + 5*t. Does 11 divide c?
False
Is -4 + 135/9*17 a multiple of 4?
False
Let h(c) = 3*c - 10. Let r be h(4). Suppose 0 = -3*y - 3*n + 13 + 41, 5*y + r*n = 102. Is 11 a factor of y?
True
Is 43 a factor of 8/(-18) + 10 + (-77460)/(-54)?
False
Suppose 0 = 5*u + 5*f - 230, 2*u + f + 3*f - 92 = 0. Let d = 67 - u. Suppose 2*n - 5*n + d = 0. Does 5 divide n?
False
Let h be (1 - (-2 - -4))/1 - -1. Suppose -2*b + 7*b - 440 = h. Is b a multiple of 22?