 - 12. Let t = b + -107. Does 2 divide t?
True
Suppose 38*t - 39*t + 505 = 0. Suppose 0 = -2*n - 2*l + 506, 2*n - 7*l = -8*l + t. Is n a multiple of 21?
True
Suppose -51*m - 577 = 188. Is 33 a factor of m/(-10)*3/3*568?
False
Let h(x) be the first derivative of 4*x**2 + 26*x - 24. Let k be h(-4). Is 13 a factor of ((-1092)/(-18))/((-4)/k)?
True
Let w = -7586 + 13448. Is 23 a factor of w?
False
Suppose 0 = -1842*o + 1834*o + 50920. Does 19 divide o?
True
Let v(n) = 6*n**2 + 3*n - 8. Let t be v(-4). Let m = t - 4. Suppose -6*k + m = -42. Is k a multiple of 5?
False
Let k(p) = p**2 - 8*p - 9. Let l be k(10). Let z = 6 - l. Let x(m) = -m**2 - 11*m - 6. Is x(z) a multiple of 6?
True
Let x(q) = -q + 3560. Does 19 divide x(-39)?
False
Let o(c) = -7*c + 57. Let w(n) = 7*n - 58. Let s(b) = -4*o(b) - 5*w(b). Does 2 divide s(8)?
True
Let x(d) = 351*d**2 - 3*d - 2. Let a be x(-2). Suppose 5*s + 4*m - a = 0, 2*s + 50 - 609 = -3*m. Let f = -87 + s. Is f a multiple of 41?
False
Does 91 divide (-384)/(-23 - 1) + 12050?
False
Suppose -3*q + 5*k = -4734, q = 3*q + 5*k - 3156. Is 14 a factor of q?
False
Suppose 35*f - 38*f = -3*i + 2328, -3*f = 2*i - 1557. Is 37 a factor of i?
True
Let a = -489 + 454. Is (a/4)/(362/(-120) - -3) a multiple of 21?
True
Is 24 a factor of 6865 + -2 - (-5*(-2 + 1) - -1)?
False
Suppose 48 = -32*h + 8*h. Suppose -k + 156 = -4*k. Is (k/156)/(-1*h/(-30)) a multiple of 3?
False
Suppose -351*c - 966804 + 4759086 + 2807922 = 0. Is 71 a factor of c?
False
Suppose 26*s - 40186 - 12750 = 0. Suppose -136 = -3*x + s. Does 98 divide x?
False
Suppose -p + 17752 = 2*r, -r + 43*p - 47*p = -8890. Is 153 a factor of r?
True
Let l be (-30)/((-3)/40 - 0). Suppose -9*r - l = -4270. Is r a multiple of 43?
True
Let x(n) = 3*n - 98 - 169 + 114*n**2 - 191 + 539 + 2*n**3 - 4*n**3. Is x(57) a multiple of 28?
True
Suppose -5*k + 2*o = -57, -5*k + 5*o + 19 = -41. Let n be ((33/(-11))/(-3))/(1/5). Suppose -n*x + k*x - 492 = 0. Does 17 divide x?
False
Suppose 0 = -w - 0*w + 7. Let p(b) = 46 - 7*b - w*b - 15. Is 23 a factor of p(-6)?
True
Is ((-54)/72)/(((-27)/(-2436))/(-9)) a multiple of 29?
True
Let t(w) = 120*w**3 + 7*w**2 - 10*w + 8. Let s be t(2). Let g = s + -231. Does 100 divide g?
False
Let v(i) = -281*i + 25. Suppose -2*j - 4 = 5*q, -2*q + 2 = -j + 3*q. Is v(j) a multiple of 15?
False
Suppose 3*q + 8*x - 8128 = 0, -45*q + 42*q + 4*x = -8176. Is q a multiple of 160?
True
Let r(o) be the third derivative of 1/24*o**4 + 29*o**2 + 47/6*o**3 + 0*o + 0. Does 26 divide r(5)?
True
Suppose -79 = 11*o - 310. Let n = o + -82. Let y = n + 124. Does 9 divide y?
True
Let t be 2 - (1 + 3/3)*-9. Is t/(-70) - 669*(-12)/21 a multiple of 26?
False
Let j = -184 + 302. Suppose -25*m + 357 + j = 0. Does 19 divide m?
True
Suppose -6*q = -2*q + 2*x - 326, -2*q - 5*x + 143 = 0. Let h be 2/7 + 3*244/q. Does 15 divide -25*(9/(-10))/(h/12)?
True
Suppose 5*f - 5*x - 27120 = 0, 27120 = 5*f + 42*x - 39*x. Is f a multiple of 32?
False
Suppose 91*y - 5*y = 18*y + 176256. Does 206 divide y?
False
Suppose -78*j = 130*j - 67*j - 8767944. Does 49 divide j?
False
Suppose i - 5*l = 55987, l - 510774 = -14*i + 272476. Does 11 divide i?
False
Suppose 5*u = -2*t + 338, -353*t + u = -350*t - 524. Is 58 a factor of t?
True
Let y = 16724 - 8477. Is y a multiple of 71?
False
Let l(w) = -17*w**2 + 3*w + 5. Let f be l(-2). Let s be (-22)/(-77) + 257/7. Let b = s - f. Is b a multiple of 32?
False
Let w(k) = k**2 - 63*k + 1731. Is 9 a factor of w(30)?
False
Let z(y) = y**2 - y + 21. Suppose -5*s + 3*s = -5*s. Let u be z(s). Let m = 27 + u. Is 7 a factor of m?
False
Suppose 59 = -4*u - 2857. Let d = 1028 + u. Does 23 divide d?
True
Suppose 3 = 10*c - 13*c. Let t be 10/30 - 19/3. Does 29 divide 4745/30 - c/t?
False
Suppose 4*w + 3619 = 15*w. Suppose 0 = -333*x + w*x + 616. Does 14 divide x?
True
Let v = 975 - -4223. Is 2 a factor of v?
True
Let a = 712 + -519. Suppose 2*m - a = 83. Does 6 divide m?
True
Suppose -15*a - 12 = -16*a. Let c be (-3)/(a/(-952)*2). Does 23 divide 51/c + ((-970)/(-7) - 1)?
True
Is 19 a factor of ((-374)/(-66) - -7)/((-2)/(-1578))?
True
Let u(o) = -o**3 + 16*o**2 - o + 25. Suppose -w + 15 = -1. Let p be u(w). Suppose 0 = 17*l - 16*l - p. Is l a multiple of 3?
True
Let z(b) = -b**2 + 11*b - 7. Let q = 6 - 16. Let t be (8 + q)/((4/2)/(-8)). Does 17 divide z(t)?
True
Let c be (-4)/26 + 168147/(-221). Let v = 1407 + c. Is 17 a factor of v?
True
Suppose l + 4*d = -4, -2 = -50*d + 51*d. Is 362/((l/(-3))/((-8)/12)) a multiple of 79?
False
Let v(b) = -40*b + 165. Let w(i) = i**2 + i - 3. Let k(t) = -v(t) - w(t). Does 8 divide k(29)?
True
Is ((-10)/(-55) - (-1277475)/55) + (-9)/9 a multiple of 42?
True
Suppose -52*z = 130*z - 949312. Does 9 divide z?
False
Let r = -24019 - -40379. Is r a multiple of 39?
False
Let q(i) = i**2 - 12*i - 2. Suppose 0 = -l - 2*l + 141. Let f = l - 55. Is 34 a factor of q(f)?
False
Let m = 56 + -56. Suppose i + 4*s + 7 = m, 5*s + 0 = -4*i + 5. Suppose i*x - 300 = -3*g, -3*x + 4*x - 77 = -4*g. Does 19 divide x?
True
Suppose -81 = u - 84. Suppose -u*k + 732 = -786. Is 11 a factor of k?
True
Suppose 0 = 17*h - 27 - 24. Suppose -123 = -s - h*y, -3*s + 4*y = 107 - 437. Is 19 a factor of s?
True
Suppose -243*l = -238*l - 2*f - 29529, 0 = 4*l + 2*f - 23598. Is l a multiple of 5?
False
Let w(y) = 29*y + 29. Let p be w(0). Suppose 0 = 23*d - p*d + 5772. Is d a multiple of 74?
True
Let y(g) be the first derivative of g**4/2 - 22*g**3/3 + 3*g**2 - 21*g - 106. Does 9 divide y(11)?
True
Let k = 269 - 271. Does 11 divide (12/24)/(k/(-592))?
False
Let l = 2625 + -1799. Let a = l + -500. Is 6 a factor of a?
False
Let j be (6 - (5 - (-63)/(-6)))*18. Suppose 1499 = 34*r + j. Is 19 a factor of r?
True
Let i = 18630 - 12507. Does 8 divide i?
False
Suppose -2*h + 588 + 80 = 0. Suppose 0 = -44*j + 59*j + 2700. Let d = h + j. Does 11 divide d?
True
Let k = 19 + -4. Suppose 49*p - 36*p - 715 = 0. Does 28 divide 2 + p + k/(-15)?
True
Is 4/(((-528)/17831)/(-12)) even?
False
Let d(g) = 20*g**2 - 22*g + 6. Let h be d(7). Let q = h - 307. Is 15 a factor of q?
True
Let p(f) = 234*f + 39 - 5 - 203*f. Does 19 divide p(13)?
True
Let o = -16122 + 28078. Is o a multiple of 45?
False
Suppose 2*w + v = 3519 + 1156, -w - v + 2335 = 0. Is 15 a factor of w?
True
Suppose 2*a - 5*l + 27 = 0, -4*a - 3*l + 4 + 7 = 0. Let v be ((-12)/(-30))/(a/330). Let u = v - -195. Is 7 a factor of u?
True
Suppose -4*y = -3*t + 246, t - 8 = 5*t. Let o = y - -66. Suppose -o*r - 57 = -6*r. Is r a multiple of 15?
False
Suppose 4*t + 3*k = 63558, 10*t = 14*t - 2*k - 63548. Is t a multiple of 4?
True
Suppose 0 = 4*f - 5*f - 2*f + 10749. Is f a multiple of 24?
False
Suppose b - 3*t - 23 = 78, 0 = 4*b + t - 378. Suppose -b + 1130 = 9*p. Is p a multiple of 27?
False
Suppose -2*w = b - 3353, -3*b + 0*w = -2*w - 10075. Suppose 5*d = 15, 3*x + 10*d = 9*d + b. Is 31 a factor of x?
False
Is 80 a factor of ((-153142)/319 + 6/87)*(-25 - -2)?
True
Let a(h) = -h**3 + 4*h**2 + 6*h + 1. Let d be a(5). Suppose 4*u = -d*u. Suppose -3*l - l + 252 = u. Is 7 a factor of l?
True
Suppose 5*k + 10 = 10*k. Suppose -x = 4*l + 812, 4*l - 4*x + 388 = k*l. Let o = -137 - l. Does 13 divide o?
True
Suppose 205 = -0*b + 5*b - t, 5*t = 25. Let w = -42 + b. Suppose -u - 3*c + 44 = -2*c, c - 2 = w. Is u a multiple of 10?
False
Let n(l) = -22*l**2 - 801*l - 24. Does 173 divide n(-18)?
True
Let h be (-4 - 0)/12*-27. Suppose 0 = 2*g, -6*j + h*j + 2*g = 1545. Does 20 divide j?
False
Let c = 257 - 262. Let z(h) = 2*h**2 - 2*h - 13. Does 47 divide z(c)?
True
Let c = -428 + 243. Let n = 98 - c. Is n a multiple of 7?
False
Suppose -192*i = -186*i - 12264. Suppose 300 = -2*c + i. Is 14 a factor of c?
False
Suppose 928 = -46*b + 162*b. Let z(i) = 6*i**2 - 6*i - 31. Let s(g) = g**2 - g - 1. Let d(j) = -5*s(j) + z(j). Is 14 a factor of d(b)?
False
Let r(j) = -j**2 - 6*j + 511. Suppose -2*a + 6*a = 0. Is 19 a factor of r(a)?
False
Let f = 20451 + -3995. Is f a multiple of 68?
True
Let h = -52 - -39. Let t = h + -3. Let w(y) = y**2 + 14*y + 12. Does 6 divide w(t)?
False
Let y(q) = 2*q**2 - 29*q + 19. Let u be y(13). Let r be -15*(-2)/12*u. Is (-1 - -2)/((5/r)/(-1)) a multiple of 5?
True
Suppose 0*h + 966 = h. Let s = 141 + -136. Suppose -2*l + 567 = 4*u - 185, -s*u + 4