e
Let g = -13639 - -21818. Does 7 divide g?
False
Let y = 100 - -85. Let i = 13 + y. Does 33 divide i?
True
Suppose 85*x = 26*x + 63602. Is x a multiple of 21?
False
Let c = 34 + -98. Does 13 divide c/(-8) + -7 + 913?
False
Let f(t) = -4*t**2 + 535*t + 95. Is f(122) a multiple of 87?
True
Suppose -4*t + 13097 + 126909 = -6*o, t - 3*o = 34997. Does 112 divide t?
False
Let b = 20327 - 9407. Suppose 0 = -11*u - 3*u + b. Is u a multiple of 15?
True
Let h(s) = s**3 + 12*s**2 - 3*s - 12. Let u(d) = 5*d + 3. Let v be u(-3). Let r be h(v). Suppose -5*x + 4*l = 5*l - 224, -5*l - r = -x. Does 11 divide x?
True
Suppose -4*g = -12, -5*g = -0*j + 5*j - 90. Suppose -j*o = -2675 - 9265. Is 11 a factor of o?
False
Suppose -5*p = -3*d - 465, 4*p = -3*d - 579 + 114. Let r = -139 - d. Is r a multiple of 16?
True
Suppose 2*l + v - 18245 = 0, -36485 = -4*l - 23*v + 22*v. Does 38 divide l?
True
Suppose -189 = 11*x - 57. Is (2 + x)/((-28)/28) even?
True
Suppose 8*a = a. Suppose -3*o + u = -u - 258, a = 4*o - 3*u - 343. Is (o/(-4))/(2/(-2)) a multiple of 12?
False
Let v(y) = 13*y + 95. Let d be v(-10). Does 11 divide (-1240)/(-28) + 10/d?
True
Let o(c) = -54*c**2 + c**3 + 68 - 55 + 5*c - 6. Is 11 a factor of o(54)?
False
Suppose 0 = -14*y - 33*y + 948836. Is y a multiple of 75?
False
Let c = -120 + 139. Let k = 120 - c. Is k a multiple of 5?
False
Suppose -2*v - 44840 = -5*t + 52802, -2*t = v - 39064. Is t a multiple of 126?
True
Suppose -4*c = -h - 452, -11 = 2*c - 9. Let f = h + 480. Is f a multiple of 15?
False
Suppose 8*i = 3572 + 6580. Suppose -979 - i = -2*a. Is a a multiple of 15?
False
Let n(a) = 2*a - 6. Let l be n(7). Let b be 5/(-2)*12/(-10) - 1. Suppose -b*i - 348 = -l*i. Is 8 a factor of i?
False
Suppose 1489 - 57 = 179*k. Let w(h) = 22 + 2*h + h - 4*h. Is w(k) even?
True
Let z be 2/9 - 227/9. Let s = z + 29. Suppose v + 3*q = -2*v + 102, -3*q = s*v - 139. Is v a multiple of 18?
False
Let r = 1021 - -680. Is r a multiple of 20?
False
Suppose 0 = -33*a + 23*a + 360. Suppose -5*g + a = 7*g. Does 6 divide 12/((-6)/g)*-4?
True
Let j(u) = 27*u**2 + 16*u - 49. Does 22 divide j(2)?
False
Suppose -i - 3*j - 2 = 0, -i - 50 = -6*i - 3*j. Let q(c) = -c**3 + 14*c**2 + 2*c - 6. Let h be q(i). Suppose 0 = -y - 2*y + h. Is y a multiple of 11?
False
Suppose -5*h - 3 = 3*d + 1, 25 = -5*h. Suppose -17 = 6*o + d. Is ((-5)/o)/((-4)/(-336)) a multiple of 13?
False
Let o = -100 + 79. Is 14 a factor of (-4 - 48/9)*o?
True
Let v(q) = q**3 + 3*q**2 + 2*q. Let s be v(-1). Suppose 10*t - 9*t - 360 = s. Does 10 divide t?
True
Suppose 11*v - 24 = -13. Is 43 a factor of (146 - 17)/(1/v)?
True
Let j(b) = b**3 + 2*b**2 - 4*b + 8. Let k be j(0). Suppose 136 = k*d + 9*d. Is 8 a factor of d?
True
Suppose -10*v + 6*v + 3*w = -1776, -5*v - 5*w + 2185 = 0. Suppose v + 354 = 15*r. Is r a multiple of 5?
False
Suppose r - 21 = 5*g, -5*r = 4*g + 12 - 30. Suppose -d + 127 + r = -4*n, 260 = 2*d - 5*n. Is 54 a factor of d?
False
Let c be (-114)/8 + (-36)/(-144). Is ((-482)/c)/(3/21) a multiple of 21?
False
Let d be 55/3 + (-1)/(0 - -3). Suppose -d*j + 50*j - 16320 = 0. Does 85 divide j?
True
Let n be (-3696)/(-9)*(-495)/(-60). Suppose 602 = -7*h + n. Is h a multiple of 19?
False
Let s = -72 - -109. Is 20 a factor of s + 6*(-6)/(-36) + -4?
False
Let l = -6657 - -18815. Does 53 divide l?
False
Let q(w) = w**3 - 117*w**2 + 464*w - 9. Is q(113) a multiple of 45?
False
Suppose 0 = -5*m + 3*k - 6896 - 6580, 3*m + 3*k + 8076 = 0. Is 8 a factor of (-1)/(-3 + m/(-900))?
False
Suppose -117622 = -25*q + 78353. Does 39 divide q?
True
Suppose 33*j = -1008 + 4440. Suppose j = k - 8. Is 10 a factor of k?
False
Let b(i) = -i**2 - 121*i - 59. Let a(g) = 30*g + 15. Let u(k) = -9*a(k) - 2*b(k). Let w be u(15). Suppose -3*p + 8 = -w. Is p a multiple of 3?
False
Suppose 0 = -j - 2*c + 4*c - 5, 0 = 5*c - 25. Suppose -3*o + 327 = 4*u, o + o = -j*u + 225. Let m = 196 - o. Does 7 divide m?
True
Is 3 a factor of ((-910)/(-1960) - 3/4) + 86874/14?
False
Let r(d) be the first derivative of 12 + 14*d + 1/2*d**2. Is 17 a factor of r(3)?
True
Suppose 0 = j + 3*g - 13, 0 = -4*j + 4*g - 3 - 9. Does 39 divide (1 + (j - 314))*(-3 - -2)?
True
Let h = -244 - -244. Suppose h = 11*i - 5*i - 1440. Does 48 divide i?
True
Is 3/22 - (-1663830)/220 even?
False
Is 7 a factor of (-1*240/(-32))/((-1)/(-414))?
False
Let o(n) = -n**2 - 24*n - 28. Suppose -7*y = -12*y + 450. Suppose y*z = 92*z + 30. Is 21 a factor of o(z)?
False
Suppose n = 4*f + 3357 - 736, 13143 = 5*n - f. Suppose -n = -3*l - 766. Does 16 divide l?
False
Let s be (-8)/(-16)*3*-2 - -4. Let c(u) = 1. Let a(l) = l**2 + 8*l - 1. Let v(f) = s*a(f) - 6*c(f). Does 29 divide v(5)?
True
Is 31 a factor of 15435 - -1 - (224 - 215)?
False
Let h = -194 + 198. Suppose -b = 3*m - 459, 4*m = -h*b - 0*m + 1860. Is b a multiple of 12?
True
Suppose -4*d = -2*b - 240, -2*d + 10*b + 120 = 13*b. Suppose 2*c = n + 7, -5*n = c - 1 + 3. Suppose c*q - d = q. Does 8 divide q?
False
Suppose 111 = 7*i - 1. Does 5 divide (-165)/(-1)*(i/6)/8?
True
Suppose -48252 = -3*y + 3*w, w = 3*y + 10514 - 58758. Is y a multiple of 240?
True
Suppose 3*o + 56 = -88. Let z = -49 - o. Is (((-2)/(-2))/z)/(67/(-1072)) a multiple of 8?
True
Let l(o) be the second derivative of 17/2*o**2 + 0 - 1/6*o**3 + 5*o. Is 8 a factor of l(-7)?
True
Let d(s) = -5*s**3 + 11*s**2 - 5*s + 0*s + 6*s**3 + 22 - 3*s. Let l = -37 - -26. Is d(l) a multiple of 10?
True
Suppose -2*f + 32 = 2*h, 4*f - 112 = -f + 3*h. Suppose -t + 30 = -3*q - q, 4*q + f = 0. Let z = 73 - t. Does 7 divide z?
True
Is ((-53724)/555)/((-6)/405) a multiple of 27?
True
Suppose -149 = -5*j + p + 554, 149 = j + 4*p. Suppose 0 = -4*w + 4*h + 220, h + 2*h = -3*w + j. Does 5 divide w?
False
Let n = -19 - -17. Let c = 4 + n. Suppose -c*a - 3*h = -183, -h - 1 = 2. Does 11 divide a?
False
Let z(l) = -2*l**3 - 33*l**2 + 16*l - 23. Let t be z(-17). Let x(i) = -3*i**3 - 2*i**2 - 9*i - 8. Is x(t) a multiple of 13?
False
Suppose -10*p + 8*p = -5*o - 34718, 4*p - 2*o - 69404 = 0. Does 7 divide p?
False
Suppose 0 = -7*x + 14176 + 21041. Is 43 a factor of x?
True
Suppose 4*c = v - 7266, 5*v = -2*c + 8*c + 36302. Is v a multiple of 19?
True
Let g be (-12)/(-4)*(-1)/(-3)*3. Suppose -5*t = -g*j + 71 - 1257, -3*j = -t + 230. Is t a multiple of 10?
False
Let o(l) = -12 + 4 + 3 - l. Let w be o(-9). Suppose -m + 52 = -3*d + 8, 0 = -3*m + w*d + 117. Does 6 divide m?
False
Suppose 4*x = 20 + 20. Suppose 11*p = x*p + 95. Is 72*(-5 - p/(-15)) a multiple of 19?
False
Suppose p = -5*o + 195 + 371, -o + 1114 = 2*p. Does 131 divide p?
False
Let o be 1 + 0 + 2 + 2. Let u(d) = 116*d - 27. Let w be u(o). Suppose -w + 1411 = 11*j. Is 8 a factor of j?
False
Is 49 a factor of 10 + (-7 - (-6025 + 5))?
False
Let d be 1*((-10 - -7) + -1). Let w(z) = 26*z**2 + 4*z - 15. Is 35 a factor of w(d)?
True
Let q = 5268 + 620. Is q a multiple of 3?
False
Let r be 64/24 + (-32)/(-6). Does 47 divide ((-226)/3 - (r - 5))*-12?
True
Let f be -4 - (5/15)/(1/(-18)). Suppose 2*i - 3*q = -f*i + 1168, -4*q - 1459 = -5*i. Is 18 a factor of i?
False
Let g(s) be the second derivative of s**4/4 - 13*s**3/6 - 17*s**2/2 - 14*s. Does 26 divide g(-7)?
False
Is 8 a factor of 50826/215*(-40)/(-3)?
True
Let s = -41 - -358. Let j = s - 194. Does 15 divide j?
False
Let m(r) = r. Let a be m(-2). Suppose 36*d - 33*d = -5*k + 8, 2*k + 5*d - 7 = 0. Is 2/k - (a + 4 + -45) a multiple of 12?
False
Let y(j) = -28*j**3 + 15*j**2 + 17*j + 237. Is 23 a factor of y(-12)?
True
Suppose -4*i - 18 = -p - p, -2*p - 6 = 0. Let a be -2*15/(-10) + -1. Is 13/i*(a - 8) a multiple of 2?
False
Let w(n) = -n**2 - 27*n - 115. Let r be w(-6). Suppose r*t - 7476 = -2031. Is 9 a factor of t?
True
Suppose 0 = -9*u + 177 - 87. Is 9 a factor of -6 - (5/u - (-285)/(-10))?
False
Suppose -36 = -4*x + 4*m, -3*x + 5*x - 23 = m. Let c be 14 - 1 - (x + -18). Suppose -6*t - 880 = -c*t. Does 10 divide t?
True
Let t(c) = 105*c**2 + 52*c - 363. Is 62 a factor of t(7)?
True
Let o(b) = -b**3 + 6*b**2 + 3*b - 15. Let y be o(6). Let u(s) = -1 + 8*s**2 + y + 3*s - 4*s**3 + 2*s**2 + 3*s**3. Is u(10) a multiple of 16?
True
Suppose 17*w + 2*w = 665. Is 18 a factor of 28/w - (-11024)/20?
False
Let f(q) = 2281*q**2 + 6*q. Let d(u) = 760*u**2 + 2*u. Let p(r) = -11*d(r) + 4*f(r). Is 17 a factor o