c + a. Is 7 a factor of s?
True
Suppose 5 = -9*p - 13. Let l be ((-8664)/48)/(p/4). Suppose 4*q - l = 247. Does 19 divide q?
True
Let n = 97 - 87. Suppose c = -2*t + 78, -3*c + 5 = 5*t - 230. Suppose 3*d - c = n. Is 15 a factor of d?
True
Let j be 2927/4 + 33/(-44). Suppose -4*m = -3*n - 48 - j, 4*m + n - 791 = 0. Let r = -78 + m. Is 15 a factor of r?
False
Let b = 81 - 76. Suppose -b*y + s + 1364 = 0, -9*y + 7*y = -4*s - 542. Is 7 a factor of y?
True
Let o = 15218 + 8814. Does 120 divide o?
False
Let m be ((-8)/12)/((-4)/6). Suppose -2*u - 4*p + 10 = 0, 4*p = -5*u + m + 18. Does 39 divide ((-540)/(-16))/(u/12)?
False
Let o = -18 - -34. Does 54 divide (-6 + 88/o)*-656?
False
Let v(c) = c**3 + 32*c**2 + 60*c + 5. Let i be v(-30). Suppose -10*o = -4*r - 7*o + 3243, r - i*o = 815. Is 18 a factor of r?
True
Suppose 240*t - 195543 = 450057. Does 5 divide t?
True
Let n = -93 - -399. Suppose 3*a - n = -3*q, -417 = -4*q + 3*a + 2*a. Suppose z = 2*y - q, 3*y - 3*z = 5*y - 107. Does 26 divide y?
True
Suppose 4*b - 4*k + 2*k = 700, b + 4*k = 166. Let d = -271 + b. Let r = -49 - d. Does 6 divide r?
True
Suppose -38*v - 32*v + 167772 = -48*v. Is 6 a factor of v?
True
Is 272/((2/8)/(-3 - 377/(-104))) a multiple of 35?
False
Let n be -2*1/3 + 78/9. Let v(h) = h**2 - 7*h - 3. Let z be v(n). Is 6 a factor of ((-5)/(z/6))/(19/(-76))?
True
Let d = 242 - 239. Suppose -r = -6*r - b + 38, d*r + b = 24. Is 5 a factor of r?
False
Let u be ((-4)/(-12))/(-1*1/(-6)). Suppose 4 = u*j, -4*z - 6*j + 3*j = -102. Is 20 a factor of 156 + (32/z)/(2/6)?
True
Let d(q) = -940*q - 3622. Is d(-6) a multiple of 215?
False
Suppose 4*t - 22294 = 2*f, t - 3396 = 2*f + 2185. Is 26 a factor of t?
False
Let a(f) = -f**3 - 11*f**2 + 5*f + 23. Let h be a(-10). Let i = h + 287. Does 16 divide i?
True
Let t = -325 - -655. Suppose 0 = 23*k - 21*k - t. Does 33 divide k?
True
Suppose 57383 + 28830 = 58*y - 64877. Is 20 a factor of y?
False
Let p(a) = 2*a**2 + 13*a - 59. Let z(s) = s**3 + 7*s**2 - 33. Let w be z(-5). Is p(w) a multiple of 37?
True
Is ((1 - -8 - 8) + 1)/(6/79671) a multiple of 179?
False
Let i(u) = 2826*u + 2217. Is i(12) a multiple of 133?
False
Let c be (6/5)/((-15)/(-100)). Let l(q) = 2*q**2 + 14*q - 6. Let b be l(c). Suppose 4*s - u - 234 = s, -3*s + 5*u = -b. Is 14 a factor of s?
False
Let x = -375 - -381. Suppose -3081 = -x*n + 321. Is n a multiple of 9?
True
Let w be (-4)/(-36) + (-3)/(27/6283). Let a = w + 1054. Is 19 a factor of a?
False
Suppose 706 = 2*r + 2*o - 232, -3*r = 4*o - 1408. Does 6 divide r?
True
Let g(k) be the second derivative of k**4/12 - 5*k**3/3 + 14*k**2 + 3*k + 8. Is 43 a factor of g(-8)?
True
Let i = -202 - -930. Let j = i + -488. Is j a multiple of 8?
True
Suppose 85*m + 5743 = 189768. Is m a multiple of 5?
True
Suppose 415716 = 37*n + 61*n. Is n a multiple of 70?
False
Let r be ((-54)/90)/(2/(-10)). Suppose -3*m = -r*q - 411, 563 = -8*m + 12*m + q. Is 4 a factor of m?
True
Suppose -65 + 50 = -3*w, 3*f - 65957 = 5*w. Is 26 a factor of f?
False
Suppose 70*d = 78*d. Suppose d = -33*y + 14*y + 1330. Is y a multiple of 14?
True
Let s be (-1)/2*(-1 + 1). Let d(r) = 56*r + 66. Let m be d(-1). Suppose s = -2*i - m + 46. Is 3 a factor of i?
True
Let t be 3/(-4) - ((-35870)/40 + -7). Suppose 1015 = 2*s + t. Does 28 divide s?
True
Does 14 divide (-2354856)/(-378) + 2/9?
True
Let x = 32 + -29. Suppose -x = -7*j + 8*j. Let d(k) = k**3 + 4*k**2 - k + 4. Does 2 divide d(j)?
True
Suppose 0 = 49*x - 10*x - 897. Suppose 143 - x = 5*u. Does 3 divide u?
True
Let b = 193 + -190. Does 30 divide ((-131)/3)/(b*(-1)/9)?
False
Let g(c) = -1 - 16 + 28 + 28 - 2*c. Let k be g(-19). Suppose 0 = 97*t - 96*t - k. Is t a multiple of 11?
True
Suppose 2*c - 152 = -6*c. Suppose -2*q = -10, -5*b - 49 = -q - c. Let a(g) = 10*g**2 - 10*g - 27. Is 39 a factor of a(b)?
True
Let h = -1206 + 2364. Let z = 2233 - h. Is z a multiple of 35?
False
Let x = -1927 - -2302. Is 10 a factor of x?
False
Let n(c) = 2*c - 9. Let s be n(4). Let v = 202 - 143. Let l = v + s. Is 19 a factor of l?
False
Let a(z) = -2*z**3 + 11*z**2 - 12*z + 4. Let i be a(4). Let s(h) = 3*h**3 + 3*h**2 - 2*h - 10. Is 37 a factor of s(i)?
True
Let b(q) = 274*q - 563. Is b(7) a multiple of 60?
False
Is (-1399)/(((-10)/(-4))/(-5)) - 5 a multiple of 19?
True
Suppose 0 = -4*u + 3*n + 3987, -9*u = n - 810 - 8215. Is 3 a factor of u?
True
Is 37 a factor of 4787/2 - (5 + -3)/(-4)?
False
Let v = 231 - 229. Let r be 994/18 - (-10)/(-45). Suppose -v*c + 25 + r = 0. Is c a multiple of 6?
False
Let y be 106*(28/8)/(1/7). Let t = y - 1662. Is 17 a factor of t?
True
Suppose 444*f - 459*f = -139275. Does 10 divide f?
False
Let b(n) = -2*n + 0*n + 5 + 4*n + 4. Let r be b(-3). Suppose -13*f + 440 = -r*f. Is f a multiple of 7?
False
Let t be ((-150)/(-125))/(1/5). Suppose -t*v + 1624 = -2*v - 2*g, 3*g = 0. Is v a multiple of 81?
False
Suppose h + x = 4100, -95*h + 4*x - 8186 = -97*h. Is h a multiple of 111?
True
Let y(i) = i**3 - 7*i**2 + 12*i + 2. Let h be y(5). Suppose -737 - 373 = -6*b. Suppose -h*o + 115 = -b. Does 5 divide o?
True
Let z(r) be the first derivative of 11*r**4 + 3*r**2/2 - 10*r + 236. Does 43 divide z(3)?
False
Let i(l) = -25*l**3 - 60*l**2 + 28*l + 33. Let t(k) = -6*k**3 - 15*k**2 + 7*k + 8. Let r(a) = -2*i(a) + 9*t(a). Is 12 a factor of r(-6)?
True
Let g = -7062 + 8541. Is g a multiple of 87?
True
Is -11 + 52352*(3 - 8)/(-10) a multiple of 19?
False
Let h(n) = n**2 - 22*n - 65. Let p be h(25). Is 11 a factor of (1*2)/((-13)/((-3575)/p))?
True
Is 6 a factor of (2/6 + -1)*-1413?
True
Suppose 7*c + 58*c - 93651 = 12*c. Is 27 a factor of c?
False
Let s = -588 - -1317. Let y = s - 69. Is 22 a factor of y?
True
Let u(r) = -19*r + 262. Let q be u(5). Let w = 269 - q. Is 5 a factor of w?
False
Suppose 4*k - 9*k = -11*k + 22896. Is k a multiple of 75?
False
Suppose 36 = 4*a + 5*a. Suppose a*m - 45 = -5*m. Suppose m*l + 2*k = 39, 0 = -0*l - 2*l + 2*k + 10. Does 3 divide l?
False
Let l(y) = 511*y - 1245. Is l(12) a multiple of 16?
False
Suppose -5*g + 3586410 = 80*g + 285*g. Is g a multiple of 19?
False
Let b be 15/(-90) + (-22489)/(-6). Suppose b - 897 = 3*p + 2*m, 3*m - 962 = -p. Is p a multiple of 15?
False
Let l be 4 - 2/4*-2. Suppose 2*t + w = 259, 3*t + l*w = 4*t - 135. Suppose -4*x = -6*x + t. Is x a multiple of 25?
False
Let f(k) = 5*k**2 - 87*k - 141. Is f(38) a multiple of 7?
True
Let y(p) = 2*p**3 + 18*p**2 + 18*p + 103. Does 12 divide y(-6)?
False
Let p = 9 + -226. Let m be (70/4)/(-1)*(-44)/(-5). Let t = m - p. Is 7 a factor of t?
True
Let b = 96 - 81. Is (-4 + 66/b)*1890 a multiple of 79?
False
Let f = 3730 + -3022. Does 118 divide f?
True
Suppose 0 = 16*h - 22770 - 14670. Suppose 4*z = 14*z - h. Does 13 divide z?
True
Let n(c) = 212*c**2 + 13*c - 69. Is n(4) a multiple of 125?
True
Let u be 10*(5 + -4)*3/5. Suppose k = -3*j + u*k + 24, -5*k - 21 = -2*j. Suppose 228 = 4*m + 4*o, 0*o = -j*o - 9. Is 12 a factor of m?
True
Suppose 4*y + 13406 = -3*r + 44358, 0 = -4*y + 3*r + 30928. Does 91 divide y?
True
Let x be 12/(-9)*(252/8)/7. Is 18 a factor of (13 + -16)*170/x?
False
Let n be (1/(-2))/((60/(-96))/5). Suppose -4*s = -n*c + 5524, 11*c - 5521 = 7*c + s. Does 69 divide c?
True
Suppose -2*q + 915 = 269. Let m = -402 + 235. Let r = q + m. Is 12 a factor of r?
True
Let q = 2 - -1. Suppose 7*y = 220 + 515. Is (33/4)/(q + y/(-40)) a multiple of 2?
True
Suppose -20*k + 22*k - 69*k + 2360008 = 0. Is 37 a factor of k?
True
Suppose -138*g - 42*g + 10175688 = 8*g. Is 9 a factor of g?
True
Suppose -68 = -x + 3*x - r, -x = 2*r + 34. Let w(v) = v**2 + 31*v - 14. Is w(x) a multiple of 22?
True
Suppose 10*l - 5*l - 43 = -4*v, 71 = 3*v - 4*l. Suppose s = -v*s + 486. Is 3 a factor of s?
True
Suppose 2*c = -2*v + 2148, -3*c = -3*v - 4*c + 3230. Is 18 a factor of v/27 + (-52)/(-702)?
False
Suppose 143050 = 4*n + 13440 + 5770. Is n a multiple of 10?
True
Let o = 84 - 13. Suppose -l = -168 + o. Does 13 divide l?
False
Suppose -5*w = 3*q - 17028, 7283 = 2*q + 2*w - 4073. Is 19 a factor of q?
True
Let z(h) = -2*h + 0*h - 4*h**2 + 4 + 3*h**3 - 4*h**3. Suppose 2*f = -4*v + 10, 3*f + v + 21 = 11. Is 10 a factor of z(f)?
False
Let f be ((-18)/21)/((-3)/14). Suppose -6*h = -5*g - 2*h - 215, 172 = -4*g + 5*h. Does 14 divide ((-8)/f - -1)*g?
Fals