e
Let c(h) = h**3 - 28*h**2 + 42*h - 39. Let l be c(27). Let g = 434 - l. Does 17 divide g?
True
Let r(g) = -g**3 + 9*g**2 - 16*g + 16. Let n = 16 + -9. Let k be r(n). Is 2 a factor of k - ((-30)/8 + 15/20)?
False
Let i(h) = -5*h**2 + 51*h + 74. Let p be i(14). Let f be -15*(10/(-3) + 2). Is 24 a factor of (-3)/((-24)/(-140))*p/f?
True
Suppose o = -5*m + 323, -2*o - 2*m - 5 + 635 = 0. Let g = o + -128. Is 3 a factor of g?
False
Let a(z) = 2*z**3 - 103*z**2 - 146*z + 19. Is 4 a factor of a(53)?
True
Is 9 a factor of (15 - 14)/(181328/362592 - 1/2)?
True
Let x(o) = -33506*o - 266. Is 16 a factor of x(-1)?
False
Let h be -5 + 0 + 1*(0 - -1). Let v be h/(-16) + 0 - (-18)/(-8). Is 13 a factor of 875/(-5)*v/5?
False
Let w be (-6)/(6/2 - 5). Suppose -4*t = -3*a - 154 + 385, 2*a = w*t + 153. Does 27 divide a?
True
Let m = -5382 + 5708. Is 2 a factor of m?
True
Let y be (-16)/(-12) - (-45505)/15. Let k = y - 1235. Does 24 divide k?
True
Suppose -663 = 9*k + 1776. Let n = k + 294. Does 9 divide n?
False
Let d = -3360 + 18180. Does 138 divide d?
False
Let p(h) = -12*h**2 + 285*h - 73. Is p(6) a multiple of 6?
False
Let r be (-9)/(-45)*(-10)/(-3)*27. Let i = r - -97. Is i a multiple of 23?
True
Suppose 7*a - 3*a + 5*j - 916 = 0, 4*j = -16. Let q = -42 + a. Does 15 divide q?
False
Let m = -4431 + 7611. Is m a multiple of 60?
True
Suppose 40*o - 92137 = 1065226 + 149997. Is o a multiple of 22?
False
Suppose 6*o + k + 515 = 8*o, 1285 = 5*o - 2*k. Is o a multiple of 17?
True
Let d(m) = -8*m + 4223. Does 13 divide d(-35)?
False
Let i = -3348 - -7607. Is i a multiple of 37?
False
Let l(n) = -161*n - 58. Suppose 2*r = -g - 2*g + 6, -4*r = 3*g. Is l(r) a multiple of 85?
True
Let c(n) = 20*n**3 + n**2 - n - 19. Let v = -141 - -144. Is 17 a factor of c(v)?
True
Suppose -3*v - 3 = -2*f, f + 3*v + 11 = -1. Is 47 a factor of (865 - -16)*-3*1/f?
False
Suppose 5*z - 6*z = -4*p - 3421, 2*z - 2*p = 6878. Does 187 divide z?
False
Let q(w) = w + 9. Suppose o + 1 = 0, 2*u - u - 58 = 4*o. Suppose -u = -9*j - 0. Does 15 divide q(j)?
True
Let k = 670 + -670. Suppose k = -9*d + 2703 + 3192. Is d a multiple of 16?
False
Let g = -405 - -3771. Does 102 divide g?
True
Let z(v) = v**3 - 16*v**2 - 20*v + 36. Let u = -693 + 713. Does 15 divide z(u)?
False
Let m(i) = i**3 - 16*i**2 + 30*i - 6. Let d be m(14). Suppose -d*b = 13*b - 5565. Does 19 divide b?
False
Suppose -12*y - 20 = -16*y. Suppose y*l = 5*g - 185, -42 = -2*g + 3*l + 29. Is 2 a factor of g?
True
Let z be (-6)/9 - 9080/60. Let p = z + 494. Is 19 a factor of p?
True
Let j = 19136 - 6590. Is 102 a factor of j?
True
Suppose 2*g - 546 = g. Let d(p) = -p**2 + p + 4. Let t be d(2). Does 3 divide g/112 + t/16?
False
Is 37 a factor of (-4)/10 - ((-4116)/(-210))/(5/(-14120))?
False
Let z be 6*8/18*(-9)/(-6). Is 15 a factor of 20/(-78)*-483 - z/(-26)?
False
Suppose 0 = -4*a + 3*a + 319. Let p = -274 + a. Is 45 a factor of p?
True
Let t(u) = -17*u - 54. Let b be t(-17). Let k = 355 - b. Is 4 a factor of k?
True
Let w(z) = 117*z**3 - 2*z**2 - 4*z + 21. Is 105 a factor of w(3)?
True
Does 75 divide 838800/400 - ((-5)/2 - 2/4)?
True
Let b(n) = -12*n - 47. Let d be b(-7). Suppose -40*p + d*p = -15. Suppose 0 = -p*l - 32 + 142. Does 2 divide l?
True
Let m = 98 - -2066. Suppose 15*n - 11*n - m = 0. Is n a multiple of 26?
False
Let x(s) = -4*s**3 - 3*s**2 + 36*s - 10. Is 49 a factor of x(-11)?
False
Let a(m) = 16*m + 361. Is a(7) a multiple of 45?
False
Let i(t) = -4*t + 140. Let u be i(25). Suppose -44*f + u*f + 1412 = 0. Is 43 a factor of f?
False
Let q be (-1)/(-1 - 1416/(-1420)). Let k be q + (-4 - -3) + -4. Suppose -38 + k = 4*x. Does 49 divide x?
False
Let a = 461 - 656. Is 5/10 - a/(-20)*-2 a multiple of 3?
False
Suppose 28424 = 17*o - 6*o. Is o a multiple of 68?
True
Let a = 1070 - -1737. Is 7 a factor of a?
True
Let w(a) = -a**2 - 11*a - 27. Let x be w(-6). Suppose -8*z = -x*z - 5*t - 4365, -5*z - 4*t + 4356 = 0. Is 26 a factor of z?
False
Let l(h) = h**2 - 25*h - 13. Let v be l(-27). Is 32/6*(v/52 + 4) a multiple of 15?
False
Suppose -3*f + 8*f - 5 = 2*g, -5*g - f = -1. Suppose 165 = 3*t - 2*x, g*t + t = -3*x + 55. Is t a multiple of 5?
True
Let q(x) = -1302*x - 1119. Is q(-8) a multiple of 39?
False
Let k(f) = 5*f. Let h(r) = 11*r. Let t(a) = 3*h(a) - 7*k(a). Let p(u) = -15*u + 21. Let y(v) = -p(v) + 2*t(v). Is 21 a factor of y(16)?
False
Let o be (-136)/10 - 2/5. Let p = o - -14. Suppose p = 5*h - 8*h + 117. Is h a multiple of 13?
True
Suppose 134*w - 34*w - 220800 = 0. Does 69 divide w?
True
Let b = 7365 + -4089. Does 12 divide b?
True
Let s = 37169 - 32983. Does 21 divide s?
False
Let w(i) = 7*i**2 + 310*i - 2888. Does 7 divide w(9)?
True
Let k be (0 - -4)*28/28 - -1. Suppose -k*z + 1826 = -124. Is z a multiple of 26?
True
Suppose g = -4*q + 12006, 181*g + 60174 = 186*g + 2*q. Is g a multiple of 34?
False
Suppose 2*u - z + 686 = 0, 0 = -3*u + 4*u - 5*z + 325. Let a = u - -580. Is 30 a factor of a?
False
Let q be (-5)/100*5 - 1/(-4). Suppose 3*z + z - 148 = 2*r, q = 5*r - 10. Does 2 divide z?
True
Let t be 3 + 35/(-5) + (28 - -6). Let z = t - -432. Is z a multiple of 11?
True
Suppose -59554 = -25*i + 111221. Is i a multiple of 20?
False
Let b = -7 + 11. Let o = -88 + 240. Suppose -r + 4*n = -3*r + o, 0 = -b*r + 3*n + 282. Is r a multiple of 9?
True
Let y(b) = -3*b - 26. Let q(u) = 2*u + 7 - 1 + 2 - 10*u**2 - u**3. Let s be q(-10). Does 5 divide y(s)?
True
Let l(s) = -26*s + 247. Let w be l(39). Let z = -405 - w. Is 6 a factor of z?
False
Let a be ((-126)/(-105))/((-3)/(-15)*-3). Let q = -29 + 42. Is a/q - (-1176)/39 a multiple of 9?
False
Let m be (60/(-60))/(1 - 136/134). Suppose 3*z - 9 = 0, 2*w - 107 = 2*z + 3*z. Suppose -m*n = -w*n - 438. Is n a multiple of 13?
False
Let i(r) = -r**3 + 5*r**2 + 3. Let u be i(4). Suppose -6*v + 2*t = -v + u, -3*t - 4 = -v. Is 4 a factor of 323/5 - 0 - (-3)/v?
True
Let w(p) = -2*p**2 - 13*p + 2. Let z be w(-4). Suppose z*f = 25*f - 342. Does 17 divide f?
False
Suppose 4*x - 7159 - 3492 = 4177. Does 24 divide x?
False
Suppose w = 2*t + 19, -4*w + 7*w = 4*t + 59. Let f = -2 + w. Let q = f + -4. Is q a multiple of 4?
False
Suppose -2396 = -4*n + 2*w, -2*n - w - 1796 = -5*n. Let h = n - 367. Is h a multiple of 21?
True
Suppose -29*n = -129355 - 79532. Does 156 divide n?
False
Let a(t) = t**3 - t**2 - 4*t + 2. Let i be a(2). Let d(x) = -x**3 + 2*x**2 + 3*x + 3. Let p be d(3). Is p/i + (-830)/(-20) a multiple of 20?
True
Suppose 30 = 4*u + i, 2*u + 2*i = 1 + 17. Suppose 4 - u = -p. Does 48 divide (-1 - -2) + (6/p - -203)?
False
Let r(k) be the first derivative of -13*k**2/2 + 9*k + 49. Let i(w) = w**3 - 5*w**2 - 6*w - 3. Let v be i(6). Is 12 a factor of r(v)?
True
Suppose 0*n - x = -5*n + 21030, 5*n - 3*x = 21040. Suppose -7*t + 1983 = -n. Is 34 a factor of t?
True
Let i = 238 - 153. Suppose 9*j - i = 140. Suppose -268 = j*k - 27*k. Is 7 a factor of k?
False
Suppose -10*a - 300 = -13*a. Let k be 12*(1/5 - (-1230)/a). Suppose 36 = 2*b - k. Is b a multiple of 18?
False
Let q(k) = -31*k**2 + 41*k**3 + 67*k**2 - 32*k**2. Is 43 a factor of q(2)?
True
Suppose 65*s - 56224 + 19174 = 0. Is 2 a factor of s?
True
Let q(j) = 22*j**3 - j**2 + 5*j + 2. Let l be q(4). Let d be 12 - (3 - -12 - 6). Suppose 484 = -d*u + l. Does 31 divide u?
True
Suppose -4*l - 3*n + 45 = 0, -3*l + 24 = -3*n + 6. Let k(i) = 15*i**3 + 3*i**2 - 2*i + 1. Let b be k(1). Let d = l + b. Does 4 divide d?
False
Suppose -2*g = 3*p - 3*g + 68, -p = g + 28. Let x = p + 432. Does 34 divide x?
True
Suppose -3*t - 17 = 4*d, -2*d + 4*t - 15 + 1 = 0. Let l(g) = 4*g**2 + 4*g + 10. Is 9 a factor of l(d)?
True
Suppose 8465 + 6915 = 5*c. Does 18 divide c?
False
Suppose 59*o - 47*o = 48. Suppose 2*b - 2*i = 310, 0*b + 620 = o*b + 5*i. Does 5 divide b?
True
Let g be (-1)/(264/260 + -1). Let z be 4/(-20)*0 - g. Suppose 3*i - z = 19. Is i a multiple of 7?
True
Suppose 14008*l - 158422 = 13986*l. Is 31 a factor of l?
False
Let w = 8486 + -4876. Is 19 a factor of w?
True
Let y = 2188 + -1287. Suppose 0 = 6*o - 215 - y. Is 15 a factor of o?
False
Suppose 56 - 206 = -6*h. Suppose 0 = -h*r + 23*r + 8. Is r/(-3)*(-704 - -2)/9 a multiple of 8?
True
Let i = 62001 + -43960. Is 7 a factor of i?
False
Suppose -v - 2*b = 17, -5*v + 0*b = 3*b + 57. Let u(y) = -18 + 