Is (34 + 8)/7 + 155 + 3 even?
True
Let x = -69 - -73. Let a = 33 - x. Is a a multiple of 29?
True
Does 3 divide 24/(-84) - (2 + 2692/(-14))?
False
Suppose 2*r + 0*r = 4*r. Suppose -220 = -4*m - r. Does 5 divide m?
True
Suppose 0 = -0*f + f - 735. Is f a multiple of 105?
True
Let o(d) = -5*d**3 - d**2 + 2*d + 3. Let g be o(-1). Suppose -63 = -2*u + 3*i, 5*u = u + g*i + 129. Does 6 divide u?
True
Let y be (-13)/(0 + 1)*2. Let l = 38 + y. Does 6 divide l?
True
Is (0 - -24)*2/(40/575) a multiple of 25?
False
Is 18 a factor of 701 + 5 + (-5 + 3 - -7)?
False
Suppose -9*j - 8*j + 26316 = 0. Is j a multiple of 43?
True
Is 21 a factor of 581 - -14*(-9)/(-18)?
True
Suppose 12 = -h + 4*n - n, 4*n = 2*h + 32. Let x be ((-30)/h)/((-2)/(-24)). Let p = x + 30. Does 12 divide p?
False
Let p(q) = q**3 - q**2 + q - 2. Let y be p(-2). Let l = -49 - y. Let r = 96 + l. Is r a multiple of 21?
True
Let r(a) = -2*a**3 + 16*a**2 - 31*a - 5. Let c(h) = -h**3 + 8*h**2 - 15*h - 2. Let o(b) = -5*c(b) + 2*r(b). Is 3 a factor of o(6)?
True
Let i(f) = 10*f**2 - f + 2. Let a be i(2). Suppose -4*w + 0*w - a = 0. Is 4/(-10) + (-24)/w even?
True
Let b(d) = 3*d**3 - 11*d**2 + 8*d + 13. Let u(g) = g**3 - 5*g**2 + 4*g + 6. Let s(r) = -2*b(r) + 5*u(r). Let n be s(-4). Is 22 a factor of 88/1 - (4 - n)?
True
Let d(x) be the first derivative of x**4/4 - 10*x**3/3 + 9*x**2/2 + 8*x + 10. Is 5 a factor of d(9)?
False
Let c = 1029 - 861. Is 24 a factor of c?
True
Suppose -3*r + 26 = 14. Suppose 3*w - 4*t = 87, 2*w + 7*t - 4*t - 58 = 0. Is 19 a factor of 1 + (w - (-4)/r)?
False
Let d(j) be the second derivative of j**5/20 + 2*j**4/3 + 4*j**3/3 + 5*j**2/2 + 13*j. Is 40 a factor of d(-5)?
True
Let u be (120/18)/((-2)/186). Does 13 divide 6/((-24)/u) - 4?
False
Let c(k) = -12 + 6*k + k**2 + 6*k - 4*k. Does 28 divide c(10)?
True
Let z(o) = -7*o + 7. Suppose -9*c = -6*c - 15. Suppose 8*b + 15 = c*b. Is 21 a factor of z(b)?
True
Let j(s) = 83*s - 2. Let v be j(1). Suppose v = b - 49. Is 13 a factor of b?
True
Is (1 - (-683)/3) + (-8)/12 a multiple of 38?
True
Let q(m) = m**2 + 0*m**2 - m**2 - 2 - 2*m**2 - 10*m - m**3. Does 10 divide q(-4)?
True
Let f = 0 - -5. Suppose 2*d - 3*x = -12, f*d + 12 = 6*d + 3*x. Suppose -z + 6 + 23 = d. Is 11 a factor of z?
False
Let z = 88 - 32. Suppose -4*q - 3*f + 74 = -f, -3*q - f = -z. Is 3 a factor of q?
False
Suppose 3*j + 2*j = 2915. Suppose -3*f + 2*x = -j, f - 2*x + x - 194 = 0. Is f a multiple of 15?
True
Suppose -4*k = k - 20. Suppose -z + 4*d = -36, -3*z - k*d + 198 = 26. Does 7 divide z?
False
Suppose -315 = 6*s + s. Is 15 a factor of (-10)/s - (-1328)/18?
False
Suppose -1 - 3 = 2*g. Let b(u) = 2*u**2 - 5*u - 2. Let z(d) = -2*d**2 + 4*d + 2. Let q(j) = -3*b(j) - 4*z(j). Is q(g) a multiple of 3?
False
Let r(d) = -6*d - 96. Is 7 a factor of r(-49)?
False
Suppose 3*q + 3*c + 33 = 0, -5*q + 5*c = 42 + 23. Does 6 divide (-8)/q + (-176)/(-6)?
True
Suppose -1 = w + 5. Let a(c) = 2*c**2 - 6*c + 4. Is 16 a factor of a(w)?
True
Suppose -3*w = 5*i - 0*w + 15, -25 = -5*w. Let v = 64 + -67. Is 10 a factor of 35 - (-1 - i/v)?
False
Suppose -4*c = 3*c. Suppose 4*x + c*x - 972 = 0. Suppose -a - 2*w = -54, 0 = -5*a - 0*w - w + x. Is a a multiple of 16?
True
Is 6 a factor of (-40)/15*19998/(-88)?
True
Suppose 3*g = 2*l + 16, -g + 5 - 3 = l. Is 5 a factor of 3/g + 1/((-16)/(-68))?
True
Let s(i) = 9*i**2 + 7*i - 3. Is 27 a factor of s(12)?
True
Does 23 divide 1/(-3) + 6770/15 + 9?
True
Suppose -2*w - 410 = -s + w, 0 = -2*s - 4*w + 780. Is 15 a factor of s?
False
Suppose 3*v - 45 = -5*p, 3*v - 27 = -p + 6*v. Suppose -4*r + g = -75, -4*r - p = 4*g - 72. Is 9 a factor of r?
True
Let x = -139 - -413. Let a = x - 39. Is a a multiple of 47?
True
Suppose 36 - 10 = -x. Let q = 46 + x. Is 5 a factor of q?
True
Let g = -152 - -191. Is g a multiple of 3?
True
Let s be (-12)/(-42) - (-47)/7. Let y(n) = -8*n + 14. Let d(w) = 9*w - 14. Let o(k) = -3*d(k) - 4*y(k). Does 19 divide o(s)?
False
Suppose -p = 3*p + 12. Let u be -26*(-1)/(-6)*p. Let m = u - 9. Is 3 a factor of m?
False
Let l be (-4 + 4)*2/(-4). Let h be (-10)/35 + (-32)/(-14). Suppose -h*o + 20 = -l. Does 10 divide o?
True
Suppose 0 = 2*p - 5*d - 1734, -4366 = -5*p - 0*p - 3*d. Does 8 divide p?
True
Suppose -3*h - 2*h + 229 = 4*s, -2*s + 112 = 2*h. Suppose 4*o + 3*k = s, o - 4*k = -o + 42. Let b = 77 - o. Is 17 a factor of b?
False
Does 13 divide (-111)/(-74)*286/3?
True
Let i be -2 + (10 - 10) + (-8)/(-2). Suppose -49 - 187 = -4*b + 2*w, 0 = i*b - 4*w - 124. Is b a multiple of 29?
True
Suppose 21*w - 40600 - 18011 = 0. Is 24 a factor of w?
False
Let r be 0 - 11/(-3) - 2/(-6). Is 9 a factor of r/1 - (-7 - 8)?
False
Let b(h) = 3*h - 14*h - 13 + 4*h. Is b(-6) a multiple of 6?
False
Let x(k) = -k**3 + 2*k**2 + 4*k - 2. Let h be x(3). Let j be (-3)/6 - 119/(-2). Does 19 divide j/1 + h + -3?
True
Let t(x) = 46*x**2 + 5. Is 21 a factor of t(2)?
True
Suppose 0 = 5*j - 56 - 104. Suppose 4 = -m + j. Does 4 divide m?
True
Let y = 637 - -31. Does 18 divide y?
False
Let v = -66 + 118. Let l = 16 + v. Is l a multiple of 17?
True
Let b be (14 + (-1 - 1))/(6/8). Suppose -50 = -t + b. Is 11 a factor of t?
True
Suppose -3*l + 5*u = -9148, -5*l + 15232 = -2*u + u. Does 28 divide l?
False
Is 31 a factor of 1/((30/2285)/6)?
False
Suppose 0 = -4*s + 437 + 279. Suppose 2*g + 1 - 7 = 0. Suppose g*z = -4*l + s, 8*z - 3*l - 279 = 3*z. Is z a multiple of 19?
True
Suppose -2 + 0 = 2*q. Let x be (-51 + 0)*q - 2. Is 21/x - 792/(-14) a multiple of 20?
False
Suppose 3*a - 1949 = 5*u, -5*u = -2*a + 473 + 818. Is 51 a factor of a?
False
Let d = -141 + 643. Suppose 3*f + 71 + d = 0. Let c = -82 - f. Does 22 divide c?
False
Let b(h) = 42*h - 11. Let p be b(5). Let o = p + -129. Suppose 3*d = o - 31. Is d a multiple of 7?
False
Let y be (13 + -18)*2*19. Let s be (y/(-15))/((-4)/(-54)). Let d = s + -83. Is 17 a factor of d?
False
Let i(v) = v**3 - 5*v**2 - 2*v + 2. Let b be i(5). Let j = b - -7. Let k = 3 - j. Is 4 a factor of k?
True
Let j(v) = -v**2 + 23*v - 3. Let u be j(16). Let a = u + -64. Is a a multiple of 15?
True
Let r(t) = -3*t + 30. Let b be r(13). Let m = -1 - -4. Is m/b + (-100)/(-12) a multiple of 4?
True
Is 48 a factor of 2349 - 4/16*-44?
False
Suppose 2*a - 46 = -42. Suppose 4*i - 5*m + 2*m - 740 = 0, -a*i = 5*m - 344. Does 26 divide i?
True
Suppose 5*t - 15 = -2*p + 200, 4*p - 455 = -5*t. Is p a multiple of 24?
True
Suppose -4465 = -3*b + 5*i, -4*b + 4*i = 337 - 6285. Does 18 divide b?
False
Suppose 0 = l - 0*l - 4*d - 121, 5*d + 528 = 4*l. Suppose -2*h + 429 - l = 0. Let j = h - 102. Is j a multiple of 10?
False
Suppose 5*p = 5*a + 225, p + 0*p - 54 = -2*a. Is p a multiple of 3?
True
Suppose -4*w + w + 2*l = -66, -5*w + 110 = -l. Let g(x) = -x**3 + 22*x**2 + 7*x - 19. Is g(w) a multiple of 13?
False
Let o = 1240 - 675. Is o a multiple of 113?
True
Let j = -114 + 269. Is j a multiple of 4?
False
Let b = 26 - 57. Let m = -7 - b. Does 6 divide m?
True
Suppose 28 = 2*s + 3*a, s + 4*a + 28 = 3*s. Suppose 11*c = s*c - 156. Does 26 divide c?
True
Let a(x) = 259*x - 3. Let h be a(1). Let j = -159 + h. Does 20 divide j?
False
Suppose 5*l = 21 - 26. Is (1 - 0) + (-68)/l a multiple of 11?
False
Suppose 0 = 2*o - i + 2*i - 68, 76 = 2*o - i. Let k = o + -26. Is 2 a factor of k?
True
Let o be 3/((3/3)/83). Suppose 10*q = 341 + o. Is q a multiple of 22?
False
Let b = 17 - 15. Let f = b - 6. Is 3 - (4/f - 12) a multiple of 8?
True
Let t(a) = a**3 + 2*a**2 - 12*a + 19. Let w be t(-5). Let d be (-6)/4*4/(-3). Suppose -d*r + 105 = 5*f, 3 = 4*f - w*r - 53. Does 11 divide f?
False
Let w(p) be the first derivative of -p**4/4 + 3*p**3 - 7*p**2/2 - 14*p + 16. Is w(7) a multiple of 35?
True
Suppose -56*d - 3562 = -66058. Is d a multiple of 36?
True
Let d be (-1*(3 + -2))/1. Let w be (-1525)/30 - d/(-6). Let h = 93 + w. Is h a multiple of 21?
True
Suppose -19*f + 25930 = -3710. Suppose f = x + 4*x. Does 24 divide x?
True
Let k(w) = 4*w - 15. Let b(p) = -7*p + 29. Let v(o) = 6*b(o) + 11*k(o). Let z = 17 + -10. Is 7 a factor of v(z)?
False
Let k(o) = -5*o**3 - 2*o**2 - 29*o. Does 111 divide k(-8)?
True
Let s(t) = -t**3 - 50*t**2 + 73*t - 303. Is 17 a factor of s(-52)?
True
Let t = 205 - 43. Let o = 232 - t. Does 10 divide o?
True
Suppose -2*l - 3*t = 40 - 266, 0 = 5*l 