ter: x or 1/8?
1/8
Let i be (3 - 1) + -33 - -1. Suppose -23 = -3*y - 17. Let q be (-27 - y) + (-14 - -12). Which is smaller: q or i?
q
Let w be (-5)/((-70)/(-86)) - (2 - (-9)/(-1)). Is 331 at least w?
True
Let j = -347.85 - -348. Is -44 greater than j?
False
Let w(m) = 4*m**2 - 28*m. Let o be w(7). Suppose o = 22*b + 13035 - 3531. Which is smaller: -433 or b?
-433
Let c = 0.979 + -0.926. Are c and -0.01 equal?
False
Let x be 104/286 + 16792/44. Is -2 at least as big as x?
False
Let t(v) = 2*v**2 - v - 4. Let b be t(3). Suppose 46 = -7*q + b. Let u be (48/(-10) - -5) + 2/q. Is 1 != u?
True
Let f = -36162 + 36033. Suppose -3*c = -3*a - 0*a - 402, -4*a = -3*c + 532. Is f smaller than a?
False
Let z = 2735 - 2724. Is z greater than or equal to -46?
True
Suppose 3*v - 25 = 5*t, t = -0*t - 3*v + 13. Let o = 0 + t. Let q = -11200 + 11199.96. Are o and q non-equal?
True
Let q be ((-3332)/294)/(2/18*2). Let a be 1/(-2)*(-49 - q). Is -1/4 > a?
True
Suppose 511 = -5*v - 2*q, -137*q = -3*v - 133*q - 343. Which is smaller: -117 or v?
-117
Let x(m) = -3*m**2 - 15*m + 239. Let b be x(-41). Let a = -724694/173 - b. Which is greater: a or 0?
a
Let r be (76*(-6)/(-32))/(252/(-336)). Suppose 14 + 124 = -3*z. Let q = 26 + z. Are q and r nonequal?
True
Suppose -37*j + 34*j + 84*j + 6237 = 0. Do j and -50 have different values?
True
Suppose -2*i + 58 = -2*j, j + 15*i = 19*i - 20. Let a(w) = -5*w**2 - 4*w + 1. Let q be a(-3). Is q < j?
False
Let i be (2/(-3))/(4 + 10/(-3)). Let k = -1887/2080 - -31/32. Which is smaller: k or i?
i
Let y(d) be the second derivative of -d**4 - d**3/6 - 5*d**2/2 + 104*d. Let w be y(-2). Which is bigger: w or -50?
-50
Let k = 151714/27173 - -132/937. Is k at least as big as 7?
False
Suppose -2*m = 4*p + 10 - 36, -2*p = 2*m - 12. Is -4/18003 at least m?
True
Suppose -6 = y - 3. Let n be (y - -5)/4*1/4. Let p be (0/((-6)/2))/(-1). Which is greater: p or n?
n
Let j(i) be the second derivative of 31*i**3/6 - 59*i**2/2 + 53*i. Let x be j(2). Let m be 4/(-18) - (-20)/9. Which is greater: x or m?
x
Let q = 15626 + -15626.05843. Which is smaller: -1 or q?
-1
Let y = -16.6 - -16.596. Let w = y - -0.104. Is -83 < w?
True
Suppose 901 = 69*w - 86*w. Let i = w + 137. Let q = -8.9 - -9. Which is greater: i or q?
i
Let v be -3*(2 - (-102)/(-18)). Let s be (-44)/120 - v/(-55). Is s bigger than 0?
False
Let s = -0.286 + 305.286. Let z = 306 - s. Let g = -7199/19 + 379. Is g smaller than z?
True
Let s = 351.045 + 2.855. Let q = -354 + s. Are 0.043 and q non-equal?
True
Let w = 1286 - 32158/25. Is w at least 5?
False
Suppose 2 - 3 = z. Let m be (-3 - 2) + (3 - (-80397)/(-915)). Let s = -449/5 - m. Which is smaller: s or z?
z
Let r = -0.39334 - 0.36666. Are r and 1.49 nonequal?
True
Let d = -4.954 + -1.046. Let y = 1.4 + -2.5. Let u = y - -1.2. Which is greater: d or u?
u
Let y = -651 - -903. Do y and 255 have the same value?
False
Let i(q) = -18*q + 9. Let f be i(-16). Let l = -297 + f. Are l and -3/122 non-equal?
True
Let q = -4463.87883 - 0.12117. Is q at least as big as -1?
False
Let h = -2938 - -1830. Which is bigger: -7748/7 or h?
-7748/7
Suppose j - 4 = 1. Suppose q - j = -5*o, o + o = -4*q + 2. Suppose -h + 3*a = 1, 4*h + h - a + 33 = q. Is -3 smaller than h?
False
Let m = 8234 + 4384. Which is bigger: 12617 or m?
m
Let o(r) = 6*r**2 - 12*r + 6. Let y be o(5). Let v = -66 + y. Is v < 31?
True
Let g be ((-2)/20)/(2/424). Let a(s) = -6*s**3 + 241*s**2 - 88*s + 1899. Let q be a(40). Which is bigger: q or g?
q
Suppose 17*f - 1962 = 12*f - 3*d, -3*d - 1182 = -3*f. Is f >= 385?
True
Let a be (-358)/(-9) + 14/63. Suppose 9*q = -q + a. Suppose 5 = -t + q. Is t != 0.03?
True
Suppose 361 = 10*s - 339. Let x be -3 + (s + 4 - -8). Suppose -4*q = -2*q - 156. Are q and x non-equal?
True
Suppose 10 = -3*o - f, 21*o + 3*f + 4 = 25*o. Which is smaller: -7/6 or o?
o
Let s be (-15)/60 - (28/16 + -1). Are s and -5/58 equal?
False
Suppose 0 = -5*p - 5*c + 100, 0*p + 3*p + 5*c - 52 = 0. Suppose n - 12 = 4*r, -2*n + 110 = 3*r + 130. Which is smaller: p or r?
r
Suppose -1835*k - 295862 = -1786*k. Is -6038 at least as big as k?
True
Let d be (-618120)/(-3333)*4/3. Is d at most as big as 247?
False
Let r(i) = -i**2 - 7*i + 10. Let l be r(-8). Suppose 3*t + 6 = -l*s + t, t = -4*s. Let u be (-240)/105 + (3 - s). Are u and -8 equal?
False
Let o(t) = -t**2 + 38*t + 81. Let g be o(40). Let d = 153.1 + -156. Are g and d equal?
False
Suppose -11*q - 486 = -9*q. Let p be 3*(-258)/q - 1. Let l = -14/27 + p. Which is smaller: 2 or l?
l
Let m = -0.0096 - -0.3226. Let j = 0.563 - m. Let v = -9 + 8.7. Which is smaller: j or v?
v
Let r be (16/(-6))/((-3)/9). Suppose -2*d + 10 = 0, -4*m + 5*d + 5 = -m. Let k = 20 - m. Which is greater: r or k?
k
Let o(i) = 2*i**2 - 12*i + 1. Let z be o(0). Which is smaller: z or -15/1474?
-15/1474
Let m = 5057 - 5039. Which is bigger: m or 35/2?
m
Let y(g) = 14*g + 579. Let v be y(13). Is 5325/7 at most v?
True
Suppose 5*h + 3*b - 11 = 47, -b = 2*h - 23. Let c(n) = 6*n + 31. Let m be c(h). Which is bigger: 96 or m?
m
Let l = 0.178 + 15.122. Let d = l + -15.19. Is -2/7 > d?
False
Let r = 3716 - 3715. Which is smaller: r or -1824?
-1824
Suppose 144 = 3*k - 5*b + 19, 5*k = -b + 199. Let p be (7/2)/((-4)/k). Which is greater: p or -30?
-30
Let h = 0.378 - -89.422. Let x = -129.84 + h. Let g = x - -40. Is 1/2 greater than or equal to g?
True
Suppose c + 71 + 31 = -2*y, -2*y - 414 = 4*c. Let m be (-4)/(-18) + 983/(-9). Let s = c - m. Is 45/7 less than or equal to s?
False
Let z = 3183 + -3184. Let f = 747/1085 - -4/155. Is z smaller than f?
True
Suppose -2 = -67*s + 69*s. Let g be (-132)/(-62) - (1 - (-2 - s)). Is g less than or equal to 0?
False
Let n(s) = -16*s - 30. Let y be n(-2). Suppose 6*g - 780 = y*g. Which is bigger: g or 196?
196
Let k = 3816 + -3823. Which is bigger: -151/22 or k?
-151/22
Suppose -6*m = 17 + 43. Let h be m/(-25)*206/(-72). Let n = -10/9 - h. Which is smaller: 1 or n?
n
Suppose 7*k - 9*k - 112 = 0. Let o = 56 + k. Is 3/46 greater than or equal to o?
True
Let h(q) be the second derivative of -q**5/20 - 5*q**4/6 + 23*q**3/6 - 5*q**2 - 206*q. Let t be h(-12). Which is greater: t or 10/17?
t
Let z = 914/17 - 596740/11101. Is z equal to -1?
False
Let l = -23450673/1283 - -18278. Let x = l - 2633/85961. Do 0 and x have the same value?
False
Let m(z) = 4*z - 5. Let r be m(4). Let j be (7/(196/(-192)))/(18/(-945)). Let a = -360 + j. Are r and a non-equal?
True
Let i = 23.53 + -19.53. Are i and 525 equal?
False
Let f = -14.73 + 14.12. Is 0.03 at least f?
True
Suppose 5*j = a - 2, -5*j + 64*a + 7 = 60*a. Let y be 253/((1524/5072)/(-3)). Let u = 2526 + y. Which is bigger: j or u?
u
Let z = -39 + 99. Let b be 6*(-4)/z - 353/5. Which is greater: b or 0?
0
Let j = -64/173 - 154/519. Which is smaller: j or -2040?
-2040
Suppose 0*z - 5*z + 245 = 0. Suppose 0 = -3*d - 3*n + 183, d - 5*n - 121 + 120 = 0. Which is smaller: d or z?
z
Let n(g) = 3*g**2 - g**2 - 14*g + 26*g + 8. Let y be n(-3). Which is smaller: y or -43/4?
-43/4
Let m = -2/971 + 3910/12623. Suppose 0 = 5*q - s - 2, -5*q + 5*s = -10. Suppose q = -2*g - 2*g + 4. Which is bigger: m or g?
g
Suppose 5*m = -u - 0*u + 3523, -5*u + 17644 = -4*m. Let r be (-3)/(6/8) - u/(-540). Which is greater: 3 or r?
3
Let d = -5732 + 2206822/385. Let j(g) = g**3 - 7*g**2 - g + 21. Let y be j(7). Let v = y - 15. Which is smaller: v or d?
v
Suppose 26*z + 4050 = 11*z. Let f = 300 + z. Is 173/6 bigger than f?
False
Let a = 17291/28 + -2469/4. Do 210 and a have the same value?
False
Let h(j) = 3*j**3 + j**2 - 5*j + 29. Let v be h(-6). Let x be (-158 - -1)*148/42. Let g = v - x. Is -1 equal to g?
False
Let p = 423908/73623889 - -2/70997. Are p and -1 non-equal?
True
Suppose -82 = -111*y + 172 + 79. Which is bigger: -2.34 or y?
y
Suppose -2*r = -s + 10529, 8*r + 52680 = 5*s + 5*r. Let x = s + -42593/4. Let n = -109 - x. Is 0.1 at most as big as n?
True
Suppose -8*g + 3*b = 444, 20 = -43*b + 38*b. Which is bigger: -1381/24 or g?
g
Let v(n) = n**2 - 10*n + 3. Let w(k) = -5*k**2 + 51*k - 11. Let b(f) = -11*v(f) - 2*w(f). Let h be b(2). Which is greater: h or 1/11?
h
Suppose g + 3*g = -4*f + 124, -62 = -2*f + 5*g. Suppose -f*p + 29*p = -16. Suppose -2*i - 4*j = -18, -p = -4*i + 5*j - 37. Is -5 bigger than i?
False
S