 same value?
False
Let o = -188542/27 + 6982. Let m = 2.1 - 2.2. Is o less than or equal to m?
True
Let v = -242.72 + 239.72. Suppose 0 = -3*h - h - 4. Let j be ((-2)/28)/(h/(-4)). Which is bigger: v or j?
j
Let u = -25014 - -25065. Suppose 4*r - 160 - 40 = 0. Is u smaller than r?
False
Let s be 1/((-30)/(-14) - 2). Let l(m) = 6*m**2 + 8*m - 3102*m**3 - 3104*m**3 - 12 + 6205*m**3. Let u be l(s). Which is bigger: u or 3?
3
Let q = 11/105 - -2/21. Let g(t) = -16*t**2 + 3*t - 1. Let h be g(1). Let y be (-2)/7 - 228/h - -2. Are y and q nonequal?
True
Let x be 4*2628/24 - (-18)/6. Which is smaller: x or 442?
x
Let z be 0 + 1641 + 163 + -168. Is z bigger than 1637?
False
Let h(w) = w**2 + 49*w + 213. Let i be h(-46). Let q = 3 + -3. Suppose q = s + 2*l - i, 4*s = -l - l + 288. Is 71 greater than or equal to s?
True
Let c(i) = 23*i - 898. Let t be c(39). Let k(w) be the third derivative of w**5/60 - w**4/4 - 5*w**3/6 - 2*w**2. Let u be k(7). Are t and u equal?
False
Let f be 4/(-28) - 605/77. Let t(i) = 28*i + 206. Let z be t(f). Is z less than or equal to 11?
True
Let z = -1.312 - 538.688. Let d = z - -555. Which is greater: d or 7?
d
Let s = 292275/13970324 - 3/24212. Are 1 and s non-equal?
True
Suppose -t + 3*k - 1018 = 0, 0 = -t + 2*k - 4*k - 1018. Let j = t - -1019. Do 4/357 and j have the same value?
False
Let l(y) = -2*y**3 - 2*y**2 + 15*y - 12. Let u be l(1). Which is bigger: 11/243 or u?
11/243
Suppose 38 - 24 = -7*b. Let u = 417 - 431. Is u at least b?
False
Let a = 77 - 24. Suppose 4*x = a + 47. Does x = 25?
True
Let o be (-472)/(27/((-1512)/16)). Is 1652 > o?
False
Let d = 2884 + 3236. Which is greater: d or 6119?
d
Let y be (-5)/((-7095)/21164) - 15. Which is bigger: 0 or y?
0
Let k = -221 + 215. Let w be (-22 - k)*(3/(-4) - -3). Is -34 bigger than w?
True
Let o = 1542 - 736. Let f = -805.9 + o. Is 164 bigger than f?
True
Let f = 192 + -128. Let y = f + -65. Let b = -1.3 + -11.7. Is y smaller than b?
False
Let j = -2383331/54210 + -17/9035. Let g = 44 + j. Do g and 0 have different values?
True
Let x(v) = -v**3 + 19*v**2 - 28*v - 52. Let b be x(17). Let s(j) = -j**3 + 11*j**2 + 15*j + 16. Let o be s(12). Which is smaller: o or b?
b
Let b = -1.04 - -1. Let d(h) = -2*h**2 + 97*h - 1146. Let c be d(28). Which is greater: c or b?
c
Let d be ((-4)/(-50))/((-14)/10). Let k(z) = 3*z + 25. Let i = -36 - -28. Let w be k(i). Which is greater: w or d?
w
Let u be 1140/(-1197)*42/(-45). Is u <= 139/5?
True
Let z = 0.04 - 0.091. Let m = z - 0.109. Let a = 0.26 + m. Is -1/5 bigger than a?
False
Let x be 1/(1/(-3 + (7 - (-15)/(-5)))). Does x = -16/77?
False
Let a be (2 - -1) + 1 + -3. Let q be -51 + 39 - 10268/(-856). Which is smaller: a or q?
q
Suppose -34*m = -68*m - 918. Let j = -74 - -52. Which is greater: m or j?
j
Let y(l) = 58*l**2 - 186*l + 8. Let c be y(4). Which is bigger: c or 5?
c
Suppose 19*c - 260 = 6*c. Suppose -5*x = -4*k - 1 - c, -4*k = 3*x - 19. Let i be (1 - 291/75) + 3. Which is smaller: k or i?
i
Let f = -2273 - -2543.8. Let l = f - 271. Is l != -5?
True
Suppose -m - 4 = -10, 4*g + 758 = 3*m. Which is smaller: -5 or g?
g
Suppose 31*m + 390 = 29*m. Let t be 0 + (1 - m/(-204)). Which is smaller: 2/7 or t?
t
Let y be 3 + -2 + -2 + -37. Let p(i) = -2*i**3 + 35*i**2 + 14*i + 34. Let l be p(18). Is y > l?
False
Let m be 2/5 + 2 + (-13494)/10. Let s = m + 156251/116. Which is smaller: s or -1?
-1
Let n = -1271/2540 - -1/2540. Is 68.5 greater than or equal to n?
True
Let c(z) = -267*z**2 - 36*z + 129. Let v be c(5). Which is bigger: -6725 or v?
-6725
Let s(l) = -688*l - 3436. Let f be s(-5). Let q = 0.4 - 0.5. Let t = q + 0.1. Is f smaller than t?
False
Let a = 2347 + -281639/120. Suppose -18 = 3*m + q - 5*q, 18 = -3*m + 3*q. Let t be 2/(-6) + (-2)/m. Which is smaller: t or a?
t
Let h be 6/63 + (-15414)/294. Suppose -5*u = -25, 9*w - 2*u = 4*w - 270. Which is smaller: h or w?
h
Let w = -4.69 + -1.01. Let b = -35.7 - w. Let h = 30.8 + b. Is -3 >= h?
False
Let x = 817.645 + 0.355. Let j = -818.034 + x. Is j >= 2?
False
Let w(y) = -5*y - 20. Let z be w(-7). Suppose 5*k + 2*h = 163, -4*k + h = -2*h - 135. Let j be 1*(1/z + (-22)/k). Are j and -13 unequal?
True
Let i(p) = -3*p - 4. Let k(z) = -3*z - 7. Let t be k(-3). Suppose -2 = 3*l + t*u, 4*l = -7*u + 5*u - 4. Let c be i(l). Which is smaller: c or 8/11?
8/11
Suppose 475*y = 510*y - 140. Let s be 306/91 + 8/(-28). Do y and s have different values?
True
Suppose -y = 2*y + 5*i, 2*i = 0. Suppose 4*o - 2*w - 10 = 0, y = -w - 3 - 0. Let t be (o + 3 - 3)/1. Is 1/46 bigger than t?
False
Let u be 8 - 14 - -514 - -2. Is u at most 511?
True
Let x(m) = 7*m**3 + 5*m**2 - 7*m + 2. Let n(f) = 8*f**3 + 6*f**2 - 9*f. Let p(q) = 6*n(q) - 7*x(q). Let d be p(-3). Is 32 at most as big as d?
True
Let u(j) = 72*j**2 + 76*j**2 - 147*j**2 - 1 + j. Let n(s) = -7*s**2 - 7*s + 2. Let w(m) = -n(m) - 6*u(m). Let z be w(-2). Is z < -0.2?
False
Let o = -0.3 + -2.7. Let c = -0.75018 - -0.80118. Is c at most o?
False
Let w = 2.72111 - 3.26111. Let l = 2.8 + -3. Is w less than l?
True
Suppose 5*d + q = -q, 3*d - 21 = 3*q. Suppose d*x + c - 4 = 5*c, 5*c = x - 17. Let r = 169 - 353/2. Is r bigger than x?
True
Suppose 2*v - 142 = 4*w, -59 = 2*w + v + 2*v. Let x = w + 37. Suppose 2*h = h - 4*y - x, -4*h - 29 = -y. Is -5 greater than or equal to h?
True
Let z be (-109)/(458 - 22) - 258/(-8). Suppose -o - x = -35, 4*o = -3*x + 64 + 76. Does o = z?
False
Let o(v) = v**3 - 7*v**2 - 18*v + 12. Suppose 3*j = -4*p + 39, -5*j + 7*p = 4*p - 36. Let y be o(j). Is y not equal to 9?
True
Let p = -4.0557 + -2.9443. Which is greater: p or -147/17?
p
Let q = -1826919/86 - -21244. Which is smaller: q or 0?
0
Let p = 4671 - 4553. Which is smaller: -1/2 or p?
-1/2
Let s = 6128 + -3366. Is 2763 less than s?
False
Let p = 0.5407 - 0.6407. Which is smaller: -1543 or p?
-1543
Let p(s) = -14*s**2 + 5*s - 6. Suppose -6*b = -5*b - 3. Suppose n = m + b, 3*m - n - 3 = -4. Let g be p(m). Which is smaller: g or -16?
-16
Let t = 13.1 + -61.1. Let b = t + 45. Which is smaller: b or 7/13?
b
Suppose -351 = -w - 412. Let k = w + 52. Is -82/9 at most as big as k?
True
Let w(h) be the third derivative of -h**4/24 + 11*h**3/3 + 43*h**2. Let v be w(22). Let r = 3 + -2. Is r >= v?
True
Let m be ((-1)/(-2)*0 - 2)*-10. Suppose s - m = -4*s. Suppose 12 = 3*b, 0*z + 4*b - 20 = s*z. Which is greater: z or -13/7?
z
Let v(u) = -u**2 - 152*u. Let s be v(-152). Let l be ((-4)/326)/((-1)/2). Is l at least s?
True
Let r(b) = -3*b**2 + 31*b + 3. Let z be r(12). Let g = -78 - z. Let v = g - 21. Is v less than -41?
True
Let u = -1620 + 1619.9. Does u = 397?
False
Let t = 2.8 + -3. Let h(q) = -q**3 - q**2 + 6*q. Let o be h(2). Suppose 0 = 7*r - o - 28. Do r and t have different values?
True
Suppose -a + 0 = 1. Suppose 9*l - 7*l - 5*i = 11, -l - 3*i = 0. Let k be (-2 - l)*2/6. Which is smaller: k or a?
k
Let p = 536247205/7414 - 72329. Which is smaller: p or 1?
p
Let g = -235.476 - -0.476. Let t = g + 333. Is 0 != t?
True
Let f = 5147 - 5185.68. Which is smaller: 1 or f?
f
Let g be -3 - (3 + -4 + 14332/10280). Let i = g - 3/514. Let d = i + 158/45. Which is smaller: -1 or d?
-1
Let f be (0/(-3) + 1)/(-1). Suppose -175*v + 169*v - 54 = 0. Let q be f/(7 - -2)*v/(-6). Are 0 and q unequal?
True
Let s(q) = -1143*q - 6756. Let a be s(-6). Let i = 334 + -227. Let u = i - a. Which is greater: u or 7?
7
Let j(p) = p**2 - 28*p - 379. Let v be j(38). Is 42/349 at least as big as v?
False
Let t = 12754 - 25475/2. Is t bigger than -4?
True
Let v be 12*(6820/75)/11 - 4/20. Which is smaller: v or 73?
73
Let a be (-6402)/78 + 1/13. Which is greater: a or -75?
-75
Let p(g) = -73*g - 6427. Let z be p(-94). Which is smaller: 451 or z?
z
Let m be (-342)/16 + (-11)/(528/(-18)). Let k = 23 - 42. Let f = k + 17. Which is bigger: m or f?
f
Let u(i) = -4*i - 126. Suppose 32 - 1184 = 36*d. Let j be u(d). Let a be 0 + 0 + -3 + 8. Which is smaller: j or a?
j
Let n = 303 - 245. Let w be n/203 + 16/(-7). Is -25/13 not equal to w?
True
Suppose 0*t - 4*d - 98 = -2*t, 4*t - 202 = 5*d. Suppose 84 + t = k. Is k equal to 136?
False
Suppose -3*g - 12 + 12 = 0. Suppose 4*a - a - 55 = -2*r, r + a - 26 = g. Is r equal to 43/2?
False
Let x = -1145437/40 + 28636. Let l be 12/8 + 2/(-4). Is l at most as big as x?
False
Le