- 14*r**2 - 13*r - 21. Suppose -270 = 16*f - 34*f. Does 3 divide a(f)?
True
Suppose 7*s + 2181 = 24098. Does 101 divide s?
True
Suppose 5*r - 60 = 2*h, -2*r + h = -3*h - 40. Suppose -3*b + 25 = -6*b - 4*k, -2*b = -4*k - r. Does 31 divide (-2)/b*(-651)/28*-4?
True
Let t(f) = 5*f**2 + 7*f + 29. Let x be t(-12). Suppose -4*g = 3*b + g - x, 0 = -3*b - g + 661. Is b a multiple of 22?
True
Let b be 36 + -31 - (-1 + 4). Does 16 divide 125 - -1*(-5 + b)?
False
Let q(g) = -2*g**3 - 21*g**2 - 10*g - 119. Is q(-16) a multiple of 12?
False
Let a(o) = -6*o**3 - 2*o**2 - o. Let y be a(-1). Let h(t) = -t + 31. Let c be h(y). Is 2/4 + (c/4 - 3) a multiple of 4?
True
Let j = 138 + -135. Suppose -j*s = -8*s + 530. Is 3 a factor of s?
False
Suppose 126*d - 131*d + h + 16780 = 0, -h - 10070 = -3*d. Is d a multiple of 55?
True
Let k = -3409 + 8744. Is 24 a factor of k?
False
Suppose 5*c + 6 = 5*p + 31, -2*c - 2*p + 2 = 0. Suppose -c = 2*l - 11. Suppose 3*z - y = 87, -z + l*y + 0 = -18. Is z a multiple of 8?
False
Let q = 137 - 133. Suppose q*f + 3*u - 130 = 394, u = -3*f + 398. Is 31 a factor of f?
False
Let s be (-82)/4 - (5 - 54/12). Does 9 divide s/(-35) + -3 + (-8008)/(-20)?
False
Suppose -122*k + 135*k - 242242 = 0. Does 14 divide k?
True
Suppose 3*b - 113 = -5*c, -3*c + 209 - 26 = 5*b. Let n = 41 - b. Suppose -2*d = -3*x - 177, 47 = 5*d + n*x - 408. Is 9 a factor of d?
True
Let j = -77 - -93. Suppose j*x - 1252 = 3436. Suppose -x = -d - 0*q + 4*q, 4*d + 2*q = 1082. Is d a multiple of 23?
False
Let w(g) = 2*g**3 + g**2 - 79*g + 84. Is w(20) a multiple of 18?
True
Let j = 763 + -760. Suppose j*n - 1315 = 2813. Is n a multiple of 43?
True
Suppose -t - 3*i = -14, -4*t + 7*i - 2*i = -5. Suppose t*m - 196 = 2*o + o, -4*m + 170 = 2*o. Suppose -2*z = w - 97, m = z - 11*w + 10*w. Is z a multiple of 23?
True
Suppose 14*m + 1296 = 20*m. Suppose 0*f - m = -i + 3*f, 4*f = i - 214. Is 37 a factor of i?
True
Let l(w) be the third derivative of 38*w**5/15 - 35*w**4/24 + 6*w**3 + 144*w**2. Is l(1) a multiple of 14?
False
Suppose -4*b = -154 - 18. Suppose b*q - 34*q - 4158 = 0. Does 11 divide q?
True
Let a = 50 - 6. Let j be (5 - a/10)*10. Is (-17)/(-102) + 1505/j a multiple of 12?
False
Let p(y) = y**3 + 12*y**2 - 22*y - 116. Suppose -12*j + 10*j = 5*o + 30, -2*o - 12 = j. Is 32 a factor of p(o)?
False
Let k = 9 + -5. Let x be (-2 - 141/6)/(174/(-1044)). Suppose s + 121 = 3*p, -5*p + k*s = -x - 58. Is p a multiple of 21?
False
Suppose 2*z + 2*j = 342, -2*z - 6*j = -7*j - 345. Is z/5 - (-4)/(-10) a multiple of 34?
True
Is (148808/12*(-1)/(-2))/((-1046)/(-3138)) a multiple of 25?
False
Let g = 280 - -1073. Suppose 5*b + g - 3978 = 0. Does 15 divide b?
True
Let c be ((-28)/49)/((-2)/14). Suppose -c*l = -3*u - 2193, 0*l + 4*l - 2175 = -3*u. Is l a multiple of 78?
True
Suppose -11*t + 13596 = 2684. Does 16 divide t?
True
Suppose -8*t + 3*t = -45. Let g(d) = 13*d - 48. Does 2 divide g(t)?
False
Let l(f) = -58*f**2 - 24*f + 192. Let k be l(9). Is 59 a factor of (-1)/(8 - k/(-590))?
True
Suppose 30*f - 26850 = -6900. Suppose 26*n = 19*n + f. Does 19 divide n?
True
Suppose 6*m - m = 20. Suppose -m*v - q = 3 + 70, 87 = -5*v + 3*q. Let c = v - -34. Does 2 divide c?
True
Suppose m - 2*m = 70. Suppose 0 = -9*h + 37 - 37. Let v = h - m. Is v a multiple of 10?
True
Let d(c) = -3*c**2 + 161*c + 31. Is 3 a factor of d(49)?
True
Suppose -3*f - 4*t = 0, -14 + 5 = 3*t. Suppose 0 = f*q, 0*r + 2*q = r - 3. Suppose -r*o = -86 - 43. Does 20 divide o?
False
Let x be 3*-1*(-11290)/(-15). Let u = 3498 + x. Does 40 divide u?
True
Let o(c) = -c**2 + 26*c - 43. Let x be o(24). Suppose 0 = -3*n - 14 + x. Is 7 a factor of (n - -1)*(81/(-6) + -4)?
True
Let o = 8 + -5. Suppose -4*v - 247 - 92 = 5*c, 5*v + 427 = -o*c. Let h = 122 + v. Is 7 a factor of h?
False
Let b = 8218 + -1836. Is b a multiple of 39?
False
Let n be 30/(-8) + (76/16 - 5). Is (n + -4 + 10)*(10 - 2) a multiple of 2?
True
Suppose 6*u = -4*t + 77032, -10*t + 15*t + 64135 = 5*u. Is u a multiple of 105?
False
Let z(b) = 145*b**3 + 6*b**2 - 4*b - 59. Does 72 divide z(5)?
False
Suppose 9071 = 7*m + 5*j, 3*m + 5*j = 7*j + 3871. Is m a multiple of 78?
False
Let s be 9 + (12/(-3) - -3). Suppose -s*x + 3*x - 64 = 2*v, -v - 32 = 3*x. Let r = 58 + v. Is r a multiple of 13?
True
Let v(b) = 313*b - 759. Is 13 a factor of v(20)?
False
Let t(a) = 60*a**3 - 14*a**2 + 69*a - 1. Does 33 divide t(5)?
False
Let s(j) = 71*j - 13. Let y(k) = -213*k + 34. Let r(o) = -8*s(o) - 3*y(o). Does 69 divide r(17)?
False
Let j(x) = -18*x + 16. Let y be j(3). Let a = y - -42. Suppose a*g = -3*q + 201, -g = 2*q - 44 - 85. Is q a multiple of 9?
True
Let d = 18393 + -10533. Is d a multiple of 4?
True
Let g(s) be the second derivative of s**6/72 + s**5/120 - s**4/24 + 7*s**3 + 31*s. Let w(t) be the second derivative of g(t). Does 5 divide w(1)?
True
Let h(i) = i**3 - 3*i**2 + 17*i - 59. Let b be h(10). Let n = 1468 - b. Does 44 divide n?
False
Let w(m) = 4*m**2 - 6*m + 1. Let c(f) = -f - 1. Let h(x) = -2*c(x) + w(x). Let t be h(2). Suppose 23 = 2*p + t. Is p a multiple of 5?
False
Suppose -7*u - 4728 = -72810. Is u a multiple of 111?
False
Let w(t) = -32*t - 246. Let o be w(-9). Suppose 49*q - o*q = 11305. Does 33 divide q?
False
Suppose 0 = -5*b + 5*q, 2*b + 3*b = -3*q + 40. Suppose b*p - 748 = -4*m + 768, 2*p = 5*m + 580. Does 50 divide p?
True
Let t be (-61)/(-4) + (51/(-12) - -4). Suppose -t*y = 442 - 2842. Does 6 divide y?
False
Let g(q) = 302*q - 1942. Is 90 a factor of g(60)?
False
Let c(g) = 24*g**3 - 7*g**2 + 9*g - 8. Let k be c(2). Let q = -69 + k. Is q a multiple of 21?
True
Let f(v) = 2*v**2 + 3*v - 574. Is f(69) a multiple of 3?
False
Does 15 divide (-69510)/(144/(-96)*2/3)?
True
Let c = -432 - -295. Let b = c - -81. Is (1274/b)/(1/(-8)) a multiple of 13?
True
Let y(b) = 679*b - 516. Is y(4) a multiple of 44?
True
Suppose -13*k = -69019 - 31029. Does 74 divide k?
True
Let l(p) = -9*p - 2. Let u be 1/((2 + -3)/(-2)). Let s(w) = -2*w**3 - w**2 + 5*w - 4. Let j be s(u). Is 31 a factor of l(j)?
True
Let s be -1*((-49)/(-7))/(3 + -2). Is 40 a factor of (-4)/(-14) - 2238/s?
True
Suppose i + 148*a - 149*a - 7426 = 0, 0 = 4*i + 2*a - 29698. Is 9 a factor of i?
True
Suppose -896 = -5*r - 9*o + 8*o, -2*r + 3*o + 372 = 0. Suppose 62 = -s + r. Is s a multiple of 59?
True
Let o(r) = -19*r - 33. Let d(b) = 6*b + 11. Let x(f) = 7*d(f) + 2*o(f). Let t be x(9). Suppose t = 3*v - 10. Is 2 a factor of v?
False
Suppose p = 2*m + 40, m + 4 + 7 = -4*p. Let n(z) = z**2 + 5*z - 22. Let f be n(m). Suppose f = 5*w - 376. Is w a multiple of 31?
True
Let c be (3 - (-39)/(-12)) + 3265/20. Let m = -13 + c. Is 30 a factor of m?
True
Suppose 2*z + 5*r - 11 = 0, -4*z = -6*z - 2*r + 14. Suppose -861 = -4*g + 307. Suppose -804 = -z*b - g. Is b a multiple of 25?
False
Let f be (-5)/(-20) - 114/8. Let u = f - -96. Suppose -3*q = -2*o + u, 2*q = o - 0*o - 42. Is 13 a factor of o?
False
Let y = -1581 - -1687. Suppose f + 1 - 6 = 0. Suppose 176 = 5*z - 3*a, f*z + 2*a = 8*z - y. Does 4 divide z?
False
Let t(z) = 426*z + 226. Is t(19) a multiple of 7?
False
Suppose -3*o + 1560 = 435. Is o a multiple of 7?
False
Suppose 4*t = -z + 1419, 2*z = -4*t + t + 1063. Is t a multiple of 15?
False
Suppose 2*c + 386 = -4*f + 112, -145 = c - 2*f. Let v be c/(-2)*8/6. Suppose -734 = -4*h - v. Is 16 a factor of h?
True
Let r be 90/24*-2*6/(-3). Suppose 14*w - r*w - 4290 = -5*a, -1716 = -2*a + 4*w. Does 53 divide a?
False
Let x(s) = 15*s + 4 + 16 + 0 + s**2. Let g be x(-15). Let a = g + -8. Does 7 divide a?
False
Does 8 divide 9465/9*(76/5 + -14)?
False
Let d = -14870 + 30299. Is 192 a factor of d?
False
Let m(i) = 86*i + 96. Does 13 divide m(1)?
True
Suppose 5*x - 18 = 507. Suppose 10*d = -2375 + x. Let r = d + 360. Is r a multiple of 15?
False
Suppose 24*i = 4*i + 100. Suppose -38*w + 4752 = i*q - 39*w, 5*q + w = 4758. Is q a multiple of 57?
False
Suppose 1722*t = 1745*t - 141855 + 16942. Is 12 a factor of t?
False
Suppose 101664 = 96*v + 93*v - 173*v. Is 72 a factor of v?
False
Let r = -9176 + 10491. Does 5 divide r?
True
Let y(f) = f**2 + 224. Suppose -3*v = 3 - 9. Suppose 2*w = l + 3 - 0, 4*l = -v*w - 12. Is y(w) a multiple of 15?
False
Suppose -3*g - 3*l = -22863, 5*g - 5*l + 22855 = 8*g. Does 25 divide g?
True
L