se 0 = 27*p + 9*p - 108. Suppose -2*q - w = -p*q. Is q a multiple of 19?
False
Is (-80)/100 - (0 + (-154)/5) a multiple of 15?
True
Let f = -25 + 25. Suppose 0 = 4*c + 5*l, 2*c + 2*l + l = f. Is 13 a factor of c/(-1) + 54*1?
False
Suppose -12*h + 14*h = 6. Suppose 12 = -h*n - n. Let j = 7 - n. Does 10 divide j?
True
Suppose 2*l - 6 = -5*y, l - 3 = -0*y + 5*y. Suppose 2*w - 5*g - 26 - 3 = 0, -2*w + l*g + 27 = 0. Does 12 divide w?
True
Let t(r) = 2*r**2 - 39*r - 7. Is 28 a factor of t(21)?
True
Suppose -4*x - 10 = x. Let h be (94/(-235))/((-2)/(-2100)). Is (x - 0) + h/(-5) a multiple of 22?
False
Suppose 0 = 3*x - 5*z - 1230, 113 = 2*x - z - 714. Suppose -5*b = 3*t - 221, t - x = -4*t + b. Is 10 a factor of t?
False
Suppose -8*g - 9*g + 2584 = 0. Does 7 divide g?
False
Let y(z) = 4*z + 5. Let s(j) = 9*j + 10. Let m(p) = 2*s(p) - 5*y(p). Let n be m(-4). Suppose -q = n*q - 48. Does 8 divide q?
False
Suppose g - b + 5*b = -13, 2*g - b = 10. Is (20/(-5) - -8) + g a multiple of 7?
True
Let w(x) = 56*x**2 - x + 6. Let p be w(3). Suppose 0 = 5*t + 3*k - p, 2*t + 4*k - 149 = 65. Does 19 divide t?
False
Let s = 1066 + -604. Does 58 divide s?
False
Let s(q) = 137*q + 14. Is 18 a factor of s(2)?
True
Let v be (-25 - 0/(-3)) + -1. Let b = v - -29. Does 7 divide ((-66)/2)/(-3) + b?
True
Does 61 divide 1*(3282/4 + (-10)/(-20))?
False
Let k = 224 + -41. Let d = -128 + k. Is d a multiple of 11?
True
Suppose -25 = 2*a + 25. Suppose -8 = -q + 27. Let n = a + q. Is n a multiple of 8?
False
Suppose -262 = -7*u + 543. Is 23 a factor of u?
True
Let z(w) = -w**2 - 3*w. Let r be z(-3). Suppose 3*y + r*t - 2*t = 194, y + t - 63 = 0. Is y a multiple of 11?
False
Let t(d) = d**3 - 4*d**2 - 3*d + 18. Let g be t(3). Is 4 a factor of 15 - g/(((-6)/3)/2)?
False
Let t(z) = 3*z**2 + 1. Let i(p) = -p + 4. Let m be i(5). Let u be t(m). Is 10 a factor of ((-2)/u)/(1/(-40))?
True
Suppose 61*k - 270 = 52*k. Does 2 divide k?
True
Suppose -140*x + 6 = -138*x. Suppose x*o + f - 160 = o, -5*o - 4*f + 400 = 0. Is o a multiple of 10?
True
Suppose 0 = x + 10 - 13. Suppose -52 = 5*a + x*t, 3*t = 3*a + 2*t + 34. Is ((-11)/a)/((-2)/(-18)) a multiple of 4?
False
Let y = -28 - -17. Let f be (-35)/y - 4/22. Suppose -5*p - 19 = -f*o, -2*p + 7 = 2*o - 11. Is 3 a factor of o?
False
Suppose -24 = -5*y + 3*i - 5, 0 = 5*y + i - 27. Let q(z) = 2 - 9*z + z**2 - y + 0. Does 7 divide q(10)?
True
Does 12 divide 9/21 + 2225/35?
False
Suppose 0 = 3*a - 0*m - 3*m - 51, 0 = -5*m + 20. Does 9 divide a?
False
Let n = -12 - -17. Suppose d = n*d. Suppose 5*z - 2*i = 72, z - 32 = -d*i - 4*i. Is z a multiple of 8?
True
Suppose 2*r - 1701 = 7*m - 8*m, 0 = 4*m + 2*r - 6780. Is 20 a factor of m?
False
Suppose -4*u - d + 0*d = 16, -32 = 4*u - 3*d. Let l(b) = b**2 + 7*b - 2. Let g be l(u). Is 17 a factor of (-1 - g/4) + 52?
False
Suppose -2*o + o = 5*d - 1123, -3*d - 5*o + 665 = 0. Does 45 divide d?
True
Let f(m) = -m**2 - 4*m + 2. Let s be f(9). Suppose -159 = 4*r - 5*q, 3*q + 9 + 6 = 0. Let a = r - s. Does 23 divide a?
True
Suppose 6*n + 10 = 7*n. Suppose -5*m - 265 = -n*m. Is 0/(-3) + -2 + m a multiple of 15?
False
Let f be (-372)/(-6)*22/4. Suppose -3*t - 2*t + 425 = v, 4*t = -v + f. Is t a multiple of 20?
False
Let b be 552/9 + (-2)/(-3). Suppose -p - 3*u = -67 - b, -264 = -2*p - 4*u. Suppose p = -0*a + 3*a. Is 13 a factor of a?
False
Let n(v) = -v + 24 + 19 - 19. Let a be (-2)/6 - 4/(-12). Is n(a) a multiple of 4?
True
Suppose 0 = -5*z - 2*z + 1820. Is 10 a factor of z?
True
Does 13 divide 65*10/((-50)/(-17))?
True
Let u(j) = -j + 9. Let g be u(8). Suppose -5*p = d - 15, -g = 3*p - 4. Does 5 divide d?
True
Let m(b) = b**3 - 70*b**2 - 68*b - 903. Is 28 a factor of m(72)?
False
Let a(w) = -13*w + 122. Is a(-10) a multiple of 21?
True
Let u(c) = 15*c**2 - 28*c + 4. Is u(6) a multiple of 45?
False
Let c(z) = 12*z**3 - 4*z**2 + 2*z - 2. Let t(v) = v**3 - v**2 + v - 1. Let k(a) = c(a) - 3*t(a). Let x be k(1). Is 14 a factor of x*(4/(-16) - -2)?
True
Let l(s) = -9 + 20*s - 14*s + 1. Is l(10) a multiple of 52?
True
Let w = -1241 - -2041. Does 29 divide w?
False
Suppose 3*y = -5*j + 345, -4*y = -3*j + 19 + 217. Suppose j = 2*x + 2*m + 2*m, -x = -3*m - 26. Is x a multiple of 8?
True
Suppose m = 4*q - 19, 18 = 11*q - 7*q - 2*m. Suppose -446 = -q*i - 36. Does 10 divide i?
False
Suppose 0 = 3*k + k - 116. Suppose k*w + 1068 = 35*w. Is w a multiple of 24?
False
Let h(g) = g**2 - g + 1. Let p be h(2). Suppose p*r + 2*r + 70 = 0. Let t = r - -21. Is 5 a factor of t?
False
Let t(w) = -w**2 + 10*w + 840. Is 60 a factor of t(0)?
True
Is (4 - 1987/(-2))*(-40)/(-30) a multiple of 14?
True
Let m = -74 + 224. Does 7 divide 4/2*m/5?
False
Suppose 4 + 2 = 3*c, 0 = -5*y - c - 33. Let j = -12 + -3. Let p = y - j. Does 5 divide p?
False
Let b(l) = -298*l + 17. Is b(-2) a multiple of 18?
False
Suppose 3*h - 77 = 10*h. Let m(c) = -19*c + 34. Does 39 divide m(h)?
False
Let m be (13/(-3))/((-15)/(-45)). Suppose -3*u - 20 = 5*q + 2*u, -2*q - 12 = -2*u. Let l = q - m. Is l a multiple of 4?
True
Let f = -427 - -513. Is 33 a factor of f?
False
Let s be 2 - (-2 - (4 - 8)). Suppose -177 - 187 = -4*g + 4*t, -g - 4*t + 111 = s. Is g a multiple of 29?
False
Suppose -514 = -5*b - 164. Suppose 4*v + 5*o = b + 245, -3*v + 237 = 3*o. Does 13 divide v?
False
Let w(d) = d**2 - 15*d + 20. Does 6 divide w(18)?
False
Is 10 - ((-613 - -4) + -6) a multiple of 7?
False
Suppose -v + 5*g - 29 = -2*v, -g + 25 = 5*v. Suppose -v*t + 48 = 12. Suppose 0 = t*q - 0*q - 162. Is q a multiple of 18?
True
Suppose 4*i - 10*i + 336 = 0. Is i a multiple of 2?
True
Does 3 divide -106 + 135 - (0 + -3)?
False
Let w(m) = -5*m + 14. Let y(k) = -24*k + 72. Let l(a) = -16*w(a) + 3*y(a). Let n be 0 + -3 - 7*-1. Is l(n) a multiple of 13?
False
Suppose -m = -6*m - 600. Let n be m/(-21) - 2/(-7). Suppose n*h = 3*h + 45. Is h a multiple of 5?
True
Suppose 9*n - 13*n = -16. Suppose 12 = n*g - 6*g. Let s(p) = -3*p - 6. Does 7 divide s(g)?
False
Let p be -1 - 0 - (-1 - -2). Let h = p + 4. Let j(o) = 9*o. Is j(h) a multiple of 8?
False
Suppose 2*z - 342 = 8. Let t(h) = -h**2 + 4*h - 1. Let p be t(3). Suppose k + 3*k - g = z, -g = p*k - 95. Is k a multiple of 28?
False
Let q = -5 - -10. Suppose 1 = q*g - 4*g. Is (-1)/((-128)/124 + g) a multiple of 14?
False
Let w(c) = -3*c + 8. Let x(j) = j - 4. Let a(q) = 2*w(q) + 5*x(q). Let g be a(-3). Is (18 + -1)/g*-1 a multiple of 10?
False
Is 4/26 + (-1486906)/(-1066) a multiple of 120?
False
Suppose 3*b + 322 = -329. Does 43 divide 5 - (-28)/(-4) - b?
True
Let b = -639 + 669. Is 10 a factor of b?
True
Let j(g) = 40*g - 201. Does 34 divide j(12)?
False
Suppose 8*y - 2023 = y. Is 17 a factor of y?
True
Let x = 1216 + -398. Does 10 divide x?
False
Suppose -5*n = -4 + 24. Let r = 39 - n. Let y = r - 27. Is 5 a factor of y?
False
Let n be (-1)/((-2)/8) + 129. Let i = 247 - n. Does 19 divide i?
True
Let y be (-3 - 18/(-4))*50. Suppose -y + 194 = 7*c. Does 7 divide c?
False
Let x be 3194/22 + 4/(-22). Let b = -95 + x. Is b a multiple of 8?
False
Let t(f) = -f**3 + 9*f**2 - f + 9. Let m(u) = 10*u**3 - u**2 + u - 1. Let j be m(1). Let s be t(j). Let c = s + 28. Is 7 a factor of c?
True
Suppose 2*k = -f + 9, 3*k - 4*k + 9 = f. Let z = -36 - f. Let m = 0 - z. Does 15 divide m?
True
Suppose -42*l = -17488 - 14642. Does 9 divide l?
True
Suppose 5*h + 3*r - 1195 = 0, -2*h + 3*r = 2*h - 956. Let f = h + -103. Is 34 a factor of f?
True
Let h(b) = 9*b - 1. Let z be h(-3). Let l(a) = 2*a**3 - 21*a**2 + 16*a - 4. Let p be l(10). Let t = p + z. Does 14 divide t?
True
Let w = -32 + 37. Suppose -d = w, -4*q + 20 = -5*d - 13. Is q a multiple of 2?
True
Let y be (-3)/3*(-12)/(-2). Let a(k) = k**2 - 2*k - 9. Is 20 a factor of a(y)?
False
Suppose -4*d = d - 2*u - 46, -2*d = -4*u - 12. Is d a multiple of 2?
True
Suppose -w + 372 = 2*q - 29, 15 = -3*q. Is w a multiple of 7?
False
Suppose 0 = 5*f - 5*d - 5, -2*f + 0*d = -4*d - 2. Let t be (f + 9)*(-4)/8. Does 3 divide (0 - -1 - 2)*t?
False
Let k(z) = z**2 + 9*z. Let i be ((-48)/(-20))/((-9)/30). Let x be k(i). Does 12 divide 98/8 - (-2)/x?
True
Let j(b) = 8*b**2 + b**2 - 2 + 5264*b - 5266*b. Let i(l) = l**2 - 6*l + 4. Let o be i(5). Does 3 divide j(o)?
True
Let q(f) = 5*f - 8. Let a be q(-8). Let t(z) = 91*z**2 + z. Let m be t(-1).