lse
Let g(w) = -104*w - 60. Is 21 a factor of g(-3)?
True
Let v(i) = 8*i**2 - 9*i + 36. Suppose 11 = 3*r - 4. Does 30 divide v(r)?
False
Let r be (-3 + 2 - 1)*26. Let p = r + 83. Is 4 a factor of p?
False
Let m = 62 + -7. Let d = 74 - m. Is d a multiple of 7?
False
Let l be 27/4 - 5 - 1/(-4). Suppose 4*g = -l*o - 3*o + 221, g = -2*o + 89. Is 17 a factor of o?
False
Let w = 10 - 2. Suppose -y = w*y - 1017. Does 10 divide y?
False
Let h(x) be the first derivative of 13*x**4/24 - 2*x**2 + 2. Let y(a) be the second derivative of h(a). Is y(2) a multiple of 12?
False
Let l be 104/12*(-9)/(-6). Suppose -58 = 3*r - l. Is 18 a factor of (-4)/10 - 906/r?
False
Suppose 0 = 2*l - 10, 0 = -0*a - a + 5*l - 25. Suppose a = 5*x - 8*x + 291. Is 13 a factor of x?
False
Suppose 17*x - 14*x - 117 = 0. Is x a multiple of 8?
False
Does 52 divide 93616/40 + (-18)/(-5) + -4?
True
Let a = -212 + 519. Is 21 a factor of a?
False
Suppose -2*r - 5*j = -182, 5*r - 2*j - 165 - 232 = 0. Is r a multiple of 27?
True
Suppose -8*y + 10325 = -459. Is y a multiple of 111?
False
Let o = 260 + -182. Is 4 a factor of o?
False
Let f = -34 - -42. Does 23 divide ((-4)/f)/(3/(-690))?
True
Let z(y) = 1. Let k(v) = 3*v - 4. Let s(i) = -2*k(i) + 6*z(i). Is 7 a factor of s(-7)?
True
Suppose -c = -0*c. Suppose -4*j = -2*j + 5*t, -j - 2*t + 1 = c. Suppose y + 0*y = 0, 5*y - 165 = -j*h. Is 7 a factor of h?
False
Let d be 6/(-9)*(-282)/(-4). Let a = 10 + d. Let u = 56 + a. Is u a multiple of 6?
False
Suppose -3 + 10013 = 14*r. Is 35 a factor of r/4 - (9 - 7)/(-8)?
False
Is (212/24 - 8)*1050 a multiple of 5?
True
Let v(w) = -w**3 - 10*w**2 + 10*w - 7. Let g be v(-11). Suppose -4*i = g*y - 336, 245 = 3*y - i - 7. Is y a multiple of 14?
True
Suppose 3*t + 270 = 2*j, 2*t = -j - 3*t + 161. Suppose -3*p + 186 = -j. Is 15 a factor of p?
False
Let o be 0 + (8 - 2)/2. Is 30 a factor of -4 + (-4 - -117 - o)?
False
Is 3*(374/18 + 16/(-144)) a multiple of 31?
True
Suppose 260 = -4*v + g, -2*g + 7*g = -3*v - 195. Let h = v - -127. Is h a multiple of 8?
False
Let l = -52 - -23. Let q = -168 - -186. Let g = q - l. Is 8 a factor of g?
False
Let y(r) = -9*r + 34. Let f(t) = -5*t + 17. Let h(x) = 5*f(x) - 2*y(x). Is h(-5) a multiple of 26?
True
Let y = 414 + -318. Does 8 divide y?
True
Let d = -6 - -11. Suppose -5*r = -d*u + 5, -u - 6 + 1 = -3*r. Suppose 0 + r = h. Is h a multiple of 3?
True
Suppose 5606 = 16*r - 10778. Is 14 a factor of r?
False
Suppose 5*a = -5*k + 5, -5*a + 9 = 3*k - 2. Suppose 2*u = 4*h + 164, -17 = u - 4*h - 109. Suppose -2*w + 0*w + a*f = -44, -3*w + u = -4*f. Is 12 a factor of w?
False
Suppose 8*w + 3978 = 11*w. Is w a multiple of 16?
False
Let v(f) = -3*f**3 - 56*f**2 + 3*f + 21. Is 11 a factor of v(-19)?
False
Let q = -6331 - -10681. Is 29 a factor of q?
True
Let h(v) be the second derivative of v**4/4 - v**3/3 + v**2/2 - 7*v. Let z be h(1). Suppose 0 = 3*g - z*a - 257, -6*a + a = -10. Is g a multiple of 28?
False
Suppose 0 = -4*h + 731 + 1825. Is 23 a factor of h?
False
Let b = 47 + -51. Does 32 divide 3/b - 2233/(-44)?
False
Let v be ((-6)/(-18))/(1/(-111)). Let z = v - -190. Is 14 a factor of z?
False
Let u(n) = -2*n**3 + 2*n**2 + n. Let o be u(-1). Suppose 2*c + 143 = o*i, 6*c - 66 = -i + 3*c. Is 19 a factor of i?
False
Is (-2)/(2*5/(-30)) a multiple of 6?
True
Let l(c) = c**3 - 4*c**2 - 4*c + 7. Let w be l(5). Suppose -5*i + 22 = 4*f, -4*f - 3*i + 20 - 2 = 0. Is w - ((5 - f) + 0) a multiple of 3?
False
Suppose 4 = i, -5*p - 3*i + 0 = -2262. Is p a multiple of 36?
False
Suppose 0 = -2*i - 5*d - 10, 3*i + 28 = 4*d - 10. Let n = i + 21. Does 4 divide n?
False
Let m = -249 - -254. Suppose -5*z + 13 = -2*n, -2*n + n + 1 = 0. Suppose p = -3*d + d + 58, 0 = -m*p - z*d + 255. Does 12 divide p?
True
Suppose -2*n + 0*l = -3*l - 815, -5*n + 2015 = -3*l. Suppose 2*k - 4*k = 5*q - n, -2*k + 400 = 4*q. Does 11 divide k?
False
Let h(r) = 5*r**2 + 4*r - 8. Let p be ((-4)/6)/(2/(-54)). Let j = 14 - p. Does 28 divide h(j)?
True
Let l = 16 + -12. Let i(k) = 5*k**2 + k - 5. Let q be i(l). Let a = -51 + q. Is a a multiple of 9?
False
Let v(d) = -d**3 - 2*d**2 + 2*d + 1. Let c be v(-2). Let j = -1 - c. Suppose -4*o - 64 = -j*z, 0 = -4*z + 2*o - 56 + 208. Is 10 a factor of z?
True
Let o = 85 - 5. Is 20 a factor of o?
True
Let v(u) = -u**2 - 6*u - 5. Let w be v(-6). Is 2 + (81 - w/5) a multiple of 42?
True
Let j(i) = 2*i**2 - i + 5. Let o be j(-3). Suppose -q - 5*h + 82 = 0, -2*h - 49 = -q + o. Is 4 a factor of q?
False
Suppose -3*q + r - 427 = 0, -2*r + 203 = -3*q - 222. Let z = -127 - q. Is z a multiple of 2?
True
Suppose 0 = -2*w + 3*b + 6, -2*b - b = 2*w - 6. Suppose 5*p = -3*c + 297, 0 = -3*p - c + w*c + 182. Does 11 divide p?
False
Is 3 a factor of 4/(44/669) - (-18)/99?
False
Let p(i) = 3*i. Let y be p(4). Let m be ((-9)/y)/((-2)/8). Is (70/3)/(1/m) a multiple of 29?
False
Let y = 336 - 234. Let x = 153 - y. Does 17 divide x?
True
Let m be 12/5 - 6/15. Let j(q) = m*q - 2*q - 2 + 2*q - 1. Is 7 a factor of j(11)?
False
Suppose -9*z = -5*z - 292. Let s = -5 + z. Does 18 divide s?
False
Let z(t) be the second derivative of -3*t + 2/3*t**4 + 2*t**3 - 1/20*t**5 - 6*t**2 + 0. Is z(9) a multiple of 15?
True
Suppose 5*f + 5*s + 1933 - 7188 = 0, -3*f = s - 3153. Suppose 0 = 4*k + d - 1136, 5*d - 369 - f = -5*k. Is 14 a factor of k?
False
Let t = -121 + 14. Let j = t + 58. Is 12 a factor of (-1257)/(-21) + (-7)/j?
True
Let v(p) = p**3 - 21*p**2 + 44*p - 14. Suppose 0 = -z + 12 + 7. Does 33 divide v(z)?
False
Let q = 50 + -6. Is 4 a factor of q?
True
Suppose 68 = 6*n - 58. Is 7 a factor of 0 + (3 - 3) + n?
True
Let r(c) = -5*c**3 + 5*c**2 + 10. Let k(q) = -11*q**3 + 9*q**2 + q + 21. Let o(b) = -4*k(b) + 9*r(b). Let i = 1 + 6. Is o(i) a multiple of 31?
False
Does 21 divide (-1 + -27)*-12*2/4?
True
Let c = 3648 - 2172. Is 41 a factor of c?
True
Suppose -24*x = -3140 - 4780. Is x even?
True
Let t(v) = 4*v**2 - 15*v + 4. Let d be t(-7). Suppose 5*r - d = -u - 4*u, -u - 69 = -r. Does 4 divide r?
False
Let h = 348 - 292. Is h a multiple of 4?
True
Suppose 0 = 3*q + 9, -2*g + 2*q = -216. Suppose -g = -4*o + 51. Let a = -24 + o. Is a a multiple of 10?
False
Suppose -5*n + 34 = 2*v, -3*v + 4*n - 15 + 89 = 0. Suppose -k + d = -0*d - v, 0 = -4*d - 16. Is 6 a factor of k?
True
Let m(f) = f**2 + 2*f - 6. Is 22 a factor of m(-18)?
False
Is (-2)/(-4) - (24705/(-10))/9 a multiple of 55?
True
Suppose 3 = -4*x - 5*j - 0, x = -5*j + 3. Let r = x + 23. Suppose 75 = -16*g + r*g. Is g a multiple of 4?
False
Suppose 0 = 3*i - 1206 - 771. Suppose -2*s = s + d - i, -5*d = -3*s + 629. Is s a multiple of 9?
False
Let x be (-10)/(-45)*9 - (1 + -66). Suppose -2*f = -4*f + 4. Suppose -f*w + x = -41. Is w a multiple of 27?
True
Does 81 divide (1458 - 0)/(27 + -17 - 9)?
True
Let a be 3/5 - (-384)/10. Suppose 3 = -2*x + a. Does 9 divide x?
True
Let i(f) = f**3 - 6*f**2 + 4*f + 5. Let j be i(5). Suppose -4*q - 122 + 482 = j. Is q a multiple of 8?
False
Suppose -3*c = 4*g - 15 - 13, 2*c + g = 22. Does 17 divide (c/18)/((-1)/(-51))?
True
Suppose -4*h + 20 = -0*h. Suppose -5*i + 53 = -3*a + 370, -79 = -a - h*i. Is 11 a factor of a?
True
Suppose 88*q = 82*q + 4602. Does 16 divide q?
False
Let w(x) = x**2 + x. Suppose 3*q - 3*v - 39 = 0, q - 2*v + 4*v = 13. Is 10 a factor of w(q)?
False
Suppose 0 = 3*d - 5*d - 10. Let w be 4 + (d - -4) - 0. Suppose 0*p + w*p - 99 = 0. Is p a multiple of 11?
True
Let b(a) = 87*a**2 - 2*a + 8. Let k be b(3). Suppose 0 = -0*o - 3*o + 5*y + 495, 0 = 5*o + 5*y - k. Is o a multiple of 16?
True
Let f(r) = 174*r**3 + r**2 - 5*r + 5. Is 7 a factor of f(1)?
True
Suppose -70*q + 428 = -66*q. Let j = 162 - q. Does 6 divide j?
False
Let m be 0/(5 + (-6)/2). Let k(w) = w + 3. Let a be k(m). Let r = 8 - a. Does 4 divide r?
False
Suppose 2*t - 360 = 2*p, 0*t = 5*t + 5*p - 900. Does 20 divide t?
True
Is 51 a factor of (-30)/4*(-136)/5?
True
Let m(q) = -4*q + q + q - 9 - 4*q**2 - 2*q**3. Let o be m(-6). Suppose o - 66 = 5*n. Does 24 divide n?
False
Let s = 45 - 28. Suppose -c + 13 = -s. Let u = -14 + c. Is 8 a factor of u?
True
Let r = -7594 + 10712. Is r a multiple of 14?
False
Suppose -5*y = -z - 4*y + 147, 0 = z + 4*y - 122. Let h = z + -81. Is h a multiple of 11?
False
Suppose 5382 = -6*x + 15*x. Let l = 958 - x. Is 20 a fa