t u = z - -716. Does 75 divide u?
True
Suppose 3*j + 290 = 5*j. Suppose -13*n - j + 990 = 0. Let o = n + -50. Does 2 divide o?
False
Let w = -26957 + 38325. Is w a multiple of 58?
True
Suppose 0*g - 66 = -5*k + 2*g, 3*k - g - 40 = 0. Suppose -878 = -k*q + 1306. Does 12 divide q?
True
Suppose -31*d - 14 = -38*d. Suppose -m = 5*f - 14 + d, 0 = 4*m - f - 27. Is 3 a factor of m?
False
Let j(v) = 21*v**2 - 2*v. Suppose 0 = 14*i - 20*i - 36. Is 32 a factor of j(i)?
True
Suppose i + 3*p + 72 = -0*i, -144 = 2*i + p. Does 4 divide (i/(-7))/((-11)/((-231)/6))?
True
Let i be 0 - 57/(-11) - (-38)/(-209). Suppose 3*b = i*n + 480, 2*n - 440 = -2*b - 120. Is b a multiple of 81?
False
Let s = -503 + 491. Let w(i) = -131*i + 383. Is 22 a factor of w(s)?
False
Let y(w) be the first derivative of w**5/120 + 11*w**4/8 - 2*w**3/3 + 28. Let s(g) be the third derivative of y(g). Does 7 divide s(-8)?
False
Let c(w) = 6*w**2 - 150*w + 1602. Does 9 divide c(12)?
True
Let n be -23 + 18 + 4*2 + -1. Suppose -2*s - 606 = -3*s + 2*j, -1858 = -3*s - n*j. Does 71 divide s?
False
Is 13 a factor of (-3 + 4)*(-308997)/(-57)?
True
Suppose 1 = s, -5*f + 0*s = -4*s - 271. Let v = f + -33. Suppose -5*c = -z + 1 + 10, -2*z - 2*c = -v. Is z even?
False
Let x(d) = 2*d**3 - d**2 - 3*d + 4. Let o be x(1). Suppose -3*m + 111 = 5*p - 271, -66 = -p + o*m. Is 2 a factor of p?
True
Let n = 44 - 44. Suppose -v + n*v = -3. Is (v + -2)*-3 + 5 + 68 a multiple of 11?
False
Let b(l) = l**2 + 6*l - 19. Let g(j) = j**2 + 5*j - 18. Let z(w) = 2*b(w) - 3*g(w). Let h be z(-5). Suppose -h*t - 11 = -7*t. Is t a multiple of 7?
False
Suppose -4*c + 5*c = -4*y - 442, c + y = -445. Let n = 1571 + c. Is 15 a factor of n?
True
Let z = 3468 - 796. Is 5 a factor of z?
False
Is 37 a factor of 143892/34 - 20*2/340?
False
Suppose 2*d + 5*b = 5 + 15, 4*b - 16 = 2*d. Suppose d = x - 10*x. Suppose 2*p - 3*p - 3*m = -204, 4*p - m - 751 = x. Is 21 a factor of p?
True
Let r(p) = -p**2 - 10*p - 9. Let f be r(-7). Let u(a) = 2*a + 12. Let w be u(f). Let o = 76 - w. Is 16 a factor of o?
False
Let j = 58 - 56. Suppose -3*c - 1608 = -5*k, -j*c + 1612 = 5*k - 4*c. Does 18 divide k?
True
Let d = 4329 + -2249. Does 20 divide d?
True
Let i = -5034 - -9777. Is 3 a factor of ((2 - 2) + -2)*i/(-102)?
True
Let n = -108 - -113. Let b(c) = 3*c - 2. Let g be b(n). Let q = 65 - g. Does 21 divide q?
False
Suppose 14*q + 16 = 15*q. Does 8 divide 118 + ((-7)/28 - (-4)/q)?
False
Let s = -1661 + 1113. Let n be s/7 - (27/(-21) + 1). Does 17 divide 4/(-8)*n + -5?
True
Let d = -101 - -105. Suppose 0 = -5*j + 20 + 5, -r + d*j = 18. Does 17 divide r/(-1) - (8 + -2 - 66)?
False
Let l(b) be the first derivative of -b**2/2 - 5*b + 3. Let m be l(-12). Let n = 91 - m. Is 28 a factor of n?
True
Let m(h) = h**2 - 2 - 1 - 6 + 8*h. Let d be m(-11). Let u = 62 - d. Is u a multiple of 19?
True
Suppose 422010 - 88104 = 38*q - 19*q. Does 174 divide q?
True
Let t be -5 - (-2)/(2/17). Let o be (-12)/2 + 4 + t/2. Does 19 divide ((-146)/(-1))/2 - o/2?
False
Suppose -12918 - 830112 = -57*w. Does 100 divide w?
False
Let w(u) = -u + 17. Suppose -3*v + 18 = -21. Let a be w(v). Suppose -1230 = a*p - 14*p. Does 28 divide p?
False
Let h = -2428 + 2432. Let v(y) be the third derivative of 3*y**4/8 - y**3/6 - 2*y**2. Is 5 a factor of v(h)?
True
Let a(t) = -29*t + 84. Let n be a(-14). Suppose 3*p = 2162 + n. Is 68 a factor of p?
True
Let u(d) = -9*d + 37. Let s be u(-6). Suppose 0 = -10*j - s + 1611. Is 8 a factor of j?
True
Suppose -b - 9 = -11. Suppose -2*v = -3*x + 669, -b*x + 3*v + 0*v = -441. Does 15 divide x?
True
Let d(h) = h**2 - 6*h. Let u be d(8). Suppose -4*m = -u + 8. Suppose 3*q = -m*o + 142 - 1, q = o - 73. Does 9 divide o?
True
Suppose 4*w + 5*k - 10620 = -w, -2*w + 4218 = -4*k. Suppose 0 = 5*g + 2*o + o - 3557, 0 = 3*g - 2*o - w. Is 80 a factor of g?
False
Let z(i) = -i**3 - i**2 + 2*i - 2. Let w be z(0). Does 49 divide ((-1491)/14)/(w/4)?
False
Suppose -3*p = -4*p - 0*p. Suppose -v - 4*s - 18 = -2*v, -4*s - 16 = p. Suppose -4*f - 52 = -v*z, 5*f + 34 = z + 7*f. Does 7 divide z?
False
Let l(h) = h**2 + 5*h + 5. Let b be l(-5). Suppose -4*q - 4*o = -404, 2*q - o + 293 = b*q. Is 32 a factor of q*(-4 - (-28)/6)?
True
Let i = 4020 - 2490. Is i a multiple of 90?
True
Let c(s) = -3*s**2 + s + 4. Let i(p) = -7*p**2 + 2*p + 8. Let l(b) = -5*c(b) + 2*i(b). Let q be l(4). Let r = q - -20. Does 28 divide r?
True
Suppose -3*f + 22750 = -j, 2*f = j + 14167 + 998. Does 185 divide f?
True
Suppose 0 = 7*w - 12*w. Suppose 10*a - 1537 + 277 = w. Suppose 18*x = 16*x + a. Is x a multiple of 24?
False
Suppose 0*x - 917 = -7*x. Suppose 835 = 5*f - i, -5*f + 2*i - x = -966. Let l = 307 - f. Is 10 a factor of l?
True
Let a(i) = i**3 - 62*i**2 + 156*i - 660. Is 65 a factor of a(61)?
True
Let v = -15 - -32. Let n(m) be the second derivative of -m**5/20 + 19*m**4/12 - 7*m**3/2 - 39*m**2/2 + 15*m. Is 35 a factor of n(v)?
False
Let l = 79 + 69. Let x = l + -142. Is 17 a factor of (-10)/(-15) - (-10)/x*20?
True
Let w(d) = -d + 16. Let r be w(4). Is 113 + 2/(r/18) a multiple of 9?
False
Is 17 a factor of (-13)/(715/10) - (-19509)/33?
False
Let o be 5/(-2) - (-275)/(-22). Is 1284/8*(-40)/o a multiple of 14?
False
Is 8 a factor of 5796/4 - 12 - 5?
True
Suppose -v = q + 12 - 16, 0 = -2*q. Suppose 120 = h + h. Suppose 0*t = -v*t + h. Is t a multiple of 3?
True
Suppose -w - 20 = k - 4*w, 2*w = -4*k - 150. Is 24 a factor of 3/(-21)*4 + (-4220)/k?
True
Is 16 a factor of (-9)/((-468)/815087) - 2/(-8) - -5?
True
Suppose 2*c + 17 = -5*u - 19, 0 = -c - 2*u - 16. Let b be ((-32)/c)/(1/1). Suppose -3*n + 12 = 3*w, -2*n + 5 = b*w - 1. Is n a multiple of 4?
False
Let f = 6321 - 4982. Is f a multiple of 7?
False
Suppose 4*w + 174 = w - 2*k, 4*k = w + 44. Let h = 144 + w. Does 22 divide h?
True
Let y(m) = -46*m + 4275. Is y(11) a multiple of 25?
False
Let p = 198 + -87. Suppose -18*m = -12*m - 30. Suppose -m*s - p = -8*s. Is 35 a factor of s?
False
Let r = 379 + -369. Let k(u) = 2*u**3 - 8*u**2 - u - 19. Does 63 divide k(r)?
False
Let l = -4809 + 9938. Is 8 a factor of l?
False
Let k(v) = v**3 - 41*v**2 + 360*v - 3. Does 7 divide k(12)?
False
Let p = 202 + -200. Does 12 divide (26/(-4))/(p/(-28))?
False
Suppose -15*p + 81053 + 99083 = 26131. Does 16 divide p?
False
Suppose -8506*b + 8489*b = -20383. Does 38 divide b?
False
Suppose 0 = -o - 27 + 25, 4*v + 2*o = 4656. Is v a multiple of 8?
False
Suppose 202*f - 25188 = 222878 + 962722. Is f a multiple of 54?
True
Is -4 + (-3 - (1903/(-3) - 3))*3 a multiple of 11?
False
Suppose 4 = 7*k - 3. Let t(l) = -4 + k - 14 + 11*l. Is t(4) even?
False
Let p(l) = -9*l - 1. Let x be p(-8). Let u = x - 59. Does 2 divide u?
True
Let q(c) = c - 11. Let v be q(0). Let a(z) = 2*z**2 + 15*z - 1. Let l be a(v). Let s = -31 + l. Is s a multiple of 32?
False
Suppose -38 = 5*q + 22. Let k be 3/q - 17/(-4). Suppose k*j - 177 = 3*v, -j + 0*j - v = -53. Does 12 divide j?
True
Suppose -4*a + 700*z = 704*z - 51668, -3*a + 38759 = 2*z. Is a a multiple of 11?
True
Suppose 44 = 3*d + 32. Suppose 2*c - 5*i = -i + 2556, 5*i = d*c - 5127. Is 46 a factor of c?
True
Suppose -5*l + 2*r - 3918 = -9*l, 5*l - 4881 = 3*r. Suppose -l = -3*z + 255. Is z a multiple of 52?
False
Is ((-105)/140)/(9/6)*-27286 a multiple of 23?
False
Suppose 688*j = 695*j + 5110. Let z = -424 - j. Is 33 a factor of z?
False
Suppose -a - 109 + 28 = -390. Is 7 a factor of a?
False
Let w = 18 - 32. Let r be (-4)/((-2)/(-2))*7/w. Suppose 81 = 3*y + 4*p, 4*y - r*p - 136 = 2*p. Is 10 a factor of y?
False
Let f = 964 + -593. Suppose 4*k = 4, f = -4*p + 6*p + k. Is 19 a factor of p?
False
Suppose -328*m = 56634 - 3343194. Does 20 divide m?
True
Suppose -4*j + 18 - 6 = 0. Does 19 divide (36/10)/j*1900/8?
True
Suppose 89*u = 82*u - 217. Is (u/2 + -2)*(-396)/77 a multiple of 10?
True
Let o = -4172 - -4176. Suppose 0*i - i = -3. Suppose o*g = -2*p + 261 + 157, -627 = -i*p + 4*g. Is p a multiple of 19?
True
Let r(v) = v**2 + 29*v + v**2 - 19*v + 31 + 12*v. Let f be r(-10). Suppose 3*i + f - 47 = 0. Does 7 divide i?
False
Let r = -1 - -6. Suppose r*k - 22 + 7 = 0. Suppose -k*g = 2*g + 4*o - 1094, 0 = 3*g + 2*o - 658. Is g a multiple of 23?
False
Suppose 107*s - 104*s = 9. Suppose 980 + 199 = 4*o + p, o = -s*p + 303. Is 42 a factor o