k be h(10). Let z(v) = v + 12. Let g be z(-7). Let y = k - g. Is 3 a factor of y?
False
Let z be -1*(12 + -3) - -2. Let g(x) = 3 + 0*x**3 - x**2 - x**3 + 2*x**2 + 8*x - 6*x**2. Does 9 divide g(z)?
True
Suppose -2*w + 7 = -a, 6*w - 2*a = 9*w. Let h = -1 + 3. Is w + (15/3 - h) even?
False
Let v(s) = s - 5. Let i be v(0). Let m(b) = -6*b**2 + 1. Let y(u) = -5*u**2 + u + 2. Let d(p) = 4*m(p) - 5*y(p). Is 9 a factor of d(i)?
False
Let r(w) = w**3 + 16*w**2 + 16*w + 2. Let b be r(-14). Suppose 7*a - b = 124. Does 11 divide a?
False
Let n(f) = -195*f - 13. Let z(g) = 97*g + 6. Let b(v) = 2*n(v) + 5*z(v). Does 9 divide b(1)?
True
Let u = -397 + 446. Is 13 a factor of u?
False
Let a(g) = -8*g**2 + 7*g + 17. Let m be a(-5). Let w = m + 331. Is w a multiple of 24?
False
Let y = 75 + -70. Suppose 7*q - 83 = 4*q - y*m, 2*m = -5*q + 170. Is 18 a factor of q?
True
Is 30 a factor of (-229)/(-5) + 252/210?
False
Suppose 0 = z - 9*z + 112. Suppose 3*h = z*h - 3883. Is 63 a factor of h?
False
Suppose j = -6*j + 42. Is 2*1 - (-366)/j - 2 a multiple of 15?
False
Suppose 4*j - 212 = -0*j. Let q = j + -1. Is 11 a factor of q?
False
Suppose 5705 = 16*n - 5191. Is 10 a factor of n?
False
Let o = -3076 + 5518. Is 74 a factor of o?
True
Suppose 34*a - 22*a - 876 = 0. Is a a multiple of 3?
False
Does 21 divide (4 + -1)/((-9)/(-5415))?
False
Let n(a) = 15*a**2 + 9*a + 2. Let m(v) = v. Let p(t) = -5*m(t) + n(t). Is 25 a factor of p(-3)?
True
Let u = -17 + 19. Suppose -u*a + a + 5 = 0. Suppose 3*f = 2*b + 53, -a*f + b = 3*b - 99. Does 7 divide f?
False
Suppose 110*t - 114*t + 5984 = 0. Is 68 a factor of t?
True
Let k be (150/18)/5*(-1 + 280). Suppose -1233 + k = -16*r. Does 5 divide r?
False
Let r(l) be the first derivative of -l**4/4 + l**3/3 + 3*l**2/2 - 1. Let g be 6/(-4)*(-11 + 13). Is r(g) a multiple of 9?
True
Let v = 3921 - 2099. Is v a multiple of 27?
False
Suppose 53 = -6*s + 359. Suppose 2*d - s = -5*t + 30, t + 23 = d. Is 7 a factor of d?
True
Let l(a) = -a**2 + a. Let p be l(0). Suppose -3*q = q - 3*k - 11, 5*k - 3 = -4*q. Suppose p = -q*g - 3*g + 135. Is g a multiple of 6?
False
Suppose 6*y - 5*b = y - 5, 5*y - 40 = -4*b. Suppose 0 = y*o + 4*x - 55 + 275, 2*o - 5*x + 89 = 0. Let n = -24 - o. Is 13 a factor of n?
False
Suppose h - 2*n = -h + 212, -3*h - 4*n = -339. Is h a multiple of 6?
False
Suppose 4*d + 10 = -d. Let t be 0 - d - -1*10. Suppose t = 2*n + 2*n. Is 3 a factor of n?
True
Let h be 3*10/(2/1). Let t be ((3 - 3)*1)/(9 + -8). Is h*((t - -3) + -1) a multiple of 30?
True
Let b = -5 - -10. Let y = 17 + -4. Let z = y - b. Is 8 a factor of z?
True
Let s(r) = r**3 + 22*r**2 + 18*r - 31. Does 43 divide s(-10)?
True
Let q = -422 - -604. Does 13 divide q?
True
Let j(t) be the first derivative of -t**4/4 - t**3 - t**2 - 4*t - 50. Let z(m) = m + 1. Let w be z(-4). Does 2 divide j(w)?
True
Suppose l - 3*l - 15 = -3*x, -2*x + 3*l = -10. Suppose -4*j - 54 = -3*m - j, 0 = -x*m + j + 82. Is 7 a factor of m?
False
Suppose 0 = -3*v + v - 108. Let m = 91 + v. Does 14 divide m?
False
Suppose -21*q + 1 = -587. Is q a multiple of 10?
False
Let b(u) = u**2 - 2*u - 22. Let h be b(-4). Is 22 a factor of (-177)/(-2) + h/4 + -1?
True
Suppose -3*y + 4 = -5. Suppose 5 = -y*q + 4*q. Suppose -3*b = -q*b + 54. Is b a multiple of 18?
False
Let h be (-141 + -2 + 5)*2/(-3). Is 4 a factor of ((h - -4)/6)/(1*2)?
True
Suppose -3*k = -5*k - 3*k. Suppose -5*a + 688 + 512 = k. Does 16 divide a?
True
Does 2 divide ((-15)/2)/((-1)/64)?
True
Suppose -12*n = -1320 - 660. Does 3 divide n?
True
Let w(r) be the first derivative of r**3/3 - 9*r**2/2 - 12*r + 4. Let k be w(11). Is k + -3 - (1 + -1) a multiple of 5?
False
Suppose -33*a + 11*a = -8360. Is 10 a factor of a?
True
Let o(w) = w**3 + 7*w**2 - w + 2. Let p be o(-7). Let y be 7/((-28)/16) + 4. Suppose y = i + p - 38. Does 10 divide i?
False
Let t = -7 - -10. Suppose -t*p - 32 = -227. Is p a multiple of 13?
True
Suppose -5*m - 3*d + 10875 = 0, 37*m - 41*m + 8700 = -2*d. Is 57 a factor of m?
False
Let x = 2013 - -1390. Does 41 divide x?
True
Let k(f) = -f**2 - 8*f + 26. Suppose 4*q - 2*q + 16 = 0. Is k(q) a multiple of 7?
False
Suppose -2*u + 6*u + 4*k = 20, -4 = 2*u - 5*k. Suppose -3*d = -4*z - 4, u*z = -5*d - 0*z + 26. Is -45*(d/(-10))/1 a multiple of 9?
True
Suppose -25 = 2*r + 3*u, -3*u = 4*r - 5*u + 10. Let j(w) = 5*w**2 - 4. Let m be j(r). Suppose 2*s - 307 = -m. Is 27 a factor of s?
False
Let r(o) = -o**2 - 17*o + 11. Suppose 5*a = 58 - 138. Is r(a) a multiple of 9?
True
Let p = 2814 + -1632. Is 15 a factor of p?
False
Suppose a + 2*m - 91 = 0, 3*a - 293 = 17*m - 13*m. Does 4 divide a?
False
Let r(q) = -16*q**3 - 7*q**2 - 7*q. Let h(x) = 9*x**3 + 4*x**2 + 4*x. Let i(m) = -5*h(m) - 3*r(m). Let l be 3 + (-1 + 1)*-1. Is i(l) a multiple of 31?
True
Does 5 divide 8 - (-51 - 1) - -5?
True
Let w(n) be the second derivative of n**4/3 + n**3 - 6*n**2 - 6*n + 2. Does 40 divide w(6)?
False
Let q = -135 - -135. Suppose 2 = -2*f + 2*v, -6*v + 3*v = f - 3. Suppose 2*b + f*b - 90 = q. Is b a multiple of 18?
False
Let t(w) = -11*w - 1. Let u be t(-2). Suppose u = 9*m - 6*m. Does 2 divide m?
False
Suppose 2*c - 3*g - g = 64, -136 = -3*c - 4*g. Does 7 divide c?
False
Suppose 2 = 3*u - 3*x + x, 5*u - 5*x = 5. Suppose 85 = h - u*h. Let a = 148 - h. Does 12 divide a?
False
Let u = -67 + 83. Suppose 1717 = u*t - 1563. Is 34 a factor of t?
False
Suppose -3*w + 0*j = -j - 61, -2*j + 109 = 5*w. Suppose -72 = -w*d + 17*d. Is d a multiple of 6?
True
Let j(w) = -2*w**3 + 7*w**2 + 7*w - 2. Let h be j(-5). Suppose h = 16*a - 12*a. Does 12 divide a?
False
Let u(x) = 5*x**2 + 6*x + 4. Let a = -12 - -6. Is u(a) a multiple of 30?
False
Let u = 265 + 335. Does 40 divide u?
True
Let p = -1 - -1. Suppose n - o - 15 = p, -2*o = -6 + 16. Suppose -i - 2*t + n + 7 = 0, -5 = -t. Is 5 a factor of i?
False
Let i(b) = b - 1. Let a be i(6). Suppose 0 = -n - n - p + 171, a*p = 3*n - 250. Does 14 divide n?
False
Is (-1424)/(-40) + (-3 - (-48)/20) a multiple of 8?
False
Let h(c) = 120*c + 62. Does 25 divide h(3)?
False
Let z(x) = -55*x - 3. Let d(g) = 27*g + 2. Let p(q) = -9*d(q) - 4*z(q). Is 21 a factor of p(-3)?
True
Let x = 486 + -282. Is 12 a factor of x?
True
Let t be 5/10*0 + 3. Suppose 4*g - 5*q = 108, -5*g + 55 = t*q - 117. Suppose 0*o = 4*o - g. Does 8 divide o?
True
Let d = 1282 - 902. Does 20 divide d?
True
Suppose 5*g + 4*o - 401 = 0, -41*g + 39*g + o = -150. Does 7 divide g?
True
Suppose -45*p = -46*p + 9. Suppose -10*v = -p*v - 230. Is v a multiple of 56?
False
Let z = -68 - -236. Is 21 a factor of z?
True
Let u(a) = 539*a**2 - 4*a + 5. Does 21 divide u(1)?
False
Suppose 6*t = 9*t - 3168. Is 48 a factor of t?
True
Let a = 12 + -13. Is 253 - -4 - (-1)/a a multiple of 32?
True
Let f be 36/54*((-9)/(-2))/(-1). Does 11 divide (-107)/(-1) + -2 + f?
False
Let o be 120/(-28) - 2/(-7). Let l be (-1)/o + (-783)/(-4). Suppose 3*u + u = l. Does 14 divide u?
False
Let a = 16 + 8. Suppose 7 = 3*f - 2, 2*x - a = 2*f. Is 5 a factor of x?
True
Suppose -8 - 12 = -5*m + 5*k, 5*k - 1 = 2*m. Suppose 3*b = 2*q + 237, 2*q + 2*b = m*q + 598. Is 20 a factor of ((-8)/(-24))/((-2)/q)?
True
Suppose 31 = o - 2*x + 3, -4*x = -4*o + 108. Let t = 1 + o. Does 9 divide t?
True
Suppose 99 = 6*n - 3*n. Let o(m) = m**3 - 6*m**2 + 2*m - 9. Let z be o(6). Suppose -z*d + 49 = -t, 0*d + 3*t = -3*d + n. Is d a multiple of 4?
False
Let h(y) = 8*y**3 + y**2 - 4*y + 5. Let n be h(3). Suppose -3*q + 136 = -4*a - 0*a, 2*a - n = -4*q. Is 13 a factor of q?
True
Let s(x) = 11*x - 1. Suppose k = -3*k + 12. Is s(k) a multiple of 7?
False
Suppose 6 = 5*o - 14. Suppose -o*m + m = 0. Is (0 - -13) + m + 2 a multiple of 5?
True
Suppose 3*m + 25 = 5*r, -5*r - 10 = 4*m - 0*m. Suppose -5*s + r*f = -29, 2*s - 13 = 2*f + 1. Suppose 5*a = 0, -16 - 14 = -s*d + 2*a. Is d a multiple of 6?
True
Let l be ((-23)/(-3))/((-1)/(-3)). Let n = 24 + l. Is 6 a factor of n?
False
Let q = -21 + 19. Let w be 2/q - 24/(-3). Let d(g) = -g**3 + 8*g**2 + 3. Does 13 divide d(w)?
True
Let p = -1329 - -1996. Is p a multiple of 6?
False
Does 10 divide (-21894)/(-123) - 1*(-1 - 1)?
True
Suppose 2*s - 2424 = -4*d, -5*s = -32*d + 33*d - 624. Does 17 divide d?
False
Let i(z) = -19*z - 59. Let h(w) = -18*w - 59. Let q(j) = 5*h(j) - 6*i(j). Is 55 a factor o