359/253 - 2/c a multiple of 21?
True
Suppose 0 = 10*w - 13*w + 9. Suppose 0 = 3*q + w - 9. Suppose 40 = 2*h + q*h. Does 4 divide h?
False
Suppose 4*k - 5*k = -3*t - 44, 5*k + t = 252. Let a = 14 - k. Let r = a - -77. Is 8 a factor of r?
False
Suppose -6*j + 8247 = -2229. Is j a multiple of 97?
True
Suppose 2*b = 3*s + 6*b - 134, 0 = -3*b - 12. Is s a multiple of 10?
True
Suppose 2*v - 2 = 5*r - 0*v, -2*v - 18 = 5*r. Let y = 40 - r. Let d = 92 - y. Is d a multiple of 15?
False
Let v = 104 + -70. Suppose 0 = 4*h + 5*f - 7 - v, 3*h - f = 26. Is h even?
False
Suppose l + q - 251 = 0, 507 = 4*l + q - 503. Let p = -121 + l. Suppose 14*n = 11*n + p. Is 25 a factor of n?
False
Does 6 divide (-155)/(-3) + 5/(-3) + -4?
False
Is 22 a factor of (-1)/((-233910)/23390 + 10)?
False
Suppose 4*b - 1 = 23. Suppose -28*w - 22 = -30*w. Suppose -w*p + 40 = -b*p. Is p a multiple of 4?
True
Suppose n + 8 = 2*j, -2*j - 20 = -0*n + n. Let z = -94 - n. Let b = -55 - z. Does 14 divide b?
False
Let h = -20 - -15. Let r(k) = -k**3 - 2*k**2 - 7*k - 17. Does 12 divide r(h)?
False
Let m(k) = -2*k + 8. Let b be m(5). Is 1/3 + (b - (-627)/9) a multiple of 17?
True
Suppose 2*u = -3019 - 3045. Is 12 a factor of 6/(-27) - u/36?
True
Suppose 2044 = 4*u - d, -5*d + 2068 = 17*u - 13*u. Is 20 a factor of u?
False
Let v = 92 + -79. Suppose -v - 39 = -i. Is 9 a factor of i?
False
Let o = 1861 - 1021. Suppose -o = -40*r + 34*r. Does 20 divide r?
True
Let o be 3 + -3 + -1 + -1. Suppose -31*n + 8*n + 1311 = 0. Let y = o + n. Is y a multiple of 11?
True
Suppose -s = 4*y - y - 717, 0 = -5*y + 3*s + 1209. Does 8 divide y?
True
Let a(j) = j + 10. Let v be a(-5). Suppose w + 142 = 2*s, -4*s - v*w + 294 = 24. Suppose 18 - s = -g. Is 26 a factor of g?
True
Let b be -33 - (2 - 5)*1. Let j(i) = 6*i - 10. Let d be j(9). Let k = d + b. Is 14 a factor of k?
True
Let m be 9/(-6)*24/(-9). Suppose -m = -s + 3*s. Is 23 a factor of 115/s*30/(-25)?
True
Let a(q) = q**3 + 9*q**2 + 3*q - 12. Does 21 divide a(-8)?
False
Suppose 4*q + 2*y + y + 102 = 0, -5*q + 2*y - 139 = 0. Let x = q + -24. Is 5 a factor of (-289)/x + (-2)/3?
True
Let b = 1177 + -637. Is 45 a factor of b?
True
Let u = -899 + 948. Is u a multiple of 3?
False
Suppose q + 400 = 3*q. Suppose -3*v + q = -160. Does 30 divide v?
True
Let v(h) = -h**2 + 2*h + 34. Let n be v(0). Is (2 - -1)*n/6 a multiple of 3?
False
Let q = 8 - 11. Is 6 a factor of 10 - q - (-12)/(-6)?
False
Suppose 4*n + 4*d = 8920, -11*n + 14*n - 6720 = 3*d. Does 149 divide n?
True
Suppose 0 = o - 2*l + 2, -3*o - 2*o = -2*l - 14. Suppose 2*g - 295 = -3*m, 0*g + o*m + 274 = 2*g. Does 29 divide g?
False
Let l(v) = 3*v**3 + v + 3 - 11*v**3 - 2. Let w be l(-2). Suppose 0 = 5*q + d - 74, q - 3*d - w = -3*q. Does 12 divide q?
False
Let w be ((-72)/2)/(8/(-268)). Suppose -g = 2*g + w. Is 15 a factor of 2/7 - g/14?
False
Suppose 0 = 3*p + 2 - 8. Suppose -k + 37 = h, 2*k - 108 = -3*h - p*k. Is 7 a factor of (h/15)/(1/3)?
False
Let b(g) be the third derivative of -g**6/120 - g**5/10 - 7*g**4/24 - 5*g**3/6 - 3*g**2. Let q be b(-5). Is (25 - q) + (-1)/1 a multiple of 13?
False
Suppose -2*h = -4*n + 2546, 4*n - 177 = -4*h + 2339. Is n a multiple of 29?
False
Let k = -44 - -50. Let s(f) = 4*f + 4. Does 10 divide s(k)?
False
Let u be (-105)/(-42) + (-1 - 2/4). Is (u/2)/((-11)/(-4136)) a multiple of 17?
False
Let k(v) = 4*v**2 - 2*v - 5. Let o be k(-4). Suppose 0 = -d - 5*g + 123, 5*d = 4*g - g + 475. Let b = d - o. Does 13 divide b?
False
Suppose -3*n - 13 = -y, -3*n - 15 = 2*n. Let s(c) = -c**3 + 3*c**2 + 3*c - 4. Let b be s(y). Let j = 23 + b. Is 5 a factor of j?
True
Let z(q) = 71*q**3 + 2*q. Does 26 divide z(2)?
True
Suppose 2*m - 146 = 66. Let v = m - -43. Does 16 divide v?
False
Is 9 a factor of (-188 + 206)*(233/2)/1?
True
Let d(h) = 7*h + 39. Let m be d(-6). Is m*322/(-12) + 1/2 a multiple of 37?
False
Let f be 0 - 0/((4 - 3)*2). Suppose y + 5*j - 43 - 58 = 0, -5*y - j + 481 = f. Is y a multiple of 29?
False
Suppose -3*z - 9 = -h, 5*h + 5*z - z - 102 = 0. Let i = 21 - h. Let x(t) = 5*t**2 + 3*t + 4. Is 14 a factor of x(i)?
False
Let y be 5/(-4 - -5 - 2). Is 6/y*(-19 - 1) a multiple of 3?
True
Suppose -4*i - 3*o + 2*o = -107, 81 = 3*i + o. Let t = i + 1. Does 5 divide t?
False
Let x(c) = -c**2 + 10*c - 16. Let a be 7*-4*(-4)/16. Let y be x(a). Suppose -3*q = y*b - 2*b - 153, 3*q - 157 = -5*b. Does 7 divide q?
True
Suppose 0 = 51*h - 48*h - 312. Does 26 divide h?
True
Suppose -13*l = -14*l + 2. Suppose -2*g = -s + l*s - 18, -4*g = s - 26. Is s a multiple of 7?
False
Suppose -2*k + 228 = p, -2*k + 413 = 3*p - 251. Does 28 divide p?
False
Suppose 3*v + 3*w = 60, -6*v + 3*w + 20 = -4*v. Is 3 a factor of v?
False
Suppose -5*h + 14 - 4 = 0. Suppose -h*s = -3*s + 17. Suppose 5*z + s = 6*z. Does 15 divide z?
False
Let z = 822 + -192. Is 15 a factor of z?
True
Let s(v) = v**3 + 17. Let j = 14 - 12. Let d = j - 2. Is s(d) a multiple of 8?
False
Suppose 10*j - 19 = 9*j. Let f = j - 17. Suppose -f*b + 36 = 3*o, -2*o = 5*b - 10*b + 128. Is 6 a factor of b?
True
Let n = 6 + -5. Let y be n/2 + 190/4. Suppose -80 = -4*s + y. Is 23 a factor of s?
False
Suppose -5*u - z = -1 - 44, -5*u + 2*z = -45. Is u a multiple of 5?
False
Let k be (126/(-35))/((-6)/280). Suppose -4*w + k = -92. Is w a multiple of 13?
True
Let t = -2 + -8. Is (-1 - -19) + (t - -12) a multiple of 4?
True
Let m(n) = -n + 47. Let u be m(9). Let r = 70 - u. Does 8 divide r?
True
Suppose -336 = -88*b + 87*b. Does 24 divide b?
True
Suppose -5*l + 30 = -0*l. Suppose -l = -4*h + 6. Suppose 4*k - h*u - 241 = 0, -u = -5*k + u + 310. Does 25 divide k?
False
Let f(s) = -s**3 + 11*s**2 + s - 4. Suppose 4*v - 2*v = 0. Suppose -5*a + 27 = 2*r, v*r = -3*r - 4*a + 37. Is 7 a factor of f(r)?
True
Suppose 39*g - 47*g = -8304. Does 61 divide g?
False
Let v(x) = x**3 + x**2 - 4. Let n be v(2). Suppose 0 = 4*p - n*p. Suppose -t - i = -4, 0 = -4*i - p*i. Is t a multiple of 2?
True
Suppose -19*d + 8*d = -21054. Is 11 a factor of d?
True
Let d be (-3 - -4) + 33 - 1. Suppose b - 43 = -h, 0 = 3*b - 2*b + 3*h - d. Is 16 a factor of b?
True
Suppose 11*k - 351 = 8*k. Suppose 18 = 3*x - k. Is 9 a factor of x?
True
Suppose 111 = -11*x - 43. Does 23 divide (-35)/x*184/10?
True
Let n(j) = 2*j**2 + 5*j + 7. Let x be n(-3). Suppose x*v - 1584 = v. Is 14 a factor of v?
False
Let l be (-2)/(-4*(-3)/894). Let y = -61 - l. Is y a multiple of 16?
False
Let b(y) = -69*y + 117. Does 5 divide b(-12)?
True
Let y(h) = 6*h - 36. Let i(f) = 2*f - 12. Let a(x) = 10*i(x) - 3*y(x). Let m be (-10 - (-76)/4) + 1/(-1). Is 2 a factor of a(m)?
True
Let w = 7 + -1. Suppose w = h - 12. Let o = h - -8. Is o a multiple of 11?
False
Suppose k + 162 = 2*d, -3*d + 243 = -0*k - 2*k. Is d a multiple of 13?
False
Let a(n) be the third derivative of n**5/60 + n**4/12 - n**3/6 + 40*n**2. Does 24 divide a(-13)?
False
Suppose 0 = -0*f + 3*f - 2*j + 2, -18 = f - 5*j. Let a(t) = -12*t**2 - 4*t + 6. Let v(z) = z**2 + z - 1. Let w(i) = -a(i) - 5*v(i). Is 5 a factor of w(f)?
True
Let u(b) = 23*b + 23*b - 26 + 3*b**2 - 49*b - 2*b**2. Is 21 a factor of u(-12)?
False
Suppose -2*l = 3*m - 1315, 2*l - 2*m - 528 - 762 = 0. Does 25 divide l?
True
Let n(f) = 4*f**2 + 9*f. Let u = -19 + 24. Let j = -1 - u. Is 27 a factor of n(j)?
False
Let j = 30 - 34. Let m be 1 - 0 - (-65 + j). Is (-412)/(-14) - (-40)/m a multiple of 7?
False
Let x(n) = -279*n**3 + n**2 - 3*n - 3. Does 10 divide x(-1)?
True
Suppose 0 = 4*d - 5*a - 3, 4*a - 53 = -4*d - a. Suppose 0 = -11*w + d*w - 16. Is 108/(-9)*w*1 a multiple of 24?
True
Suppose -4*y + y = 2*f + 11, f - 4*y = 22. Let d = 22 - 20. Suppose -d*r + 56 = f*r. Is 14 a factor of r?
True
Suppose -h - 4*g + 665 = 0, -3*h + 697 + 1253 = 3*g. Does 41 divide h?
False
Let h(c) = 27*c**2 + 10*c - 28. Let v be h(6). Suppose 13*w - 1141 = v. Is 22 a factor of w?
False
Let b(y) = y**3 + 5*y**2 - 8*y - 8. Let t be b(-6). Suppose 5*j - q = 606 - 180, 81 = j + t*q. Is j a multiple of 8?
False
Suppose -3*n + 707 = 5*y, n - 632 = -4*y - 65. Is y a multiple of 4?
False
Let u = 267 + 43. Is 31 a factor of u?
True
Let o(w) = w**3 + 4*w**2 - 3*w + 2. Let r be o(-4). Suppose 0 = -11*t + r*t - 138. Does 13 divide t?
False
Suppose -5*g - 3*s + 14 = -4*g, -5*s + 30 = 5*g. Suppose 5*w = 3*l - 40, g*l + 3*w - 