 t/2 - (-3)/6?
False
Suppose -5*p - 3*a - 14 = 18, 2*p + 2*a + 16 = 0. Is 2/p*-2 + 26 a multiple of 9?
True
Does 50 divide (31/(-4))/(1/(-28)*1)?
False
Let d = -2 + -2. Let c(g) = -g**3 - 3*g**2 - g - 2. Let h be c(d). Does 11 divide 0 + 0/(-2) + h?
False
Let x = 46 + 291. Suppose -5*n + x = -553. Let i = n + -121. Is 19 a factor of i?
True
Suppose 0*p - 4*p + 52 = 2*n, 6 = n - 3*p. Is 16 a factor of n?
False
Let f be (-2 - -3 - 1) + 8. Suppose -f*t + 3*t - 5*s - 5 = 0, -4*s = 0. Let y = t + 11. Is 7 a factor of y?
False
Suppose 7 + 3 = 5*s. Suppose s = 4*g - 3*g. Is (5 - (-9)/(-3)) + g a multiple of 3?
False
Let j(q) be the first derivative of -q**4/4 - 4*q**3/3 - q**2 + 3*q - 1. Let l be j(-3). Suppose 0 = 4*b - 5*u - 65, -4*u + 0*u - 20 = l. Does 5 divide b?
True
Let k = 8 + -3. Let s = k - 2. Let w(a) = 3*a**2 - 3*a. Is 18 a factor of w(s)?
True
Let t(o) be the second derivative of o**5/20 - o**4/6 - o**3/2 + 2*o**2 - 2*o. Is 2 a factor of t(3)?
True
Let f(j) = -j**2. Let s be f(6). Let p = -22 - s. Let d = p + 7. Is d a multiple of 7?
True
Let i(c) = c - 11. Let k be i(0). Let g = k - -39. Does 19 divide g?
False
Let r be ((-1)/2)/((-1)/32). Suppose 3*s - r = 32. Does 7 divide s?
False
Suppose -2*y - 3*b = -452, -4*b = y - 45 - 191. Is 45 a factor of y?
False
Suppose 2*f = 4*w + f - 60, 0 = -3*f. Is ((-27)/w)/(6/(-20)) a multiple of 6?
True
Suppose -4*g + 4 + 12 = 0. Suppose -u - 18 = -g*u. Is (u/5)/(9/60) a multiple of 4?
True
Suppose 4*i + 3*g - 35 = 0, g - 35 = -5*i - g. Does 5 divide i?
True
Suppose -11 - 33 = -2*n. Is 11 a factor of n?
True
Let g(v) be the third derivative of -v**4/24 + 5*v**3/6 + 3*v**2. Is g(-8) a multiple of 8?
False
Is ((-4)/(-6))/2 - (-4005)/135 a multiple of 14?
False
Let u = -171 + 467. Is u a multiple of 37?
True
Let f be (-32)/(-2) - 0/(-4). Let i = 1 - 3. Let h = f - i. Does 18 divide h?
True
Let k(d) = d**2 - d + 2. Let t be k(0). Is 25 a factor of 50*(t + 6/(-4))?
True
Suppose 4*r = -0*r + 8. Suppose -2*t + 4*t - 4 = -2*b, -r*b - 4 = -2*t. Let f = 5 + b. Is f a multiple of 3?
False
Suppose 2*a - 117 = -a. Is a a multiple of 13?
True
Let m be (-1)/(4/(-36) + 0). Let b(r) = -r**3 + 4*r**2 - r - 4. Let z be b(3). Suppose -x + i + 14 + m = 0, 2*x = -z*i + 58. Is x a multiple of 17?
False
Let s = -62 - -148. Let j = s - 16. Is j a multiple of 25?
False
Suppose 3*m = m + 84. Does 2 divide m?
True
Let l = 93 + -58. Is 4 a factor of l?
False
Let z(p) = -p - 2. Let h be z(-3). Is (h + 2 - 12)*-1 a multiple of 3?
True
Let q be (-3)/(-2)*(-28)/(-3). Suppose -4*j + q = -2*j. Does 6 divide j?
False
Let l = -1 + 2. Let k(s) = 5*s**2. Let n be k(l). Suppose -5*c = -3*g - 90, 3*c = -2*c + n*g + 100. Does 14 divide c?
False
Let k be (-2)/(-4) + 10/4. Does 2 divide (k - 0 - -9)/2?
True
Let i be (-14)/(-4) - 3/6. Suppose 4*l + i*m - 131 = 0, 2*m = -5*l + 27 + 128. Let g = l + -11. Is 8 a factor of g?
False
Suppose -88 - 4 = 4*i. Let l = i + 16. Let m = l - -11. Does 4 divide m?
True
Let d = -299 - -427. Does 19 divide d?
False
Suppose -t + 4*g = 2*t - 2, 3*t = -g + 7. Suppose t*y - u = -0*y + 8, 0 = -y - 2*u + 4. Does 11 divide (6/y)/((-1)/(-10))?
False
Let c(l) = l**3 + 10*l**2 + 8*l + 14. Is 26 a factor of c(-8)?
True
Let l(k) = 6*k**2. Let z be l(-1). Suppose z = p + 4. Suppose 4 + 4 = 2*j, 26 = 3*v + p*j. Does 3 divide v?
True
Let q = 55 + -34. Let l = q + -13. Does 3 divide l?
False
Let n = -4 - -23. Suppose -4*t + 2*d + 62 = 0, -n = -3*t - 4*d + 11. Is 7 a factor of t?
True
Let z(n) = 7*n - 4. Let h be z(3). Suppose u = -m + 13, -m - u = u - h. Is 4 a factor of m?
False
Suppose 0*z = 3*z - 4*q - 814, -4*q + 556 = 2*z. Let n = -178 + z. Is n a multiple of 23?
False
Let x be (-48)/(-9) - (-6)/9. Suppose 4*f - 93 - 403 = -5*d, 0 = -4*d + 4*f + 404. Suppose 2*v + x = d. Does 14 divide v?
False
Suppose 3*i = -15, -5*i + 4 - 9 = 5*y. Is ((-24)/(-9))/(y/36) a multiple of 7?
False
Let g(r) = 24*r + 7. Let n be g(3). Let w = -11 + n. Does 17 divide w?
True
Let l(b) = -2*b + 5. Let y be l(-5). Does 12 divide 3*4/15*y?
True
Suppose -4*z - 11 = 5*d + 6, -2*d = -3*z + 16. Let t(c) = 29*c**2 + 1. Let l be t(1). Suppose -z*b - 7 = -0*g - g, l = 2*g + 4*b. Is g a multiple of 4?
False
Suppose -5*b + 21 = 6. Suppose 8 = 7*g - b*g. Is 8 a factor of g/6 + 23/3?
True
Is (18/(-7))/((-4)/28) a multiple of 8?
False
Suppose 22 - 4 = 2*a. Is a a multiple of 3?
True
Let j(s) = -2*s - 11. Let x be j(-8). Suppose 3*h = -x*l + 61, h = 8*l - 3*l - 73. Is l a multiple of 7?
True
Let v(h) = h**3 + 9*h**2 - h - 4. Let t be v(-9). Let p = t + -13. Let j = 9 - p. Is 6 a factor of j?
False
Is (132/5 - 0)/(18/90) a multiple of 6?
True
Let n(w) = -w**2 + 6*w + 329. Is 34 a factor of n(0)?
False
Let d(v) = v**3 + 7*v**2 - 9*v - 5. Let r be d(-8). Let f(n) = n**2 + 4*n. Let h be f(-5). Suppose 5*y - 4 - 65 = r*z, h*y - 54 = -2*z. Is y a multiple of 6?
True
Let r(z) = -1 - 3*z - z + 7 - 4*z. Is 20 a factor of r(-6)?
False
Let c = -45 - -67. Is c a multiple of 21?
False
Let b(z) = -z**2 - 5*z + 13. Is 3 a factor of b(-6)?
False
Let w(c) = -c - 9. Let i be w(-6). Let p be ((-6)/i - 3) + 7. Let m = p - -8. Does 5 divide m?
False
Let f = 7 - 4. Is f even?
False
Suppose 236 = 4*i - 3*l, -i + 23 + 13 = 5*l. Is 28 a factor of i?
True
Let y(l) = 2*l**2 + 12*l + 19. Is y(-8) a multiple of 15?
False
Suppose -7*z + 6*z + 121 = 0. Is z a multiple of 16?
False
Let p(w) = 4*w**2 + 5*w - w**2 - w**3 - w + 4. Let x be p(4). Suppose -18 = l - x*l. Is l a multiple of 6?
True
Suppose 4*a + 5*y = 84, -y + 54 - 6 = 2*a. Is a a multiple of 7?
False
Let g = -67 - -287. Is g a multiple of 55?
True
Let c(v) = v**2 + 12*v + 15. Is 14 a factor of c(-13)?
True
Suppose -4*b + 6*b - 10 = 0. Suppose 5*x = 4*d + 23 + b, 2*x = 8. Let v(s) = 6*s**2 + 2*s + 1. Is 16 a factor of v(d)?
False
Let l(u) = u**3 - 3*u**2 + 3*u - 3. Suppose 0*w + 2 = w. Let j be l(w). Is j*80*3/(-6) a multiple of 15?
False
Let n(g) = -2*g**3 - 3*g**2 - 2*g + 1. Let w(j) = j**2 + j - 1. Let v(y) = n(y) + 3*w(y). Is 12 a factor of v(-2)?
True
Is 45/(6*5/20) a multiple of 11?
False
Suppose 3*m + 21 = -f + 2*f, 2*m = 5*f - 170. Is f a multiple of 12?
True
Let l(z) = -3 + 15 + 4 - z. Suppose v + 2 = 0, 3*j + v + 2 = 2*j. Is l(j) a multiple of 8?
True
Let p = 64 - 46. Is p a multiple of 9?
True
Let q = -8 + 33. Does 13 divide q?
False
Let s = 2 - -72. Is 10 a factor of s?
False
Suppose -n = 4*n, -5*n - 75 = -5*m. Does 5 divide m?
True
Let t(d) = d + 11. Let l be t(-6). Suppose 3*c + 2*n - 9 = 0, 5*c - 12 = c + l*n. Is c even?
False
Suppose 0 = r - 0 + 3. Let c be ((-12)/9)/(1/r). Let x(d) = d**3 - 3*d**2 + 5*d - 1. Does 9 divide x(c)?
False
Suppose -334 = -5*p - 3*c, -p - 4*c = 2*p - 196. Is p a multiple of 10?
False
Does 4 divide 2 + -5 + (-24)/(-2)?
False
Let a(b) = -73*b + 1. Let z be a(-1). Suppose 3*d - z = 130. Is d a multiple of 20?
False
Suppose -3*m - 3*y + 102 = 0, 4*m - 4*y + 0*y = 176. Does 13 divide m?
True
Is ((-34)/(-4))/(4/8) a multiple of 17?
True
Let w(a) = 2*a**2 + 16*a + 7. Is 17 a factor of w(-12)?
False
Suppose 3*y + 35 = 2*b, -7*y - 5 = -2*y. Is 6 a factor of b?
False
Let f(k) = -4*k**2 - 6*k - 6. Let l(n) = -n**2 - 1. Let h(m) = -f(m) + 2*l(m). Let o be h(-7). Suppose q = -2*s + 12, -4*q + 4*s + o = -0*s. Is 8 a factor of q?
False
Suppose 0 = 15*w - 9*w - 720. Is 10 a factor of w?
True
Suppose -2*c = -0*c - 186. Does 37 divide c?
False
Suppose 6*g + 90 = 5*o + 3*g, 85 = 5*o - 4*g. Is 7 a factor of o?
True
Is ((-5)/1)/(-2 - -1) even?
False
Let s(r) = -r. Let c be s(0). Suppose -4*g - 3*i = -c*i - 114, 0 = g - 5*i - 17. Is 13 a factor of g?
False
Let g = -7 - -199. Suppose 0 = 4*d + j - g, j + 0 = 4. Is 16 a factor of d?
False
Suppose a - 9 = 6. Let s = -10 + a. Is 4 a factor of s?
False
Is 23 a factor of -3*-1*(-23)/(-3)?
True
Let u(w) = w**2 + 2*w. Let l be u(-2). Let r be (-2)/(-4)*(0 + l). Suppose -2*v + r*v = -16. Is v a multiple of 7?
False
Let v = 7 - 5. Suppose b - 6 = -v*k + 4*b, -3*b - 3 = -k. Suppose 8*h - k*h = 60. Does 12 divide h?
True
Suppose 0 = -5*b, -5*b - 165 = -5*i - 4*b. Let r(y) = 6*y + 3. Let c be r(-3). Let l = i + c. Does 9 divide l?
True
Let b(r) = 50*r**3 - r + 1. Let v be b(1). Suppose 2*i = -5*j + v, 0*i + 51 = 3*j - 3*i. Does 9 divide j?
False
Let y(v) = -v**2 - 16*v 