ppose -4*b - 95 = -21*i + 24*i, -4*i - 5*b = 127. Let w(a) = -a**3 + a**2 - a + 48. Let n be w(0). Let x = n + i. Is x even?
False
Let i = -76 - -97. Suppose x = -i + 54. Is 11 a factor of x?
True
Suppose 0 = -4*p - 130 + 146. Is 31 a factor of (-2464)/(-10) - ((-48)/(-30))/p?
False
Let a(m) = 34*m - 88. Let l be a(20). Suppose -s = -2 - 8. Suppose -s*w + 378 = -l. Is 14 a factor of w?
False
Let n = 313 + -304. Let c = n - -8. Does 17 divide c?
True
Suppose 9*t - 15*t + 1764 = 0. Is (t/(-35))/(3/(-10)) a multiple of 2?
True
Let p be (4/(-10))/1*(74 + -59). Let s = 61 + p. Let t = 70 + s. Does 25 divide t?
True
Let c(n) = -n**2 + 86*n + 683. Is c(63) a multiple of 13?
True
Let l = -113 + 147. Suppose 0 = l*h - 1789 + 667. Is 27 a factor of h?
False
Let n(i) = i**3 - 15*i**2 + 11*i + 45. Let r be n(14). Suppose 3*w + g = 279 + 59, 3*g = -r*w + 348. Is w a multiple of 37?
True
Suppose -q + 68 = -3*m + 19, -3*q = 3*m + 45. Let x(f) = -f**3 - 15*f**2 + 11*f - 1. Let h be x(m). Suppose 124 = 7*z - h. Is 11 a factor of z?
False
Suppose 381 - 2589 = -12*c. Does 23 divide c?
True
Let z be -4 + (-24)/(-8) + (0 - -4). Suppose l = z - 0. Suppose -4*j = -8, 0 = l*u - 0*u + 3*j - 372. Is u a multiple of 13?
False
Suppose 3661*g - 210848 = 3653*g. Is g a multiple of 22?
True
Suppose 6*g + 5*m - 10 = g, 5*g + 4*m - 11 = 0. Suppose 4*h - 150 = g*j + 2*j, -2*j + 4*h = 72. Is (-9 - -8)/(2/j) a multiple of 2?
False
Let x = 5047 + -3051. Does 17 divide x?
False
Let f(a) = 2*a + 17. Let b be f(-7). Suppose -4*j + b*n + 1897 = 0, 0*n + 4*n + 2371 = 5*j. Does 25 divide j?
True
Does 23 divide (-522261)/(-27) - (14 - 7)?
False
Let j be 97/11 - (-10)/55. Suppose 8*u = 21 + 27. Does 11 divide 264/j + 5 - (-4)/u?
False
Let i = 39229 + -27151. Is 16 a factor of i?
False
Let v(m) = 177*m**2 - 75*m - 218. Is v(-3) a multiple of 80?
True
Is ((-976)/(-427))/((-10)/(-21))*110 a multiple of 3?
True
Let h = -2982 - -3038. Is h a multiple of 3?
False
Let s = 376 - 374. Suppose 115 = -s*q + 4*y + 1287, 2284 = 4*q + 4*y. Is q a multiple of 26?
False
Suppose 57*v - 111*v + 50*v = -29996. Is 135 a factor of v?
False
Let z(d) be the first derivative of -4*d**2 - 73*d + 37. Is z(-15) even?
False
Let z(f) = -430*f - 1186. Is 3 a factor of z(-6)?
False
Suppose 26060 = 2*m + 18*m. Suppose 5*b = 4*k - m, -3*b - 848 = -3*k + 133. Is 22 a factor of k?
False
Suppose 9 = 2*q + 3. Suppose q*c - 366 = 4*w, -5*w + 100 = 2*c - 121. Suppose 0 = 14*j - 176 - c. Is j a multiple of 2?
False
Is 71 a factor of (-4565)/166*72/(-20)*71?
True
Let d = 1402 + -903. Let g = -355 + d. Is g a multiple of 24?
True
Suppose 3*i - 2*j = -12, 3*j - 4 = i + j. Let b(r) = -8*r**3 + 2*r**2 + 3*r + 3. Is b(i) a multiple of 16?
False
Let x be (-2)/15 + 634/30. Let c = -39 + x. Is 627/7 + c/(-42) a multiple of 29?
False
Is 12 a factor of (7 + -7 + -2)*(-671)/2?
False
Let v = 4082 + 1054. Is 12 a factor of v?
True
Let v = -938 + 1176. Let k = -1 + 7. Suppose 82 = -k*o + v. Is 13 a factor of o?
True
Let q = -57 + 64. Suppose -d - 170 = -q. Let n = -52 - d. Is 9 a factor of n?
False
Suppose -264*h = -315*h + 56508. Is h a multiple of 31?
False
Let l be 1 + 0 - (10 - 14). Let n(r) = 4*r**2 - 3*r + 12. Does 13 divide n(l)?
False
Is 112 a factor of 4687 + 0 + 0 + -2 + (-6)/(-3)?
False
Let b = 9153 + 19307. Is b a multiple of 43?
False
Suppose -10*a = -0*a - 7140. Suppose -2*y = -5*t - 923, -t = -3*y + 664 + a. Is y a multiple of 17?
True
Let n(x) = -19 + 2*x - 4 - x + 6. Let z be n(7). Is 5 a factor of 30 - 0*5/z?
True
Let w(t) = -45*t + 132. Let g(a) = -44*a + 135. Let x(u) = -6*g(u) + 5*w(u). Is 10 a factor of x(10)?
True
Let f be (-1 + (-42)/(-4))/(87/6438). Suppose 4*u - 1203 = -f. Does 25 divide u?
True
Let n be ((-1925)/(-70))/(-1 + (-46)/(-44)). Suppose -86*y + n = -81*y. Is 11 a factor of y?
True
Suppose -6*q = 5*n - 52, -32 = -4*q + 2*n - 6*n. Is q/(-28) + 12965/35 a multiple of 74?
True
Let h be 4/(-14) + -4660*(-5)/(-35). Let n = -408 - h. Suppose -n = 4*r - 6*r. Is 15 a factor of r?
False
Let z = -1413 - -856. Let s = z - -798. Is s a multiple of 12?
False
Let p(i) = 2*i**3 - i**2 + 33*i - 148. Is 79 a factor of p(12)?
False
Let g(q) = 36*q + 11. Let w be (-10)/(-2) + (-12)/(-4). Is g(w) a multiple of 13?
True
Is (-107169)/278*(-1 - 1) a multiple of 14?
False
Suppose -9834 = -6*s - 3*h, 3*s - 4031 = -5*h + 893. Does 117 divide s?
True
Let r(f) = 3*f**3 - 20*f**2 + 23*f + 16. Is r(15) a multiple of 61?
False
Let s be -26*(-2 - (15 + 5)). Let r = 808 - s. Is r a multiple of 40?
False
Suppose 0 = -i - 8*i - 117. Let s(u) = -u**3 - 13*u**2 - 2*u + 49. Is 3 a factor of s(i)?
True
Suppose -3*b - 29 = -14. Let q be (-3)/b - (-1332)/5. Does 17 divide q*((-10)/6 - -2)?
False
Suppose -780 = -4*s - 2280. Let c = s + 517. Does 5 divide c?
False
Let d be (-5 - 4) + 2/(-1). Let w(f) be the first derivative of -f**3/3 - 23*f**2/2 + 11*f + 41. Does 13 divide w(d)?
True
Is 12 a factor of ((-885)/60)/(((-9)/12)/(-3))*-65?
False
Suppose 0 = -16*i - 14*i + 277846 + 495464. Is i a multiple of 100?
False
Suppose -5*c + 7 = 3*k - 22, 2*c + 4 = 4*k. Suppose -94*p + 95*p = 146. Suppose 2*w = -2*x + k*w + p, -x = 5*w - 62. Is 9 a factor of x?
True
Let b(l) = 194*l**2 - 5*l - 4. Suppose -5*u - 5 = -w, 3 = 2*u + 3*w + 5. Is 13 a factor of b(u)?
True
Let s(g) = -14*g + 0*g**2 - 4*g**2 - 16*g. Suppose 12*z = -182 + 110. Is s(z) a multiple of 7?
False
Let r(v) = -14*v + 53. Let b be r(-9). Suppose -b = -4*n + 209. Is n a multiple of 5?
False
Does 14 divide ((-7)/7 - (-8 + -1)) + 478?
False
Suppose 4*c - 3*c = 1890. Suppose 4*h = -h + c. Is 20 a factor of (-3)/((-2)/(-9) - 102/h)?
False
Let b(c) = -c**3 + 15*c**2 - 16*c - 4. Let i = -80 - -94. Let f be b(i). Let t = 68 + f. Is t a multiple of 6?
True
Let h(r) = 5*r + 32. Let o be h(-6). Suppose 4*k + 2*i = -732, -o*k = -3*i + 266 + 100. Let q = k + 290. Does 36 divide q?
False
Is 102 a factor of (12/1 - (-39042)/(-1205))*-19*10?
True
Suppose 4*b = -2*o + 13860, 34698 = -54*o + 59*o + 2*b. Is 13 a factor of o?
True
Suppose -2*g - 2*a - 58 = -256, 5*a = g - 105. Let n be (320/g)/(2/160). Let y = n + -165. Is 13 a factor of y?
True
Is (-141 - -130)*(-104)/1 a multiple of 4?
True
Let w be (-1)/6*(1 - 4)*0. Suppose -5*d - s = -12, d - 32 = 5*s - 14. Suppose -d*q + 67 = 5*c - 12, -q - 2*c + 27 = w. Is 2 a factor of q?
False
Let i(z) be the first derivative of 13/3*z**3 + 11 + 9*z + 1/4*z**4 + 2*z**2. Is 15 a factor of i(-12)?
True
Suppose -125*n + 364920 + 688848 = -175982. Does 254 divide n?
False
Suppose -25*j - 34201 = -54*j - 12799. Does 61 divide j?
False
Is (-17)/17 + (5711 - 15) a multiple of 57?
False
Let g = -67 + 33. Is 7 a factor of (-344)/(-7) + g/238?
True
Let h = -36 - -16. Let p = -47 - h. Let f = p - -79. Is f a multiple of 14?
False
Let p be (-2)/8 + (-602)/(-8). Let f = 374 - 371. Suppose f*d - p = 252. Does 25 divide d?
False
Let l(y) = 9*y**2 - 4*y + 7. Suppose -4 = 3*f - s - 56, -3*f + 60 = 3*s. Suppose f*v + 4 = 20*v. Is l(v) a multiple of 5?
True
Is (3630/(-385))/(1/(-63)) a multiple of 22?
True
Suppose 279 = a - 3*w, 1429 = 9*a - 4*a + 2*w. Is a a multiple of 6?
False
Let n be (-22 - -26) + (7 - -1). Is 8 a factor of n - -2 - (-1 - (6 - 3))?
False
Let x = -3970 + 9388. Does 14 divide x?
True
Let w be (24 - 15)*(-1)/(-1). Is (-45)/w - (-2 - 237) a multiple of 13?
True
Let l(t) = 8*t**2 + t + 3. Let o be -5*(-2)/4 - 1/(-2). Let h be l(o). Suppose -a = 3*b - 18 - h, -3*a + 5*b + 288 = 0. Does 24 divide a?
True
Let j(w) = -5*w**3 - 21*w**2 + 58*w + 1036. Does 21 divide j(-14)?
True
Let f = 1938 + -1135. Let q = f - 554. Does 39 divide q?
False
Suppose 4*j - k = 105 + 84, 0 = -3*j - 4*k + 156. Suppose -4 = 3*d + q - 18, 25 = 4*d - 5*q. Suppose 0 = d*p - j - 27. Is 15 a factor of p?
True
Let d be (-29282)/(-132) - 2/(-12). Let r = d + -189. Is 10 a factor of r?
False
Let t(s) = 123*s - 35. Let u be t(3). Does 3 divide (u - (2 - -1))*1?
False
Let j(z) = 5*z + 30. Let m be 0 - (2 + 3/1). Let d be j(m). Suppose 0 = -d*f - 5, 2*o - 133 = f + 24. Does 13 divide o?
True
Let p = -634 + 629. Is 4/p - 4/20*-1294 a multiple of 3?
True
Suppose 0 = -62*m - 2*m + 113107 - 10195. Is m a multiple of 4?
True
Suppose -36782 = 21*a + 32*a. Let q = a - -1357. Does 14 divide q?
False
Is ((-3681)/2 - 0