a(-48) a multiple of 45?
True
Let q(h) = 398*h + 4877. Is q(-4) a multiple of 15?
True
Suppose 0 = -2*a - 15*z + 16*z + 23, 3*z + 58 = 5*a. Suppose a*r + 1477 - 5272 = 0. Is 15 a factor of r?
True
Let t = -377 - -379. Suppose 2*o + 8 = 0, -t*g + 404 = -5*o - 1030. Is g a multiple of 36?
False
Let t(y) = -y**3 - 5*y**2 - y - 5. Let x be t(-5). Suppose i = -2*d + 4, 2*i + 11*d - 9*d - 4 = x. Let z(o) = -o**2 + o + 120. Is 15 a factor of z(i)?
True
Suppose -2*a - 3*g = -6*a - 20, 0 = a + 4*g + 5. Does 25 divide (-366)/((14/(-3) - a)*-3)?
False
Suppose 4*g - p - 3 = 2*g, 4*g + 2*p = -14. Is 7 a factor of g + 23 + (2 - (1 - 1))?
False
Let r(t) = -t - 9. Let p be r(-5). Let w be (-6)/p*4/(-3). Let d(x) = 6*x**2 - 7*x - 2. Does 12 divide d(w)?
True
Suppose -2*d = -4*r + 26, 5*r - 3*d - 31 = -d. Suppose -r*h - 2*m = -1024, 0 = h + 4*h + m - 1022. Is 47 a factor of h?
False
Let m(y) = 7*y + 32. Let z be m(-22). Suppose -j + 4*j + 183 = 0. Let s = j - z. Is s a multiple of 46?
False
Let c be 8/(-60) + 104/(-120). Let d(x) = -766*x**3 - 3*x**2 - 2*x. Is d(c) a multiple of 50?
False
Let l = -50 + -24. Let a = 72 + l. Let v(h) = -5*h**3 + 3*h**2 + h. Is v(a) a multiple of 11?
False
Is (124300/(-226))/(0 + 2/(-36)) a multiple of 40?
False
Suppose 3038 = 22*q - 2132. Suppose 4*w + 4*u - 504 = 0, 3*u - 27 = w - 153. Let o = q - w. Does 38 divide o?
False
Let k(s) = 6*s**2 + 15*s - 19. Let h(i) = 11*i**2 + 30*i - 37. Let v(z) = -4*h(z) + 7*k(z). Let m be v(-8). Suppose -4*w - 54 = -m*w. Does 6 divide w?
True
Let v be -1 + 3 + -5 + 8. Suppose -v*r = -r - 12. Is 10040/60 + 2/r a multiple of 10?
False
Let w(k) = k**2 - 10*k + 28. Let b be w(7). Does 24 divide 150 + b - (-1 - 0)?
False
Suppose 85*k - 129*k + 6901 = -51311. Is 21 a factor of k?
True
Let z be 14/35 + 3/5 + 2. Suppose -z*c = 4*u - 517, 0 = 2*c + 3*c - 4*u - 883. Does 35 divide c?
True
Suppose -728763 = -57*f - 260907. Is f a multiple of 152?
True
Suppose 34*p = 38*p + 12. Is 226*p/(-24) + (-2)/8 a multiple of 7?
True
Suppose -5*d = -4*v + 2*v + 249, 4*v - 5*d - 483 = 0. Suppose -2035 = 2*o - 7*o. Suppose 2*w - o = -v. Is 29 a factor of w?
True
Suppose -3*g = 4*c - 5898, 5*c - 67*g = -68*g + 7356. Is c a multiple of 210?
True
Is 6 a factor of (546/(-84) + 6)/(-1 - (-10678)/10680)?
True
Let y(g) = 24*g**2 - 226*g - 78. Is 28 a factor of y(29)?
True
Is (-3)/5 - (-7906240)/775 a multiple of 205?
False
Let s = -127 + 111. Is 4/s*-71*(0 - -20) a multiple of 41?
False
Let a(s) = s**3 + 22*s**2 - 24*s + 20. Let y be a(-23). Suppose z - 113 = 3*c, -c - z = -4*z + y. Let v = 102 + c. Is v a multiple of 5?
True
Suppose o + 45690 = 4*f, 0 = f - 4*o - 4994 - 6406. Is f a multiple of 32?
True
Suppose 0*p = 4*p + 15*p - 71307. Is p a multiple of 5?
False
Let t = -9052 + 15632. Does 14 divide t?
True
Let q be 144/56*(-16576)/(-12). Suppose 24*r - 12*r - q = 0. Is 37 a factor of r?
True
Suppose -292 + 380 = 11*v. Is -7 + 13 - v - -604 a multiple of 22?
False
Suppose -15*m + 12*m = -4*p + 13763, 2*p - 4*m = 6884. Is p a multiple of 86?
True
Let c = -1192 + 2210. Suppose 0 = -7*q + 8*q - c. Is 13 a factor of q?
False
Is 139 a factor of 6543 + (-7 + -14 - (-9 + -2))?
True
Let w(u) = 11*u + 1. Suppose -33 = -39*v + 28*v. Is w(v) a multiple of 4?
False
Let c = 25 - 2. Let p(h) = h**2 - 11*h - 56. Is p(c) a multiple of 53?
False
Let q(y) = y**3 - 18*y**2 + 45*y - 4. Let z be q(15). Is (-11 + 6 - 1679)/z a multiple of 44?
False
Suppose 5*d + 535 = 10*d. Let b(r) = -2*r - 23. Let k be b(18). Let c = k + d. Is 43 a factor of c?
False
Let v(c) = 3*c**2 - 4*c - 7. Let n be v(-3). Let s(j) = -j**3 + 8*j**2 - 10*j + 17. Let g be s(7). Let w = g + n. Is 14 a factor of w?
True
Suppose 2*a - 4*a = -2*c + 10, 4*a + 5 = c. Suppose 0 = 4*u + 5*r - 9 + 11, -2*r - 6 = -u. Suppose c*o = -3*b + 306, -u*b - 148 = -5*o + 148. Does 4 divide o?
True
Let d(a) = a**3 - 13*a**2 + 18*a + 7. Suppose -18*i = -15*i - 39. Let w be d(i). Let g = -137 + w. Is g a multiple of 26?
True
Let d = 7699 - 4121. Let u = -2453 + d. Does 15 divide u?
True
Let n(r) = 5*r - 237. Let a be n(48). Let y(t) = 81*t**2 + 5*t - 22. Is 31 a factor of y(a)?
False
Suppose 7087153 = 121*i + 72*i. Is i a multiple of 169?
False
Let q = -840 + 1916. Does 4 divide q?
True
Let r = 2624 - 824. Suppose 17*q + r = 12*q. Is 10 a factor of ((-18)/10)/(8/q)?
False
Is 5945 + ((-2)/(-8) - 740/80) a multiple of 112?
True
Let v(j) = 13*j - 115. Let f = 38 - 22. Is 3 a factor of v(f)?
True
Let l(z) = 858*z**3 + 16*z**2 - 13*z - 1. Does 4 divide l(1)?
True
Let p(m) = -m**3 - 10*m**2 - 11*m + 6. Let n be p(-8). Let y be 1 + n/2*3. Let f = -28 - y. Is f a multiple of 5?
False
Suppose -5*w = -4*t + 11722, -7*w = -2*t - 11*w + 5848. Is t a multiple of 24?
True
Suppose 0 = -5*l + 168 + 202. Suppose -13*y + l = -15*y. Let f = -31 - y. Does 6 divide f?
True
Suppose 9*t + 723 = 282. Suppose 13*o + 0*o = 1287. Let c = o + t. Does 10 divide c?
True
Let b(d) = 4*d - 31. Let g be b(6). Let n(s) = -87*s - 37. Does 26 divide n(g)?
True
Let x = -1088 - -557. Let c = -424 - x. Is 21 a factor of c?
False
Suppose 4*b - 7 = c, -2*b - c = 2*b - 9. Suppose -b*d = 3*r - 70, -4*r - 8*d + 92 = -4*d. Let y(z) = z**3 - 23*z**2 - 24*z + 25. Is 5 a factor of y(r)?
True
Let h = 31564 - 5692. Is 33 a factor of h?
True
Let p(x) = -3*x**2 - 4 + 2*x**2 - 2*x + 0*x**2 + 5*x. Let q be p(2). Is ((-2055)/(-30))/(q/(-4)) a multiple of 21?
False
Let v = -143 - -2327. Is 56 a factor of v?
True
Let p be -144 - 0/(4 + -3). Let v = -213 - -67. Let n = p - v. Is n even?
True
Suppose -70 = 2*t - 56, -4*z - 3*t = -172583. Does 13 divide z?
False
Let n be (-12)/(-30) - 46893/(-55). Let d = n + 59. Does 12 divide d?
True
Suppose 17*d - 3*d = 42. Suppose x - 100 = -d*x. Suppose x + 227 = 3*t. Is 14 a factor of t?
True
Let f(s) = -s**3 + 5*s**2 + 6*s + 1. Let x be f(6). Let p(o) = -o**2 + 7*o + 7. Let m(r) = -r**2 + 1. Let j(i) = x*p(i) - 5*m(i). Is 17 a factor of j(-3)?
True
Suppose -2*r = 2*d - 2056 - 830, 0 = -5*d + 3*r + 7215. Let t = d + -460. Is t a multiple of 78?
False
Let n(b) = 66*b**2 + 7*b + 15. Let v be n(11). Let o be 4/18 - v/63. Let j = 3 - o. Is 14 a factor of j?
False
Let i be (-1)/((27/24)/(-9)). Suppose i*v - 2*v = 12. Suppose g - 26 = -2*u, v*g + 4*u = 5*g - 38. Is g a multiple of 3?
True
Does 3 divide 93854/50 + 1186/(-14825)?
False
Let w = -20409 - -68529. Does 30 divide w?
True
Suppose 107*i + 281*i = 8422704. Is i a multiple of 19?
False
Let m = -1753 + 2949. Does 2 divide m?
True
Let w(j) = -649*j - 11. Let v be w(-2). Suppose 17*g - v = 4*g. Does 29 divide g?
False
Let h(j) = -53*j**3 + 54*j**3 + 2 + 10 + 11*j - 12*j**2 + 2. Let d be h(11). Suppose -d = 5*m - b - 76, 2*b = 6. Is 8 a factor of m?
False
Let i(p) = 2*p**3 + 3*p**2 + 8*p - 18. Let x be i(4). Suppose 5*b = -2*r + 482, 2*b + 15*r - x = 17*r. Is 44 a factor of b?
False
Let v = 42 + -37. Suppose 5 = -2*n + c, -v*c + 21 = -2*n - 4. Suppose 3*o - 3 - 159 = n. Does 9 divide o?
True
Suppose 1880 + 3337 = 2*t - 10695. Is t a multiple of 51?
True
Suppose -3*i = 0, -3*m + 9*i - 6*i + 12 = 0. Suppose j - 4*n = 368 - 116, 5*j + 3*n = 1352. Suppose 88 = -m*s + j. Does 9 divide s?
True
Suppose 8*u = 4234 + 1206. Let y = u - 592. Is 22 a factor of y?
True
Let s(o) = -o**2 - 10*o + 8. Let x be s(-4). Let d = x + -32. Suppose -7*u + 979 - 13 = d. Does 23 divide u?
True
Suppose -t + 2*x + 12 = 0, 3*x = t - 1 - 9. Suppose 4*c - t = -0*c. Suppose 2*b - 21 = -h + 6*h, 5*b + c*h - 36 = 0. Is 5 a factor of b?
False
Suppose -5*i = w - 58743, -391 = -4*w - 399. Is i a multiple of 31?
True
Let o(m) = -m**3 - 6*m**2 - 5*m + 5. Let q be o(-5). Suppose -d = 2, -4*b - q*d + 17 = -b. Let l(y) = 5*y - 16. Does 11 divide l(b)?
False
Let y(j) = j**2 - 7*j - 75. Suppose -12 = a + 5*s - 19, 4*a - 74 = 3*s. Is y(a) a multiple of 35?
False
Suppose -41 = -2*c - 197. Is (65/(-78))/(1/c) a multiple of 13?
True
Let f(p) = -p. Let v be f(0). Suppose 161 + 112 = 21*u + 84. Suppose u*a - 90 - 1233 = v. Does 21 divide a?
True
Let c(b) = 7*b + 58. Let g be (-5)/((-20)/24) + 6. Is c(g) a multiple of 4?
False
Let l(i) be the first derivative of 2*i**3/3 - 9*i + 20. Let w be l(-5). Suppose 87 = 8*r - w. Is r a multiple of 4?
True
Does 55 divide -1398*(2 + (-495)/22) + (1 - 5)?
True
Let v(y) be the