24/(-40) - (-54)/(-15)*-1. Suppose -k = -4*k + 6, 4*k - 203 = -m*y. Is y a multiple of 19?
False
Let l(i) = i**2 + 20*i - 21. Let q(g) = 19*g - 22. Let z(f) = 2*l(f) - 3*q(f). Does 10 divide z(11)?
False
Let o = 61 - 57. Suppose -o*x - 2*q = -216, q = 3*x - 2*q - 153. Is x a multiple of 8?
False
Let o = 393 - -256. Is o a multiple of 59?
True
Is 5005/25 + (4 - 84/20) a multiple of 14?
False
Let b = 36 + 239. Is b a multiple of 25?
True
Let l(s) = -2*s**3 - 10*s**2 + 28*s + 11. Is 35 a factor of l(-11)?
True
Let x(v) = -6*v**3 - 4*v**2 - v - 4. Is x(-8) a multiple of 10?
True
Is 10 a factor of (7220/(-15))/((-2)/3)?
False
Suppose -5 + 34 = l. Let o = 18 - l. Let r = 49 - o. Is r a multiple of 20?
True
Suppose -4*v + 1178 = x - 6*v, -5*v = -5*x + 5870. Is 18 a factor of x?
True
Suppose 4*t + 16 = 6*t. Let l(z) = z**2 - 9*z + 9. Let o be l(t). Let a = o + 9. Is 10 a factor of a?
True
Suppose -6 = -2*x + 2, -4*q = 2*x - 12. Let w be (2 - (4 - q))*1. Let v = w - -5. Is v a multiple of 4?
True
Suppose 3 + 53 = 8*f. Does 7 divide f?
True
Let n(g) = 11*g**2 - g - 5. Let b(x) = 17*x**2 - 2*x - 8. Let p(w) = -5*b(w) + 8*n(w). Is p(4) a multiple of 7?
True
Suppose -35*a + 275366 = 54*a. Is 26 a factor of a?
True
Suppose -u - 10 = -3*p - 3*u, p - 4 = -u. Suppose -p*z + 126 = -z - 2*o, -2*o + 118 = z. Let k = -78 + z. Does 22 divide k?
True
Let w(j) be the first derivative of 4*j**3/3 + 3*j**2/2 + 2*j + 6. Let a be w(-1). Suppose -u - r = -101, 2*u - 3*u - a*r + 107 = 0. Is 15 a factor of u?
False
Let g(y) = -2*y**2 + 199*y - 26. Does 12 divide g(22)?
True
Suppose 0 = 2*a - 3*p - 54, -a - 5*p = -63 + 10. Let r = 133 - a. Does 10 divide r?
True
Suppose a = 4*a - 348. Suppose 3*b = 4*c + 167, 0 = 5*b + 3*c + a - 404. Is b a multiple of 16?
False
Let f be (4 + -1)*(1 + 0). Suppose -f*n + 1 = -5. Suppose 5*b = n*o - 60, 4*o - 2*o + 3*b - 44 = 0. Is o a multiple of 4?
False
Let v(y) = -y**3 + 5*y**2 + 8*y - 8. Let m be v(6). Suppose j + m*c - 109 = 0, -3*j + 5*j + 3*c = 213. Does 35 divide j?
True
Suppose 2*g = b + 3, -2*g = -6*b + 10*b - 28. Is b a multiple of 4?
False
Let f = 38 - 34. Suppose -2*r = -f*z + 2, -3*z - 2*z + 40 = 5*r. Does 6 divide (2*-12)/((-2)/r)?
True
Let a = -847 + 875. Let t = -4 - -7. Suppose t*m - 7*m = -o + 23, -a = -2*o + 2*m. Is o a multiple of 2?
False
Let a = 133 + 1305. Is a a multiple of 6?
False
Let v(u) = 6*u**2 - 5*u - 8. Suppose 8*s + 1 = -23. Is v(s) a multiple of 26?
False
Is 5 a factor of ((-105)/14)/((-9)/12)?
True
Suppose -23*k - 792 + 2632 = 0. Is 40 a factor of k?
True
Let y(b) = -5*b - 2. Let r be y(-2). Let m be ((-12)/r)/((-9)/24). Does 15 divide 64 + -3 - m/2?
False
Suppose -276*o + 120 = -271*o. Is 8 a factor of o?
True
Let b(z) = 12*z - 1. Let u(j) = -4*j. Suppose -f = -5 - 2. Let k(r) = f*u(r) + 2*b(r). Does 10 divide k(-8)?
True
Let y(r) = r**2 - 16. Let n be y(0). Let k be (2 + n/(-2))/(-2). Does 13 divide (-2)/(3 + k) - -57?
False
Suppose -5*s + 62 = 2*z - 55, s - z - 29 = 0. Let h = s - 9. Is h a multiple of 4?
True
Let b(l) = 4*l - l - 20 + 2*l - l. Is 5 a factor of b(9)?
False
Let h(x) = x**3 + 5*x**2. Let s be h(-5). Let y be ((-894)/18)/((-7)/42). Suppose -4*a = i - 295, s*a - 4*a - 2*i = -y. Does 29 divide a?
False
Suppose -r = -18 - 21. Suppose -3*d + d - v = r, -2*v = d + 12. Let n = d + 40. Is n a multiple of 9?
True
Suppose x + 4*t = -3*x + 20, -20 = -2*x - 4*t. Suppose l - 4*q - 13 = x, 6*q = -5*l + 2*q + 17. Suppose l*y = 9*y - 208. Does 13 divide y?
True
Let s be 2 + (-3 - -7 - -49). Suppose 0 = y - 3*v - s, -v + 0*v - 219 = -5*y. Is 6 a factor of y?
False
Let r = -14 - -17. Suppose 60 = -g + r*g. Is g a multiple of 6?
True
Let o(i) = -i**3 + 8*i**2 - 7*i. Suppose 2*a = -2*a + 28. Let s be o(a). Suppose v + 2*z - 35 = 0, 3*z = -4*v - s*z + 120. Is 8 a factor of v?
False
Suppose 4*m = -5*q + 8637, 43*m = 47*m - 3*q - 8629. Does 17 divide m?
False
Suppose a - 2*a + 11 = 0. Let n be 7*7 - (-8 + a). Let x = 76 - n. Is 15 a factor of x?
True
Let u = -110 + 76. Let l = u - -51. Is l a multiple of 17?
True
Let w(v) = 17*v + 90. Is 8 a factor of w(6)?
True
Suppose 3*s - 9 = 21. Is 10 - s - (0 - 22) a multiple of 6?
False
Suppose 0 = -5*s + 993 + 467. Does 19 divide s?
False
Let d = 1219 - 539. Is d a multiple of 8?
True
Let j be 228*1/((-2)/25). Let b be j/65 - 2/13. Let x = -12 - b. Is 16 a factor of x?
True
Suppose -11*f = -13*f + 54. Is f even?
False
Suppose -22*w + 86 = -21*w. Is w a multiple of 27?
False
Let m = 21 + 231. Is 36 a factor of m?
True
Let y = 7 + -15. Let n(h) = -3*h + 15 - 13 - 8 - h**3 - 8*h**2. Does 5 divide n(y)?
False
Suppose -2*j + 4235 = 3*u, -7053 = -u - 4*u + 2*j. Does 15 divide u?
False
Suppose 0 = -25*v + 39401 + 18824. Does 72 divide v?
False
Let z(t) = 12*t + 11. Let d be z(-9). Let p = 119 + d. Is p a multiple of 22?
True
Suppose -3*y = -y - 2, -3*i + 4*y - 28 = 0. Let q(d) = -d**3 - 5*d**2 + 9*d + 39. Does 6 divide q(i)?
False
Let l = 72 - 28. Let s = 54 - l. Is s a multiple of 10?
True
Let n = 11 - 2. Suppose 3*f + 12 = 4*f - 4*b, 5*f = 5*b + 60. Let h = f - n. Is 2 a factor of h?
False
Is ((-18)/8 - -2) + (-16227)/(-108) a multiple of 35?
False
Does 15 divide 6 + (-35332)/(-32) - (-4)/(-32)?
True
Let a(l) = 2 + l**3 + 3 - 3 - l**2. Let u(w) = -w**2 - 7*w - 7. Let p be u(-5). Does 10 divide a(p)?
True
Let u(y) = -y**3 + 8*y**2 + 10*y + 8. Let x(w) = -1. Let z(k) = -u(k) + 2*x(k). Does 18 divide z(10)?
True
Suppose -26 - 170 = -4*x + 3*a, 4*a = x - 62. Suppose 15*t = 13*t + x. Is 23 a factor of t?
True
Suppose 4*s = 23 + 5. Suppose -s*x + 3*x + 128 = 0. Let n = 14 + x. Is 8 a factor of n?
False
Suppose n - 3*x = 0, -2*n = -n - x + 2. Let w be (2/4)/(n/24). Is 30 a factor of -60*((-4)/w - 2)?
True
Let f = -12 + 17. Suppose -5*z = -5*w + 260, f*z = -3*w + 113 + 35. Suppose 11 = -5*m + w. Does 4 divide m?
True
Let x = 16 - 7. Let n(f) = f**3 - 10*f**2 + 11*f - 2. Let g be n(x). Let m = g - -6. Is m a multiple of 10?
False
Let b(t) = -232*t. Let q be b(-1). Suppose 0 = -9*g + 7*g + 4. Suppose 0 = 3*m - g*c + 3*c - q, -2*c = 4*m - 308. Is m a multiple of 26?
True
Let l(z) = z**3 - z**2 - 3*z. Suppose 2 + 26 = 7*o. Does 3 divide l(o)?
True
Suppose 0 = -u + 2*x + 155, -4*u + 162 = x - 422. Is u a multiple of 21?
True
Let i = 19 - 14. Suppose 2*g = i*g. Let q(p) = p**2 + 34. Is q(g) a multiple of 9?
False
Suppose -50 - 50 = -2*u. Suppose u = z + 4*z. Suppose 10*w - 5*w - 69 = -4*m, 2*w - z = 0. Is 11 a factor of m?
True
Let t be (-1 - -4) + -3 + 4. Let w = 4 - t. Suppose -3*i - 1 = -w*d + 2*d, -5*i = 15. Does 4 divide d?
True
Suppose 5*l + b = 680, 2*l - 5*b = -4*b + 272. Let a = l - 97. Does 31 divide a?
False
Suppose -f - 9*v + 33 = -10*v, -5*v = 5. Does 16 divide f?
True
Suppose 0 = 2*u - 7*a + 3*a - 30, -4*a = -3*u + 41. Suppose d - u = 53. Is d a multiple of 7?
False
Suppose -3*o + 17 = -2*h, -6*o - 2*h = -o - 7. Suppose -4*v = o - 23. Suppose -72 = -v*q - s, s + 3 = -0*s. Does 13 divide q?
False
Let n(l) be the first derivative of 5*l**3/6 + 2*l**2 + 3*l - 3. Let c(j) be the first derivative of n(j). Does 19 divide c(3)?
True
Let f(w) = -w + 21. Let a(o) = -2*o + 41. Suppose -3*q + 4*s = q + 8, 4*q + 11 = 3*s. Let z(j) = q*f(j) + 3*a(j). Is 2 a factor of z(11)?
False
Let b be 3*4794/(-27) + 4/6. Let n = -307 - b. Does 15 divide n?
True
Let p = 989 + -443. Does 23 divide p?
False
Suppose -5*r + 3*h = -2215, r + 5*h = 318 + 97. Is 22 a factor of r?
True
Let i(g) = -2*g**3 - 2*g**2 + g - 1. Let n be i(-2). Let q(r) = 13*r + 10. Does 8 divide q(n)?
False
Does 17 divide 6/10*(-14)/(56/(-7460))?
False
Let a = 12 - 10. Let m be 1/(a - 14/6). Does 11 divide (-1460)/(-30) - 1/m?
False
Suppose 1445 + 325 = 4*w - p, -3*p = 3*w - 1320. Suppose 2*m + 5*s - 540 = -3*m, 0 = 4*m - s - w. Is 55 a factor of m?
True
Let b(y) = -18*y + 10. Let d be (0 - -3)*-3 - -2. Let f be b(d). Suppose f = 13*x - 9*x. Does 14 divide x?
False
Suppose 0 = 4*t + 259 - 867. Let y = t - 98. Let f = y + 6. Does 15 divide f?
True
Let i(p) = -p**2 + 14*p - 20. Let d be i(12). Suppose 0 = -m - x - 0*x + 152, -3*m + d*x = -463. Does 19 divide m?
False
Suppose -77*c - 1980 = -80*c. Is c a multiple of 5?
True
Let w be -3*1 + 1*(138 + 1). Suppose -16 = -3*t + 2*u - 4*u, -5*t + u = -5. Suppose -t*d = 12 - w. Is d a mu