alse
Let h = -21 - -11. Let d(g) be the first derivative of -8*g**2 - 4*g + 142. Does 12 divide d(h)?
True
Suppose -14*x = -10*x - 608. Let w = x - -33. Suppose -2*f = -5*g + 1424, 5*g + 3*f = 1254 + w. Is g a multiple of 42?
False
Does 6 divide 4/34 - 3922688/(-238)?
True
Suppose 4*a - 155*a + 976819 = 0. Is a a multiple of 126?
False
Suppose 0 = -15*a + 340412 + 160348. Is 24 a factor of a?
True
Let y be 4 + (0 + -2 - -4). Suppose -y*g - 3*g + 36 = 0. Suppose -g*o + 418 = -14. Is o a multiple of 27?
True
Suppose 0 = k - 4*k + j - 2, 5*k - 2*j + 4 = 0. Suppose -5*r - 6*r + 660 = k. Does 7 divide r?
False
Suppose -28*r = 34*r. Suppose 4*w - 6 = 5*l, 4*w - 3*l - 10 = -0*w. Suppose 3*t = -4*p - r*t + 66, 2*t - 68 = -w*p. Is 6 a factor of p?
True
Let x(l) = -288*l - 70. Let k be 96/(-36) - (-4)/6. Is 23 a factor of x(k)?
True
Suppose -30622 = -52*b + 338942. Is b a multiple of 4?
False
Let o(r) = -154*r + 4752. Is 11 a factor of o(14)?
True
Let c(v) = v**2 + 23*v + 26. Let t be c(-22). Suppose -t*k = -0*k - 832. Is k a multiple of 12?
False
Let n(o) = -o**2 + 13*o + 12. Suppose 2*a + 22 = b + 6, -5*a - 45 = -3*b. Let u be n(b). Is (-28)/(-6)*(582/u - 1) a multiple of 15?
True
Suppose -6321 = -3*s + 3204. Let k = s - 2031. Is 44 a factor of k?
True
Let m(j) be the first derivative of -20 + 14*j - 7/3*j**3 + 0*j**2 + 1/4*j**4. Is 14 a factor of m(7)?
True
Let t(n) = 95*n - 214. Let q be t(18). Suppose q = c + 541. Is c a multiple of 9?
False
Let v(n) = -56*n**3 - n**2. Let t(b) = b**3 - 3*b**2 - 10*b - 1. Let k be t(5). Is v(k) a multiple of 5?
True
Let j(t) be the first derivative of 83*t**3/3 + 3*t**2 + 2*t - 181. Is 39 a factor of j(3)?
False
Let z = 42316 + -19026. Is 17 a factor of z?
True
Let t(v) = 531*v + 687. Let g(j) = 213*j + 275. Let r(q) = 12*g(q) - 5*t(q). Does 57 divide r(-10)?
True
Suppose 3*v = 4*b + 6668, -b = 41*v - 44*v + 6680. Is 19 a factor of v?
False
Let z = -3913 - -5201. Is 23 a factor of z?
True
Let n(d) = -3*d**3 - 17*d**2 - d + 17. Let a be n(-7). Suppose -2*l + a + 20 = 4*f, 3*f + l = 178. Suppose f = 2*k - 94. Is 44 a factor of k?
False
Is (-1*51/9)/(122/(-52338)) a multiple of 85?
False
Suppose -86*z + 72*z = -51562. Does 126 divide z?
False
Is 10 a factor of (663/(-442))/(3/3620*-1)?
True
Let w = 37398 - 13631. Is 7 a factor of w?
False
Let b = -37 - -40. Let s be b/(-3 - (-45)/10). Suppose -620 = -s*w - 3*w. Is w a multiple of 31?
True
Let d(q) = -3*q**2 - 28*q + 25. Let u(p) = p**2 + p - 1. Let t(f) = -d(f) - 4*u(f). Let v be t(20). Let s = 93 - v. Does 24 divide s?
False
Suppose 2*x + 2*x = -204. Let a = -50 - x. Suppose -5*c = -4 - a, 5*j = 3*c + 167. Is 34 a factor of j?
True
Let o(a) = -a + 367. Let z be o(13). Let f(t) = -t**2 - 8*t - 6. Let g be f(-6). Suppose -3*h + z + g = 0. Is h a multiple of 10?
True
Let o be (246/(-9) - 0)/(9/27). Let q = 168 + o. Does 43 divide q?
True
Let t(j) = -3*j**3 + 3*j**2 + 8*j + 6. Let w(h) = -6*h**3 + 6*h**2 + 16*h + 12. Let o(m) = -7*t(m) + 4*w(m). Is o(-4) a multiple of 56?
False
Let o(h) = 8*h**2 - 5*h - 2. Let b be o(-3). Let k = 167 - b. Suppose -32*f - k = -34*f. Does 12 divide f?
False
Is ((-54)/189)/((-5)/27755) a multiple of 143?
False
Let u = -1014 - -3455. Does 12 divide u?
False
Let f be ((-8)/(-6))/((-14)/3591). Let a = 616 + f. Suppose 0 = -6*d + a + 530. Is 13 a factor of d?
False
Suppose -3*l = -7*l + 8. Let c be ((-2)/l)/((-3)/15). Suppose 15 = 3*o, -o - 4*o = -d + c. Does 10 divide d?
True
Suppose 5*v - 17 = -j, -v - 4*v + 15 = 0. Let m be j - 566/((-1 - -3) + -4). Suppose m = 6*i - 147. Does 8 divide i?
True
Let r = -58535 + 84197. Does 27 divide r?
False
Let j(i) = 2*i**3 + 61*i**2 - 17*i - 16. Let g = -310 - -280. Is 34 a factor of j(g)?
True
Let v(q) = 2*q**3 - 177*q**2 + 103*q - 658. Does 31 divide v(89)?
True
Let a(h) = -6 + 5 + 2*h**2 + 4*h - 5. Let q = 1 - 5. Does 5 divide a(q)?
True
Is 240 a factor of -2*((-4)/8)/((-1)/(-40167))?
False
Let a(s) = -542*s - 5864. Does 20 divide a(-23)?
False
Let h = -15 - -31. Suppose 5*z + h = 6*z. Suppose z = -i + 5*i. Is i a multiple of 4?
True
Let w(l) be the second derivative of 7*l**3/6 - 57*l**2/2 + l - 151. Is 10 a factor of w(36)?
False
Let u(y) = -50*y. Let t be u(9). Let f = -44 - t. Does 14 divide f?
True
Let f(a) = -a**3 - 58*a**2 - 415*a + 32. Does 206 divide f(-58)?
True
Suppose 0 = -5*d + 78 + 42. Suppose -d*p - 4*p = -2772. Is 9 a factor of p?
True
Let m be (-26)/(-4) + 6 + (-90)/12. Is (-4804)/(-20) - 1/m a multiple of 30?
True
Let k(d) = 3*d**3 - 4*d**2 - 4*d + 14. Let w be k(2). Suppose -3*z + 5627 = w*z. Is 16 a factor of z?
False
Suppose 16*u - 28748 = 39796. Is 28 a factor of u?
True
Let t(k) = -k**2 - 27*k + 72. Let m be t(-29). Suppose -m*y + 108 = -11*y. Is 5 a factor of y?
False
Let w(t) = 8*t - 3. Let v be w(-2). Let i(q) = 2*q + 45. Let g be i(v). Suppose 9*h - 64 = g*h. Is h a multiple of 8?
True
Let v(i) = 4*i**2 + 55*i - 1284. Is 18 a factor of v(33)?
False
Let g(f) = 29*f - 26. Let d be 12*(-5)/10 + 10. Is 6 a factor of g(d)?
True
Let s(c) = c**2 + 15*c + 48. Let a be s(-7). Does 60 divide (-1520)/(-20)*(-34)/a?
False
Suppose -35 = 5*i + 25. Let t be (-40)/((70/(-15))/(-7)). Is 1 - ((-152)/i)/(8/t) a multiple of 24?
True
Suppose -12*f - 204 = -24*f. Suppose 0 = w - 11 - f. Is 28 a factor of w?
True
Let q(z) = z**2 - 2*z + 2. Let x be q(-6). Let m(f) = -3*f**2 - 39*f - 3. Let p be m(-13). Does 6 divide ((-5)/(-2) - 4)*x/p?
False
Suppose -1672 = 4*h - 12*h. Suppose -m + 152 = -h. Is 25 a factor of m?
False
Let j be 10/(-4) + (-143)/(-26). Let c be (-3)/(1 + -2 + 0). Suppose -5*o + c*u + 162 = 0, u + 166 = 5*o - j*u. Is o a multiple of 3?
True
Let c = -705 - -751. Suppose 4080 = c*n - 36*n. Does 29 divide n?
False
Let b = -26318 - -53766. Is b a multiple of 13?
False
Let z = -303 - -694. Suppose -z = -4*n - 13*n. Does 2 divide n?
False
Suppose 14*b - 3*b - 4389 = 0. Suppose 7*k - 2*k - 4*u + b = 0, -400 = 5*k - 5*u. Let d = k + 111. Is d a multiple of 8?
True
Suppose 119*b + 7275 = 921317 + 1109315. Is 3 a factor of b?
False
Let l = -29 + 130. Let o = 371 - l. Suppose w = 6*w - o. Is 9 a factor of w?
True
Let w = -1069 - -3159. Does 22 divide w?
True
Suppose 0 = 4*g - 0*a - 3*a - 8, -2*g - a + 14 = 0. Suppose 0 = -g*r + 8*r - 96. Does 16 divide r?
True
Let g = 634 + -629. Suppose g*t - 17*t = -6072. Is t a multiple of 23?
True
Does 23 divide 1*-8*(-44850)/1040?
True
Suppose 5*m = -3*r + 37405, 45 = -5*m + 70. Is 28 a factor of r?
True
Let o be (0 + (-1)/3)*10944/(-152). Is 13 a factor of 2*((-1044)/(-10) - o/60)?
True
Suppose 0 = 2*w - 0*w. Let x be (-1)/((-4*1/2)/6). Suppose 39 + w = x*r. Is 6 a factor of r?
False
Suppose 0 = -g + 4*i + 9275, 33*g + 37080 = 37*g + 4*i. Is g a multiple of 73?
True
Let s(t) = 6 + 6*t - 4*t + 0*t**3 - t**3 + 10*t**2. Does 7 divide s(9)?
True
Suppose -38*x + 11032 = -31*x. Suppose 25*k + 351 = x. Is k a multiple of 7?
True
Suppose -33*a + 29*a = 2324. Let g = a - -1085. Does 13 divide g?
False
Let b be (-15 + 16)/(1 - (-7)/(-6)). Does 4 divide (1 + 92)*2/(-4)*b?
False
Suppose 6*y - 8*y + j = -1324, y - 3*j - 657 = 0. Does 13 divide y?
True
Let b(z) be the second derivative of z**4 - 10*z**3/3 - 53*z**2 - 60*z. Is 23 a factor of b(12)?
False
Let d be 8/(-52) - (-522)/13. Suppose -d*k - 336 = -43*k. Is 27 a factor of k?
False
Let c(q) = 101*q**2 - 28*q - 47. Does 59 divide c(-2)?
True
Let l be (-13 - -12)/((-3172)/3174 - -1). Let y = l - -2604. Is y a multiple of 20?
False
Suppose -43*y + l = -47*y + 25665, -3*y + 2*l + 19257 = 0. Does 23 divide y?
True
Suppose 9*j = 26 + 37. Is 15 a factor of (339 - j) + (2 - 7)?
False
Let a(b) = -3*b + 5 + b**3 + 2*b**3 + 4 + 0*b. Does 41 divide a(5)?
True
Suppose -333*s + 348*s = 7035. Let j = s + -187. Is j a multiple of 3?
True
Let q = 3365 - 451. Is 62 a factor of q?
True
Suppose 2*j + 3*s - 13 = 0, 2*s = 2*j + 7 - 5. Suppose -j*t + 1356 - 220 = 0. Is 33 a factor of t?
False
Let m = 1107 - -497. Is 11 a factor of m?
False
Let i(a) = 2*a**2 - 169*a + 8473. Is i(0) a multiple of 8?
False
Suppose y + 9 = -a - 2*y, -32 = 5*a + 2*y. Let n(f) = -4*f**2 - 10*f + 7. Let g be n(a). Let p = -22 - g. Is p a multiple of 5?
True
Let s be 524/24 - ((-26)/12 - -2). Let v = 57 + s. Let o = 0 + v. Is 9 a factor of o?
False
Suppose 