s f a multiple of 76?
True
Suppose 0 = -26*m + 31*m - 10. Suppose -m*t + 516 = t. Suppose -2*a + t = 58. Does 8 divide a?
False
Let n(i) = i**2 + 13*i + 11. Let b = 22 - 34. Let u be n(b). Is -4 - (-86 - (-1 - u)) a multiple of 11?
False
Suppose -10 = -2*b + 288. Let g = b + -130. Suppose 0 = 21*n - g*n - 448. Is 9 a factor of n?
False
Let r = 1019 - 64. Does 2 divide r?
False
Let k be (-2)/(-19) + (-1044)/(-551). Suppose 10 = 2*w, -k*r + 436 = -w - 3*w. Is 35 a factor of r?
False
Let f(j) = 276*j**3 + 424*j - 2168. Is f(5) a multiple of 87?
True
Let u = -162 + 275. Let o be ((-22)/(-77) - 1263/84)*4. Let g = u + o. Does 11 divide g?
False
Suppose -7*q + 171 = 2*m - 4*q, q = m - 93. Let i be ((-8)/(-10))/(36/m). Does 11 divide (5 - (-47)/(-4))*(-2 - i)?
False
Suppose 35 + 127 = -p + 3*c, 634 = -4*p - 2*c. Let v = -333 - p. Is 34 a factor of 5/2*v/(-5)?
False
Let n = 7 + 17. Let x(a) = -a**2 + 23*a + 58. Let t be x(25). Does 7 divide ((-546)/n)/((-2)/t)?
True
Suppose -8608*j = -8592*j - 840192. Is 96 a factor of j?
True
Suppose 0 = 2*f - 1318 - 1298. Suppose 35*h = 30*h + 4*m + 1635, -3*m + f = 4*h. Is h a multiple of 31?
False
Let p(v) = v - 1. Let m(w) = 2*w**2 - 9*w - 10. Let g(z) = m(z) + 6*p(z). Let j be g(8). Does 36 divide 6*(-4 + j/4)?
True
Suppose 266 = k + 3*c + c, -2*k + 548 = 4*c. Suppose 68*b + k = 70*b. Suppose -11*v = -68 - b. Is v a multiple of 7?
False
Suppose 4*f + 5*h = 100400, -47*f + 48*f = 3*h + 25134. Is f a multiple of 27?
True
Let p(t) = -3*t - 4. Let x be p(-1). Let o(d) = 283*d**2 + 2*d + 4. Does 15 divide o(x)?
True
Let c = -43 + 42. Let a(o) = 8*o**2 - 2*o - 1. Is 2 a factor of a(c)?
False
Suppose -9991 = -94*s + 27717 + 38714. Is 5 a factor of s?
False
Let k = -43 - -43. Suppose 15*o = 11*o + 48. Suppose k = -n - 0*n + o. Does 3 divide n?
True
Let s be 13/91 - 9743/(-7). Suppose -652*n + 654*n = s. Is 63 a factor of n?
False
Let b = -8 - -13. Suppose -4*v + b*v + 125 = 0. Is (v/10 + 2)*-2 a multiple of 7?
True
Let g(q) = -1031*q - 2183. Is 10 a factor of g(-13)?
True
Let r(p) be the first derivative of 11*p**3/3 - 4*p**2 - 29*p + 8. Let x be r(13). Is (-5)/(-15) - 1 - x/(-6) a multiple of 33?
False
Let v(d) = 7*d**2 - 5*d - 10. Let c be v(3). Suppose n + 21090 = c*n. Does 38 divide n?
True
Let q(n) = -4*n + 10. Suppose -2*y + 5 - 25 = 0. Does 3 divide q(y)?
False
Let r be 7455/5 + -2 + (2 - 3). Let l = 2366 - r. Is 63 a factor of l?
False
Let f = -54 - -58. Let g(c) = c**3 - c**2 + 12*c - 6. Does 15 divide g(f)?
True
Suppose 0 = -4*f - 5*y + 7332, 0 = -5*f + 2*y + 3*y + 9120. Suppose f = 3*d + 373. Suppose 10*g - 15*g = -d. Does 17 divide g?
False
Let n(r) = -2*r**2 - 35*r - 20. Let s be n(-14). Let t be ((-2)/3)/((-13)/s). Suppose 4*v = 4*l + 5*v - 456, t*l - 480 = 5*v. Is 23 a factor of l?
True
Suppose -60*d - 57494 = -295274. Is d a multiple of 7?
False
Suppose -4*d - 4*r = -28, 0 = -2*d + d - 4*r + 13. Suppose d*f - 2*f = -2*s + 19, 3*f + 5*s - 34 = 0. Suppose -891 = -f*q - 156. Is 31 a factor of q?
False
Let q(n) = 2*n**2 - 7*n - 6. Let x be q(9). Suppose 77 = 2*b - x. Does 7 divide b?
False
Suppose 4*v + 4484 = 4*q, -2*v - 1896 + 6392 = 4*q. Suppose -2*h = 4*i - 1138, 2*h - 12*i = -13*i + q. Does 71 divide h?
False
Let r = -257 + 135. Let j = -221 - -35. Let p = r - j. Is p a multiple of 4?
True
Let n = -38576 - -49946. Is 30 a factor of n?
True
Suppose 5*g - r - 1201 = 0, 0 = -3*g - 32*r + 34*r + 722. Does 12 divide g?
True
Let v(x) = -6*x + 57. Let l be v(9). Suppose l*t - 1295 = -5*c, -4*c - 1027 = -5*t + 1156. Let y = t + -197. Is y a multiple of 14?
True
Suppose 81*s = 5*r + 80*s - 62470, 4*s = -r + 12473. Is r a multiple of 31?
True
Let h = -73 - -75. Suppose h*z + 3*b = 22, -2*z - 5*b + 9 + 21 = 0. Suppose 5*d = -5*j + 1170, 4*d - 938 = -z*j + 3*j. Is d a multiple of 47?
True
Suppose 4*j - 64230 = -7*z, -13461 = 3*z + 5*j - 40998. Does 22 divide z?
True
Suppose -5*b + 2*b = -5283. Does 9 divide b?
False
Suppose 0*r - 5*r = 2*q - 1892, -3*r + 1129 = -5*q. Suppose -19*o + 7887 = -r. Does 20 divide o?
False
Suppose -3*w + 5*i + 1631 = -1815, -4*w + 4608 = -4*i. Let h = -437 + w. Does 12 divide h?
True
Let g be ((-2)/(-5))/1*85. Suppose g*f = 11426 - 1260. Is f a multiple of 16?
False
Let u = -6504 + 7350. Is 9 a factor of u?
True
Suppose 0 = 7*s + s - 9840 + 1680. Is 6 a factor of s?
True
Suppose -2*q + 2*l = -3*q - 6, 2*l = -10. Suppose -q*m + 166 = 2*o, -2*o + 3*m - m + 136 = 0. Suppose -f = f - i - 126, o = f + 2*i. Is f a multiple of 3?
False
Suppose 2*u - 6*u + 1939 = 5*w, -5*u = -5*w - 2480. Suppose -3*z - 737 = 3*h + h, -1205 = 5*z + 2*h. Let q = z + u. Is q a multiple of 12?
True
Let w(l) = 7*l**2 - 21*l + 3. Let z(g) = -4*g**2 + 11*g - 1. Let t(h) = -6*w(h) - 11*z(h). Is t(-5) a multiple of 4?
False
Let h(x) = 6*x + 17. Let v be h(3). Let z be (1/(v/(-14)))/(2/(-90)). Suppose -12*w - 840 = -z*w. Does 27 divide w?
False
Let q = -18 - -30. Let i(p) = -13*p - 13. Let o(l) = -11*l - 11. Let s(n) = 5*i(n) - 6*o(n). Does 3 divide s(q)?
False
Let d = -87 + 91. Suppose -19*h - d*h = -5152. Is 7 a factor of h?
True
Let a be -1*(6 - 4 - (4 - -1)). Suppose -3*w - 1 = -5*t + 29, -30 = a*w + 3*t. Does 10 divide w*((-11)/(-1))/(-1)?
True
Let s be ((-4)/3)/(12/(-18) - 0). Is 7 a factor of (-27)/(-36) - (3050/(-8) + s)?
False
Let k(h) = -2620*h - 1636. Does 28 divide k(-6)?
True
Let y = -139 + 143. Suppose -2*n = 3*s - 346, 4*s = -y*n + 36 + 660. Is 16 a factor of n?
True
Let o be 1/(-3) + 2252/6. Suppose -2*q = 43*h - 41*h - 10, -4*q = -3*h - 41. Suppose -o = -q*p + 169. Is 11 a factor of p?
False
Is (31/(620/(-2288)))/(10/(-225)) a multiple of 45?
False
Suppose 0 = 23*y - d - 1891750, -4*y + 3*d = -29883 - 299117. Does 53 divide y?
False
Suppose 69*i + 7821 = 60*i. Is 8/(-24)*15*-1 - i a multiple of 46?
True
Suppose 0 = 4*r + 63 + 225. Is 66 a factor of ((-5480)/18)/(-4) + 8/r?
False
Let m(n) = -203*n**3 - 15*n**2 - 20*n + 1. Let s(w) = 40*w**3 + 3*w**2 + 4*w. Let z(h) = -2*m(h) - 11*s(h). Does 19 divide z(-2)?
True
Suppose 0 = -5*b + 2*m + 37168, 2*b = 2*m + 13533 + 1327. Is b a multiple of 22?
True
Let n(a) = 643*a + 904. Is n(5) a multiple of 32?
False
Suppose -j + 16*j + 45 = 0. Let w(i) = -85*i + 69. Is w(j) a multiple of 27?
True
Let v be (-8 + -4)/2*(-10)/15. Does 31 divide (-3 - (-32)/v) + 415?
False
Suppose 5*i = -4*k - 132 + 903, -3*i + 4*k + 437 = 0. Suppose 3*x = -3*c + 429, c = -0*c + 3*x + i. Is c a multiple of 14?
False
Suppose 4789*q + 340704 = 4797*q. Does 39 divide q?
True
Let q = -3601 - -4556. Is q a multiple of 69?
False
Suppose 334*u - 339*u = 2*g + 190 - 18210, g = 0. Is 3 a factor of u?
False
Suppose 125200 = 4*z - 2*t, -141*z = -145*z + t + 125200. Is 20 a factor of z?
True
Suppose 2*u + 532 = 4*u. Suppose m + 5*x = -2*m - u, -m - 66 = -4*x. Let a = -77 - m. Is a even?
False
Let n(k) = 23 + 1 + 10*k - 8*k + k. Let b be n(-6). Suppose 3*t = -3, b*q - 3*q - 5*t - 518 = 0. Does 32 divide q?
False
Suppose a - 5 = 0, 4*a - 30 = c - a. Let x be ((-8)/c - 2) + 2/5. Is x - (2 + 316/(-8)*2) a multiple of 13?
False
Let k(q) = -q**3 - 38*q**2 + 72*q - 964. Is 35 a factor of k(-48)?
True
Suppose 0 = 12*h - 25418 - 49882. Is 207 a factor of h?
False
Let z(s) = 78*s - 231. Let t be z(-9). Does 36 divide 102/153*t/(-2) + -5?
False
Let d(x) = 38*x**2 + 33*x**2 + 42*x**2 - 20 - 112*x**2 + x. Does 7 divide d(-9)?
False
Let g(j) = 177*j**2 + 164*j + 22. Does 10 divide g(4)?
True
Let g = 53 - 80. Let t be -1*(6 + g)*34/6. Let y = -78 + t. Is y a multiple of 9?
False
Suppose -5*j + 760 = -b, 4*j - 597 = 5*b - 10. Is j a multiple of 17?
True
Let y = -218 - -239. Suppose 0 = -y*h + 6304 - 2272. Is h a multiple of 9?
False
Let q = 243 + -239. Suppose q*i + 0*i - 436 = 0. Is i a multiple of 8?
False
Let l(g) = 15*g**2 - 200*g - 3028. Is l(-19) a multiple of 16?
False
Let w(j) = -2*j - 326 + 3*j - 2*j + 330. Let o be w(1). Suppose -o*d = -2*y + 342 - 58, 0 = 4*y - 3*d - 562. Is 32 a factor of y?
False
Suppose 3*j - 114 = -3*v, -3*v + 6*v - 128 = 4*j. Suppose 2 = 3*h - v. Is 21 a factor of h/3*144/14?
False
Suppose -2*x = -3*x + 18. Let f(o) = 6*o + 6*o + x*o. Is f(1) a multiple of 30?
True
Suppose -50*h + 22 = -39*h. Suppose -h*o - 3*k = 2*o - 1384, 1730 = 5*o + k. Is o a multiple of 5?
False
Suppose -42*m