ppose 194 - 204 = -3*f + 5*s, 2*f = -5*s + 15. Suppose 2 = k - 1. Suppose b = -5*l + 68, -k*b - f*l + 159 = -45. Is 34 a factor of b?
True
Suppose 2*v + 2 = 0, m - 2*v - 1194 = 332. Is 29 a factor of m?
False
Suppose 33*n - 30*n - 9 = 0. Suppose 5*y - 7 = n*i + 30, -y = -3*i - 17. Suppose 68 = 2*v - 2*r, -75 = -y*v + 2*r + 86. Is v a multiple of 31?
True
Let d(r) = 3*r**2 + 14*r - 5. Let k be d(-7). Let w = 48 - k. Suppose w = -j, 0 = -4*v - v - j + 371. Is 19 a factor of v?
False
Let f(w) = 15*w**3 - 3*w**2 - 82*w - 107. Let q(k) = -7*k**3 + 3*k**2 + 41*k + 53. Let p(v) = 6*f(v) + 13*q(v). Is p(22) a multiple of 15?
True
Let p(f) = 4*f**2 + 158*f - 199. Is p(-53) a multiple of 45?
False
Suppose -3890 = 18*o - 7746 - 17942. Is 17 a factor of o?
False
Let b = 74 + 280. Let i = b - -141. Is i a multiple of 15?
True
Let v = -8541 - -19845. Is v a multiple of 6?
True
Let p(y) = y**2 - 5*y + 57. Let j be p(17). Let h = 573 - j. Does 39 divide h?
True
Let r be (8/((-64)/(-1266)))/((-3)/(-16)). Suppose -m - r = -5*o, -13*m - 520 = -3*o - 9*m. Does 11 divide o?
False
Suppose -4*p - 10068 = -4*k - 3*p, k + 5*p = 2496. Is 124 a factor of k?
False
Let a(s) = -26*s**2 - 6*s + 17. Let x be a(2). Let i = x - -528. Does 10 divide i?
False
Let t(c) = -c**3 - 2*c**2 - 4*c + 10. Suppose -6*o = -15*o + 36. Let m be t(o). Let n = -34 - m. Is 4 a factor of n?
True
Let k = 8809 + 11495. Does 47 divide k?
True
Suppose 6*o - 21 = 3. Suppose -3*g + 5*k + 24 = -11, 0 = -o*g + 4*k + 44. Is g a multiple of 5?
True
Let v(f) = -f**3 + 3*f**2 + 4*f + 1. Let n be v(3). Suppose n*q = 17*q + 32. Is 6 a factor of (16/10)/(q/(-140))?
False
Let o(q) = -1362*q + 149*q**3 + 1360*q + 60*q**3 + 67*q**3. Does 24 divide o(1)?
False
Let x be (-98)/3*9/(-6). Let w = x - 110. Does 12 divide (3 - w/3) + 8/12?
True
Suppose 4*c + 20 = 0, 5*c + 951 = -3*s + 122. Let u = 1611 + s. Is 79 a factor of u?
True
Let s be (-44)/(-154) + 264/7. Suppose s*c - 29*c = 9. Does 2 divide 10*c*(-45)/(-10)?
False
Is 232 a factor of 3/(9 + 0) - (-9)/((-162)/(-693210))?
True
Let x(z) = 3*z**2 - 5*z + 5. Let g be x(2). Let b(k) = -2*k + 3. Let a(c) = 2*c - 3. Let l(t) = -3*a(t) - 4*b(t). Does 11 divide l(g)?
True
Let v be ((-1)/3)/(4 - (-24388)/(-6096)). Let l = v + -419. Does 3 divide l?
False
Suppose -5*p = -3*g - 245172, -g - 41550 + 286706 = 5*p. Is p a multiple of 31?
False
Let p be ((-240)/(-300))/(1/5). Suppose p*x = f + x - 201, -4*x + 20 = 0. Does 33 divide f?
False
Suppose -2*u + 4*a + 3695 = -1565, -4*u + 10505 = -5*a. Suppose 0 = -6*m + u + 2156. Is m a multiple of 19?
False
Suppose 79786 = 65*s + 88*s - 1712150. Does 32 divide s?
True
Let p be (-182)/10 - 1/(-5). Let i be (-4538)/p + (-18)/162. Suppose -4*n = -2*n - i. Is 24 a factor of n?
False
Suppose 76 = 9*o - 68. Suppose 5*y - 7*y - 4*g + o = 0, y + 4 = g. Suppose y = 28*q - 23*q - 150. Is q a multiple of 5?
True
Suppose 2*v + 26*o = 25*o + 11, 4*v - 37 = 3*o. Suppose v*m + 712 = 5584. Is m a multiple of 58?
True
Suppose 2*v = -10, -78531 + 17043 = -2*z - 4*v. Does 105 divide z?
False
Suppose 13*t - 54111 - 32677 = 0. Is 19 a factor of t?
False
Let v be (-4)/(-5)*(-15 + 35). Suppose 7*u + u - v = 0. Suppose -u*c = -295 + 99. Does 9 divide c?
False
Suppose -17 = -12*z + 31. Suppose z*t - 7*f - 1920 = -6*f, 4*f + 1920 = 4*t. Does 12 divide t?
True
Suppose 211*y + 148*y - 311*y - 540144 = 0. Is 33 a factor of y?
True
Let n(d) = 176*d**2 + 36*d + 118. Does 65 divide n(-6)?
False
Suppose -4*b = -13 + 1, -5*c + 202 = -b. Suppose 7*w - 9*w = -3*g + 56, -3*g + 5*w = -c. Is 4 a factor of g?
False
Let j(q) = 47*q + 17. Let x be j(-16). Let l = 1191 + x. Is 8 a factor of l?
True
Let j be (-4)/14 - ((-1164)/7 - 3). Let m = 97 - j. Let x = -32 - m. Is x a multiple of 11?
False
Let u = -11190 - -21660. Does 10 divide u?
True
Let r be (18*((-7)/3 - -2))/(-2). Suppose 8*w - 12*w = -r*s - 3290, -827 = -w + 3*s. Is w a multiple of 16?
False
Let x(g) = 57*g**3 - 47*g**2 + 46*g - 41. Does 5 divide x(6)?
True
Suppose -5*t + 169 = 2*h - 2*t, -2*h + 3*t = -139. Let f = h - 74. Suppose 0 = 5*l - 4*x - 136, f*l - 2*l + 4*x - 8 = 0. Is l a multiple of 7?
False
Let i be (1 + 2 - -22)*1. Suppose -i*f = -27*f + 330. Suppose -3*b + f + 87 = 0. Is b a multiple of 9?
False
Let s = 3347 + -2531. Is 51 a factor of s?
True
Does 106 divide (-100485)/(-6) - (18 - 148/8)?
True
Suppose -8*h - 244 = -4*h. Let j = 61 + h. Suppose -2*b + 4*b - 176 = j. Does 44 divide b?
True
Let u = -995 + 2498. Is 25 a factor of u?
False
Let q(n) = 25*n - 18*n - 7 + 40*n. Let c = 23 + -20. Is q(c) a multiple of 20?
False
Suppose 0 = -5*t + 32 - 2. Suppose -t*o + 163 = 1. Suppose -o = 4*i - 47. Is 3 a factor of i?
False
Is 13 a factor of ((-982032)/10)/(-6) - (-3)/(-15)?
True
Let r(d) = 7*d**2 - 55*d - 187. Is r(25) a multiple of 32?
False
Let v = 31885 - 19917. Is v a multiple of 64?
True
Is 64314/8 + (-663)/(-884) a multiple of 20?
True
Suppose z + 5*x = -8, 2*z + 0*z = 2*x + 8. Suppose -85 = -z*b - 331. Let i = b + 173. Does 24 divide i?
False
Suppose -35*q = -7541 - 1174. Let j = q - -147. Is j a multiple of 38?
False
Is 72/2*(-20 - (-896)/24) a multiple of 26?
True
Let f(a) = -12*a**2 - 3*a + 99. Let b be f(8). Does 22 divide 14*1899/66 - 126/b?
False
Is 167 a factor of 16817840/(-4635)*9/(-2)?
False
Let d = -107 - -93. Let j = 62 - d. Is j a multiple of 12?
False
Suppose -3*o - h = -17091, 23*o + 3*h - 11394 = 21*o. Is o a multiple of 14?
False
Suppose 9 = -l + 3*q, 5*q - 4 = 4*l + 39. Let x(f) = f**3 + 3*f**2 + 18 + 11*f**2 + 9*f - 26. Does 31 divide x(l)?
False
Suppose -3*b + 32 = 4*q, -4*b + 10 = 3*q - 21. Let c = 2326 + -1104. Suppose 167 - c = -q*x. Is 40 a factor of x?
False
Suppose 15 + 13 = 14*t. Suppose t*r - 65 - 876 = -3*z, 0 = -4*z + 20. Does 29 divide r?
False
Let l(t) = -14*t - 28. Is 23 a factor of l(-38)?
False
Let u(z) = -z**3 + 8*z**2 + 9*z - 2. Let v be u(9). Let h be (v - 265/10)*-6. Suppose 2*r + 7 = 3*p - h, -4*p + 2*r = -234. Is 8 a factor of p?
True
Let q be (-1002)/(-42) + 72/63. Let n(y) = 10 + 23 + 4*y + 4*y + y. Is 39 a factor of n(q)?
False
Let x be ((-9)/27)/(3/(-63)). Let w(v) = v**3 - 8*v**2 + 9*v - 5. Let l be w(x). Suppose 3*u - l = -0. Is 3 a factor of u?
True
Suppose -6*d - 7*d + 8185 = -60858. Is d a multiple of 35?
False
Let h(u) = -1052*u**3 - 3*u**2 - 5*u - 3. Let q be h(-1). Suppose -5*a = 3*b + 767, 4*b + 0*a + a + q = 0. Let z = b - -394. Does 34 divide z?
False
Let v(q) = -5*q - 1. Let y be v(-1). Let u(d) = d**3 - 18*d**2 + 9. Let c be u(18). Suppose g - y*w - 28 = c, -2*g + 65 = w. Is g a multiple of 14?
False
Suppose 25*x - 69 = 2*x. Let k = x - -57. Is 5 a factor of k?
True
Suppose -15*b = -3*n - 14*b + 58, 2*b + 76 = 4*n. Is (135/n + -2)*20 a multiple of 10?
False
Let x = 247 + -242. Suppose 1149 = x*k - 686. Is k a multiple of 6?
False
Let j be (-17)/(1 + 2 + -4). Suppose j = 2*l - 3*c, c = 4*l + 3*c - 58. Suppose x = -2*i + l, -i + 4*i + 130 = 5*x. Is 7 a factor of x?
False
Suppose -520 = -7*k + 1692. Suppose 4*w + 4*y - 1176 = 0, -w = 5*y - k + 34. Is w a multiple of 27?
True
Let j(k) = 2829*k - 204. Is 11 a factor of j(3)?
True
Let h be (1 + 4 + -29)*(-3 - -22). Let a = -196 - h. Is a a multiple of 65?
True
Let v be (-3 + 1)/(((-13)/(-10))/(-13)). Suppose -2*l - a = 3*l - v, -l = -5*a - 4. Suppose 3*p - l*p + 144 = 0. Is p a multiple of 26?
False
Is 15/18*9/10 + 26692/16 a multiple of 151?
False
Is 76 a factor of (-623)/(-91) - 7 - ((-1357674)/39 + 4)?
True
Let b(n) = 37*n**2 + 2*n + 1. Let c be b(-2). Let l = 260 - c. Suppose 0*d - 5*d + 4*q + l = 0, -29 = -2*d + 5*q. Is 8 a factor of d?
False
Let v = -35 - -42. Suppose 0 = a - 3, f + 8 = a - v. Let i = f + 108. Is 48 a factor of i?
True
Suppose 71*a + 172180 = 93*a - 135732. Is a a multiple of 239?
False
Suppose -775 = -7*o + 4*m, 0 = o - 0*o - m - 112. Does 62 divide (-36 - o)/((-3)/(1*12))?
False
Suppose 3*u - 16 + 4 = 0. Suppose 0 = -4*p + 16, -156 = -0*d - u*d - 2*p. Suppose 0 = -d*f + 36*f + 32. Is f a multiple of 20?
False
Suppose 34*m - 25*m - 126 = 0. Is 50 a factor of (8/(-6))/(m/(-3150))?
True
Let s(c) = c**3 + 10*c**2 + 4*c - 20. Let p be s(-9). Is 2 a factor of p - ((5 - 9) + -1)?
True
Does 15 divide (-66487)/(-9) - (2432/171)/32?
False
Let p be (-1)/2*(41 - 181). Suppose -13