27 divide c?
False
Does 27 divide ((-243)/12)/((-48)/768)?
True
Suppose 3*v + 133 - 916 = 5*r, -1070 = -4*v - 2*r. Is 15 a factor of v?
False
Is 15 a factor of -1*3 + 2 + (-9331)/(-31)?
True
Let h(l) = 41*l + 1. Suppose 2*d - 5*d + 3 = 0. Is 19 a factor of h(d)?
False
Let s(i) = 3*i**2 + 18*i + 3. Does 21 divide s(-9)?
True
Suppose -s + 165 - 45 = 0. Let c = -1 - -1. Suppose c = -8*q + 11*q - s. Is q a multiple of 12?
False
Let i be ((-4)/(-8))/(3 + 5500/(-1832)). Let s = i - -403. Is 29 a factor of s?
True
Let h = -17 + 15. Let l(u) = 15*u**2 + 3*u + 1. Let z be l(h). Let a = z + -37. Is a a multiple of 9?
True
Let r be (-4)/(-22) + (-2)/11. Let f be ((-45)/30)/((-6)/(-8)). Does 3 divide 14 - -3 - r/f?
False
Is (-59865)/(-78) + 2/4 a multiple of 2?
True
Let o(x) = 37*x**3 + 3*x**2 + x - 4. Let s be o(2). Suppose -6*g + 270 = -s. Is g a multiple of 32?
True
Suppose -13*j - 7 + 85 = 0. Does 11 divide (12/8 + -6)*(-188)/j?
False
Does 9 divide (-7 + 2552/16 + 5)*2?
True
Let k = 1570 + 4077. Is 148 a factor of k?
False
Suppose -5*c = -3*c. Suppose 3*l - 5*l + 6 = c. Suppose w - 44 = -l*w. Is 10 a factor of w?
False
Let g(p) = -3*p**2 - 3*p + 2. Let c be g(-5). Let v = 78 - c. Is v a multiple of 34?
True
Let v(z) = z**3 - z**2 + 3*z - 3. Let i be v(2). Suppose 0 = b - 0*b + i. Let g = 0 - b. Is g a multiple of 7?
True
Let n be 9/(-6)*(0 + 2). Let u be (n/9)/(2/(-12)). Suppose -u*i + i = -12. Is i a multiple of 6?
True
Suppose 0 = -4*m - a + 712, -a = -0 + 4. Does 7 divide m?
False
Does 4 divide 341/5 - (42/6)/35?
True
Let m(n) = 23*n + 59. Is m(7) a multiple of 37?
False
Let w = 25 + -41. Let p be (-42 - w)/((-4)/46). Suppose -4*f + v + p = 0, f - 4 = -5*v + 55. Is f a multiple of 10?
False
Let z(y) = 2*y**2 + 14*y + 19. Let m be z(12). Suppose 2*h = 3*r + 243, 4*h + 10*r - m = 5*r. Does 24 divide h?
True
Suppose -20 = 2*m - 94. Let a = 58 - m. Suppose -4*u + a + 15 = 0. Is 3 a factor of u?
True
Let q be (8/6)/(44/1386). Let a = q + -9. Is a a multiple of 11?
True
Let p(h) = h**3 - 4*h**2 - 2*h - 2. Let m be p(5). Let d = 15 - m. Let b(a) = 7*a**2 + 4*a - 2. Is 17 a factor of b(d)?
True
Let g(h) = -h**3 + 9*h**2 - 9*h + 10. Let p be g(8). Suppose -2*v = -5*f - 42, -3*v - v + p*f = -100. Is v a multiple of 26?
True
Suppose 8*b = 4*b + 7708. Is b a multiple of 41?
True
Let u(y) = -12*y - 22. Let o be u(34). Let x = 700 + o. Does 47 divide x?
False
Let b(x) = x**3 - x**2 - 3*x + 18. Let m(y) = -2*y + 32. Let f be m(16). Is b(f) a multiple of 3?
True
Is 49 a factor of 20/((-120)/(-3087))*(-28)/(-6)?
True
Does 21 divide 150 - ((-3)/(-5))/((-54)/(-180))?
False
Let a(s) = 6*s + 7. Let h be a(2). Let j = h + 8. Does 6 divide j?
False
Let v be (0 + -1)/((-1)/4). Suppose v*o - 146 - 62 = 0. Let f = o - -50. Is f a multiple of 28?
False
Is 15 a factor of (-630)/((-10)/((-160)/(-24)))?
True
Let d be 6 - 4*(5 - 4). Suppose -218 = -5*j - 3*n + 191, 169 = d*j + 3*n. Is j a multiple of 37?
False
Let q(r) = 2*r + 2. Let v be q(5). Suppose -2*l + v = -2*n - 2*n, 4*l = 5*n + 27. Is l even?
True
Suppose -3*h = -5*h + 4. Suppose -3*j + 2*p = -h*j - 3, 5*j - 24 = p. Suppose 0 = 4*x - j*i - 240, x - 53 = 5*i + 22. Does 9 divide x?
False
Suppose -4*h - 2*v = 14, -3*v = -3 + 18. Let w(q) = q**2 + 0*q**2 - 35*q**3 - 2*q + 3*q. Is 13 a factor of w(h)?
False
Let c be (-15)/(-6) + (-1)/2. Suppose -4*k + 210 = c. Let p = 97 - k. Does 27 divide p?
False
Suppose 6 = -3*w, -20 = -4*v - 8*w + 12*w. Is ((-2)/v)/(4/(-1728)) a multiple of 36?
True
Is (7 - (-45)/(-6))*-900 a multiple of 75?
True
Let g(k) = 3*k**2 - 4*k. Let a be g(14). Let m = a + -292. Is m a multiple of 44?
False
Let r = -316 + 671. Is r a multiple of 72?
False
Suppose -o = -4*f + 26 - 5, -2*f = o - 9. Does 34 divide 7/(7/160) + o?
False
Suppose 2*g - 4*g - 62 = -5*o, 0 = 5*g + 4*o + 122. Let i = -8 - g. Is i a multiple of 3?
True
Suppose 37 + 147 = 4*a. Does 5 divide -1 + a + 5 + -5?
True
Let c be 1/(-4) - (-63)/(-4). Let l = c - -45. Suppose 157 - l = 4*g. Is 16 a factor of g?
True
Is 20 a factor of 408*(6 - 84/16)?
False
Let c(m) be the first derivative of -m**4/4 - 25*m**3/3 + 23*m**2/2 - 34*m - 21. Is c(-26) a multiple of 4?
True
Let o = 16 + -28. Does 15 divide (-552)/(-9) - o/18?
False
Suppose -5*c + 192 = 2*r - 2*c, -r - 2*c = -96. Is 48 a factor of r?
True
Suppose -4*x - 224 + 676 = 5*l, 0 = 5*x - 4*l - 524. Suppose 0 = -2*a + x - 16. Let j = a - 15. Is j a multiple of 15?
False
Let h = -15 - -15. Suppose h = -2*b + 4*b - 10. Let o = 4 + b. Is 3 a factor of o?
True
Let s(t) = t**3 + 16*t**2 - t - 12. Let i be s(-16). Suppose -5*q - 5 = 0, 0 = 5*z + i*q + 28 - 119. Does 19 divide z?
True
Suppose b = h - 57, -3*b = -32*h + 34*h - 109. Is 47 a factor of h?
False
Let x(i) = i**3 - 13*i**2 + 18*i. Let r = 24 + -12. Does 24 divide x(r)?
True
Suppose 2*w - 727 + 153 = 3*f, 1146 = 4*w - 5*f. Is 4 a factor of w?
True
Let l(f) = 2*f**2 + 3*f + 2. Let k be l(-2). Suppose -28*n + 25 = -31. Suppose 0 = 5*b + 4*g - 116, k*g - 76 = -b - n*b. Does 5 divide b?
True
Let r(g) = -3 + 0*g**2 + 6 + 3*g + 2*g**2. Let f = 74 - 77. Is 8 a factor of r(f)?
False
Suppose -11 + 5 = 2*b. Suppose -15 - 21 = -4*v. Does 3 divide (-1 - 6/v)*b?
False
Let s(x) = x**2 + 5*x + 6. Let f(u) = u**3 + 2. Let z be f(0). Suppose -4*b - 14 = -z*b. Is 5 a factor of s(b)?
True
Let q(o) = 37*o + o**2 - 39*o + 25 + 13 - 3. Is 7 a factor of q(0)?
True
Let i = 1021 + 872. Does 92 divide i?
False
Let k be (-180)/(-9)*(-34)/8. Does 12 divide k/(-2) - ((-147)/(-14))/7?
False
Let m(x) = x**2 - 26*x + 29. Let s be m(25). Suppose -s*a - 4*b + 197 = -3*b, -253 = -5*a + b. Does 25 divide a?
True
Suppose -d + 128 = m - 156, 3*d = 4*m - 1122. Is 18 a factor of m?
False
Let z(h) = 55*h - 54. Is z(9) a multiple of 9?
True
Let t = 777 - 687. Does 10 divide t?
True
Let a(j) = 28*j + 1. Let c(w) = -w**2 + w - 3. Let h be c(0). Let b be a(h). Is b/(-4) + 4/16 a multiple of 21?
True
Is ((-1344)/128)/(6/(-200)) a multiple of 7?
True
Let t be -17*-2*(1 + 1). Let x be 87/(-4) - 17/t. Does 13 divide 3/(-3) - x/1?
False
Suppose 0 = -4*c - 3*s + 6878, -1546 = -c + 4*s + 183. Does 30 divide c?
False
Let y(a) = a**2 - a - 1. Let w(o) = 13*o**3 + 5*o**2 - 3*o - 4. Let v(c) = -w(c) + 5*y(c). Let l(f) = -f**2 - 2*f + 2. Let m be l(-3). Does 4 divide v(m)?
False
Does 7 divide 121 - (-10 + 1 + 4)?
True
Let y(p) = 143*p**2 + p + 2. Let j = 67 - 68. Does 16 divide y(j)?
True
Let b = -67 - -72. Suppose 2*r = o + 70, 2*o - 105 = -8*r + b*r. Is 4 a factor of r?
False
Let d = -174 + 303. Suppose -d = -5*h + 151. Does 8 divide h?
True
Let b = 1 - 0. Does 7 divide ((-42)/1)/((-1)/b)?
True
Let d(x) = x**2 + 8*x - 33. Let k be d(-11). Suppose -2*m + 186 = a + a, k = -4*a + m + 377. Is 9 a factor of a?
False
Let n(j) = 146*j + 154. Is 13 a factor of n(5)?
True
Let a be (-1 - 7)*(2 + -3). Suppose b = -a*o + 3*o + 331, -137 = -2*o - 5*b. Is o a multiple of 19?
False
Does 4 divide -7 + (-47)/(-7) - 564/(-14)?
True
Let y(k) = -3*k**2 + 47*k - 12. Is y(8) a multiple of 2?
True
Let d(v) = -12*v - 16. Let p be d(-5). Let a = 64 - p. Is 8 a factor of (a/(-12))/((-1)/9)?
False
Suppose -3*d + 13 = 1. Suppose 2*t - d = 2. Is t even?
False
Suppose -5*j + 10 = -10. Suppose 0*d - 5*d + j*r + 824 = 0, r = -d + 163. Is d a multiple of 17?
False
Let f(o) = -9 + 5*o**2 - 2*o + 7*o - 3*o**2. Let a = 56 - 64. Does 10 divide f(a)?
False
Let v(m) = m + 3. Let t be v(3). Suppose 4*f = -2*s + 14, -5*s = -3*s + t. Suppose -y + f*z = -32 - 2, -5*y - 4*z + 141 = 0. Does 13 divide y?
False
Let y(j) = -4*j - 3. Let i be y(-2). Suppose 5*b = 4*w + w + 90, b = i*w + 26. Is b a multiple of 6?
False
Let a(f) = 5*f**2 - 1. Let r be a(3). Let u = 101 - 109. Let p = u + r. Does 23 divide p?
False
Let j(b) = -11*b + 7. Suppose -5*q = -3*t - 7, -4*q + 1 = 2*t + 13. Does 29 divide j(t)?
False
Let y(k) = -k**2 + 8*k - 7. Let h be y(5). Let q be h/(-20) + (-24)/(-10). Suppose 0 = -q*w + f + 15, 3*w - 3*f - 6 - 12 = 0. Does 3 divide w?
True
Let p be -7 + 4 + 3 + 3. Suppose -5*c = t - 76 - 49, -2*t - 62 = -p*c. Is c a multiple of 3?
True
Suppose 4*b - 8*b - 5*v = -1398, -5*v + 1051 = 3*b. Does 33 divide b?
False
Let s(z) = 14*z**3 + 3*z**2 - 7*z + 7. Is 71 a factor of s(4)?
True
Suppose 25 + 20 = -5*l. Let q(x) = x**2 + 7*x. Let s be q