0 = -23. Let g = v - 7. Let t(o) = -o**2 + 1. Let x be t(-1). Is g at least as big as x?
True
Suppose -12*r + 26*r = 14. Are -2/215 and r non-equal?
True
Let j = -0.008 - -0.108. Which is smaller: -141 or j?
-141
Let a = -30.2 - -30. Let z = -0.4 - a. Is z > -3?
True
Suppose u = -1 + 8. Suppose -2*c + 11 = 5*f, -3*f + u = -5*f + 3*c. Which is greater: f or -1/3?
f
Let k = 0.9 + -0.1. Let n = -1.78 - -2.38. Let a = n - k. Which is greater: -2 or a?
a
Let p = -7.29 + 7.29. Does p = 141?
False
Let i be (-140)/(-6)*132/(-16). Let w = i - -1907/10. Is w < -3?
False
Let m = 572 + -572.02. Is m less than or equal to 7?
True
Let o = 8 - 6. Let m = -0.116 + 1.016. Which is smaller: m or o?
m
Let x = 32 + -28. Let n be (-42)/(-77) - 2/x. Is -1 greater than n?
False
Let l(g) = -g**2 + 23*g + 6 - 67*g + 23*g + 20*g. Let u be l(-3). Let j be 2/12*(-3)/2. Which is smaller: u or j?
j
Let t = -58 + 38. Let q be (-1 - -2)/((-4)/t). Suppose -5*s - q = -c + 18, c + 4*s = -22. Is -1 smaller than c?
False
Let n be (-1)/((-3 + 2)/12). Let j(c) = -c**3 + 7*c**2 + 3. Let t be j(7). Suppose 3*l + 59 = 4*b, -2*b + t*b - 31 = 4*l. Which is smaller: b or n?
b
Suppose 0 = -2*d + 2*u + 52, 4*d - 4*u = 8*d - 120. Suppose -3*m = -8*m + 140. Do m and d have different values?
False
Let z be 0 + ((-595)/686)/17. Does z = 1?
False
Let n(f) = f**3 + 4*f**2 + 2*f - 2. Let q be n(-2). Suppose 0*v + 2*v + 4*i + 6 = 0, 2*v + 5*i = -9. Which is smaller: q or v?
q
Let x = 2113 - 2400. Is -288 greater than or equal to x?
False
Suppose 32*p = 46*p + 1302. Is 1/7 at most p?
False
Let l = 36 - 51. Let u = l + 15. Which is smaller: u or 0.8?
u
Let s = 26 - 1. Suppose -2*a + s = -7*a. Which is smaller: a or -26/7?
a
Let x(k) = -k**2 + 9*k + 10. Let j be x(7). Let n = -53 + 66. Let u = n + 10. Which is smaller: j or u?
u
Let p = 3817/93 - -235/62. Is 44 at most as big as p?
True
Let x be 16/(-1044)*(-99)/22. Is 0 smaller than x?
True
Let r(v) = v**2 - 30*v + 74. Let y be r(26). Let h be (-18)/y - (-4)/10. Is h > 7/8?
True
Let y be 24 - (2 + 0 - 4). Let m be (75/(-10) - 5)/(9/(-18)). Which is greater: y or m?
y
Let v(l) = l - 16. Let p be v(17). Which is smaller: 1/829 or p?
1/829
Let s = 27 - 38. Let f = s + 8. Let i = 12 + -10. Is f at least as big as i?
False
Let s be (0/(-3))/(-1*2). Let p = -0.04592 + -0.09408. Is s >= p?
True
Let o = -2.1805 - 0.0165. Let l = 0.407 + o. Let k = l + -0.21. Does 11 = k?
False
Suppose 43 = -4*h - 41. Let w = 34 + h. Let p be w/39*3/5. Is p < 2/3?
True
Let t be 11/3 + 4/(-6). Suppose -5*c - 15 = 74*p - 79*p, -c = 2. Which is bigger: t or p?
t
Let z be ((-2)/(-4) + -1)*-2. Which is greater: -1/9 or z?
z
Let m(z) = 16 + 10*z + 5*z**2 + 0*z**2 + 2*z**2 - 6*z**2. Let o be m(-11). Which is bigger: 26 or o?
o
Let d be -2*2/(-4)*1. Let n(g) = -g**3 + 1. Let x be n(d). Let i be (-3)/((-36)/38) + (-2)/12. Is i less than x?
False
Let d = 20860 + -31102261/1491. Which is bigger: d or 1?
1
Let q = -53.016 + 53. Let y = -0.316 - q. Which is smaller: -1/2 or y?
-1/2
Let s = -1054 + 1040. Which is bigger: s or -27?
s
Let f = 54 - 49. Suppose -f*u - 10 = -0. Does u = -5/2?
False
Let d(h) = -98*h + 192. Let q be d(8). Is -592 greater than or equal to q?
True
Let a(r) = -8*r - 7. Let t(q) = 8*q + 6. Let v(k) = -5*a(k) - 6*t(k). Let z be v(-1). Let w be ((-35)/14)/((-3)/6). Which is smaller: z or w?
w
Let v be (-105)/(-28)*4200/18. Do 874 and v have the same value?
False
Suppose 32*a - 6 = -38. Which is smaller: a or 2/4163?
a
Let z(x) = x**2 - 12*x + 8. Let a be z(5). Let d = -9 - a. Is 20 at most d?
False
Suppose 5*j = 3*r - 327, -2*j = -2*r - 0*j + 222. Suppose 15 = -l + 2*n - 12, 2*n - r = 4*l. Is -29 bigger than l?
False
Let o(y) = 2*y**3 + 14*y**2 - 15*y + 4. Let p be o(-8). Suppose -3*f = -5*f + 6. Suppose -2*i - 2*i = -4*z + 16, i - 4 = -f*z. Which is smaller: p or z?
p
Let i(w) = 12 - w - 3 + 5*w + 3. Let f be i(-3). Which is greater: -0.6 or f?
f
Let l = 838 + -838.33. Which is smaller: l or 6?
l
Let n = 7.99 + 0.01. Let m = n - 8.2. Is -2/11 less than m?
False
Let n = -284 + 622. Suppose 6*c + 7*c - n = 0. Are 26 and c equal?
True
Let t = 709.9 - 710. Let q = -0.8 + 0.76. Is q less than t?
False
Let z be (-30)/9*(-30)/4. Suppose 2*i = -3*i + z. Suppose u - i*f = 6*u + 80, -5*f = -3*u - 8. Is u greater than or equal to -11?
True
Let g be 2 - (1 - (-1 - -4)). Suppose -2*k + g*k = c - 29, -4*c + 25 = -k. Let h be k/(-65) - 18/40. Is h at most 11?
True
Let j = -7 + 7. Suppose 0 = -a - 6*a + 28. Let n be 3 + a + 204/(-32). Which is smaller: n or j?
j
Let f be ((-2)/28)/((-5)/(-220)) + 3. Suppose 4*u - 5 = -1. Which is bigger: u or f?
u
Let z = -614 + 736. Is z at least as big as -3?
True
Let v be (-16)/3*15/180*171. Which is smaller: -75 or v?
v
Let h = 130 + -129. Let z(u) = -9*u - 6. Let s be z(h). Let w(i) = -i**3 + 7*i**2 - i - 8. Let y be w(7). Are s and y nonequal?
False
Let p = -0.468 - 0.532. Which is greater: p or 0.01?
0.01
Let f(h) = -20*h - 44. Let z be f(-3). Are z and 22 unequal?
True
Let k be 9495/(-54)*2*(-3)/(-40). Is -25 > k?
True
Let k = 14 + -21. Let p(b) = -b**3 - 8*b**2 - 5*b + 16. Let x be p(k). Let w(t) = -t**3 + 5*t**2 + t - 3. Let i be w(5). Is i bigger than x?
False
Suppose 0 = -4*u - 4, -3*n - 19 = -n - u. Let b be (-5)/((-60)/(-8))*(-102)/n. Which is smaller: b or -7?
-7
Suppose -2*y + 2 = -3*x, -4*y = -3*y - 4*x + 9. Let t be y/(21/4)*3. Suppose 2 = -a - 0*f - 4*f, -3*a = t*f - 18. Is 0.2 at least as big as a?
False
Let t(p) = 17*p - 67. Let l be t(7). Let w = -2 - l. Is w <= -53?
True
Let j = 28 - 96. Let x = -133/2 - j. Is x > 1?
True
Let d be 0/(-4) + (1 + 14)/3. Which is smaller: d or 21?
d
Let p = -75234/7 - -10695. Is p less than -54?
False
Suppose -o + 5*n - 42 = 90, -o - 118 = 2*n. Is o equal to -122?
True
Suppose 1357 = -7*c + 1364. Which is smaller: c or 3/128?
3/128
Let s = 2/133281 - 202543063/24656985. Let p = -122/15 - s. Which is smaller: -1 or p?
-1
Let d = -5.4 + 0.4. Let u = 16 + d. Let f = -37 + 37.1. Which is smaller: f or u?
f
Let i = 5.4 + -3.4. Is -13 greater than or equal to i?
False
Let m = -763 - -762. Is m < -263?
False
Let a be (-180)/448*(7 + 264/(-40)). Is a less than or equal to 0?
True
Suppose -5*c = 93 + 297. Let v be ((-6)/10)/(c/45). Let i = -28/13 - v. Is i greater than or equal to -2?
False
Let o = 7 - 16. Let b = 10 + o. Let c = 376 - 5638/15. Is b < c?
False
Let f = 32 + -92. Let r be ((-48)/f + (-4)/10)/1. Is r at least -1?
True
Let h be (18 + 1300/(-70))/(2/(-7)). Is 36/53 at least h?
False
Let m be ((-194)/(-4))/(0 + 3/6). Is m at most as big as 99?
True
Let k be 1 + 34/(-14) + 2. Let p(i) = 2*i - 29. Let o be p(11). Let v = o + 9. Are k and v unequal?
True
Let o = -411 + 277. Let b = -669/5 - o. Is b at least as big as -0.04?
True
Let w = 36 - 6. Let y = 205 + -177. Which is greater: y or w?
w
Let o be 2/6 - (-656)/96*2. Which is greater: o or 152/11?
o
Let c = 2362.9 + -2363. Is c at most 7.9?
True
Let o be ((-3 - -6) + 4)*5. Let n be (27/(-12))/(o/10). Which is smaller: n or -2?
-2
Suppose -4*m - 62 = -18. Which is greater: m or -39/4?
-39/4
Let i = 3.6 - 1.9. Let j = i - 2. Which is bigger: 0.2 or j?
0.2
Suppose 4 - 1 = h. Suppose 5*v + 11 = -u, -2*v + h*v + 175 = -5*u. Is u less than -36?
False
Suppose f = -66 - 17. Let o = -83 - f. Is 2/173 at most o?
False
Let h = -2/343 + 347/686. Which is bigger: h or 96?
96
Suppose -2*z = -5*s - 132, z + 48 = -s - 4*z. Let c = -29 - s. Which is smaller: c or 0?
c
Let m = -1249 + 138641/111. Let a(s) = 13*s - 117. Let u be a(9). Is m > u?
True
Suppose 0 = 4*z - 2*v - 14, 0*z - 3*v = -4*z + 17. Let q be ((1350/24)/(-9))/(z/8). Is q at most -24?
True
Let i = -171367/124 + 1382. Let m = i + 233/1860. Which is bigger: -0.2 or m?
m
Suppose 60 = -y + 56. Let u be (5 - (y - -8)) + -20. Which is greater: -1 or u?
-1
Let n(h) = -2 + 13*h**2 + 7*h - 7 + 16. Let t be n(-1). Is 1 greater than t?
False
Let v = -100 + 207. Let d = 113 - v. Is d >= 6?
True
Let i = 0.9 - -1.3. Let a = -590/57 + 184/19. Are a and i equal?
False
Let y = -5.74 - -3.24. Let d = -0.1 + 3.1. Let o = d + y. Does 2 = o?
False
Let z = -75 - -74.87. Let p = 0.03 + z. Is 18 != p?
True
Let r = -1 - -4. Let n = -43.78 - -44. Let q = n + -0.42. Is q greater than or equal to r?
False
Let v = -11 + 12