 0, -4*i + 61 + 3 = 4*r. Suppose 843 = -r*s + 4209. Is 59 a factor of s?
False
Let t = 749 - 745. Is 2 a factor of (2/t)/((-5)/(-1800))?
True
Let s(x) = x**3 - x**2 - x - 48. Let t be s(0). Let o be (-2)/72*-9 + 647/4. Let f = t + o. Does 25 divide f?
False
Let g(i) be the second derivative of 7/12*i**4 + 14*i + 1/2*i**2 - 1/6*i**3 + 0. Is 7 a factor of g(-2)?
False
Suppose -3*h - 1 = 4*u, 4*h - 33 = -h + 2*u. Suppose -5*b - 31 = -d, -4*b - h = 3*d - 3. Is 5 a factor of (-24)/10*(-45)/d?
False
Suppose -2886 = -3*q + 2*h, 0 = -q + 2*h - 330 + 1292. Suppose 0 = -18*t + q + 2764. Is 16 a factor of t?
False
Suppose 0 = -3*u + 5*i + 35275, -17*u - 2*i + 35282 = -14*u. Is u a multiple of 49?
True
Let a(n) = 627*n**2 + 8*n - 3. Is a(3) a multiple of 24?
True
Let b(f) = -114*f - 93. Suppose 0 = -5*s - 4*d - 38, d = -5*s + s - 26. Does 61 divide b(s)?
False
Let r = 22 - 16. Let s be (4/(-7))/((-528)/(-1848)). Does 4 divide s/r + (-1736)/(-42)?
False
Suppose -7*j + 233 = 1017. Let n = j - -147. Suppose -n - 70 = -p. Does 15 divide p?
True
Is 32 a factor of 141/(-1)*((-4802)/(-147) + -54)?
True
Let a = 9526 - 572. Does 11 divide a?
True
Suppose 398 = -13*v + 14*v. Suppose 0 = -k + 2*o + v, -k + 395 = -3*o - 2*o. Is k a multiple of 5?
True
Is 94 a factor of (6/(-2) - -6862) + -17 + 20?
True
Let f = -45 + 45. Suppose -4*j + 2*j + 3*k + 51 = f, -j = 5*k - 58. Let g = j + -14. Is 15 a factor of g?
False
Suppose 6*p - 29730 = -4*p. Suppose -p = -3*m + 7*c - 6*c, 5*m - 3*c = 4959. Does 55 divide m?
True
Suppose 5*n + 4*p - 20 = -0*p, 0 = 4*n - 2*p + 10. Suppose 69*k - 71*k + 30 = n. Does 2 divide (0 + 18)/(15/k)?
True
Suppose -3*p + 2*v + 262 = -3778, -8 = 2*v. Suppose -123*t + p = -115*t. Is 21 a factor of t?
True
Suppose -2*d - 1656 = -3*l + 54, -3*d + 2246 = 4*l. Does 17 divide l?
False
Let r(c) = 18*c + 3. Let p(g) = 17*g + 2. Let z(j) = -3*p(j) + 4*r(j). Let v be z(2). Suppose 4*m - v = w + w, -m + 30 = -5*w. Is m a multiple of 7?
False
Let i = 526 - 306. Suppose 3*z - 5*z + i = 0. Does 7 divide z?
False
Let d = -34 + 54. Let o = d + -60. Let h = o - -108. Is h a multiple of 10?
False
Suppose 0 = 124*v - 309236 + 168119 - 281475. Is 16 a factor of v?
True
Suppose 44*p - 16930 - 82554 = 0. Is 119 a factor of p?
True
Let h(l) = l**2 - 13*l - 529. Does 53 divide h(-93)?
False
Let x = 16798 + -11398. Is x a multiple of 15?
True
Suppose -2*y + 2*x + 76 = -0*y, 4*x + 23 = y. Let d = y - 57. Is (-984)/d - (-2)/(-7) a multiple of 14?
True
Let d(l) = l**3 + 13*l**2 + 16*l + 41. Let t be d(-12). Let b be 9*(70/(-15))/t. Is 14 a factor of ((-112)/12)/((-2)/b)?
True
Let p(r) = 8*r + 43. Let m be p(-5). Suppose -m*o + 107 = 2*w, w - 3*o = -w + 77. Is w a multiple of 23?
True
Let t = 55 - 50. Suppose 572 = t*s + 4*o, 2*s - 233 = -0*o - 3*o. Let i = 160 - s. Does 8 divide i?
True
Let j(g) = 2*g + 21. Suppose -60 = 6*f - f. Let b be j(f). Is 17 a factor of 3/((-4)/612*b)?
True
Let g(k) = 3*k**2 - 4*k - 82. Is g(9) a multiple of 125?
True
Let p(w) = -19*w - 444. Does 17 divide p(-84)?
False
Let x be 1/2*(5 + (7 - 2)). Suppose 2*i - 7*i + 40 = x*h, -4*h + 14 = i. Suppose 13 = a - i. Does 15 divide a?
False
Let r be ((-62)/(-2) + 4)/(4/28). Suppose -w = -155 + 34. Let s = r - w. Is 20 a factor of s?
False
Suppose m + 16550 = j - 8637, -75566 = -3*j + 4*m. Does 255 divide j?
False
Let i be (-36)/8*-2 - -3. Suppose 2*v + 4*x = -i, 5*x = -3*v + 4 - 17. Suppose -v*l + l = -354. Is l a multiple of 19?
False
Let j = 6647 + -2522. Suppose 13*v - j = 1985. Is 10 a factor of v?
True
Let s be (-8 - -6)*10504/(-16). Suppose 4*q + 5*k - s = 267, -k + 1580 = 4*q. Is 6 a factor of q?
False
Suppose -h + 4*j = -217, -9*j = -8*j. Is h a multiple of 3?
False
Suppose 288 = 58*u - 49*u. Let m = 290 - u. Does 48 divide m?
False
Let l(y) = 8*y**3 - 16*y**2 - 6*y + 32. Let a(n) = 5*n**3 - 8*n**2 - 3*n + 16. Let r(z) = -5*a(z) + 3*l(z). Does 40 divide r(-8)?
True
Suppose 0 = 3*z - 8 - 4. Let c be (-1 + z)*4/6. Suppose c*u = 3*a + 13, -4*u + 0*a + 23 = -3*a. Is 4 a factor of u?
False
Let u(y) = 13*y - 141. Let o be u(11). Suppose 0 = 2*v + o*t - 414, -5*v + 3*v + t = -408. Is v a multiple of 5?
True
Does 3 divide (1 - (-5 - 10))*(-1 + 15)?
False
Suppose -11*v = -13*v + 2, -3*v = -z + 479. Suppose 3*t - 5*j = 523, 129 = -2*t - j + z. Is t a multiple of 20?
False
Is -53*(11 - 42)*6 a multiple of 17?
False
Let t(h) = h**2 - h + 1. Let x be t(3). Let y = -140 - -140. Suppose y = -4*u + x*u - 75. Does 6 divide u?
False
Suppose x + 7*o - 8737 = 11*o, -o + 26198 = 3*x. Does 71 divide x?
True
Suppose -142*q + 226240 = 18*q. Is 20 a factor of q?
False
Suppose -128*x + 54026 = -287606. Does 18 divide x?
False
Let v(y) = 32*y - 211. Let q be v(21). Suppose 26 = -3*x - 5*w + q, 0 = -6*w. Is x a multiple of 7?
False
Let n(c) = -2*c - 9. Let m(w) = 3*w**2 + 7*w - 2. Let t(x) = -13*x**2 - 28*x + 8. Let a(y) = 9*m(y) + 2*t(y). Let r be a(-6). Is 5 a factor of n(r)?
False
Let x be (-172 + 0)*(-2 - -1). Suppose -a + 34 = -26. Let j = x - a. Is 28 a factor of j?
True
Let f = 70937 + -50470. Is f a multiple of 41?
False
Is ((-1239)/118)/((-3)/3384) a multiple of 252?
True
Let b = -226 + 417. Let f be b + (10/(-15) - 2/6). Suppose 10*y = 5*y + f. Is y a multiple of 3?
False
Let a(j) = 2*j - 7. Suppose 4*y = -10*y. Let u be a(y). Is 0/u - (-228)/2 a multiple of 15?
False
Let j(n) = n**2 + 17*n - 24. Let o be j(-18). Let m = o + 12. Does 44 divide m/(-4)*(-484)/3?
False
Let x = 11283 + -6343. Does 75 divide x?
False
Let a(h) = 137*h - 9. Let q(s) = 410*s - 27. Let z(y) = 17*a(y) - 6*q(y). Let b be z(-3). Suppose 3*m - b = -3*m. Does 5 divide m?
False
Let s(i) = i**3 + 4*i**2 - 7*i - 9. Let y be s(-4). Let o = y + 185. Let m = -144 + o. Does 7 divide m?
False
Let f = -212 + 270. Is 19 a factor of (-29)/f*304*-1?
True
Suppose 0 = 81*o - 9991 - 1916. Is 2 a factor of o?
False
Suppose 0 = 438*q - 431*q - 48825. Does 9 divide q/(-31)*(0 + -1)?
True
Let a = 492 - 474. Let p = 45 - a. Is p a multiple of 9?
True
Suppose -26*m + 52890 + 66690 = -81894. Is 84 a factor of m?
False
Let t be (-10)/(-8) + (3 - (-91)/(-28)). Suppose -4 = -5*a + 11. Is 2 a factor of 3 + (2 - t)*a?
True
Suppose -2*g = -3*v + 50 - 13, -v + 3*g + 24 = 0. Is 9 a factor of v/(-72) + (-19875)/(-24)?
True
Suppose l = -2*c + 1 - 4, 2*l - 5*c - 21 = 0. Let h(s) = s**2 - 5*s + 10. Let u be h(l). Suppose -128 = -u*y + 28. Is y a multiple of 2?
False
Let n(j) = -17*j**3 + 4*j**2 + 8*j + 15. Does 13 divide n(-4)?
False
Is 195 a factor of (198/(-21))/(62/(-100471))?
False
Suppose 4*z + 32358 = k, 2 = k - 0. Let f = z + 14945. Is 61 a factor of 9/(-21) - f/(-56)?
True
Suppose -27 = -y + 5*d, 8*d - 10*d = y + 8. Suppose 12*a - 2980 = y*a. Suppose -21*f = -22*f + a. Is f a multiple of 16?
False
Let h(b) = -b**3 - 11*b**2 - 11*b - 5. Let r be h(-10). Suppose 5*t = -r*y + 2275, 1453 = 4*t + 3*y - 362. Is t a multiple of 18?
True
Suppose -185 + 44 = -x + 5*o, -5*x + 855 = 5*o. Suppose 8*v - 1882 - x = 0. Let w = -172 + v. Is 21 a factor of w?
True
Suppose 0 = r - 6*r + 325. Let b = -23 + r. Let g = b - 32. Is g even?
True
Let b be 0 - (525/(-28) + 9/12). Suppose 0 = -y + 5*f + 538, 17*f = b*f + 4. Is y a multiple of 15?
False
Suppose 2*d = -4*m + 6*d + 540, -4*m = 4*d - 532. Does 19 divide (-40)/(-3)*1005/m?
False
Let p be (38/6)/(4/12). Let f(k) = -p*k**2 + 21*k**2 - 13*k - 5 + 4. Is f(7) a multiple of 3?
True
Let t be (1/(-2))/(1/152). Suppose -73*z - 1863 = -90*z - 146. Let n = z + t. Is 5 a factor of n?
True
Let t = -74 + 77. Is 49 a factor of t/(-9) - (-15656)/24?
False
Suppose y = 348 + 77. Let v = y - -426. Is v a multiple of 23?
True
Suppose -3138 = -3*v + 3*l, -2*v + 2*l - 1031 = -3*v. Let r = -719 + v. Does 23 divide r?
True
Let c be (-1 - 0 - -2) + (-897)/(-3). Suppose 3*u + c = 8*u. Does 12 divide u?
True
Let a(t) be the second derivative of t**4/6 + t**3/3 - 3*t**2 + 12*t. Let v be a(-3). Let q(k) = 2*k + 3. Is 4 a factor of q(v)?
False
Suppose 0 = -3*k + 573 + 339. Suppose -4*w - 140 = -k. Suppose -z - 26 = -w. Is z a multiple of 3?
True
Let j(l) = -97*l - 2. Let i(s) = -48*s - 1. Let y(z) = -5*i(z) + 2*j(z). Let u be ((-3)/2)/((-3)/6). Is 14 a factor of y(u)?
False
Let z(x) = -x + 12 - 8*x + 7*x. Let j be z(-5). Suppose 95 + j = 3*a. Is a a multiple of 