 Is (h/15)/((-2)/6) a multiple of 4?
True
Let z = 108 - 153. Is 21 a factor of 2*-1 + (-2 - z)?
False
Suppose 4*z = 2*z + 36. Is 18 a factor of z?
True
Suppose -3*z + 2*z + 396 = 5*j, -5*z = -2*j + 180. Is 9 a factor of j?
False
Suppose 0*i = -3*i. Let d be (-2 + 3)*(1 - i). Let h(y) = 11*y**2 + 1. Does 12 divide h(d)?
True
Suppose s = 3*n - 75, -3*n = -6*n - s + 81. Is n a multiple of 4?
False
Let b(l) = l**3 + 4*l**2 - 6*l + 1. Let a(q) = q**3 - 5*q**2 - 6*q + 2. Let m be a(6). Suppose -5*x + m*x = 15. Is 2 a factor of b(x)?
True
Suppose g + 2*x - 7 = -3*x, -2*x = -2*g + 26. Does 5 divide g?
False
Let l(m) = 7*m**2 + 7*m + 10. Is 15 a factor of l(-4)?
False
Let p(n) be the second derivative of n**4/6 + 5*n**3/6 - 3*n**2/2 - 3*n. Does 3 divide p(-4)?
True
Let o(n) = n + 2. Let h be o(0). Suppose -4*u = 2*c - 16, -3*u = -h*c - 28 + 9. Does 5 divide u?
True
Suppose -4*i + 2*g + g = -480, -4*g = 0. Suppose -2*u = -5*u. Suppose -4*k + i = -u*k. Is 13 a factor of k?
False
Let f = -76 + 16. Let m be (0 - f) + 2 + -3. Let d = m + -33. Is 11 a factor of d?
False
Let o = -10 - -27. Let q = 57 - o. Suppose q + 8 = 2*w. Is 12 a factor of w?
True
Let k(w) = 6*w**2 + 2*w + 3. Does 25 divide k(-4)?
False
Suppose 6*h - 4*h = 0. Suppose 0 = 5*f - 4*u - 17, -4*f - u + 4*u + 14 = h. Is f a multiple of 2?
False
Suppose -56 = -4*w - 0*w. Let i be (-121)/(-5) - (-1)/(-5). Is i/w*(-2 + 9) a multiple of 12?
True
Suppose 0 = -4*j - 20, 2*x + 18 = -3*j - 9. Let m = x - -63. Is 19 a factor of m?
True
Let m = -8 + 13. Suppose 4*r = -4*o + 72, -10 - m = -5*o. Is 6 a factor of r?
False
Let m(q) = -2*q**2 - 1 + q**2 - q**2 + 4*q**2. Is 11 a factor of m(5)?
False
Suppose 4*m - 23 = 57. Suppose -h + 0*x - 4*x = -m, 0 = 2*h - x - 40. Is ((-104)/h)/((-2)/10) a multiple of 13?
True
Let r(b) = b**3 + 6*b**2 - b. Let d be r(-6). Suppose 0 = d*h - h, -h + 64 = u. Is 35 a factor of u?
False
Let p(a) = -6*a**3 + 3*a**2 + 5*a. Let q(t) = -7*t**3 + 4*t**2 + 6*t. Let n(i) = 6*p(i) - 5*q(i). Is 8 a factor of n(-3)?
False
Let w = 13 + 7. Let r = w - 14. Suppose m - r = 3. Is m a multiple of 9?
True
Let f = 27 - 10. Let k = 17 + f. Is k a multiple of 23?
False
Suppose 0*s + 312 = 3*r + 2*s, 5*r = -5*s + 525. Does 34 divide r?
True
Let n(v) = v**2 + v + 15. Does 4 divide n(0)?
False
Suppose 0 = f - 5*f + 340. Does 33 divide f?
False
Let h = 175 - 47. Is h a multiple of 20?
False
Let r(i) = 15*i**2 - i. Let s = -15 + 21. Let h = s + -5. Is r(h) a multiple of 9?
False
Let n be (-10)/(-1)*2/4. Let y(c) = 13*c + 1. Let g be y(1). Does 8 divide (g/n)/(1/5)?
False
Let i(d) = -d**3 + 4*d**2 - 2*d + 1. Let b be i(3). Suppose 2*x = -0*y + 3*y - 146, -b*y + 197 = -5*x. Is y a multiple of 24?
True
Let g(f) be the third derivative of -11*f**4/24 - 2*f**3/3 - f**2. Is 12 a factor of g(-4)?
False
Let x(l) = 80*l**3 + l**2 - 3*l + 2. Does 20 divide x(1)?
True
Suppose h = -0*h + 3. Suppose 0 = m - 3, h*r - 3*m = 7*r - 121. Does 8 divide r?
False
Let s = 65 + -44. Is 21 a factor of s?
True
Let h = -102 + 244. Is 7 a factor of h?
False
Let s(x) = -2*x**3 + 3*x**2 + 2*x + 2. Let n = 6 + -8. Let k be s(n). Let u = k - 11. Is 15 a factor of u?
True
Is (-43)/(-3) + (-4)/(-6) a multiple of 5?
True
Let y(x) = -x**2 - 3*x - 1. Let p be y(-2). Is 22 a factor of p/((-1)/(-94)*2)?
False
Let f(x) = 5*x**3 - 4*x**2 + 2*x. Let o(u) = u - 3. Let i be o(7). Let q(h) = h**2 - 4*h + 2. Let m be q(i). Is 14 a factor of f(m)?
True
Suppose -5*h + 17 = 2, -3*s + 168 = h. Suppose -2*l = -l - s. Suppose 0*c - 5*c = -l. Is c a multiple of 4?
False
Suppose -317 = -4*n - 3*h, 4*n + 2*h - 319 = h. Is n a multiple of 24?
False
Let q(w) = w**2 - 6*w - 6. Let o be q(8). Is o + (-1*8)/(-4) a multiple of 4?
True
Does 5 divide (2 - -1*2) + (-280)/(-5)?
True
Suppose 14*v - 12*v = 122. Does 12 divide v?
False
Let k = 5 + -4. Let d = k + 5. Does 3 divide d + 0 + (1 - 1)?
True
Let o(i) = i**3 - 9*i**2 + 7*i + 10. Let j be o(8). Suppose -11*p + 6*p = 0. Suppose p*u + 2*u = j*c + 30, 5*u - c = 67. Is u a multiple of 7?
False
Let l = -4 - -4. Suppose -2*t + 60 = -l*t. Suppose -2*x + t = x. Does 5 divide x?
True
Let x(u) = u**3 - 13*u**2 - 14*u - 4. Let t be x(14). Does 12 divide ((-41)/t)/((-3)/(-12))?
False
Suppose -3*m + 2*m - 5*h + 188 = 0, 2*m + 3*h - 376 = 0. Is m a multiple of 24?
False
Suppose -3*o = -2*i + 284, 2*o - 259 - 277 = -4*i. Is i a multiple of 29?
False
Suppose 0*b + 2*b - 4*q = 12, 5*q - 7 = -3*b. Is b/(-6)*117/(-6) a multiple of 13?
True
Suppose -18 = -3*j + 3*b, -3*j - 4*b + 12 = 1. Suppose -j*s + 2*a + 16 = -90, 2*s - 2*a - 46 = 0. Is s a multiple of 7?
False
Does 13 divide 2*122/8*(-12)/(-2)?
False
Suppose -110 = -5*v + b, 4*b = v - 2*v + 1. Suppose 3*s = t - v, 4*t + 7 = 7*t + 5*s. Is 5 a factor of t?
False
Suppose 0 = 3*m - 2*w + w - 227, 0 = -2*m - 4*w + 128. Does 21 divide m?
False
Is 10 a factor of 8/4 + -4 + 54?
False
Let d(f) = f - 6*f + 6*f**3 + 5*f**2 + 6 - 7*f**3. Let l be d(4). Suppose -l*x - n = -16, -x - 4*x + 29 = -3*n. Is x a multiple of 6?
False
Is 2 a factor of (-18)/(-4)*16/24?
False
Let t = 34 - 8. Is 26 a factor of t?
True
Suppose 2*s = -5*a + 219, -5 + 0 = 5*a. Is s a multiple of 28?
True
Suppose 5*i - 4*f - 28 = -0*f, -i = -4*f - 12. Suppose -3*o + i*a = -11, -3*o - 4*a + 29 = 2*o. Does 4 divide o?
False
Let h be (-2 + 3)/(3/6). Suppose 2*g + 0*g - 56 = h*k, 0 = 2*g - 4*k - 48. Is 16 a factor of g?
True
Let z be (-9)/((-3 - 0)/39). Suppose -3*l = 3*m - z, m - l = -0*l + 37. Is 14 a factor of m?
False
Let v(b) = 13*b - 15. Is v(5) a multiple of 5?
True
Suppose 3*y + 7 + 5 = 0. Is y/6 - 429/(-9) a multiple of 14?
False
Let l(i) = 6*i + 5. Let k be l(5). Is (12/7)/(2/k) a multiple of 16?
False
Let x = 12 + -11. Suppose 2*m = 1 - 3. Is 2 a factor of 2 + 1 + x + m?
False
Suppose -4*h + 2 + 9 = -u, 4*h - 1 = 3*u. Suppose h*f - f + 10 = z, 28 = 5*z - 4*f. Does 18 divide (-1)/(-1) + 140/z?
True
Suppose -8 - 7 = 5*f. Suppose -8*r = -11*r + 54. Let o = r + f. Does 7 divide o?
False
Suppose 2*m - 47 = -5*n, 5*m = -4*n + 41 - 0. Suppose 5*g - n = 2*g. Suppose t - 16 = -g*t. Does 3 divide t?
False
Is 17 a factor of 0 - -51 - (15 + -12)?
False
Suppose 0 = -2*y + 57 + 365. Suppose 3*j - 219 = 3*c, -4*j - 5*c + 63 + y = 0. Is j a multiple of 34?
False
Let w = -170 + 203. Does 11 divide w?
True
Let x = -13 - -30. Let z = 43 - x. Is 26 a factor of z?
True
Suppose -n = 6*v - v - 18, -3 = 3*n - 4*v. Suppose s - 7 = -n*w + 6, 0 = -4*s - w + 30. Is 3 a factor of s?
False
Let u = 21 + -13. Is u even?
True
Let m(t) = 2*t**2 - 7*t + 1. Let o(b) = b**2 - 7*b + 2. Let s(a) = 2*m(a) - 3*o(a). Is 13 a factor of s(-10)?
True
Is 16 a factor of -3 + 3/3 - 31*-1?
False
Is 12 a factor of (27*1)/(3/6)?
False
Is (105/(-20))/(1/(-4)) a multiple of 7?
True
Let j(v) = 9*v - 9. Suppose -5*q - d + 28 = 0, 22 = 5*d + 7. Is j(q) a multiple of 12?
True
Suppose 3*v + 5*q - 2*q = -144, -3*q = -2*v - 91. Let w = 66 + v. Is 10 a factor of w?
False
Suppose -3*i = -p + 12, 3*i = -i - 16. Suppose 159 = 5*r + d - 0*d, p = 5*d - 20. Is r a multiple of 11?
False
Let p = -6 - 0. Let j be 0/(-3) - 4/(-2). Is (j/p)/(3/(-126)) a multiple of 7?
True
Suppose 597 = 5*r - 313. Is r a multiple of 12?
False
Let q be 0 + (-5 + 3)/2. Suppose -21 = -5*o + 4*f, 0 = -2*o + 5*f + 5. Let n = q + o. Is 3 a factor of n?
False
Let z(y) = -y + 1. Let w be z(-3). Suppose a + 0 = w. Suppose a*j - 32 = -4. Does 5 divide j?
False
Suppose -4 = 3*a + 8. Let i = a + 14. Does 7 divide i?
False
Is (2 - -37) + 6/2 a multiple of 6?
True
Suppose -5*b = -4*p - 265, 230 = 7*b - 2*b + 3*p. Let x = 104 + -22. Let j = x - b. Is j a multiple of 13?
False
Let l(c) = 2*c - 10. Let x be l(-8). Let p = x + 40. Is 7 a factor of p?
True
Is 963/12 + (-6)/(-8) a multiple of 29?
False
Suppose 4*d - 2 - 118 = 3*w, -3*w = -2*d + 60. Is 5 a factor of d?
True
Let p(l) = l**3 + 5*l**2 + l + 7. Let u be p(-5). Let s be ((-177)/(-6) + -2)*u. Suppose s = o + 22. Is 11 a factor of o?
True
Let i be (-12)/7 - (-2)/(-7). Let j be i/3 + (-147)/9. Let a = j + 30. Does 13 divide a?
True
Suppose 0 = m - 4*l - 113, 1 - 21 = -5*l. Is 24 a factor of m?
False
Let z(u) = -2*u**3 - 2*u**2 + 1. Is 3 a factor of z(-2)?
True
Suppose -4*p = -78 + 18. Suppose -r + 5 = -p. Does 17 divide r?
False
Let n = 2 + 3. Suppose -c =