?
False
Suppose -3*p + 1 = 7. Let h be (-24)/(-14) + 4/14. Is (-4)/h*13*p a multiple of 26?
True
Suppose 0 = 2*c + 4*r - 374, 0*c + 3*c + 3*r - 567 = 0. Does 14 divide c?
False
Suppose 188 = 5*p + 3*s - 129, 258 = 4*p - 2*s. Is p a multiple of 16?
True
Suppose -5*d - 2*j = -5*j - 28, 5 = 2*d + 5*j. Suppose o - 356 = d*o. Let u = 135 + o. Is 23 a factor of u?
True
Let l = -95 - -171. Is l a multiple of 19?
True
Let t = 1 + 4. Suppose -4*z = 4*u - 336, 3*u - t*z + 16 = 268. Does 22 divide u?
False
Let f(c) = 2 + 3*c**2 - 4 + 1 + 0*c**2. Is f(-3) a multiple of 17?
False
Let k = 133 - 89. Is k a multiple of 11?
True
Suppose -3*g - 4*d = -26, -4*d = -2*g - 5*d + 19. Does 5 divide (-15)/g*(-30)/9?
True
Let v = -62 - -154. Does 35 divide v?
False
Suppose -93 = 3*g + 12. Let y = 2 - g. Does 29 divide y?
False
Let a = 19 + 4. Is 4 a factor of a?
False
Suppose 61 = 5*p + 4*f, -4*f = -5*p + 4*p - 7. Let w = 13 - p. Does 5 divide (w/(-8))/((-1)/10)?
True
Suppose 5*v - 2*v + 19 = -2*d, 2*v - 76 = 5*d. Let f be (-4)/14 + (-46)/d. Suppose 49 = f*r - 5*q, -4*r + 3*q = -9*r + 25. Is r a multiple of 3?
False
Does 13 divide 782/4 + (-5)/10?
True
Suppose -59 = -g + 5*c, -80 = -2*g + c + 2. Is g a multiple of 12?
False
Let k(z) = 13*z - 9. Is 12 a factor of k(4)?
False
Suppose -5*i + 124 + 16 = 0. Is 7 a factor of i?
True
Suppose 0 = -4*x, -35 + 332 = 3*h + 3*x. Does 9 divide h?
True
Suppose -2*t + 4*g + 38 = 0, -3*g - 17 = -t - 2. Does 7 divide t?
False
Suppose -2*j = -5*x + 92, 3*x - 49 = -3*j - 2*j. Is 6 a factor of x?
True
Let s(i) = i**2 - 5*i + 10. Is s(9) a multiple of 11?
False
Let t be ((-15)/25)/((-1)/5). Let s(k) = 3*k + 3. Is 12 a factor of s(t)?
True
Suppose 0 = 3*n - 4*n + 9. Suppose -6*b + 3*b + n = 0. Suppose -b*r + 0*r + 18 = 0. Is r a multiple of 6?
True
Suppose -q - 9 = -p + 2*p, 4*q + 30 = 2*p. Is (-8)/32 + (-282)/q a multiple of 17?
False
Let n be -2*1 - 0 - 0. Let m be (15/n)/((-21)/112). Let d = m + -26. Is 5 a factor of d?
False
Let p = 34 + -9. Suppose 4*f - 5*x = 64, 3*f - 2*x = 6*f - p. Is 6 a factor of f?
False
Let x be (6 - 332)*(-2)/(-4). Let t = -98 - x. Is 32 a factor of t?
False
Let i(b) = -b**3 + 8*b**2 - 4*b + 4. Is i(7) a multiple of 5?
True
Suppose 6*w - w + 15 = 0. Is 29 + (w - (-1 - 0)) a multiple of 27?
True
Let v = -7 + 9. Let n be v/(-6) - 19/(-3). Suppose 0 = 2*p - n*p + 108. Is p a multiple of 11?
False
Suppose 3*o - 15 = 12. Suppose -14*f + 65 = -o*f. Does 13 divide f?
True
Is -1*100/(-4) + (2 - 3) a multiple of 24?
True
Let c = -107 + 189. Is c a multiple of 41?
True
Let k = -160 - -370. Is 30 a factor of k?
True
Let f(t) = 4*t**2 - 2*t - 1. Let r(z) = -z**3 + 6*z**2 - z + 4. Suppose m + 3*p - 9 = -3*m, 0 = -m + 3*p + 21. Let c be r(m). Does 12 divide f(c)?
False
Suppose -2*b = b + x - 144, 5*x = 3*b - 144. Does 12 divide b?
True
Let z be (-45)/(-2) + 2/(-4). Let v be 0 + -2 + (-15)/(-3). Suppose -55 + z = -v*o. Is 11 a factor of o?
True
Let x be 2*(-2)/4*-17. Suppose 0 = s - t - 20, 5*t + x + 14 = 2*s. Suppose 2*b + 5 = s. Is b a multiple of 9?
True
Let b = -4 + 7. Suppose b*u = 122 + 67. Is u a multiple of 21?
True
Let g be ((-576)/15)/3*-5. Suppose -y - 36 = -3*y - 5*w, g = 2*y - 2*w. Is 14 a factor of y?
True
Suppose u + 0*u - 6 = 0. Is 18/((-2)/u + 1) a multiple of 10?
False
Let f(v) = -v**2 + 9*v. Let g be f(10). Let q be g*(1 - (-2)/(-4)). Let w = 10 - q. Does 15 divide w?
True
Let w = -32 - -39. Is w a multiple of 2?
False
Let u = -10 - -17. Let v = -5 + u. Suppose -5*n - 10 = j, -v*j - 3*n + 6 = -9. Does 15 divide j?
True
Let w be ((-18)/(-15))/((-3)/(-10)). Suppose 18 = w*v - 62. Suppose -2*j + 3*j - i = v, -4*j + 2*i + 90 = 0. Does 9 divide j?
False
Is 9 a factor of (18/10)/((-12)/(-120))?
True
Suppose 5*a - 65 = -0*a. Is 9 a factor of a?
False
Is 20*(0 - 1/(-1)) a multiple of 10?
True
Let i = -5 - -5. Suppose -4*w - 2*u + 116 = i, 2*u + 3*u = -2*w + 74. Is w a multiple of 12?
False
Let z be (-3)/(-18) - (-51)/18. Let a be z/((-6)/(-8)*2). Suppose -2*k = a*k - 56. Does 14 divide k?
True
Suppose 15 = -4*s - 1, -4*s = -2*d - 158. Let f = 162 + d. Does 26 divide f?
False
Let n(l) = 3*l. Is n(13) a multiple of 19?
False
Let q = 62 + -18. Does 11 divide q?
True
Let j(f) = 4*f - 5. Let v be j(4). Suppose 4*y + v = c - 1, 2*y + 6 = -c. Suppose c = -5*i - 4*z + 213, -5*i - z + 3*z + 201 = 0. Is i a multiple of 16?
False
Let r = 2 + -2. Suppose -3*k + 5*k + 2 = r. Let m = 10 - k. Does 4 divide m?
False
Let o be 0*(5 - 4 - 0). Suppose -4*h = -2*i - 7*h + 132, 4*h = o. Is i a multiple of 11?
True
Let q = -2 - 1. Let r be 4 + -4 + 0/q. Suppose 4*w + 1 - 57 = r. Is w a multiple of 7?
True
Let d(t) be the second derivative of t**4/6 - t**3/2 - t**2/2 - 8*t. Let g be (2/(-4))/(1/(-8)). Is 5 a factor of d(g)?
False
Let i = -1 + 5. Let z = i + -6. Let l(k) = -2*k**3 + 2*k. Is l(z) a multiple of 6?
True
Let y(h) = -h**3 - 7*h**2 - 7*h - 3. Let d be y(-6). Suppose -d*l - 9 + 351 = 0. Suppose -5*x + 41 = q, -3*q = q - 5*x - l. Is q a multiple of 13?
False
Let a(d) = -d**2 - 6*d + 10. Let k be a(-7). Suppose -5*m + 131 = k*o, 2*m - 6*m - 5*o = -110. Is m a multiple of 5?
True
Suppose -5*s = 4*h - 469, -4*h = 4*s - 5*h - 371. Does 31 divide s?
True
Let v(u) = -u**3 - 6*u**2 - 2*u - 5. Let g = -7 + 10. Suppose -4*n = 5*w + 2 - g, 2*n + 5*w = 13. Does 3 divide v(n)?
False
Suppose 0 = -2*w + 27 + 13. Suppose -m = 3*m - w. Suppose m*g - 2*g = 144. Does 16 divide g?
True
Let u(t) = -30*t - 8. Is 20 a factor of u(-5)?
False
Suppose 5*v = 2*v + 180. Is v a multiple of 22?
False
Let i(g) = -g**2 + 6*g - 4. Let s = 3 + 1. Let o be i(s). Suppose r = -v + 6, 2 = -3*v - o. Is 4 a factor of r?
True
Let c be 0/(1/(-1) + 0). Let p = -4 - c. Does 19 divide -26*1/(2/p)?
False
Let t = -25 + 82. Let b(x) = x - 5. Let a be b(7). Suppose -a*u + t = u. Is 11 a factor of u?
False
Let i be ((1 - 3) + 20)*-1. Let l = -13 - i. Is l even?
False
Suppose 0*w = -5*w + 485. Is 16 a factor of w?
False
Let h(t) = t**2 - 2*t. Let d be h(3). Suppose -a + 0*s = s - 49, d*s = a - 53. Does 14 divide a?
False
Let u(c) = c**3 - 7*c**2 - 14. Is 5 a factor of u(8)?
True
Is 11 a factor of ((-184)/(-24))/((-1)/(-3))?
False
Let w(k) = k**2 - 3*k + 2. Let q be w(2). Let u = 3 - q. Suppose -5*t + u*v = -16, 0*t = t - 5*v - 12. Is 2 a factor of t?
True
Suppose 3*n + 21 = 3*l + 5*n, 5*l - n = 35. Suppose -q - 18 = -l. Let s = q - -17. Is s a multiple of 2?
True
Is 28 a factor of 7826/70 - 1/(-5)?
True
Does 13 divide (153/3 - 6) + -6?
True
Let u(i) = -2*i**3 - i**2 - i + 3. Suppose -5*n = 2*l - 4, 5*l - 4*n + 25 = 2. Is u(l) a multiple of 17?
True
Let k be 0/(-1 - 8/(-2)). Suppose 0 = -2*w + 4, 3*t - 2*w + w - 223 = k. Let n = t + -47. Is n a multiple of 14?
True
Let y = -76 + 90. Does 2 divide y?
True
Let j(l) = 2*l + 1. Let v be j(1). Let z(b) = 6*b - 4. Is 7 a factor of z(v)?
True
Does 6 divide ((-13)/(-4))/(1/16)?
False
Let m be ((-30)/8)/(2/16). Suppose -g - j - 3 = 2*j, -g - j = 11. Let t = g - m. Does 9 divide t?
False
Let i(m) = m**3 + m**2 - 4*m - 4. Let v be i(-3). Let z be 8/20 + 4/v. Suppose -f + 19 - 7 = z. Is f a multiple of 9?
False
Let h(z) = 4*z**3 - 1. Let p be h(1). Suppose -4*g - 48 = -f, -p*f = 2*f - 4*g - 160. Let w = -13 + f. Does 14 divide w?
False
Let l = -58 - -148. Does 18 divide l?
True
Suppose b + 2*b + 30 = 0. Let u(w) = w**3 + 10*w**2 - 6*w. Is u(b) a multiple of 12?
True
Let f(h) = -5*h**2 + 4*h - 3. Let i be f(2). Let n be (1 - i/(-9))*-6. Is (0 + -1)/(-1)*n a multiple of 4?
True
Suppose -2*g - 3*h + 72 = 0, 0 = g + 4*h - 41. Is g a multiple of 3?
True
Suppose 5*v + 107 = 367. Suppose -3*i + 5*i = v. Is 5 a factor of i?
False
Suppose -3*c + 40 = c. Suppose 3*a + 1 - 91 = 0. Let d = a - c. Is 10 a factor of d?
True
Is 6/(-4 - (-42)/9) a multiple of 3?
True
Let q = -316 - -448. Is 31 a factor of q?
False
Suppose 10 = -2*q - 0. Let d(u) = -6*u + 2. Is d(q) a multiple of 20?
False
Suppose 5*c = 4*q + 10 - 3, -4*q + 20 = 4*c. Suppose -q*g = -g - 3, -3*l - 18 = -4*g. Is 17 a factor of (7*-2)/(l/4)?
False
Let h(b) = -b**2 - b + 2. Let p be h(0). Suppose 0 = x - 3*x. Suppose x = -j - p*j + 9. Is j a multiple of 2?
False
Let g = 7 - 7. Suppose 4*i - 2*t - 288 = g, -t = -3*t. Does 24 divide i?
True
Let c(s) = 2*s**3 - 3*s**2 + 7*s - 4. Does 22 divide 