se -5*a + t - 6 = v. Are 7/2 and a non-equal?
True
Let t = -128 - -120. Let k(o) = -o**3 - 6*o**2 + 15*o - 7. Let d be k(t). Which is smaller: -47 or d?
-47
Let z = 69 - 54. Suppose 4*o + 2 = -2*q, 11 + z = 3*o - 4*q. Let d be (-570)/(-525) - o/(-10). Is d bigger than 2?
False
Let t = -15 + 21. Let x be (t/(-4))/(-3)*-2. Suppose 18*i + 45 = 13*i. Is x greater than i?
True
Let x = -659 - -652.48. Let w = x - -6.82. Are w and 51/4 nonequal?
True
Let j = -4/5371 - 1713265/112791. Suppose -41 = -6*b + 49. Let y = j + b. Is 1 > y?
True
Let g(f) = -f**2 + 42*f - 38. Suppose -n = -h + 35, -2*h - 5*n - 20 = -125. Let k be g(h). Is 40 at least k?
False
Let a = -205512 + 32881619/160. Let c = a - -15/8. Is c less than 1?
True
Let z(t) = -31 - 8*t + 21*t - 14*t. Let m be z(-1). Which is smaller: -31 or m?
-31
Let d = -0.16437 - -0.06437. Which is bigger: 19228 or d?
19228
Let a = 123083/9 + -13667. Which is smaller: a or 0.06?
0.06
Let c = -1.3 - -1.3. Suppose 0 = 4*u - a - 16, 3*u + 2*a = -a - 3. Suppose -5*g + u = -4*i + 113, 0 = 4*g - 5*i + 97. Which is smaller: c or g?
g
Let l = 297 + -183. Let b be 6/16*(-2)/l. Is -1 not equal to b?
True
Suppose -6*n + 19*n + 14205 = -27538. Is -3211 > n?
False
Let j = -18 + 19. Let w = 5 + -4.76. Let h = 0.15 - w. Is h < j?
True
Let d = -0.417 + 184.417. Let o = 183 - d. Is o at most -0.206?
True
Suppose 0 = 341*t - 376*t - 26355. Which is bigger: -755 or t?
t
Let i(g) = g**3 + g**2 - 2*g + 40. Let s be i(0). Suppose l - 11*l = s. Which is greater: -5 or l?
l
Let w be -162*((-11)/8)/(18/(-144)). Is w less than or equal to -1782?
True
Let r = 3/8507 - -875966/723095. Let g = -24/17 + r. Which is greater: g or -2/5?
g
Let f = -9039 + 8815. Which is bigger: f or -219?
-219
Suppose 3694*j - 3696*j = -4*k + 40848, -4*j - 10191 = -k. Which is smaller: -0.1 or k?
-0.1
Suppose 0 = -8*t + 9*t - 4. Suppose -2*k + k + 2*q + 6 = 0, -12 = -t*k + 4*q. Suppose k = -s + 5*s + 4. Which is bigger: s or -1/43?
-1/43
Suppose 1150*h = 1127*h + 2875. Which is bigger: 128 or h?
128
Let s(g) = 3 - 1 + 75*g**2 - g - 77*g**2 + g**3. Let w be s(1). Which is bigger: w or 1/342?
1/342
Let i(j) = 8*j - 3*j + 6*j + 84 + j. Let p be i(-8). Let h be ((-6)/p)/((-4)/(-8) + -1). Is h at least -9/20?
False
Let t = -7694 - -1902. Which is bigger: -5793 or t?
t
Let z = -1/487 + 26363/13313119. Is -1 smaller than z?
True
Let b = 23966 - 23840. Which is smaller: b or 58?
58
Let m = -52 + 24. Let c = 33 + m. Suppose -c*j - 405 = -0*j. Is -81 greater than j?
False
Let q(k) = k**3 - 16*k**2 + 11*k + 16. Let r be q(15). Let a = r + 3. Let g = a - -23. Is -17 at least g?
True
Let i be (-297)/(-22)*4/15. Suppose 4*t - 32 + 60 = 0. Let u be -4*t/((-28)/(-3)). Is i equal to u?
False
Let r(l) be the first derivative of l**4/4 - 11*l**3/3 - 11*l**2/2 + 3*l - 2. Let h be r(12). Let i be (h + -13)/((-4)/2). Which is smaller: i or 2/55?
i
Let f be ((-1761)/(-1174))/(994/(-12)). Is 1 < f?
False
Suppose -3 = 3*o - 12. Suppose 4*h - 7*h - o = 0. Let k be ((-3)/2 - h)/1. Which is smaller: k or -1?
-1
Let o(n) = 75*n + 29. Let g be o(-5). Let r = g - -220. Which is smaller: 0 or r?
r
Suppose 2*v = -2*v - 60. Let g = v - -24. Suppose -48 = 8*o - 88 - 48. Which is bigger: o or g?
o
Let i be -85 + 64 + (1197 - -1). Are 5889/5 and i equal?
False
Let g(c) = 17*c**2 + 3*c - 3. Let k(v) = v**2 - 16*v + 1. Let n be k(16). Let u be g(n). Let b = u + -23. Is b bigger than -38/7?
False
Let a = 24614614/739 + -33308. Let y be 1/((-2)/(1 - -1)). Is y greater than a?
False
Let u be (-25)/(-35) + (-8950)/2975. Is 0 less than u?
False
Let m = -58799 - -2057507/35. Which is smaller: m or -12?
m
Let l be -1 - (10/1 - -1). Let f(t) = -t**2 - 89*t + 870. Let r be f(-98). Do l and r have different values?
False
Let f(p) = 13*p**2 + 59*p + 222. Let s be f(47). Are s and 31712 non-equal?
False
Let v = -0.8697 + 0.7697. Is v equal to -7/143?
False
Let p be (-5052)/(-27) + (-2)/18. Let v = p - 186. Which is smaller: v or 7?
v
Suppose 0 = -23*a - 15*a + 570. Let m(y) = y + 10. Let d be m(-7). Suppose d*f = 4*f - 16. Does f = a?
False
Let j(t) = -5*t**2 + 14*t - 13. Let l be j(6). Let u be 2/8*l - 87/116. Let b be 8/(0 - (-3 - u)). Which is smaller: -1 or b?
-1
Let p = 43/253 + -6/23. Let n = p + 16/55. Let t be ((-12)/(-7) - 2)*91/(-26). Is n <= t?
True
Let f = 7 - 4. Suppose -4*n = 0, -2*n + 2 = a + 3*n. Suppose a*c - 25 - f = -4*p, 0 = -2*p + 2. Is c <= 12?
True
Let q = 19297 - 21578. Which is smaller: q or 0.3?
q
Suppose 19 = 4*s + 7. Let h be (-25)/3 + 1/s. Let v = 2/1208397 + -37460315/4833588. Which is bigger: v or h?
v
Let k = 1173.7 - 1175. Let c = 11 + -8. Is c > k?
True
Let a(m) = m**2 - 57*m - 1369. Let d be a(-46). Which is greater: d or 3371?
3371
Let q = 11666 + -12869. Is -1206 bigger than q?
False
Suppose -2*d = 4*h - 38, -7*h + 5*d + 10 = -2*h. Suppose h*c - 90 = c. Let p be (-42)/(-7)*(1 - c/(-9)). Is p at least as big as 15?
True
Let n(b) = 91*b + 815. Let p be n(-9). Which is smaller: -130/33 or p?
p
Let v be 35/140 + (-1)/((-8)/(-594)). Let q be (74 + v)/(-1 + 0). Is q bigger than -4/347?
True
Suppose -2*s = -18*s + 800. Suppose -s = -5*i + 10. Is 13 bigger than i?
True
Let d be ((-309836)/203)/((-4)/14). Let k = d + -1362208/255. Which is greater: k or -1?
k
Let b = -547/21 - -82/3. Let y = 302 + -303. Let h be (0/(7 + -3))/((-2)/y). Which is smaller: b or h?
h
Let h be (1 - -2)*(-127)/(-1). Let k = -63454.1 - -63454. Is h >= k?
True
Let o(z) = -3 - 12*z - 2 + 12 - 8. Let s be o(7). Let k = s - -83. Is -1 greater than or equal to k?
True
Let a be ((-75)/(-100))/(-1 + (-14)/(-16)). Let z be 18/(-10)*10/a. Suppose -2*x + 8 = z*j - 3*x, 5*j + 15 = -4*x. Which is bigger: j or 2?
2
Let n(m) = m**2 - 584*m + 583. Let s be n(1). Which is greater: -2/8815 or s?
s
Let o = 28 + -21. Suppose 0 = -o*f - 0 + 14. Suppose 0*u = u + w - 7, -f*u = 5*w - 26. Which is smaller: u or 16/9?
16/9
Let g be 2/(-4) - (-1)/(-6). Let p = -23250 - -69760/3. Is g bigger than p?
False
Let g(c) = -c**2 + 1. Let t be g(2). Let z(w) = -w**2 + 30*w + 100. Let h be z(t). Is 0.159 smaller than h?
True
Let p = 488.708 + -489. Let v = 14.708 - p. Which is smaller: v or 10?
10
Let d be 18/(-81) - (-4)/18. Suppose d = -4*v + 62 + 358. Is 105 less than or equal to v?
True
Let s = -88461 + 24326864/275. Let g = s + -4/11. Let j = 39 - 40. Does j = g?
False
Suppose -29 = -5*l + q, -4*l - 2*q + 29 = 3*q. Let p be 8*l/216*-6. Is -1 equal to p?
False
Let y = -109 + -252. Let d = 507 + y. Is d < 146?
False
Let k = 612.2 - 612.3. Which is smaller: -5615 or k?
-5615
Let x be (2/(-2))/(2/6). Let h be (-2)/4*(4032/106 - 2/53). Which is smaller: h or x?
h
Let k(f) = -251*f - 749. Let b be k(-3). Let d(j) = -j**3 + 4*j**2 - 4*j + 1. Let r be d(3). Let h be (b/((-8)/50))/((-2)/r). Is -27 greater than or equal to h?
False
Let z be 2163*(86/1333 - 502/93). Is -11537 at most as big as z?
True
Suppose 3*u + 3 = 0, -5*s = 3*u + 2*u - 20. Let f(n) = -6*n**2 - 4*n - 2. Let p be f(-2). Let b be ((-9)/(-6))/((-9)/p). Which is smaller: s or b?
b
Suppose 3*o + 72 = 3*w, 0*w + 70 = -5*o - 5*w. Let d(i) = -167*i - 7516. Let z be d(-45). Which is bigger: o or z?
z
Let k be (-19)/5*18*70/252. Is -28 < k?
True
Suppose 10*o - 6*o = f - 586, -298 = 2*o - 3*f. Let j(s) = 6*s - 31. Let p be j(-19). Is p bigger than o?
True
Let j(o) = 2*o**2 - 74*o + 57. Let r be j(38). Suppose 119 = -2*z - r. Is z at least as big as 0?
False
Let j be 3*(-4)/(-30) + 2387/(-1705). Which is greater: -1/1188 or j?
-1/1188
Let d = 1.1 + 0.9. Which is smaller: d or 45/29?
45/29
Let j be (2 - (-3)/2)*-2 + -3. Suppose 3*d = -5*d + 104. Suppose 5*z + d = g, 6*z + 15 = -3*g + 3*z. Is g greater than or equal to j?
True
Let i be ((6 - 6)/(-5))/(24 - 15). Which is greater: 86/151 or i?
86/151
Let d(z) = -2*z**2 + 2*z + 2. Suppose 0*f - 22 = -11*f. Let a be d(f). Let q be 176/80 + (-18)/(-10) + a. Which is greater: q or 26/9?
26/9
Suppose 0 = 5*u - 5*h, -2*u - 7 = 2*u + 3*h. Let k be ((-40)/50)/((15/((-750)/20))/(2/31)). Is k greater than or equal to u?
True
Let q = -111.3 - -133. Let z = -4.3 - q. Which is bigger: z or -5/3?
-5/3
Let a = 99061010/26997 - 6/8999. Is 3669 < a?
True
Let j = 1422491 - 1422484. Suppose -v = v + 2. Let y = v - -8. Is j at least as big as y?
True
L