 (-524)/(-22)?
True
Suppose 807 = -5*o + 297. Let d = 210 + o. Is d a multiple of 24?
False
Let l = 27 - 4. Let u = 83 - l. Does 10 divide u?
True
Let z(g) = 19*g**2 - 9. Is 54 a factor of z(3)?
True
Let m = -1697 - -2693. Is m a multiple of 83?
True
Suppose 5*m + q = 7531, 2994 = 2*m - 9*q + 14*q. Is 20 a factor of m?
False
Let m(q) = q**2 + 2*q + 2. Let g(h) = 2*h - 5. Let t be g(4). Suppose t*x + 3*i - 12 + 0 = 0, -3*x + 5*i = -4. Does 17 divide m(x)?
True
Let g = -30 - -34. Suppose -17 = -g*m + 439. Is m a multiple of 19?
True
Let x(q) = 223*q - 572. Is x(14) a multiple of 25?
True
Suppose -2*w = 5*p + 53 + 57, 0 = -3*p - w - 65. Is 2 + 1 + (p - -55) a multiple of 38?
True
Let z(b) = 2*b**3 + 4*b**2 + 2*b - 2. Let a be z(-3). Let l = a + 46. Suppose 77 = 4*k - 5*f - l, -3*k - 4*f + 34 = 0. Does 18 divide k?
True
Let m(n) = 668*n**2 + 4*n + 1. Does 13 divide m(-1)?
False
Let p be (2/(-3) + 2/3)/3. Let x(l) = -2*l + 49. Is 4 a factor of x(p)?
False
Let a(c) = 4*c**2 + 12*c - 70. Does 65 divide a(12)?
True
Let t(y) = -151*y - 384. Is t(-12) a multiple of 68?
True
Suppose 6*q - 4*j - 784 = q, 3*j = -5*q + 812. Does 32 divide q?
True
Let s = 37 - -31. Let i(x) = -x**3 + 6*x**2 + 6*x + 9. Let m be i(7). Suppose -2*h = 0, h = m*u - 4*h - s. Is u a multiple of 9?
False
Let y(t) = 4*t - 6. Let g(q) = 5*q - 5. Let l(w) = -6*g(w) + 5*y(w). Does 12 divide l(-6)?
True
Let c(u) be the first derivative of u**4/4 + 7*u**3/3 - u**2/2 - 2*u - 6. Let m be c(-6). Suppose 4*z + 3*d = -d + 48, -d = -3*z + m. Is 7 a factor of z?
False
Does 15 divide (-8157)/(-11) + 84/(-154)?
False
Let l(g) be the first derivative of g**3 + 2*g + 7. Let x be l(-3). Suppose -3*i - 57 = -4*n + 2*n, n - 2*i = x. Does 6 divide n?
False
Let u = 497 - 157. Is 5 a factor of u?
True
Suppose 9*t = 29 - 11. Suppose 5*w - 378 = 3*h - 0*h, 320 = 4*w + t*h. Is 13 a factor of w?
True
Let z = -2 + 4. Suppose 5*g - 9*g = 3*d - 31, -3*g + 3*d = 3. Suppose -3*v = 12, 60 = z*i + 2*v - g. Is i a multiple of 9?
True
Suppose 6*w - 657 - 1359 = 0. Does 8 divide w?
True
Let w(v) = 8*v**2 - 12*v - 8. Let h be w(-5). Suppose 5*k = -l + 412, 2*k + k = l + h. Is 24 a factor of k?
False
Let z = 12705 - 8760. Does 51 divide z?
False
Suppose -u - 19 = 5*h, u + 2*h - 1 = -8. Let i(j) = 101*j + 4. Is i(u) a multiple of 19?
False
Let a(n) = -42*n + 173. Is 23 a factor of a(-26)?
True
Suppose 3*z - 6444 = -5*g, -g - 2*z + 1317 = 24. Is 33 a factor of g?
True
Let j(w) = 2*w**2 + 14*w + 36. Does 4 divide j(-7)?
True
Suppose 3*c = 5*i + 1258 - 228, -1370 = -4*c + 5*i. Is c a multiple of 17?
True
Let a be (-76)/6*285/(-38). Let d = -66 + a. Is d a multiple of 5?
False
Let s(d) = -8*d + 24. Does 6 divide s(-21)?
True
Suppose -73*y + 8*y = -86515. Is y a multiple of 19?
False
Suppose 608 = 13*u - 4592. Does 10 divide u?
True
Let f(p) = -p - 16. Let w be -19 - 0/((-12)/(-3)). Let v be f(w). Is 7 a factor of (-8)/(3/(-36)*v)?
False
Let j = 19 - -179. Is 19 a factor of j?
False
Let c = -24 - -13. Let l = -11 - c. Suppose 0 = s - 2*d - 16, l = -0*d + d. Does 9 divide s?
False
Let j(b) = -13*b**3 + 2*b**2 + 5*b + 2. Let r(t) = -25*t**3 + 3*t**2 + 9*t + 3. Let a(f) = 5*j(f) - 3*r(f). Does 8 divide a(1)?
False
Let n(k) be the first derivative of 11*k**2/2 - k - 5. Let r be n(1). Let i(m) = 2*m + 23. Is i(r) a multiple of 16?
False
Let n = 24 - 55. Let z = 45 + n. Is 13 a factor of z?
False
Suppose 23*n = -22*n + 11880. Is n a multiple of 6?
True
Suppose -10*n + 3*n + 1281 = 0. Let z = 374 - n. Is 24 a factor of z?
False
Suppose 0 = 6*h + 72 + 90. Let s = 27 + h. Suppose s*i = 5*i - 320. Does 32 divide i?
True
Let b(j) = -j**3 - 26*j**2 - 39*j + 6. Let u(d) = d**2 - 17*d + 27. Let p be u(13). Is b(p) a multiple of 22?
False
Is 8 a factor of (-1 + 0)*(-1 + -33 - 7)?
False
Let j = 204 - 110. Let g = j + -12. Is 11 a factor of g?
False
Let a(k) = -44*k + 38. Let x be a(-18). Suppose 5*f + 355 = x. Does 22 divide f?
False
Let w = -1 + -2. Let l be (161/115)/(1/5). Let v = w + l. Is v even?
True
Let t = -63 + 64. Does 9 divide t + -1 - (-164)/(-1 + 5)?
False
Let w(b) = 8*b - 4*b + 3*b + 1 + 4*b. Let d be w(-3). Is (d/10)/(4/(-50)) a multiple of 8?
True
Let m(r) = 3*r**3 - r**2 + 1. Let a be m(1). Suppose -135 = -a*j - p, 5*p = 2*j + j - 117. Is 1180/j - 2/(-11) a multiple of 6?
False
Let t(y) = -y - 1. Let c(u) = -5*u**2 + 3*u. Let z(b) = -c(b) - 2*t(b). Does 13 divide z(-2)?
False
Suppose 2*r - 3507 = -13*w + 14*w, -r = 2*w - 1761. Is r a multiple of 15?
True
Let g = 1090 + -648. Is g a multiple of 17?
True
Suppose -2*a + 14 = j, -5*j + 7 = 2*a - 7. Suppose 2*p = a*p - 520. Is p a multiple of 25?
False
Suppose 10*r - 1 = 3*i + 5*r, 2*i = 3*r. Suppose -3*t + 884 = c, -108 = -i*t + 5*c + 746. Does 25 divide t?
False
Let z = 2276 - 1495. Is z a multiple of 71?
True
Let l(j) = j**2 - 1. Let v be l(3). Let t = v + 80. Is t a multiple of 9?
False
Let s(b) = 12*b**2 + 57*b + 42. Is 51 a factor of s(-11)?
True
Suppose -410*h = -404*h - 3546. Is h a multiple of 6?
False
Let b = -299 - -317. Does 18 divide b?
True
Let i(o) = o**2 + 17*o - 46. Let a be i(-16). Let g = a + 160. Is g a multiple of 12?
False
Let x(a) be the third derivative of a**5/60 + a**4/3 + a**3/6 - 17*a**2. Does 11 divide x(7)?
False
Suppose -3*z + 5*p + 805 = 0, -3*z + 10*p - 12*p + 770 = 0. Is 13 a factor of z?
True
Let w(k) = -k**2 + 12*k + 9. Let h be w(16). Let f = 132 + h. Does 13 divide f?
False
Let q(x) = x**3 - 6*x**2 + 3. Let p be q(4). Let f = p - -57. Is 28 a factor of f?
True
Suppose 4*u = u. Suppose 0*l + 4*x + 34 = 3*l, -4*l - 5*x + 35 = u. Does 3 divide l?
False
Suppose 0 = -42*z + 41*z - 386. Let y = z + 558. Does 43 divide y?
True
Let m be 2/(-11) - 2/(-11). Let d be m - (-1 + 2 + -2). Is 8 a factor of 18*d - (-5 + 2)?
False
Suppose -4*c + 8*c + 2*o = 8826, -c + o + 2202 = 0. Is c a multiple of 17?
False
Let g(t) = 11 + 3*t + 46*t**2 - 45*t**2 - 4*t. Is 10 a factor of g(6)?
False
Is 12 a factor of 211 - (-44 - -2)/(-6)?
True
Does 12 divide -13 + (-9 - -15) - -46?
False
Suppose -608 = 6*o - 7*o. Suppose 7*v - o = 3*v. Is 38 a factor of v?
True
Let k(c) = -8*c + 14. Let w be k(14). Let h = 163 + w. Is 19 a factor of h?
False
Let i(g) = g**2 - 12. Let y be i(0). Let f = 12 + y. Suppose -5*n + 331 - 106 = 4*w, f = -2*n - 6. Does 15 divide w?
True
Suppose -3*i + 6*i = 336. Let q = 37 - i. Let a = 171 + q. Does 24 divide a?
True
Let n(d) = -4*d - 1. Let g(p) = 1. Let c(y) = 2*g(y) - n(y). Let i be c(5). Let w = 6 + i. Does 8 divide w?
False
Suppose -4*x = -3*n + 3955, 142*x - 140*x = -2. Does 9 divide n?
False
Suppose 0*q - 3*u = 2*q - 99, -3*u = 15. Is 6 a factor of q?
False
Suppose -872 = -4*o + 3*n, 3*o - 665 = -0*n + 5*n. Is o a multiple of 11?
False
Let y = -9 - -32. Suppose y = l - 10. Does 11 divide l?
True
Let m = -171 - -210. Does 2 divide m?
False
Suppose 143 = 5*m - 37. Suppose 54 = 17*r - 14. Suppose -2*s + 4*s = r, 0 = -3*a - 3*s + m. Is 10 a factor of a?
True
Suppose 12597 = 5*p - 4*q + 5*q, 5*p + 5*q - 12585 = 0. Does 30 divide p?
True
Let d = -5404 + 8399. Is d a multiple of 6?
False
Suppose 281*w = 303*w - 792. Is 36 a factor of w?
True
Does 70 divide 36380/51 - (-1)/((-3)/1)?
False
Suppose 0 = 5*a - 0*a - 60. Let d = 43 - a. Does 31 divide d?
True
Suppose 1949 = 45*d - 346. Is d a multiple of 6?
False
Let o = 609 - 355. Does 16 divide o?
False
Suppose 0 = 27*t - 25*t - 52. Suppose -5*b - t = -221. Does 8 divide b?
False
Suppose -2*z = z - 5*w - 4594, -5*z + w = -7664. Does 73 divide z?
True
Let f(o) = -o**2 - 14*o + 5. Let g be f(-15). Does 27 divide 6/g + 1930/50?
False
Suppose -w + 5*l - 1292 + 4351 = 0, 7*w = 4*l + 21289. Does 61 divide w?
False
Let u = 5 + -115. Is 35 a factor of 12/(3 - 6) + (-1 - u)?
True
Let q(d) = 26*d + 31. Let u be q(8). Suppose 2*l - 180 = -3*j + 5*l, 3*l + u = 4*j. Is 30 a factor of j?
False
Suppose 862 - 30 = 8*w. Does 20 divide w?
False
Is 14 a factor of ((-8)/20*10)/((-1)/42)?
True
Let y(n) = -13*n**2 + 8*n + 1. Suppose 35 = 5*r - l, 4*r - 5*l = -11 + 39. Let d(f) = 6*f**2 - 4*f. Let p(x) = r*d(x) + 3*y(x). Is p(3) a multiple of 5?
False
Suppose -d = -4*f - 1433, -2*f = -f - d + 359. Is 17 a factor of 6/(-42) - f/7?
True
Suppose -2*b + 30 = f + 2*b, 0 = 5*f - b - 45. Let m be (-1 + 6/3)*f. Is 4/m - 522/(-4