24/4 - (-3 + o)?
False
Suppose 1787 = a + 3*z, -a + 4*z + 1376 + 418 = 0. Does 5 divide a?
True
Suppose 4208 = -4*v - 4*t, 5*v - 2*v = 5*t - 3188. Let y = 1987 + v. Is y a multiple of 49?
True
Does 7 divide 19866*(1 - ((-70)/30 - -3))?
True
Let q = -1228 - -2968. Is q a multiple of 5?
True
Let n = 43 - 44. Let p be 0 + (2 - n) - 0. Suppose p = -s + 4*s, 0 = -2*w - 4*s + 70. Is w a multiple of 13?
False
Suppose 5*i + 9*v = 12*v + 157136, -2*i + 5*v = -62881. Is 11 a factor of i?
False
Let c(b) = 2*b**3 - 53*b**2 + 92*b - 113. Does 52 divide c(29)?
True
Does 13 divide ((5002592/115)/28)/(4/(-30)*-1)?
False
Suppose 3*p + 5 = -2*c + 3*c, -2*c + 2 = 2*p. Let g be c - 3 - 0/(2/(-2)). Is 16 a factor of (-2 - (-2 - g)/1) + 17?
True
Let z = 36 + -32. Suppose -z*j - 198 = 2*v, -2*v = 2*j + 2*v + 96. Does 27 divide (((-405)/(-6))/5)/((-5)/j)?
True
Let a be 2/14 + (-22668)/(-84). Let t = 347 - a. Is 12 a factor of t?
False
Does 38 divide (-3488)/((21/(-6))/7)?
False
Suppose -5*j + 14*j = -6*j + 168975. Does 47 divide j?
False
Suppose 477 = -u - v, -4*u + v - 2*v - 1893 = 0. Let w = u + 1443. Is w a multiple of 56?
False
Let u = -92 + 489. Suppose 5*o - 770 = z, 2*z - 81 + u = 2*o. Does 5 divide o?
False
Let a(g) = -g + 8. Suppose -2*s + 9 + 1 = 0. Let f be a(s). Suppose 0*w + w + 140 = f*i, -4*i + 5*w = -194. Does 13 divide i?
False
Suppose -4*s + g + 95 = 0, -14 - 6 = -4*g. Suppose -s*h + 27*h = -12. Does 4 divide ((-376)/h)/(-4)*-3?
False
Suppose -72*l + 124480 + 804824 = 0. Is 11 a factor of l?
False
Suppose -4*m + 936 = 5*i, -i + 738 = 3*m + 25. Is m a multiple of 148?
False
Suppose q - 41 = -5*c - 3*q, -8 = -c - q. Suppose 2216 = c*a + 569. Is (-3 - a/9)*-6 a multiple of 20?
True
Is 129 a factor of 10/(3 + 7)*10681?
False
Does 333 divide 47/(-1 - (-3674)/3663)?
True
Let n be (-288)/(-20)*(-40)/(-12). Let o be (-4)/(n/(-21))*12. Suppose -3*p + 75 = -o. Does 8 divide p?
True
Is 2684 + -122 - ((-2)/(-1) + 4) a multiple of 11?
False
Is 69 a factor of 561376/36 + ((-2)/(-7))/(18/14)?
True
Let f = -22 + -4. Let a = 25 + f. Is 7 a factor of 1 + a + 0 + 28?
True
Suppose -6*d = -8*d - 130. Let c = d + 66. Is 22 a factor of 166 - 16/(c + 3)?
False
Suppose w - 8 - 8 = 0. Let j be (-902)/(-8) - (-4)/w. Does 5 divide j/4 - 12/(-16)?
False
Let u = 9 - 15. Let f be (u/(-14) + (-8)/(-14))*-1. Is f/(-4) + (-19971)/(-84) a multiple of 14?
True
Suppose 0 = 4*h - 2*y - 0*y + 432, -438 = 4*h - 5*y. Suppose 5*s + 6*w - 7*w = -401, 385 = -5*s + 5*w. Let n = s - h. Is n a multiple of 26?
True
Suppose -36826 = -14*f - 7874. Is f a multiple of 47?
True
Let o(n) = -5*n**3 - 15*n**2 - 16*n - 261. Is 29 a factor of o(-13)?
False
Let r(v) = v**3 - 134*v**2 - 225*v - 3394. Does 6 divide r(136)?
False
Suppose -5*l + 10*l + 13 = t, -5*t + l = -41. Does 6 divide (-57)/76 + -2 + 950/t?
False
Let n = 3385 - 2817. Is n a multiple of 3?
False
Suppose 513 = 10*k - k. Let v = k + -54. Does 8 divide v*6/9 + 62?
True
Let l(y) = 2*y**2 - 47*y + 50. Let j be l(23). Suppose 34*f = j*f + 5817. Does 25 divide f?
False
Suppose -11*f = 2*f - 11986. Suppose -2*j - 5*o = -449, 5*j - 3*o - 185 = f. Let g = j - 102. Does 9 divide g?
False
Suppose 14 = 9*c - 67. Suppose 15*d - 36 = c*d. Suppose 72 = -d*z + 12*z. Is 3 a factor of z?
True
Let u(t) = -8*t + 3*t**2 + 46 + 10*t + 15*t - 7*t + 19*t. Is 38 a factor of u(-14)?
True
Suppose 656*c - 1278 = 655*c. Is c a multiple of 6?
True
Suppose 10*r - 41175 - 18025 = 0. Does 16 divide r?
True
Suppose 122*k - 104*k - 7290 = 0. Let u = 5 - 2. Suppose -u*l = 2*l - k. Does 9 divide l?
True
Let w(y) = 276*y - 458. Is w(6) a multiple of 18?
False
Let x(d) be the second derivative of -d**5/20 + 7*d**4/12 - d**3/6 + 5*d**2/2 - 11*d. Let h be x(6). Is 19 a factor of (-288)/(-15) - 7/h?
True
Let m = 277 + -272. Does 24 divide (-10)/25*1 + 1442/m?
True
Suppose -17 = -3*t + 25. Suppose -4*b - 742 = -j, -t*b = -2*j - 12*b + 1460. Is 23 a factor of j?
False
Suppose -2*p = -3*g - 0*g - 705, 0 = -2*p - 2*g + 720. Suppose -187 = -4*c + p. Does 8 divide c?
True
Suppose -b - 3*h - 3*h + 1033 = 0, 3*b + 3*h = 3054. Does 5 divide b?
True
Let o(z) = -z - 2. Let a be o(-5). Suppose 2*d - a*l - 357 = 0, -3*l + 8*l + 15 = 0. Is d a multiple of 8?
False
Let x(j) = -j**3 - 5*j**2 - 3*j - 8. Let g = -61 + 57. Let u be x(g). Is 6 a factor of ((-188)/u - -3)*1*3?
False
Suppose -3*b - 5412 - 53682 = -9*b. Is b a multiple of 49?
True
Let u(f) = -f**3 - 41*f**2 + 21*f + 65. Let r be u(-41). Let z = r - -1175. Does 15 divide z?
False
Let o be -4*(-1)/4*5. Let j(s) = s**2. Let d be j(2). Suppose -f + 35 = -2*h, -d*h - 167 = -4*f - o*h. Does 27 divide f?
False
Suppose -528 = -5*x + 2. Suppose 0 = 5*h + 56 - x. Is 2 a factor of h?
True
Suppose 45*r - 8600 = 20*r. Does 4 divide ((-3)/(30/r))/(4/(-10))?
False
Suppose a + 5*i = 2606, i - 13461 = -4*a - 2923. Is a a multiple of 2?
True
Let k(z) = -63*z + 9. Let c = 168 - 174. Does 23 divide k(c)?
False
Suppose y = 5*w + 24 + 24, 0 = -4*y + w + 192. Suppose -2*q + 32 = 3*d, -4*d + y = 3*q - 7*d. Does 8 divide q?
True
Let o(q) be the second derivative of 25*q**3/6 + q**2/2 - 4*q. Let a be o(2). Suppose 4*f + 212 = -2*y + 6*y, 3*f = y - a. Does 9 divide y?
True
Let h be (-5230)/(-35) - 8/(-14). Let y = h - 103. Suppose -97 = -6*c + y. Is 4 a factor of c?
True
Let w(o) = 2*o**2 + 4*o. Let u be w(-3). Suppose 8*h - 830 = u*h. Suppose 3*j + 64 - h = -3*c, j + 111 = c. Is 19 a factor of c?
True
Suppose -5*j - 90 = -25. Let r(k) = k**3 + 13*k**2 - 14*k + 22. Is r(j) a multiple of 17?
True
Suppose 4*x = -4*p + 1084, 3*x - 402 = 4*p + 404. Let m = x - 256. Is m a multiple of 4?
False
Is 28 a factor of (10248/72)/(5/120)?
True
Let q be 4/(-1) + (17 - 24). Let l(f) = 2*f + 17. Let y be l(q). Is 0/y + (1 - -48) a multiple of 7?
True
Is 43 a factor of 292/3*1035/30?
False
Suppose 56*u + 5693016 = 365*u. Is 47 a factor of u?
True
Let n(j) = -54 + 103 - 6 + 113 - j - 21*j. Does 9 divide n(4)?
False
Is 38 a factor of (-224)/(-38) + -6 - 259928/(-76)?
True
Does 3 divide (-2 + (-4 - -26))*(4 - 512/(-40))?
True
Let j = 52751 - 31022. Is 131 a factor of j?
False
Let q(l) = 114*l**2 + 26*l + 34. Is q(7) a multiple of 73?
False
Let k(i) = 2*i**2 - 7*i - 16. Let u be k(-6). Let x = u + -49. Let d = x - 4. Is 24 a factor of d?
False
Let z be ((-702)/(-135))/((-1)/(-35)). Let f = z + -53. Is 3 a factor of f?
True
Let x = -10980 - -17831. Is 31 a factor of x?
True
Let s be ((-5341)/35 + 4)*(3 + 2). Let o = -517 - s. Does 6 divide o?
False
Suppose 2*c - s + 10 = -6*s, 3*c + 6 = -3*s. Suppose c*h + 88 = -2*h. Let v = 120 + h. Is 21 a factor of v?
False
Let z(r) = 6*r + 52. Let w be z(17). Let k = 242 - w. Does 22 divide k?
True
Let j = -36 + 73. Let q(d) = 3*d - 4*d + 4*d + j. Is q(11) a multiple of 35?
True
Let a(d) = 65 + 2*d - 19 - 27. Let u be a(-5). Suppose 0*j + 4*j + u = q, -3*q + j + 16 = 0. Is q a multiple of 5?
True
Let n = 68 - 66. Let r = n + 18. Suppose r*o = 16*o + 144. Is 4 a factor of o?
True
Suppose 0 = t + 4*g - 560, -t + 555 = -g - 10. Is 3 a factor of t?
True
Suppose 8 = 5*u + 2*o, 3*u + 7*o - 3*o = 16. Let w(l) = -5*l + 109. Is w(u) a multiple of 19?
False
Suppose -2*q = -5*t - 24, -2*q = -6*q - 2*t. Suppose -5*y + 22 = 12. Suppose -478 = -y*f + 4*u, q*u = -4*f + 5*u + 936. Is 20 a factor of f?
False
Suppose 3*d - 32065 = -l, -255*d + 160165 = 5*l - 260*d. Is 115 a factor of l?
False
Suppose -16*m - 624 = -592. Let u(i) = -6*i**2 - 2*i + 0*i - 24*i**3 + 2*i**2. Is 30 a factor of u(m)?
True
Let a = 23 + 15. Suppose -a*j = -43*j + 15. Suppose 3*y + j*n - 216 = 0, -2*y + n + 0*n = -132. Does 17 divide y?
True
Suppose 0 = 14*i - 27157 - 58789. Is i a multiple of 52?
False
Let y = 106 + -59. Suppose 0 = -7*a + 2*a - 65. Let u = y + a. Is 17 a factor of u?
True
Does 7 divide (4/8*-6)/((-1457)/(-1460) + -1)?
False
Let z be (-32)/(-14) - (5 - (-363)/(-77)). Let x(y) = 16*y - 1. Let j be x(-1). Is 34 a factor of (j - -16)/(z/(-82))?
False
Let y(a) = -5*a + 70. Let l(o) = -3*o + 69. Let z(t) = -3*l(t) + 4*y(t). Does 23 divide z(0)?
False
Let b(s) = -11*s - 76. Let i be b(-22). Let a = 276 - i. Is 7 a factor of a?
False
Suppose -293*q + 707672 = -237*q. Does 13 divide q?
False
Let c be 6/57 - 313160/380. Does 26 divide ((-80)/(-32))/((-4)/c)?
False
Suppose -6*t + 