x?
True
Let x(u) = u**2 + 7*u + 9. Let n be x(-8). Is 15/20 + n/4 a multiple of 5?
True
Let d(i) = -i + 17. Let k be d(14). Suppose 85 - 13 = k*p. Is p a multiple of 14?
False
Let n(s) = -s**2 + s + 19. Let a be n(0). Let k = 24 - -5. Let x = k - a. Does 10 divide x?
True
Suppose 5*q - 3*q - 10 = 0. Is 3 a factor of ((-7)/(-2))/(q/10)?
False
Suppose 1 = -4*r + 5. Let g(w) = 14*w**3 + w. Is g(r) a multiple of 9?
False
Let w(k) = -k**3 + k**2 + 8. Let h be w(0). Let d be (6/8)/(2/32). Let m = h + d. Is m a multiple of 12?
False
Suppose 2*l + 5*z = 114 + 21, -4*z + 240 = 4*l. Does 6 divide l?
False
Suppose 5*l = -87 + 312. Does 15 divide l?
True
Let w(l) = l**3 - 10*l**2 - l + 12. Let n be w(10). Suppose 0*p - 4*p - 8 = 0. Does 16 divide n*(p - (3 - 25))?
False
Let f(n) = -n + 10. Let d be f(-10). Suppose -m + 6 = -3*r, m - 26 = -5*r + d. Is 9 a factor of m?
False
Let s(c) = -c**3 + 8*c**2 - 5*c + 6. Suppose -g = -0*b - 3*b + 25, -3*b - 4*g + 5 = 0. Is s(b) a multiple of 10?
True
Is 5 a factor of 27 + 1 + -2 + (-4 - -1)?
False
Suppose 8*x - 300 = 2*x. Is x a multiple of 18?
False
Suppose 0*f = -f + 54. Suppose f + 16 = 5*d. Is 14 a factor of d?
True
Suppose -n = 3*p + n - 21, 4*p - 5*n - 28 = 0. Suppose -2*q - 100 = -p*q. Is q a multiple of 10?
True
Suppose 3*s - 5*s + 8 = 0. Let d be (-10)/1*(-2)/s. Suppose 0 = d*t - 301 + 101. Does 20 divide t?
True
Let a(j) = j**2 - 1. Let d(v) be the second derivative of v**4/3 - v**3/6 - v**2/2 - 3*v. Let s(q) = 5*a(q) - d(q). Is s(3) a multiple of 4?
True
Let p = -8 + 1. Does 2 divide (-61)/(-7) + (-2)/p?
False
Suppose -642 = -4*x - 2*y, -3*x + 481 = -3*y + 4*y. Is 20 a factor of x?
True
Let z = -54 - -79. Does 12 divide z?
False
Let q be (-25)/(-3) + (-2)/(-3). Let b(r) = r**3 - 9*r**2 - 5. Let a be b(q). Let h = a - -8. Does 3 divide h?
True
Let l be -1 - ((-9)/3 + 1). Is 15 a factor of (0 - (l + 18))*-1?
False
Let x(j) = j**3 - 8*j**2 + 6*j + 4. Let m(d) = -d**3 + 8*d**2 - 7*d - 3. Let p(q) = -3*m(q) - 2*x(q). Let g be p(7). Is 2 a factor of 6/g*30/3?
True
Suppose 4*a - 18 = a. Let m(b) = -2 - b + 12 - 3*b + 3*b. Is 2 a factor of m(a)?
True
Suppose -3*k = -5*l + 24, 2*k - 2*l + 9 = k. Is 13 a factor of k/9*-3 - -20?
False
Is 20 a factor of 4 + -2 + (-100)/(-2)?
False
Is -1 + 1 - 0 - 42/(-2) a multiple of 12?
False
Suppose 2*n - i = 2 + 6, -5*n = 5*i - 5. Is 1 + -1 - (-19 - n) a multiple of 11?
True
Is 7 a factor of (-2093)/(-39) + 2/(-3)?
False
Let l = 98 + -66. Does 16 divide l?
True
Let b be 0/(3 + (-3 - -1)). Does 24 divide (b - 48)/(6/(-9))?
True
Suppose 0 = -3*k - 8 + 44. Does 6 divide k?
True
Let f(l) = 12*l + 1. Suppose -3*u + 20 = 2*u. Let j(c) = -c**3 + 3*c**2 + 5*c + 1. Let n be j(u). Does 18 divide f(n)?
False
Let c = -5 + 14. Let n = c - 5. Suppose -2 = -2*o - 4*z, -z - 24 = -n*o - 4*z. Does 7 divide o?
False
Let r(s) = -8*s - 12. Is r(-19) a multiple of 37?
False
Let g = -11 + 10. Is g*(48*-1 - -4) a multiple of 11?
True
Let v be (-186)/(6/(-3))*-1. Let x = -57 - v. Does 11 divide x?
False
Suppose 4*h + 0*h = 32. Let o = 1 - h. Let f = o - -26. Does 7 divide f?
False
Suppose 2*y + 1270 = 7*y + 3*x, 5*x - 778 = -3*y. Is y a multiple of 29?
False
Let j(o) = 3*o - 1. Let y be j(1). Suppose y*g - 6 = -g. Suppose 5*u = 3*t + g*u - 39, 0 = 2*t + 2*u - 46. Does 6 divide t?
True
Let d(v) = -v**2 - 4*v + 2. Let h be d(-4). Let p = 6 - h. Suppose -16 = -4*c, -2*c = -2*i + i + p. Does 12 divide i?
True
Suppose 4*k + 4*v - 32 = 0, k = -3*v - 0*v + 4. Is 3 a factor of k?
False
Let k(t) = t**3 - 3*t**2 - 3. Let f be k(3). Let h be f/3*(6 - -1). Does 14 divide (-1390)/(-35) - 2/h?
False
Let z = -2 + 2. Suppose z = -4*p - h + 289 + 91, 0 = -p + 3*h + 95. Suppose -3*f + p = 2*f. Does 13 divide f?
False
Suppose -3*u - 2*u - 45 = -5*d, 0 = 4*d - 2*u - 30. Let f = d - -17. Suppose q - f = 21. Does 22 divide q?
True
Let c(w) = w**2 - 2. Let s = -5 + 11. Does 21 divide c(s)?
False
Is 9/(-27) + (-302)/(-6) + -1 a multiple of 7?
True
Let w(z) = -z**3 + 3*z**2 + 5*z - 3. Let u(v) = v**3 - 6*v**2 - 8*v + 10. Let x be u(7). Does 3 divide w(x)?
True
Suppose -5*m + 13 = -12. Suppose 0*g + 5 = 4*g + m*x, x = -2*g + 7. Does 5 divide g?
True
Let a(d) = -d**2 + 5*d - 2. Let w be a(2). Suppose -p = -w*p + 57. Does 10 divide p?
False
Suppose -w + 3 = 4*i + i, 28 = 3*w - 4*i. Is 2 a factor of w?
True
Let w be (-12)/(-30) + (-2)/5. Suppose -2*m + 12 = -w. Is m a multiple of 4?
False
Suppose 55 = 3*f + 2*f. Is f a multiple of 3?
False
Let v(c) = c**3 + 13*c**2 + c - 66. Does 16 divide v(-10)?
True
Let n(h) = h - 2. Let k be n(0). Let a = k - -2. Suppose -5*b + 40 + 105 = a. Is 13 a factor of b?
False
Let t = -6 - -156. Is 25 a factor of t?
True
Let h be 2/4*(0 + -30). Let w be -2*5*h/(-6). Let d = 35 + w. Is 10 a factor of d?
True
Let o = 1 - 4. Is o + (0 + 19 - -3) a multiple of 19?
True
Let l be 0 - -4 - (-7 + 5). Let i be l/27 + 897/(-27). Let r = -15 - i. Does 11 divide r?
False
Suppose -275 = -3*d + 190. Does 35 divide d?
False
Let j be 2 + 0*(-1)/3. Let g = j - -1. Suppose -g*r = -0*r - 54. Is 9 a factor of r?
True
Suppose 0*d = -2*d + 6. Suppose 5*v = 3*v - 4*c + 66, d*c - 132 = -4*v. Is 10 a factor of v?
False
Suppose y = s - 4, -5*s + y = -13 - 7. Suppose -3*d - 2*k + 3 = k, -4*k = -s. Let j = 5 - d. Is 2 a factor of j?
False
Let f(k) = -k - 5. Let o = 4 + -8. Let v be f(o). Is 26/3 - v/3 a multiple of 8?
False
Let m = 9 - 4. Does 3 divide 2/m - 28/(-5)?
True
Suppose 4*d = d + 6. Let u(s) = -s**3 + 2*s**2 + 2*s - 2. Is u(d) a multiple of 2?
True
Let m = 73 - 39. Let p = 43 + m. Let w = p + -48. Does 12 divide w?
False
Let x = 68 - 48. Does 6 divide x?
False
Suppose -7 = -i - 2. Let m be ((-8)/(-10))/(8/20). Suppose m*h - h - i*j = -8, -5*h = j - 38. Is h a multiple of 7?
True
Suppose -3*h - 15 = 4*a, 12 = 3*a - 3*h - 3. Suppose a = -o - o + 30. Does 8 divide o?
False
Let s(m) = -1 - 10*m + 0*m - 4. Is s(-4) a multiple of 21?
False
Let i(r) = -r - 7. Let w be i(-9). Suppose q + 5*a = 23, 4*q = w*q + a + 57. Is 7 a factor of q?
True
Let u = -13 - -23. Suppose -3*m + d + u + 30 = 0, 25 = 3*m - 4*d. Is m a multiple of 5?
True
Suppose -5*d - 11 + 36 = 0. Is d a multiple of 5?
True
Let g(f) = 4*f - 8. Let c be g(7). Suppose 3*h - 16 = c. Is h a multiple of 4?
True
Let k be 4/7*21/6. Suppose 0 = 3*m - a - 4, 0 = -a - k + 4. Is m a multiple of 2?
True
Suppose p - 1 - 3 = 0. Suppose -4*i + 2*c = -6, i - p*i = -5*c - 1. Suppose -i*f = 3*f - 140. Does 13 divide f?
False
Suppose 64 - 4 = 2*t. Suppose -t = -5*a + 10. Is a a multiple of 4?
True
Let k = 195 - 123. Does 14 divide k?
False
Let x(u) = -u**3 - 7*u**2 + 4*u - 11. Let z be ((-8)/3)/((-5)/(-15)). Is x(z) a multiple of 15?
False
Let c = 31 + -19. Suppose 2*g - 69 + c = -d, d + 4*g = 67. Is 19 a factor of d?
False
Let i be 4/6 + (-11)/3. Let h(k) = -k**2 - 3*k + 2. Let f be h(i). Is 6 a factor of (-61)/(-5) - f/10?
True
Let w(x) be the first derivative of 2*x**2 - 9*x + 2. Let i be w(6). Is 4 a factor of (-3)/i + (-41)/(-5)?
True
Let b = 16 + -10. Let c(n) = n**3 - 4*n**2 - 7*n - 7. Let t be c(b). Let v = -7 + t. Is 8 a factor of v?
True
Suppose -r + 13 = -2. Is 12 a factor of ((-6)/(-5))/(r/550)?
False
Let y(g) = g - 6. Let j be y(10). Is 4 a factor of j/(-2) - (-8 - 0)?
False
Suppose 240 = 4*f - 0*f. Is 30 a factor of f?
True
Suppose -16 = -2*d + 122. Is d a multiple of 30?
False
Suppose 0*t - 4*t + 544 = 0. Suppose 0*b = -2*b + t. Does 20 divide b?
False
Suppose -f + 4*y = -12, 2*y + 73 - 25 = 2*f. Does 14 divide f?
True
Suppose -5*a + 18 = 2*f, -4*a - 3 = -f - 7. Let r = 4 + f. Suppose -4*p - 120 = -r*p. Is 10 a factor of p?
True
Does 21 divide (11/((-55)/(-30)))/(6/21)?
True
Suppose 166 = 6*t - 194. Is t a multiple of 12?
True
Let m = 2 + 5. Let i = m + -3. Does 2 divide i?
True
Suppose -142 = -3*q + 4*g, q + 3*g = 15 + 15. Does 21 divide q?
True
Suppose -12*j + 1856 - 200 = 0. Is 9 a factor of j?
False
Let j be (2 + 2 + -4)/(-2). Let c(y) = y**3 + y**2 - y + 5. Let l be c(0). Suppose -l*d + j*d = -80. Is 8 a factor of d?
True
Suppose -2*b + k = -6*b + 267, 0 = 5*b + k - 333. Is 5 a factor of b?
False
Let x = 7 + -4. Suppose 110 = 2*a + x*a. Does 11 divide a?
True
Suppose -4*q - 4 = -2*b - 2*q, -5 = -4*b + 5*q. Suppose 0 = -5*h + 3*t + 44, 2*h + 0*t - 29 = b*t. Suppo