 or equal to -8?
False
Let z = 336.2 + -373.2. Which is bigger: 38 or z?
38
Let c = -5570 - -5567. Which is greater: -104/51 or c?
-104/51
Let r = 9595 - 9596. Is r != -7/974?
True
Suppose 28*y + 274 + 6 = 0. Which is greater: 23 or y?
23
Let a(y) = -y**3 - 4*y**2 - 2*y + 2. Let g be a(-2). Let p(v) = -4*v**2 + 49*v - 14. Let m be p(12). Let l be m/14*(-1120)/64. Which is greater: l or g?
l
Let v(x) = 165*x - 2125. Let z be v(13). Which is greater: z or 39?
39
Let c = 21 - 19. Let a = -171 - 110. Let u = -318 - a. Does c = u?
False
Suppose 8*p = 5*p - 15*p + 1296. Does p = 72?
True
Let q = 368 + -512. Let o = q + 78. Which is smaller: o or 0.1?
o
Let q(j) = -j**3 + 5*j**2 - j + 4. Let g(o) = o**2 + 5*o - 1. Let l be g(-6). Let a be q(l). Let y be a - ((-3)/(-15) - (-51)/(-55)). Is y smaller than 1?
True
Let l be ((-6)/42*4)/(12/(-798)). Suppose 9*n - 153 = 207. Which is smaller: n or l?
l
Let u be -3 - ((-18)/(-3) - 12). Let q be 2/(-5) - ((-1664)/(-5))/8. Is u less than q?
False
Let p be (-11)/((-55)/30) - (0 + 2). Suppose 2*s - 5*c - 60 = p*s, 0 = 3*s + c + 90. Which is greater: s or -31?
s
Let p = 188 - 125. Suppose y - 4*j = 56, 4299*y - 4295*y - 4*j = 248. Is y >= p?
True
Let o = -77 - -77.0496. Let x = 0.9504 + o. Which is smaller: x or -1.6?
-1.6
Suppose -26*v + 337 = -4031. Suppose -3*p - 420 = -3*o - v, 0 = 4*p - 2*o + 328. Is -80 < p?
False
Let q be (-5 - 5)*(2 + 4/(-4)). Let j be 5/(25/(-54))*5/q. Let f be 7 + (-3)/(6/4). Which is smaller: f or j?
f
Let k(o) = o + 29. Let h be k(6). Suppose 120 = -4*q + l, -3*q + 5*l = h + 38. Which is smaller: q or -249/8?
-249/8
Suppose -4*d = -13 + 189. Suppose 0 = b - 3*b + y - 79, -b + 2*y = 47. Let s = d - b. Is -8 >= s?
False
Let d = 126 - 0. Let u = -4302 - -4425. Let q = d - u. Is 2.4 greater than q?
False
Let m = 52169/7 + -7743. Is -290 <= m?
False
Let u(p) = p**3 - 4*p**2 - 13*p + 9. Let j be u(5). Let v = j - -143/2. Which is smaller: 40 or v?
40
Let z(u) = 3*u**2 - 9*u - 4. Let n be z(8). Let y = -82 + n. Which is greater: y or 35?
35
Suppose 2*n - 582*c - 322 = -572*c, 3*n - 3*c = 543. Let d = -29 - -214. Is n not equal to d?
True
Let w = 21356019844/44919 + -475434. Do -1 and w have the same value?
False
Suppose 12 = -4*n, w - n - 6 = 7. Suppose w*q = 188 - 178. Which is greater: q or 2/761?
q
Let z(k) = 5*k**3 - 3*k**2 - 3*k + 5. Let h(i) = i**3 - i + 1. Let n(l) = -6*h(l) + z(l). Let w be n(-5). Let s = 33 - w. Are 2/53 and s nonequal?
True
Let z = 5853/4 + -1471. Let h(g) = g**3 + 81*g + 0 + g**2 - 82*g - 7. Let i be h(-2). Which is greater: z or i?
z
Let k(d) = -d**3 + 3*d - 1. Let h be k(1). Let g be (h/(-7))/(23 + 0). Do g and 0 have the same value?
False
Let g = 221 + -218. Let z = -332 + 340.19. Let f = z + -0.19. Is f less than g?
False
Let h = 21/86 + -12017/258. Let g = h - -46. Which is bigger: 60/13 or g?
60/13
Let u be (-30280)/(-15)*30/20. Let g = -30311/10 + u. Which is smaller: g or -2?
g
Suppose -755 = 265*p - 114*p. Let s = -5 + 5. Let v be (-15)/3 + s/(-1). Is v smaller than p?
False
Let x be (0 + 4)*((-105)/(-6))/(-7). Let f = -841 - -839. Is x bigger than f?
False
Suppose 0*l = 6*l - 30. Let c(t) = t - 28. Let h be c(l). Is h greater than -9?
False
Let c be (-76)/(-40) + -2 - (-5505)/50. Which is smaller: 8 or c?
8
Let c(h) = 13*h**2 + 14*h - 18. Let x be c(4). Let r be 62/(-217)*3/x. Is r greater than 1?
False
Let f = -5639 + 5295020/939. Is -1 < f?
True
Suppose 0 = 907*c - 939*c. Do c and 8/929 have the same value?
False
Let g be 49 + (12 - 7)*1. Let m be g/1305*15/(-6). Is -1 greater than or equal to m?
False
Let f = 222.3 - -5.7. Let c = 230 - f. Is -3.2 greater than c?
False
Suppose -140*x - 6*x - 1062902 = -95652. Is -6625 > x?
False
Let i be ((-859)/2)/((-2)/8). Let z = 132288/77 - i. Is 0 bigger than z?
False
Let f be (4 + -4)*1/(-3). Let h be (39/(-15) - -1)*30. Let v be h/14 + 8/2. Which is smaller: v or f?
f
Let d = -3067495/489 - -6273. Let b = 1.0401 - 0.0401. Which is smaller: d or b?
d
Suppose 7*t - 115 = 242. Let p be (192/30)/(t/30). Which is smaller: 5 or p?
p
Let a = -14143.04 - -14143. Let p = -503/40 + 61/5. Which is greater: p or a?
a
Let t = 4480 + -4480. Which is smaller: t or -14/457?
-14/457
Let g = -4355 + -2445. Let y be 918/g - (-6)/16. Is y greater than 0?
True
Suppose 45 = -3*z + 132. Suppose 15*o = -o. Suppose 4*n + 2*j = 118, n + 5*j - 18 + 2 = o. Which is smaller: n or z?
z
Let q = 12238.1 + -12238. Let x be (-2)/4 + 2/4. Let g be (-7)/(x + 1 + 1). Which is smaller: q or g?
g
Let t be (1 - (-14)/(-2))*(-80)/60. Suppose t*i - 10*i = 24. Is -38/3 at least i?
False
Let h(i) = -43*i - 2111. Let s be h(-49). Which is bigger: -259/99 or s?
-259/99
Suppose 19*a - 441 = 22*a + 144*a. Suppose 3*h - 30 = h. Which is smaller: h or a?
a
Let z = 36 - 87. Let p = -459 - z. Let r = 3668/9 + p. Which is smaller: -1 or r?
-1
Let d = -518 + 976. Let r = d + -420. Which is smaller: 37 or r?
37
Let x = -182 - 7. Let j = 182 + x. Which is smaller: 2/7 or j?
j
Suppose 0 = -3*s - 3*x - 5944 - 4538, -s = 5*x + 3466. Is s less than or equal to -3504?
False
Let a be (4/3)/(224/336) + 616. Is a at most 614?
False
Let c = -787 - -7081/9. Is c < 99?
True
Let z = 8363 + -58444/7. Which is smaller: z or 13?
13
Let g = 0.5 - 0.5. Let p = 4.427 + -2.127. Which is smaller: p or g?
g
Let z = -26164/9 - -2910. Let m = 18.5 + 0.5. Let q = m + -18. Is z < q?
False
Let w = 7703 + -1509777/196. Let b = -8177/980 - w. Which is smaller: b or -9?
-9
Suppose 17 = 2*h - 7*h + 4*r, 2*h + 17 = 5*r. Let u = -1148 + 33289/29. Which is greater: u or h?
u
Let a be 11/(-22)*(2 + -2). Suppose 2*f - f - 39 = a. Is f bigger than 116/3?
True
Suppose 2*s + s + 9 = 0. Let k = -186466 + 1676546/9. Let a = -186 - k. Which is greater: a or s?
a
Let d(y) = 1331*y + 6739. Let s be d(-5). Suppose 5*r + 4*g - 172 = 257, 2*r - 167 = 3*g. Which is smaller: r or s?
s
Let m = 33248/35 - 950. Let s(g) = g**2 - 8*g - 645. Let v be s(0). Let k = -646 - v. Is k at most m?
True
Let s = 0 - 0. Suppose -130950 = -356*i + 173*i - 492*i. Is s at least i?
False
Let x be ((-18)/9)/(-2) + (-2 - -114). Is 343/3 equal to x?
False
Suppose -2*w = w - 612. Let n = -40338 - -162163/4. Let t = n - w. Which is smaller: t or -2?
-2
Suppose -2*i - 3*i + 30 = 0. Let j = 5 - i. Let d be 154/(-2324)*(-24)/66. Which is bigger: d or j?
d
Let i = -0.1767 - 0.0033. Suppose -2*x = -0 - 16. Let r = x - 8. Which is greater: r or i?
r
Let k(j) = j + 5*j - 83 + 102 - 4*j. Let z(t) = t**2 + 5*t - 3. Let w be z(-3). Let g be k(w). Is g <= -4/25?
False
Let j = 0.81 + -0.5. Let i = j + 0.09. Is i at most as big as 1/19?
False
Let i be (-14)/(-371) + 13272/2226. Suppose -3*z = 9, 0 = -3*b - 0*z - 4*z - 6. Suppose 2 = -b*o - 2. Which is smaller: o or i?
o
Let w = -5877 + 5879. Which is smaller: w or -3634?
-3634
Let k be 2718/636 - ((-58)/(-14) + (-22)/154). Which is bigger: k or 0?
k
Suppose 0 = o - 5*o + 8. Let u be (250/20 + -10)*(-44)/(-10). Let k be u/(-7) + 144/252. Is k less than or equal to o?
True
Let d = -9.29 - 1.31. Let r = d + 8.6. Is 44 less than or equal to r?
False
Suppose 0 = -9595*u + 9585*u - 6770. Is -674 at most as big as u?
False
Let d = 516 - 515.9818. Let h = 21.0182 - d. Which is greater: h or 5?
h
Let c = -353 - -356. Let i be c/((-6)/28) - (-5 - 0). Which is bigger: -69/7 or i?
i
Let n(w) = w**3 - 22*w**2 - 24*w + 30. Let m be (-1)/8 - 2775/(-120). Let p be n(m). Is 0 at most p?
True
Suppose 4*j = 24, 11533 - 4115 = 4*k + j. Do 1852 and k have the same value?
False
Let i = 210.4 + -184. Let k = i + -0.4. Is k greater than or equal to -3?
True
Let f be (-34)/153 - ((-3936)/(-27) - 2). Let a be (-60)/f*(-2)/((-1280)/6). Which is bigger: a or 1?
1
Let o = 1482/277 - -5826/26869. Which is smaller: o or 5?
5
Let j(g) = -9*g**2 - 8*g**2 - 18 + 4*g**2 + 6*g - 22 + 2*g**3 + 15. Let t be j(6). Suppose 4*p + 96 = -0*p. Is p smaller than t?
False
Let i = 127864/17 + -7522. Let x be 4*(20/(-16))/5. Which is smaller: i or x?
x
Suppose 4*t - 36 = 4*b, -4*t - 4*b + 42 = -6*b. Let v(j) = j**3 - 7*j**2 + 9*j - 6. Let n be v(6). Suppose t*f - n = -60. Which is bigger: f or -5?
f
Let b be 529/(-120) + (-30)/36 + 1. Let w = b - -13/15. Which is greater: w or -3?
-3
Let l(j) = -23*j + 4. Let g be l(-7). Let d be (3/(-5))/((-