rue
Let i(h) = 80*h**2 - 20*h + 100. Is i(4) a multiple of 25?
True
Let n(t) = -t - 2. Let k be n(-4). Suppose o - 12 = -k*o. Suppose -9 = -o*r + 3. Is r even?
False
Let v = 245 - -86. Is v a multiple of 7?
False
Let v(z) = -36*z - 12. Is v(-9) a multiple of 26?
True
Let m be -55*(-8)/(20/(-5)). Let t = m + 202. Suppose 4*n + 5*c - 61 - t = 0, -n + 5*c + 7 = 0. Does 21 divide n?
False
Suppose -1589 = 16*d - 8501. Is d a multiple of 108?
True
Suppose 4*t - 44 = 164. Let d = t + 16. Is d a multiple of 13?
False
Let y(a) be the second derivative of -a**5/20 - a**4 - a**3/3 - 11*a**2/2 - a. Is 13 a factor of y(-12)?
True
Let h(g) = 5*g**3 + g**2 - 4*g + 7. Does 80 divide h(7)?
False
Let w be -6*(-55)/2 + 3. Suppose 0*h - w = -2*h. Suppose 0*c = 4*c - h. Does 7 divide c?
True
Suppose 30*o - 14837 - 403 = 0. Is 10 a factor of o?
False
Does 69 divide ((-14)/7 - -904) + (-3 - 1)?
False
Suppose -7 = -2*t + t - 3*k, 3*t + 4*k - 31 = 0. Suppose 0 = -4*i + 49 - t. Suppose i = -r + 36. Is r a multiple of 15?
False
Let a be (-12)/15*75/6. Is a*(-6)/9*(-162)/(-24) a multiple of 5?
True
Let o = 5 + -28. Let l = -18 - o. Suppose l*c - 147 = 2*c. Does 15 divide c?
False
Suppose 3*i - i - p + 168 = 0, 422 = -5*i + 3*p. Let r = -52 - i. Is r a multiple of 30?
True
Let o be ((-8)/(-6))/(1/99). Let z = -88 + o. Does 13 divide z?
False
Let j be (1 + -2)/(-1) + 1. Let v = j + 0. Suppose -5*k + 2*u = 3*u - 149, v*k + 5*u = 78. Is 12 a factor of k?
False
Let t = -11 + 10. Let j = 1 - t. Suppose d + j = 14. Is 3 a factor of d?
True
Suppose -4*a + 26 = 198. Is a/(-2) + (-5)/10 a multiple of 7?
True
Suppose 10 = -5*x - 35. Let o(k) = -7*k**3 - 6*k**2 - 9*k - 8. Let i(h) = 3*h**3 + 3*h**2 + 4*h + 4. Let b(r) = x*i(r) - 4*o(r). Does 6 divide b(4)?
True
Suppose -2*g = -3*u + 27, -2*u + 20 - 2 = -2*g. Suppose -3*q - 18 = -2*x - 0, x + 3*q = -u. Is (x + -5)*(-114)/12 even?
False
Let a be (-63)/14*(-8)/6. Let i(h) = -h**3 - 7*h**2 - 2*h - 10. Let z be i(-7). Suppose l + a = z*l. Is l a multiple of 2?
True
Let h be 11/5 - (-3)/(-15). Suppose i - 3*a = -h*i - 6, -i - 5 = 2*a. Is 4 a factor of -13*(-2 + (-2 - i))?
False
Suppose c + 4*o = 13, 4*c = -4*o + 50 - 22. Suppose 0*y + 175 = c*y. Suppose -8*n + 13*n - y = 0. Is 2 a factor of n?
False
Is 52 a factor of (747 + 0)/(42/28)?
False
Let j(g) = -3*g - 17. Let o be j(-7). Suppose -6 + 2 = -o*q. Is (-416)/(-4) + q - -1 a multiple of 30?
False
Let f be (3/3)/(2/84). Is -3*7/f - (-322)/4 a multiple of 16?
True
Let s(f) be the second derivative of 0 + 1/2*f**3 - f + 1/12*f**4 + 6*f**2. Is s(-6) a multiple of 10?
True
Let f(o) = 19*o**2 + 6*o + 8. Does 13 divide f(6)?
True
Let n be (-4)/(-8)*(-4 - -10). Suppose n*y - m - 995 = -0*y, -5*y = -3*m - 1657. Is y a multiple of 27?
False
Suppose -3*f + 5*q = -0*f - 55, -4*f + 5*q + 75 = 0. Suppose 6*k + 0*k - 12 = 0. Suppose -3*r - k*n = -18, -4*r + n = 5*n - f. Is r a multiple of 4?
True
Let p(h) = h + 11. Suppose 0 = 2*m - 5*u + 42, -5*m - 46 - 28 = 3*u. Let k be (1 + -3)/(4/m). Does 18 divide p(k)?
False
Let a = 76 + -74. Suppose 2*m - 5*p = 346, 4*m - a*p + 3*p - 692 = 0. Does 29 divide m?
False
Suppose -2*u + 96 = -4*s, 3*u + 2*s = -3*s + 122. Suppose 0 = -4*n + 6*n - u. Does 2 divide n?
True
Let o(k) = -6*k - 2. Let y = -11 + 10. Let x be o(y). Suppose 0*i = x*i - 348. Is i a multiple of 26?
False
Let x = 22 + -20. Suppose -x*u - 2*v + 20 = 0, -4*u + 3 - 8 = -5*v. Suppose 244 = -u*c + 604. Is 25 a factor of c?
False
Let l(z) = 5*z + 221. Is l(-35) a multiple of 23?
True
Suppose 0*o + o = 0. Suppose -3*n + 70 = 4*y, y + o*n - 27 = 4*n. Is y even?
False
Suppose 3*c = k - 9, 0 = -0*k + k + c + 3. Suppose -x + 101 + 10 = k. Suppose 5*s = 2*s - 3*f + x, -3*f + 45 = s. Does 7 divide s?
False
Let s = 69 - 52. Suppose s*x + 105 = 22*x. Is x even?
False
Let h(z) = -z**2 + 19*z - 11. Let y be h(18). Is 430/35 - 2/y - -4 a multiple of 16?
True
Suppose -3*h + 169 = -5*z, -5*h + z = 97 - 364. Let m(i) = 26*i + 1. Let u be m(-1). Let g = h + u. Does 14 divide g?
True
Let x = -6 + 9. Suppose -x*h + 7 = -170. Suppose -h - 21 = -4*p. Does 10 divide p?
True
Does 86 divide (-7)/(14/(-6))*516/9?
True
Is 21 a factor of (77/231)/((-2)/(-14052))?
False
Suppose 12 + 3 = 5*s. Suppose -7*l = -s*l + 772. Is l/(-6) - (-3)/(-18) a multiple of 8?
True
Suppose 4*l - 72 = -f, 151 = 3*f + 3*l - 4*l. Is f a multiple of 11?
False
Let n(i) = -13*i - 10. Let o be n(-5). Let t be 120/o - (-2)/(-11). Does 22 divide 89/t - (-4)/(-8)?
True
Suppose 2*a - 5400 = 4*o, 3*o + 5399 = -7*a + 9*a. Is 142 a factor of a?
True
Let y = 0 + 5. Suppose -318 = -y*r - r. Is 10 a factor of r?
False
Suppose 3*w - 1180 = -j, 1692 = 2*j + 5*w - 669. Does 19 divide j?
False
Suppose 6*a = 103 + 29. Let j = -19 + a. Let q(r) = r + 4. Is q(j) a multiple of 3?
False
Suppose -2*q = -3*v - 1102, 4*v - 2*v = 2*q - 1106. Is 30 a factor of q?
False
Let b(u) = -u**2 - 13*u - 10. Let y be b(-12). Suppose -y*s - 76 + 234 = 0. Let q = 187 - s. Is 36 a factor of q?
True
Let g = 260 - 170. Let r = 96 - g. Is 3 a factor of r?
True
Suppose -9*n + 661 = -95. Let g = n + -17. Does 11 divide g?
False
Let g = 5 - 0. Suppose 0 = g*t + 2*d - 5, 2*t + 9*d - 4*d = -19. Suppose -t = a - 59. Is a a multiple of 14?
True
Suppose q - 1809 = -4*i, 4*i = -5*q - 160 + 1973. Is 21 a factor of i?
False
Let g(d) = 45*d + 78. Does 43 divide g(4)?
True
Suppose -5*q + i + 3 = 0, i - 3*i - 6 = -4*q. Suppose 3*t - 103 - 26 = q. Does 18 divide t?
False
Let p(r) = 7*r. Suppose 3*v - 27 = -9. Suppose -3*x = -5*x + v. Is p(x) a multiple of 9?
False
Suppose 660 = 3*l - 3*f, -l = 2*l + 5*f - 676. Suppose 93*x = 92*x + l. Is x a multiple of 37?
True
Let c(a) = -a**2 - 21*a - 56. Let d be c(-16). Suppose -2*w + 64 = d. Is 5 a factor of w?
True
Let q(t) = -t**2 + 103*t - 49. Let a(o) = 34*o - 16. Let b(z) = 7*a(z) - 2*q(z). Is b(-22) a multiple of 25?
True
Let w(g) = 122*g - 11. Does 27 divide w(2)?
False
Let y = 53 + -36. Is 3 a factor of (-4 + y/5)*-15?
True
Let n = 451 - 130. Is n a multiple of 39?
False
Suppose 2*r - 4*s - 78 = 628, 3*r - 2*s = 1039. Is 17 a factor of r?
False
Let j be (0 - (-4)/20)*5. Let c(k) = -2 + 1 - j - 8*k. Is 14 a factor of c(-5)?
False
Let r(v) = -v**2 - 7*v - 9. Let w be r(-7). Let m = w - -9. Suppose m*c - 36 = -3*c. Is c a multiple of 3?
True
Let h be -1 - -21 - (16 - 9). Let m(z) be the second derivative of z**3/2 - 11*z**2 + 2*z. Is m(h) a multiple of 12?
False
Suppose 4*h - y - 8 = -0*y, -10 = -5*h - y. Let o = -26 - -31. Suppose -h*f = -o - 9. Does 2 divide f?
False
Let u(o) = -o + 12. Let i be u(10). Let v be (-4)/i - (-3 - -36). Let p = 10 - v. Is 15 a factor of p?
True
Let v = 565 + -306. Is 52 a factor of v?
False
Let k(t) be the third derivative of -t**6/120 + 7*t**5/60 + t**4/3 - t**3 - 8*t**2. Suppose -w = -2 - 5. Does 16 divide k(w)?
False
Suppose -79 = -3*l + 5*v, -v - v + 58 = 2*l. Suppose c - 4*c = -33. Let a = l - c. Is a a multiple of 4?
False
Let c = 24 + -32. Let m = c + 0. Let i(v) = v**3 + 10*v**2 + 9*v + 4. Is i(m) a multiple of 10?
True
Suppose 0 = 5*z + k - 61, -4*z + 6*z = 3*k + 21. Is 11 a factor of z?
False
Suppose 2*u - 7 = d, u - 6 = 2*d - 1. Let h be (d - (1 - 3))*33. Let s = h + -7. Does 7 divide s?
False
Let z(q) be the first derivative of 3*q**2/2 - 5*q + 88. Suppose p = -4*p - 20, 2*o + 4*p + 8 = 0. Is 7 a factor of z(o)?
True
Let g(u) = u**3 - 9*u**2 + 10. Let s be g(9). Is 53 a factor of 1/(s/5385*(-3)/(-2))?
False
Let y be (-60)/24*(-16)/2. Let m be (-3 - 2)*12/y. Does 3 divide m + 14 + -4 + 3?
False
Let g(u) = 7*u**2 + 69*u + 122. Does 14 divide g(-18)?
True
Let m(u) = u**2 + 10*u - 4. Let w be m(-6). Let d(o) = 9*o - 7. Let h be d(-9). Let t = w - h. Is 26 a factor of t?
False
Let r(j) = 27*j + 5. Let i be r(-10). Let o = 387 + i. Does 13 divide o?
False
Suppose -5*z + 5*f = 10 - 5, -2*z + 4*f = 2. Is 21 a factor of (-124)/8*12*z/2?
False
Suppose -2*t + 4*y - 4 = 0, -5*y + 0*y = -3*t - 4. Suppose -v - t*v = -78. Is 10 a factor of v?
False
Let j = -11 + 29. Let l = -10 + j. Let s(u) = 2*u + 3. Does 14 divide s(l)?
False
Let k = 3 + 9. Let z be (k/(-7))/(8/(-28)). Suppose -o + 4*a = 16, 4*o - a = a + z. Is 4 a factor of o?
True
Let q(a) = 2*a. Let p be q(3). Let o(s) be the second derivative of s**4/6 + 2*s**3/3 - 2*s**2 + 