 v a multiple of 24?
True
Let h = 68 - -4. Let d = h + -2. Is 5 a factor of d?
True
Let p(d) = -2*d**2 - 3*d + 2. Let h be p(0). Suppose -h*a = -7*a + 285. Is a a multiple of 4?
False
Let p(f) = -2*f + 10*f**2 + f**3 + 9*f - 19*f - 11. Is p(-10) a multiple of 24?
False
Let o = 58 - 4. Suppose -57*w + 540 = -o*w. Does 19 divide w?
False
Suppose -k + 20 = -3*v, 2*k + 5*v + 30 = 3*k. Let w = -112 + 114. Suppose -l = -3*g + 35, w*g = -k*l + l + 28. Does 6 divide g?
True
Let g(k) = 107*k - 1530. Is g(22) even?
True
Is (-1 - 5)/((-32)/208) a multiple of 19?
False
Let u be (3 - (-2 + 1)) + 372. Suppose -9*h + u + 209 = 0. Is 6 a factor of h?
False
Let r be 62/6*21/14*18. Suppose 229 = 2*n - 5*u, -2*n + 5*u - r = -4*n. Does 13 divide n?
False
Suppose p + 4*p = 10. Suppose 0 = -2*x - p*k + 60, -2*x - 3*k + 39 = -18. Is 11 a factor of x?
True
Suppose 11*b - 6750 = -16*b. Does 50 divide b?
True
Does 3 divide -7 + (-160)/(-24) + 8224/12?
False
Suppose -n - 841 = -2*n + a, 6*a = -6. Is n a multiple of 56?
True
Suppose -65 - 160 = 3*i. Let g = -50 - i. Does 3 divide g?
False
Suppose 0 = 5*f - 2 + 17. Let y = f + 3. Suppose -q = 4*d - 26, 7*q - 3*q + 3*d - 65 = y. Does 8 divide q?
False
Suppose 1115 = 5*i - 2075. Is 22 a factor of i?
True
Suppose 4*z + 3*p - 15 = 0, -2*z + 3*p + 6 = z. Suppose 5*h - 8 = z*h. Suppose -321 = -h*k + k. Does 12 divide k?
False
Let s = -21 - -21. Let o(y) = 0*y**2 + 9 + 3*y**2 + 6 - 4*y**2. Is 15 a factor of o(s)?
True
Let t(o) = 12*o + 5. Let i(q) = -13*q - 6. Let a(j) = -3*i(j) - 4*t(j). Does 2 divide a(-1)?
False
Let g(m) be the second derivative of m**5/20 - 23*m**4/12 - 19*m**3/6 - 3*m**2/2 - 34*m. Is 6 a factor of g(24)?
False
Suppose 3*u - v = 945, 3*u + 8*v = 4*v + 930. Let k = -212 + u. Does 15 divide k?
False
Let g(h) = -43*h + 1. Let b be g(-1). Let k(r) = 10*r + 82. Let y be k(-8). Is y/11 + 388/b a multiple of 3?
True
Suppose a - j - 10 = 2*j, -4*j = -a + 11. Is 19 a factor of 130 + (-5 + a)/(-2)?
False
Let v be 172/10 - 3/15. Suppose 2*d - 3*t = 5, 4*d - 2*t = v + 13. Is d a multiple of 6?
False
Suppose 0*o + 3*o = 0. Suppose 5*b - 26 + 326 = o. Does 22 divide (-12)/b - 109/(-5)?
True
Suppose 0 = 5*q, y + 2*q - 14 = 20. Suppose -5*o = -334 + y. Is 16 a factor of o?
False
Let c = -191 + 483. Is c a multiple of 65?
False
Let i = 183 + -126. Suppose p + 4*c = -5, 3*c + 95 = 5*p - c. Suppose i = 4*g - p. Is g a multiple of 18?
True
Let b be (-128)/(-24) - (-1)/(-3). Suppose -5*x + 0*f + 4*f + 84 = 0, -b*x + 3*f = -83. Let p = x + 4. Is 5 a factor of p?
True
Suppose 119 = 5*v - 131. Suppose v = -f - f. Let d = f + 35. Is 5 a factor of d?
True
Suppose 4*g + 0*g = -5*u + 3816, 2*u - 3*g = 1531. Is u a multiple of 5?
False
Suppose -10*r = -2967 - 4733. Is r a multiple of 55?
True
Suppose -x + 23 = 2*s, -x - 3*s + 12 = -14. Suppose -p + x = f - 23, -f + 44 = 2*p. Does 12 divide f?
True
Let z(g) = -g**2 - 17*g - 19. Let n be z(-16). Let a(y) = 3*y**3 + y**2 - 4*y - 6. Let v be a(n). Is 11 a factor of 40/(-10) - v/2?
False
Let n(m) be the second derivative of 101*m**3/6 + 5*m**2/2 + 11*m. Let s be n(3). Suppose -7*j = -0*j - s. Does 15 divide j?
False
Is 33 a factor of (-24149)/(-82) - (-1)/2?
False
Let g(s) = -19*s**2 + 3*s - 3. Let l be g(3). Let n be (-58)/(-15) + (-22)/l. Suppose 5*b + 1 = -v, 2*v - 16 = -n*b - 0*b. Is v a multiple of 7?
True
Suppose -y - 187 = -947. Is y a multiple of 4?
True
Let f(j) = -j**3 - 2*j**2 - 2*j - 1. Let i be f(-2). Suppose -6*c - 1195 = -5*y - c, 3*y - 723 = -i*c. Suppose -6*o + y = -o. Is 12 a factor of o?
True
Let v(y) = 6 - y**2 + y**3 + 0*y + 6*y**2 - 8*y + 3*y. Let u be v(-6). Suppose 7*i - 5*i - 18 = u. Is i a multiple of 2?
False
Suppose 2289 = -3*x + 4*x - 2*a, 5*x - 11409 = -2*a. Does 9 divide x?
False
Let c = -2 + 1. Let w(l) = -27*l - 19. Let f(n) = 55*n + 35. Let g(v) = -6*f(v) - 11*w(v). Is 7 a factor of g(c)?
False
Let s = 1373 - 643. Is s a multiple of 10?
True
Let z be (6/(-9))/(8/24). Let j(c) = -c**3 + c**2 + 3*c + 3. Does 9 divide j(z)?
True
Suppose 0 = 2*i - 10 + 56. Let u = i + 123. Does 25 divide u?
True
Suppose -b = 2 + 2, 0 = -4*t - 2*b - 16. Is 2 a factor of (t - -2) + (-3 - -6)?
False
Suppose 0 = 10*i - 1181 - 439. Is 4 a factor of i?
False
Let n(d) = d**2 + 19*d + 14. Let t be n(-19). Suppose -4*w - 3*z + 103 = -7, -4*z = 5*w - 138. Let y = w - t. Is y a multiple of 4?
True
Let s = 5 - 8. Let b be (4 + (-7 - s))/2. Suppose -4*i + 5*i - 16 = b. Does 16 divide i?
True
Suppose 15 = 5*z - 10. Does 18 divide 5*(2/z*77 - 0)?
False
Let g = 795 - -181. Is 10 a factor of g?
False
Let d = 122 - 24. Is d a multiple of 8?
False
Let t(i) = i**2 - 7*i + 70. Is t(12) a multiple of 11?
False
Suppose -1172*o + 1167*o + 8100 = 0. Does 27 divide o?
True
Let y(g) = g**2 - 7*g + 8. Suppose 8*b - 23 + 87 = 0. Is y(b) a multiple of 16?
True
Let d = -24 - -31. Suppose d*t = t + 258. Does 7 divide t?
False
Suppose 5*y + 10 = 0, -j = -37*y + 36*y - 1003. Is j a multiple of 91?
True
Suppose -2 = 4*q - 5*q. Let d(j) = j + 3. Let z be d(q). Suppose 0 = z*t - 2*t - 72. Does 12 divide t?
True
Let g be 8/52 + (-37)/(-13). Suppose 5*y + 9 = j - 2*j, -5*j - 4*y - g = 0. Is 14 a factor of j - (-11 + -3) - 1?
True
Let n = 186 - 87. Suppose 5*a = -2*l - 99, 0 = -3*l + 6*a - a - 111. Let x = n + l. Is x a multiple of 19?
True
Let c(n) = 11*n - 59 + 56 - 4*n. Let h be c(3). Does 13 divide 0/3 + h + -1?
False
Let l be (2 - 0)/((-11)/(-891)). Suppose -4*s + 3*s + 3*a + 45 = 0, -4*s + l = -3*a. Does 7 divide s?
False
Suppose 5*m = -5*q + 3*m + 3025, 5*m + 2453 = 4*q. Does 3 divide q?
False
Let g(z) = -z**3 + 5*z**2 - 6*z + 2. Let q be g(2). Suppose 3*b = -b + m + 558, q*m = b - 136. Is b a multiple of 35?
True
Let z be (-2)/8 + 75/(-4). Let d = 150 - z. Is d a multiple of 11?
False
Let i = 842 + 113. Does 65 divide i?
False
Let a(f) = -f**3 + 20*f**2 - 20*f + 19. Let i be a(19). Suppose 0*g + g - 27 = 3*z, i = 4*g + 2*z - 122. Is g a multiple of 5?
True
Let w = 31 - 32. Let h be (0 - -24)/(1/1). Is (-7 + h)*(w + 2) a multiple of 7?
False
Does 83 divide -1494*(-12)/24 + 0 + 0?
True
Let n(z) = z**2 - 3*z - 24. Let s be n(7). Is 30 a factor of (-1 + 0)*(-114 + s)?
False
Let u = -154 + 134. Let n(o) = -3*o - 15. Does 3 divide n(u)?
True
Suppose 3*a + 10 = -o, 2*a = -o + 5*o - 16. Does 3 divide (-1 + o)/(6/180)?
True
Suppose -4*o + 8 = 0, -5*c = -2*c - 3*o + 339. Let z = c + 200. Does 11 divide z?
False
Suppose -2*d - 34 - 6 = 0. Let b = d + 21. Suppose -4*m = -3*u + 100, -4*m - b = -9. Is u a multiple of 12?
True
Suppose 2*b = 5*b - 4*a + 11, 0 = -2*b + 5*a - 19. Is 22 a factor of (b + 38 - 4)*1?
False
Is 2 a factor of 11 + (5 - 6)*-3?
True
Suppose -325 = -5*w + 5*o, -5*w = 5*o - 308 + 33. Does 20 divide w?
True
Let h(i) = -2*i - 9. Let o be h(-7). Let q(u) = 3*u - 11. Let g be q(o). Suppose 5*c - 64 = f + 52, -8 = -c + g*f. Is c a multiple of 12?
True
Let c(r) = r**2 + 4*r - 2. Let f(w) = 0*w + 3*w - 2*w. Let d(i) = c(i) - 4*f(i). Does 3 divide d(3)?
False
Let y(i) = i**2. Let x(h) = h**3 - h**2 + 2*h - 6. Let c(w) = -x(w) + 4*y(w). Suppose -n - 7 = -k, 0 = 4*k - 2*n + 5*n - 7. Is c(k) a multiple of 5?
False
Let h = -120 - -495. Is h a multiple of 25?
True
Suppose 18*z - 4*z = 686. Suppose -46*k - 54 = -z*k. Does 6 divide k?
True
Let r(a) = 39*a + 29. Let l(k) = 13*k + 10. Let b(z) = 8*l(z) - 3*r(z). Does 18 divide b(-11)?
False
Let h(a) = -3*a - 9. Let b be h(-3). Suppose -4*u + 2*u = b, -3*m = 3*u - 204. Suppose 4*q + m + 6 = 3*t, -4*t + 136 = 4*q. Does 6 divide t?
True
Let r be (-2)/8*10*-2. Let g = 34 + r. Is g a multiple of 16?
False
Is 29 a factor of ((-78)/(-12) + 1)*58?
True
Suppose -6 = 12*z - 15*z. Suppose z*o = -3*o + 375. Does 21 divide o?
False
Let u(g) be the third derivative of -g**4/24 + g**3/6 + 5*g**2. Let o be u(0). Suppose r - 6 - o = 0. Is r a multiple of 2?
False
Let p be -6*4/(-6) - -1. Let w(o) = o**2 - 6. Let g be w(p). Let f = g + -6. Is f a multiple of 8?
False
Let h(w) be the first derivative of 6*w**3 + w**2/2 + 2*w + 13. Suppose -4*q - q + 2*v = 14, 3*v = 6. Is 24 a factor of h(q)?
True
Suppose -11 = -4*a + 5. Suppose 3*g = -b + 64, a*g + 21 - 88 = -b. Does 12 divide b?
False
Let r be (70/8)/((-1)/4). Let o be -4 - (740/5)/(-2). Let m = r + o. Is 13 a factor of m?
False
Suppo