se
Suppose -13 = -5*s + 2. Suppose s*u + u = 92. Does 10 divide u?
False
Let s(x) be the first derivative of -x**2/2 + 23*x - 1. Suppose 7*t - 4*t = 0. Does 9 divide s(t)?
False
Let s(q) = 15*q**3. Let a = -7 - -8. Does 9 divide s(a)?
False
Let v(g) = 6 + 4*g - g**2 + 0*g**2 + 2*g**2. Is 6 a factor of v(-6)?
True
Suppose -3*p - 2*x - x = 12, 0 = -2*p + 4*x + 16. Let n be (6 - p)/((-4)/6). Is -18*-1*(-21)/n a multiple of 21?
True
Let q(p) be the first derivative of -p**4/4 - 2*p**3/3 + p**2 - p + 2. Let z be q(-3). Suppose 5*d - z*m - 32 = 0, 0*d = 5*d + 5*m - 60. Does 4 divide d?
True
Suppose h + 2 = 5. Let i be (-53 + 2)*1/h. Does 11 divide -3 + i/(-1) - 3?
True
Let g be (2 - 84)*(-5)/10. Suppose -5*m = -g + 6. Is m a multiple of 5?
False
Let m = 1 - -1. Suppose -3 = -m*s + 3. Suppose -s*n + 42 = -36. Does 14 divide n?
False
Suppose 2*n - 3*v - 87 = 0, 3*v - 162 = -5*n + 3. Does 9 divide n?
True
Let i be 2/(21/18 - 1). Suppose 5*d - h = 3*h + 47, 3*d + 3*h - i = 0. Suppose b + 5*y = 44, -32 = -3*b - 2*y + d*y. Is 5 a factor of b?
False
Suppose -2*m + 38 = -34. Does 12 divide m?
True
Let c(a) = 197*a**2 - a + 1. Is c(1) a multiple of 11?
False
Is 7 a factor of 909/6*(-2)/(-3) + 4?
True
Let t = 47 - -52. Does 18 divide t?
False
Suppose 5*d = 4*n + 772, -d + 5*n - 634 = -5*d. Does 26 divide d?
True
Let f be (-1*9 + 1)/1. Let a be ((-2)/3)/(f/60). Suppose -10 = -5*h, 50 = a*k - 4*h - 2. Does 12 divide k?
True
Suppose -3*w - 15 = 0, 2*l - 4*w + 182 = -8*w. Is 10 a factor of 3 - 1*l/3?
True
Suppose 5*a - 18 - 51 = 2*b, 5*a - 60 = 5*b. Is 3 a factor of a?
True
Let q be 1/((1/5)/1). Suppose 2*k + 2*r = 64, r = q*k - 49 - 117. Suppose -3*w + 4*j + 51 = 0, 3*w - 4*w + k = 4*j. Is w a multiple of 8?
False
Let n = 4 + 1. Suppose 0*q = -2*t - 2*q + 126, 0 = n*t + 3*q - 307. Is t a multiple of 16?
False
Let w = 9 + -6. Suppose -x = -0*x + w. Is 22 a factor of (1/x)/(3/(-198))?
True
Suppose 3*t = 5*t - 60. Let s = t + -17. Is s a multiple of 13?
True
Suppose -5*n + 38 = 2*j - 41, -38 = -2*n - 4*j. Does 10 divide n?
False
Let v be (-14)/(-3) + 8/(-12). Suppose v*x = -0 + 4. Does 8 divide (7 - x)*(-32)/(-12)?
True
Let t(u) be the second derivative of -u**3/6 + u**2/2 - 3*u. Is 4 a factor of t(-12)?
False
Suppose -u - 12 = -2*k + u, 5*u = -4*k + 60. Let f be (-4)/k - 16/10. Does 7 divide f/(-3)*99/6?
False
Suppose 3*p = 5*o - 2, -2*o + 0*p = 3*p + 16. Does 12 divide (-1)/o - (-142)/4?
True
Let z = -4 + 12. Is 4 a factor of z?
True
Let a = -42 - -62. Let j = a - 8. Suppose -y + j = -4*w, -y + 2*w + 118 = 3*y. Is y a multiple of 14?
False
Suppose 0*f + 3*f = 285. Suppose -3*p - f + 11 = 0. Is 12 a factor of (-8)/p - 486/(-14)?
False
Does 47 divide (-94 + 5)/(4/(-12)*1)?
False
Let s = -47 - 59. Let l = 47 + s. Let u = -31 - l. Is u a multiple of 13?
False
Let c(z) = -z + 17. Let x be (-3)/(-6)*0/(-3). Is c(x) a multiple of 3?
False
Suppose 12 = 3*b + 3. Suppose -b*o = -4*o + 22. Is o a multiple of 11?
True
Suppose d + 8 + 17 = u, 4*d - 5 = -u. Is u a multiple of 7?
True
Let l(q) = q**2 - 4*q. Suppose 0 = 3*n - 0*n + 18. Is l(n) a multiple of 30?
True
Let o(b) = -5*b**3 - 2*b**2 + 3*b + 3. Let f = -6 - -4. Is 10 a factor of o(f)?
False
Suppose n - 3*n = -16. Suppose 5*u - 2*l - 14 = 0, 5*u - l = -2*l + n. Is 2 a factor of u?
True
Suppose 3*c + 5 = -2*c + 3*h, -2*h - 4 = 4*c. Let s(f) = 1. Let i(u) = -u**2 + 2*u + 7. Let n(p) = c*i(p) + 2*s(p). Is n(-5) a multiple of 12?
False
Let i be (-4)/(-2 - (-5)/3). Let c be (26/3)/(4/i). Let x = 54 - c. Does 15 divide x?
False
Suppose -9*x - 715 + 2317 = 0. Does 43 divide x?
False
Is 24 a factor of 18*(1 - 51/(-9))?
True
Let i = 1 + -2. Let f be (i - 2)*(-5)/15. Does 4 divide 2 + f + 4/2?
False
Let a(d) = -d**3 + 8*d**2 - 6*d - 6. Suppose -3*z + 38 = 5*m, -3*z + 24 = -2*m + 5*m. Let i be a(m). Let x = i + 45. Is x a multiple of 16?
False
Suppose -4*h + 7 = -5. Suppose 87 = 3*o + 5*j - 14, o - 27 = -h*j. Does 18 divide o?
False
Let x be -1*1 + (-2)/2. Let j = 22 - x. Suppose -j = -b - 2*b. Is 4 a factor of b?
True
Suppose 3*g - n = 2*g - 55, 5*g + 280 = 4*n. Let o = g + 90. Does 15 divide o?
True
Let v be 0 - 1/(2 + -1). Let l(k) = 10*k**2 + k + 1. Let i be l(v). Does 4 divide ((-6)/(-5))/(3/i)?
True
Let q(z) = 2*z**2 + 7*z - 4. Suppose 2 = 3*f + 5*w + 39, -2*f - 4*w - 28 = 0. Let a be (-7 - 2)*f/(-6). Does 13 divide q(a)?
True
Suppose w = -w - 14. Let u(y) be the first derivative of -y**2/2 + 4*y + 2. Does 7 divide u(w)?
False
Let h(n) = -6*n + 2. Let g be h(6). Let u be (-2)/6 + g/6. Let p(l) = -l**3 - 4*l**2 + 5. Does 27 divide p(u)?
False
Let w(g) = -62*g - 26. Is 23 a factor of w(-3)?
False
Let w(i) be the first derivative of 25*i**3/3 - i**2/2 + 1. Suppose -2*d - 2*d - 4 = 0. Is w(d) a multiple of 13?
True
Suppose -12 = -3*a + 2*c + 33, 5*a = -2*c + 59. Is a a multiple of 9?
False
Let l(z) = -z + 4. Is 8 a factor of l(-12)?
True
Suppose 0 = -4*j - 0*j - 8. Let m be j/(-4)*(1 + -1). Suppose a - 23 = -m*a. Is a a multiple of 11?
False
Suppose 6*b = b - 10. Let m be (b/3)/(6/(-9)). Does 10 divide m/(-2 - -3) - -10?
False
Does 4 divide (4/(-3))/(14/(-210))?
True
Suppose -2*x + z + 327 + 340 = 0, 4*x + 4*z = 1364. Suppose -r + 5*r = x. Let f = 122 - r. Does 19 divide f?
True
Let c(n) = 6*n**3 - n**2. Let r be c(1). Suppose 5*v = -3*f + 42, 0 = -f + 6*f + r*v - 80. Let i = f + -7. Is i a multiple of 6?
True
Let d = 19 + -13. Let a = -3 - -2. Let k = a + d. Is 3 a factor of k?
False
Let f(u) = -4*u**3 + 7*u**2 + 11*u - 3. Let z(d) = 5*d**3 - 7*d**2 - 12*d + 2. Let t(k) = 4*f(k) + 3*z(k). Let j be t(8). Is 23 a factor of -33*4/j + 1?
True
Let y(g) = 2*g**3 - g**3 - 3 + 3*g - 2*g**3 + 2*g**2. Let h be y(2). Suppose -43 = -5*o - 18, -5*d - h*o + 215 = 0. Is d a multiple of 20?
True
Suppose 7 = 4*g + 3*s + 2, -g = 5*s - 14. Is (-2 - 2)/(g/2) a multiple of 8?
True
Let k = -124 + 188. Is 8 a factor of k?
True
Suppose -98 = -6*i + 4. Is 17 a factor of i?
True
Suppose -5*u + 3*u = -4. Is 53 - ((-1)/(-1) - u) a multiple of 16?
False
Suppose -402 = -4*j - 3*v, 4*v - 6*v + 200 = 2*j. Does 6 divide j?
True
Let m be (3*2)/(3 - 1). Suppose m*d - 51 + 0 = 0. Does 11 divide d?
False
Let w be (-2)/(-2*(-2)/(-416)). Is 14 a factor of (-14)/(-35) + w/5?
True
Let s(x) = 4*x - 1. Is s(4) even?
False
Let w(s) = s**3 - 16*s**2 + 16*s + 3. Is 9 a factor of w(15)?
True
Let z be ((-6)/(-4) + 0)*2. Suppose -50 - 25 = -z*y. Let b = y - 5. Is b a multiple of 16?
False
Suppose 0 = -10*m + 415 + 365. Is m a multiple of 18?
False
Let p(y) = 2*y**2 + 3*y + 1. Let f be p(-2). Is 17 a factor of 1/(f/243*3)?
False
Suppose 5*k - 140 = -5*p, 4*p + 56 = 4*k - 2*k. Does 7 divide k?
True
Let y = -10 + 5. Let t be 12/10*y/(-2). Suppose 3 = -s + 3*q + 14, -t*q + 3 = 0. Does 7 divide s?
True
Let q be (6/(-2) - -73)*1. Suppose 4*l - q = -l. Does 14 divide l?
True
Let a = -90 + 145. Is 55 a factor of a?
True
Suppose 7 = -5*y + 147. Is 5 a factor of y?
False
Let g = 38 + -6. Suppose 5*p = -4*d + 2*d + g, 3*p + 6 = 3*d. Is 6 a factor of (d/8)/((-6)/(-120))?
False
Let j(u) = u**2 - 3*u + 7. Does 25 divide j(6)?
True
Suppose -l + 3 = 1. Suppose q + 10 = l*x + 4, 3*q = 4*x - 12. Is 3 a factor of x?
True
Let g(b) = 6*b**2. Let m be g(-1). Suppose -5*a + 21 = m. Suppose y + a*q - 42 = -2*y, -5*q - 92 = -4*y. Is y a multiple of 7?
False
Suppose 5*f - 2*i + 7*i - 15 = 0, -2*f + 5*i + 13 = 0. Suppose 17 = f*a - 51. Is 8 a factor of a?
False
Suppose 5*w = -11 - 24. Let h(n) = n**3 + 9*n**2 + 12*n - 6. Is h(w) a multiple of 2?
True
Suppose 0 = -4*d + 5*w + 36, d + 2*w + 3 = -1. Is d a multiple of 4?
True
Suppose -5*b + 0*b + 18 = -x, -5*x - 6 = 3*b. Does 3 divide b?
True
Let v(f) = -5*f - 6. Let n(b) be the first derivative of -b**3/3 + 9*b**2/2 + 13*b + 3. Let y(c) = -2*n(c) - 5*v(c). Does 19 divide y(-5)?
True
Suppose -3*a - 14 = -2*w - a, -2*a = 4. Suppose w*l = 239 - 4. Is l a multiple of 18?
False
Let f = 57 - 33. Does 24 divide f?
True
Let o(p) = 3*p**2 + 6*p - 7. Does 7 divide o(3)?
False
Suppose 2*a + 3 = 31. Let u = 30 + -19. Suppose 0 = -5*x + a + u. Is x a multiple of 4?
False
Does 15 divide -9*(2 + (-44)/21)*35?
True
Let p = -1 - -58. Is 19 a factor of p?
True
Let a(x) = 37*x - 5. Let k be a(5). Suppose 6*i = i + k. Suppose 2*c - i = 2*g, -3*c - 2*g + 59 = -0*g. Is c