 Are -4/2131 and i unequal?
True
Suppose -5*u + 105*h + 199 = 106*h, 5*u - 211 = -4*h. Is -368 bigger than u?
False
Let q = -169 - -257. Let n be ((-872)/q - -10)/(1/11). Which is greater: n or -8/19?
n
Let p = 138 - 117. Let z be (-10)/4*p/(1155/44). Which is greater: z or -5/7?
-5/7
Let v(b) = b**3 - 94*b**2 - 202*b + 278. Let t be v(96). Is -681 at least as big as t?
True
Let k be (-624)/(-126828)*(-6)/4. Are -1/2 and k non-equal?
True
Let w = -3596 + 3585. Which is smaller: 118 or w?
w
Let p(d) = d**2 + 14*d - 4. Let v be p(-22). Let n = -449 + v. Are n and -277 equal?
True
Suppose 1239 = -2*c - 149*u + 148*u, 0 = -3*c + 5*u - 1891. Let m = -622 - c. Does -15/29 = m?
False
Let y = -12.29 + 2.29. Let x = y - -20. Let o = 5 + -3. Is x > o?
True
Suppose u - 2*o = 3*o, -5*u - 145 = 4*o. Let z be 5/u + 411/1980. Which is greater: -1 or z?
z
Let z(r) = 6*r - 30. Let n be z(7). Suppose -4*h = y - n, -3*y - 3 = -15. Let f be ((-18)/126)/(h/38). Is -3 greater than f?
False
Let c(i) = 2*i**2 + 9*i + 9. Let d be c(-6). Suppose 352 = 20*m - 168. Which is smaller: m or d?
m
Suppose 5 = -4*a + 25. Suppose -44 = -4*c - a*p, 2 = -c + 2*p - 0. Let r be 1*(-3 - -5)*3/c. Is -2/169 at least as big as r?
False
Let v be (24/(-36))/(-4 + (-33)/(-9)). Which is greater: v or 26?
26
Let b = 3904 - 3909. Which is smaller: b or 30.4?
b
Let r = -91 - -116. Let v = r - 25. Let f = -2/327 + -628/4251. Which is bigger: f or v?
v
Suppose -181*q + 380*q = 183*q + 16. Are 11/157 and q non-equal?
True
Suppose -9 = b + 3*u, -199*b + 197*b - 6 = 2*u. Is b equal to -1/5869?
False
Let k be 366/(-24) - (14/8 - 2). Let x be (k/3 - -12)*-1. Is 1.4 <= x?
False
Let f(l) be the first derivative of l**4/4 + 4*l**3/3 - l**2/2 - 4*l + 2. Let t be f(-4). Let r(k) = -28*k + 84. Let m be r(3). Is t at least as big as m?
True
Let y(t) = t**2 - 103*t + 630. Let q be y(95). Which is smaller: q or -135?
-135
Let n = -97/3 + 554/15. Let z(f) = -f**3 - 5*f**2 - 8*f - 11. Let a be z(-4). Let l be (5/(-5))/(a - 4). Is n >= l?
True
Suppose 5*m - 29 = 4*u, 4*m + m - 25 = 0. Which is smaller: -14/41 or u?
u
Suppose 0 = -21400*q + 21388*q - 12. Which is greater: 1/9724 or q?
1/9724
Let a be -12 - 5 - (-22128)/1296. Is a >= 122?
False
Suppose -l = -3*w - 2*w + 21, -3*l + 2*w + 2 = 0. Let t be (41/(-9) + l)*2/5. Let r = 172 + -114. Are t and r equal?
False
Let l be -4 + 1 + 1293/441. Let a = 236/7791 + l. Let i be (-18)/(-3) + -3*2. Which is bigger: i or a?
i
Suppose 46 = -3*x - 50. Let u(k) = 13*k + 44. Let o be u(-4). Let i be o/(32/(-10))*-12. Is x at least i?
False
Let u = 57831/476 - -3/476. Is 122 not equal to u?
True
Let q = -62435 - -62436. Let c = 2 + -67. Which is greater: c or q?
q
Let a = -559/2 - -93. Let j = -186 - a. Let s = -2 - -5. Is j at most s?
True
Let n be (7 + (-5 - 20/(-5)))*-1. Let b = -2 + 2. Suppose -4*p + b - 8 = 0. Is p less than or equal to n?
False
Let s = 16 + -12. Suppose 3*d + s = -d. Let p = -14 + 14. Do d and p have the same value?
False
Let u = 10346 + -11755. Is 1/2 < u?
False
Suppose -142 = k + 81. Suppose -7*t = -1785 + 3339. Is k != t?
True
Let n be (-12)/(-54) - 2420/(-45). Let k be (-4)/n*78/(-16). Which is smaller: k or -1?
-1
Let w = -68301647/1235 + 55305. Is 0 < w?
True
Let r = -608 - -639. Suppose 23 + r = f + 5*l, f - 50 = -4*l. Which is bigger: f or 37?
37
Let l = -1423 + 1422.967. Is l bigger than 23?
False
Let t = -1.4 - 32.6. Let i = 34.033 + t. Let v = i + 0.067. Do v and -2/11 have the same value?
False
Let h be (-15)/(-25) + (-2776)/10. Let y = h + 271. Which is smaller: -5 or y?
y
Let l = 15349 - 15349. Is 3/10462 <= l?
False
Let q = 0.051 + 6.249. Let a = -88.5 + 91. Let x = a - 2.4. Which is smaller: x or q?
x
Let u = 4928/1088799 + -2/1887. Is u greater than -17?
True
Let d = -9253 - -10780. Which is smaller: d or 1?
1
Let l = 517 + -508. Suppose 0 = l*k + 597 + 222. Is k <= -93?
False
Suppose -4*r = 13*r + 16*r. Let t(v) be the first derivative of v**3/3 + v**2 + 1. Let n be t(r). Which is smaller: n or 3/20?
n
Suppose -3*i + 217 - 43 = 0. Let z(h) = -3*h + 22. Let d = 62 - 74. Let a be z(d). Is a < i?
False
Let h = 332 + -224. Let q = -111 + h. Let f be (-16)/2*1/q. Is f >= 3?
False
Let c = -1290 - -1290. Let k be (-3)/(6/4)*1/161. Which is greater: c or k?
c
Let w(o) = -43*o - 2493. Let t be w(-47). Which is greater: t or -458?
-458
Let u = -252 + 657. Let q = -307 + u. Do q and 0.5 have the same value?
False
Let g(h) = -23*h - 96 + 34*h - 81 + 67. Let u be g(8). Is -22 > u?
False
Let k = 1980 + -1979.7. Is k > 4/7?
False
Let s = -85 - -38. Let f = -106 - s. Let u = -59 - f. Is -9 at most as big as u?
True
Let g = -410 - -4504/11. Suppose 2*j - 20 = -3*y, 3*j + 4 = 4*y - 0*y. Suppose 0 = -2*r + 3*m + 5, 2*r - y*m + 1 - 9 = 0. Which is greater: r or g?
g
Let p(o) = -o**2 + 23*o + 209. Let u be p(30). Which is greater: u or 1/34898?
1/34898
Let x be 65 + (-1 - 1) + (-113)/(-113). Suppose 346 = 5*c + 21. Are c and x equal?
False
Let a be (15/10)/(225/(-120)). Is -0.0623 greater than a?
True
Let u(d) = -5*d**2 + d + 3*d + 4*d**2 + 3*d**2 - 16. Let f be u(-4). Let y = -808/665 - -2/133. Which is smaller: f or y?
y
Let v = 0.1 + 0.773. Let u = -0.127 - v. Is 57 <= u?
False
Let s = -3/38135 - 178642/152959485. Which is bigger: 1 or s?
1
Let w = -290.9 + 293.2. Which is smaller: -94 or w?
-94
Let w = -4.3 + -2.1. Let v = -6.77 - w. Let r = -1.37 - v. Is r > -0.1?
False
Suppose -1125*g = -1085*g + 5880. Which is smaller: -2518/17 or g?
-2518/17
Let h = 18 + -49. Let u = -19 - h. Suppose u = -13*l + 7*l. Are l and 3.9 non-equal?
True
Suppose 5*g - 160 = -5*c, 1 = 4*c + 13. Let j be (3 + g/(-12))/(27/378). Are j and 1 unequal?
True
Let p(g) = -g**2 - 10*g - 8. Let z be p(-3). Suppose d - z = 13. Suppose 2*u - d = 4*u. Is -14 greater than or equal to u?
False
Let u = -5.9 + -10.8. Let l = -7.63 - 0.67. Let v = l + u. Is 0.1 at most v?
False
Let c(s) = -s**3 - 6*s**2 + 4*s + 7. Let o be c(-6). Let v = -1294 + 1283. Is o less than or equal to v?
True
Let w = 3 + 6. Suppose -v = 2*c, -4*v + 13*c - 12*c - 18 = 0. Which is greater: v or w?
w
Let a = -40000 + 12999988/325. Which is smaller: 0 or a?
a
Let x = 71 - 67. Suppose 5*h = 2*n - x*n - 2, 2*h = 3*n + 22. Let y be (-266)/84 - 4/n. Is y not equal to -3?
True
Let h = 2395 - 2395. Which is bigger: -172 or h?
h
Let d(w) = w**2 - 170*w - 391. Let p be d(0). Is -389 at most p?
False
Let t = 0.05 + -0.13. Let u = -26.34 + 361.44. Let d = -335 + u. Which is smaller: t or d?
t
Let u(l) = -2*l**2 + 5*l - 4. Let p be u(1). Let y = 2 - p. Is -11 at most y?
True
Let k be ((-9)/2)/(11/2). Let i = 5/33 + k. Let s = 890819 + -890814. Is s at most i?
False
Suppose 487*j - 492*j + 30 = 0. Suppose -19*m + 22*m + 3 = 0. Let y = m + 9. Which is smaller: j or y?
j
Let k = -6380 - -6379. Let x(b) = -23*b + 0 + 0 + 3. Let o be x(k). Is o <= 25?
False
Suppose 0 = -55*i + 60*i + 10. Let v be -2 + i + (2 + -4 - -6). Which is smaller: 2/13 or v?
v
Let r(g) = -274*g - 2202. Let x be r(-5). Which is smaller: -842 or x?
-842
Let l be -2 + 11 + -8 + 95/(-1)*-5. Which is bigger: 1430/3 or l?
1430/3
Let i = 247.54 + -247.34. Is 194.4 at most i?
False
Suppose 272*c + 77 = 283*c. Which is smaller: 37.2 or c?
c
Let i(a) = -4*a**2 + 56*a - 56. Let z be i(1). Suppose 0 = 4*j - 4, 7 = -4*g - 3*j - 2. Let s be -2 + z/g + (-8)/6. Which is smaller: 11 or s?
s
Let c be (3 + -8)/10*(-32)/8. Is c greater than 182/79?
False
Let b be 68/6358*(-3)/42*1. Is b not equal to 1?
True
Let z = -2.62 - -715.62. Is z greater than 5?
True
Let k(f) = 38*f - 3747. Let s be k(96). Which is bigger: s or -89?
-89
Let q(y) = 221*y**2 + 665*y - 98. Let v be q(-3). Suppose h - 105 = i, 2*h - 27 = i + 81. Are v and i equal?
False
Let f = -608053824/9859 + 61675. Do 1 and f have the same value?
False
Let b = -0.054 - 26.946. Let m = 27.14 + b. Let r = m - 1.14. Are -1/2 and r non-equal?
True
Let o = -181/24 + 77939/10344. Which is bigger: o or -2/5?
o
Let d = -5/2352 + -521/784. Which is greater: 35.97 or d?
35.97
Let n = 5741 + -5680. Let d = -367/5 - -73. Does n = d?
False
Let g be (-3 - 0) + (138/6 - -3). Suppose 4*v + g + 61 = 0. Is v greater than -246/11?
True
Let r = -333.8 + 334. Which is smaller: r or -1617/8?
-1617/8
Let v = 34564620 - 1624461333/47. Let u =