e
Let y = -11149 + 19233. Does 15 divide y?
False
Let s = -11 - -11. Let r be -2 - s - (-1 + 5)*13. Let y = 132 + r. Does 26 divide y?
True
Suppose -129*m = 2*o - 128*m - 5, 0 = -4*o + 3*m - 5. Let t be 37/3 + 2/(-6). Let w = t + o. Is 9 a factor of w?
False
Let k be 4/(-6) + 52/6. Suppose 0 = 8*t - 4*t - k. Suppose 2*j = t*p - 6, 0 = 4*p + 7*j - 2*j - 57. Is p a multiple of 8?
True
Does 21 divide ((-536018)/(-266) - (518/(-133) - -4)) + 3?
False
Let c(q) be the third derivative of -q**6/60 - 19*q**5/60 - 3*q**4/4 - 10*q**3 - 5*q**2 + 32. Is 59 a factor of c(-13)?
True
Does 31 divide -14 + 23108 - (29 - 12)?
False
Let o be -2*(25/(-10) + 0). Suppose o*i - 185 = 465. Does 7 divide i?
False
Let s = 103 - 97. Suppose s*u - 110 = -5*u. Suppose 352 = u*q - 6*q. Is q a multiple of 8?
True
Let c = 85 - -158. Let o = -57 + c. Does 29 divide o?
False
Let l be -2 - (-100)/45 - 389050/(-9). Suppose 16849 = -27*a + l. Does 12 divide a?
False
Let i = -2949 - -2949. Let b be 6 + (-2)/(2 - 3). Suppose 4*m - b*m + 216 = i. Is 9 a factor of m?
True
Suppose y = -3*r + 158, -6*y = -7*y - 2*r + 160. Does 14 divide y?
False
Is -4 + -4*38206/(-28) a multiple of 18?
True
Let v(o) = -5*o**3 - 293*o**2 + 118*o + 80. Is 20 a factor of v(-59)?
True
Suppose -5*l - 3555 = -5*o - 10*l, -4*l + 3559 = 5*o. Is (-3)/(60/(-8))*o a multiple of 7?
False
Suppose 10*g - 965 + 155 = 0. Suppose g*p - 2502 = 75*p. Is 38 a factor of p?
False
Let h(v) = -v**3 + 55*v**2 + 479*v - 7. Is 36 a factor of h(32)?
False
Let h(l) = 20*l + 1171. Is 3 a factor of h(-45)?
False
Does 13 divide (-1)/(-9*1 + 34202412/3800277)?
True
Let s(f) = f**2 + 10*f + 10. Let g be s(-8). Let m be g/(-30) + 18/10. Suppose 0 = m*j + 2*j - 240. Is j a multiple of 36?
False
Does 12 divide (5167 - 77) + -14 + 0?
True
Let h(i) = i**2 + 8*i - 26. Let z be h(-13). Let s = z + 159. Is s a multiple of 33?
True
Let a(q) = 265*q - 1349. Is 22 a factor of a(9)?
False
Suppose 0 = -894*v + 903*v - 5688. Let b = v + -494. Does 5 divide b?
False
Let a be (5 - (5 + -2)) + 2264. Suppose 3*k = -5*i + a, 3*i + k + 2*k - 1356 = 0. Suppose 3*t + o - 695 = 0, -8*t + i = -6*t - o. Is 35 a factor of t?
False
Let t = 746 - -320. Let g = -426 + t. Is 20 a factor of g?
True
Suppose -l + 14 = -j + 16, 2*l = -4. Suppose j*c - 2275 = -2*c - 3*r, -2*c = r - 2265. Is 19 a factor of c?
False
Suppose 0 = -5*p - w + 55, 10 = -2*w - 0*w. Let a be (45/12)/(9/p). Is 4 a factor of (-1)/a + (-2736)/(-80)?
False
Suppose f - 21 = -4*k, 10*k - 22 = 5*k + 3*f. Suppose 4*i = k*t - 1734, 0 = -6*t + 2*t + 5*i + 1380. Is t a multiple of 25?
True
Suppose -3*z + 18076 = -4*d, 3*d + 18072 = 398*z - 395*z. Is z a multiple of 43?
True
Let v(b) be the first derivative of 4*b - 2*b**2 - 25 + 4/3*b**3. Does 13 divide v(-4)?
False
Suppose 334 = -k + 18. Let s be (-672)/(-80)*(k/(-3) - 2). Suppose 7*z - s = 168. Does 49 divide z?
False
Does 29 divide -360*(-174)/4*101/303?
True
Let v(t) = -t**2 - 11*t + 5. Let m(q) = -2*q**2 + 11*q + 7. Let i(r) = r**2 - 10*r - 6. Let s(g) = 3*i(g) + 2*m(g). Let o be s(-8). Is 4 a factor of v(o)?
False
Let b = 11087 - -1364. Is b a multiple of 37?
False
Let j = 26877 - 15777. Is j a multiple of 37?
True
Let v be ((-4)/5)/((-3)/15) - -2. Suppose 10*g = v*g + 328. Suppose g - 266 = -4*q. Does 23 divide q?
True
Suppose 0 = -6*n - 18 + 30. Suppose 2*x = 0, 5*x - x = n*b - 36. Is 2 a factor of b?
True
Suppose -4*y + 384 = -4*n, 3*n = -3*y - 139 - 131. Let x = n - -96. Suppose 2*f + x*z = 152, -2*f + 2*z - 358 = -7*f. Is 7 a factor of f?
True
Suppose 283028 = 41*h + 28090. Is h a multiple of 150?
False
Let f = -523 - -3073. Is 75 a factor of f?
True
Let f(l) = -l**2 - 8*l - 15. Let y be f(-3). Suppose y = -6*t - t - 805. Let k = t + 212. Is k a multiple of 19?
False
Suppose k = 5*b - 15, -3*b = 2*k - 9 - 13. Suppose 4 = b*m - 4. Suppose -230 - 150 = -3*x - 4*t, m*t = 10. Is 20 a factor of x?
True
Let r = -83 + 78. Is 20 a factor of 6/(-2) + -3*(-39 + r)?
False
Let a = -103 + 4. Does 4 divide 53 - a - (-2 + -1)?
False
Is 1/(7 + (-1091640)/155952) a multiple of 38?
True
Suppose 35*h - 2*x + 9932 = 40*h, 0 = -2*x + 12. Is h a multiple of 51?
False
Let d(b) = 36*b + 1357. Is d(76) a multiple of 12?
False
Let t = 408 + -402. Suppose 0 = w - 2*y - 404, -1602 = -t*w + 2*w + y. Is 18 a factor of w?
False
Let z(c) = 2*c**2 - 11*c + 62. Does 62 divide z(68)?
False
Let c be 6/9 + 10/(-6) - -3. Let n(h) = -36*h + 46*h - 1 + 8 + 4*h**c. Is 7 a factor of n(-6)?
True
Let a(p) = -3*p**3 + 10*p**2 + 5*p - 48. Let z be a(8). Let d = -498 - z. Is d a multiple of 14?
True
Suppose 18*t - 2 = 16. Let h(i) = 139*i**2 + 5*i - 6. Is h(t) a multiple of 23?
True
Let w = -1 - -1. Suppose 3*n = -m - w*m + 4, 28 = -2*m + 3*n. Is 2 a factor of 2/m*2 + 49/2?
True
Let j(m) = 16*m**2 + 84 - 7*m**2 - 22*m + 37*m. Is 109 a factor of j(-9)?
False
Let f = 148 - 131. Let g = f - -370. Is g a multiple of 22?
False
Let z(s) = 14*s**3 - 70*s**2 + 5. Let c be z(5). Let f = 1 + 4. Suppose -2*j - 3*o + 106 = 0, c*j - j = -f*o + 212. Is j a multiple of 17?
False
Let d be (5/4 - 1)/(1/4). Suppose -4*a - a = -2*g - 1, -g = -2*a - d. Is 7 a factor of (6/2 + 12/(-6))*g?
True
Suppose 39*k + 2368 = 31*k. Let s = -168 - k. Is s a multiple of 6?
False
Let g be 3/(-2)*(22 + -1640). Suppose -13*f + g = 282. Is 6 a factor of f?
False
Suppose c = -3*s + 1284, -15*s - c = -16*s + 424. Let d = s + -280. Does 25 divide d?
False
Let j = -391 + 371. Let t(y) = 4*y**2 + 27*y - 28. Is 6 a factor of t(j)?
True
Let a be (-14)/(-3) + 20/(-30). Let s = 559 - 208. Suppose a*w + s = 13*w. Does 12 divide w?
False
Let w be (81/6)/(2*(-1)/4). Is (-38)/(-171) + 3/w*-9403 a multiple of 11?
True
Suppose 2*t - 232*g - 92780 = -230*g, 3*g - 139182 = -3*t. Is t a multiple of 9?
False
Let z(t) = 84*t - 115. Suppose 6*w = -3 + 33. Is z(w) a multiple of 7?
False
Let m(a) = -119*a - 1863. Is 3 a factor of m(-27)?
True
Let n(h) = -18*h - 14. Let k be n(-15). Is (-784)/(-6) - (k/(-24))/(-16) a multiple of 4?
False
Let m(c) = 3*c**3 + 10*c**2 + 13*c - 5. Let v be m(-2). Is (-3)/v - (-8718)/10 a multiple of 8?
True
Is (2415/28)/(-2 + (-402)/(-192)) a multiple of 2?
True
Suppose 0 = 5*q - 2*m - 176, 172 = -0*q + 5*q - 4*m. Suppose -5*a = -q - 64. Is 27/1 + 5*8/a a multiple of 5?
False
Let j = 993 + -246. Does 90 divide j?
False
Suppose 18*a - 21*a + 1827 = 0. Suppose -7*g - 3*y = -2*g - a, -111 = -g + 3*y. Does 17 divide g?
False
Suppose -2035 - 736 = -3*p - 2*x, -5*p = 4*x - 4615. Let b = -86 + p. Is 30 a factor of b?
False
Let i(q) be the second derivative of -q**6/120 + q**5/120 + 4*q**4/3 + 11*q. Let d(b) be the third derivative of i(b). Is d(-3) a multiple of 10?
False
Let b = -862 - -856. Let c(j) = 1622*j**2 - 3*j + 3. Let s be c(-3). Is 6 a factor of b/8 - (s/(-24))/5?
False
Let j(g) be the second derivative of -25*g**3/6 + 7*g**2/2 + 9*g. Let s = 43 + -45. Is j(s) a multiple of 19?
True
Let l(a) = 54*a**3 + 8*a**2 - 9*a + 4. Let x be l(2). Suppose -d = 2*d - x. Is 7 a factor of d?
False
Does 7 divide (525*2119/39)/(-2 + 3)?
True
Let b be 12/(-8) + 0 + 658/4. Suppose 3*h - 206 = b. Suppose 252 = 3*g + 3*v, 3*g + v - h = 123. Is 20 a factor of g?
False
Suppose 2*y = 5*p + 1724, -4*p - 568 = 5*y - 4944. Suppose -5*q = 2*i - 227 - 339, y = 3*i - 4*q. Is 32 a factor of i?
True
Let x = -629 - -631. Suppose -4*u + 84 = 2*m, 3*m + 3*u = -u + 136. Suppose w - 3*h - 72 = -w, m = x*w + 2*h. Is 10 a factor of w?
True
Let z = -28 - -100. Let y = 379 + z. Is 16 a factor of y?
False
Let x(o) be the first derivative of o**3 - o**2 + 4*o + 158. Is x(4) a multiple of 3?
False
Let c be 30108/84 - (-8)/14. Suppose -c*s = -360*s + 300. Is s a multiple of 6?
True
Let u = -148 - -141. Let c(f) = -f**2 - 8*f + 14. Does 3 divide c(u)?
True
Suppose -4*r + 3*q - 100 = 7*q, -89 = 5*r - 4*q. Is 3 a factor of (340/6)/((-14)/r)?
False
Suppose -9*x = 2*x - 55. Let d = x - -83. Is 13 a factor of d?
False
Suppose -2*v - 46 - 156 = 0. Let z = 53 + v. Let n = -29 - z. Is n a multiple of 6?
False
Let h(b) be the second derivative of 19*b + 0 + 2/3*b**3 - 5/12*b**4 + 4*b**2 + 1/10*b**5. Is h(4) a multiple of 8?
True
Let i(q) = 11*q - 7. Let l(k) = 4*k - 2. Let j(y) = 3*i(y) - 8*l(y). Let r be j(7). Suppose 1 = -a, r*m - 10*a - 95 = -5*a. Is 15 a factor of