). Let t = x + 9. Is t less than -3/2?
True
Let h = -558 - -6150/11. Suppose 3*i + 28 = 4*x, -3*x + x = -2*i - 16. Let o = 4 - x. Which is bigger: o or h?
h
Suppose 3*n + 3 + 15 = 0. Suppose -7*i - 19 = 2. Let v be (n/(-9))/(i/(-9)). Is 1 at least as big as v?
False
Let i(w) = 15*w - 101. Let h be i(6). Is h at most 1?
True
Suppose 4*y = 2*k - 1264, 0 = -2*y + 3*k + 364 - 1000. Are y and -314 nonequal?
True
Let v be (0 - (-3)/66)*-4. Let t = -32/55 - v. Let d = -68 + 69. Is t smaller than d?
True
Let n = 972/559 + -22/13. Suppose 4*x - 11 - 13 = 5*f, 2*f = 3*x - 11. Is n less than or equal to x?
True
Suppose -l = -2*l + 1. Let k(m) = -14*m - 16. Let g be k(-2). Let w be 2/g + 82/(-36) + 2. Is w less than l?
True
Let r = 2.91 + -3.01. Which is greater: -20.04 or r?
r
Suppose 0 = -v - 6 + 12. Suppose 4*k = v*d - 2*d - 20, -10 = -2*d. Is k bigger than -1/9?
True
Let n = -20 - -10. Let t = -9.95 - n. Is t less than or equal to -0.2?
False
Suppose -c = 3*c + 48. Let l = 3 + c. Let b = l + 10. Do b and -1/14 have the same value?
False
Let u = 216 - 136. Suppose 5*k + 64*z - 60*z - 399 = 0, 161 = 2*k + 3*z. Which is smaller: k or u?
k
Let x(g) = g - 2. Let h be x(-5). Let v(c) = 47*c + 369. Let z be v(-8). Are z and h unequal?
False
Let o = 6417/7 - 919. Are o and -1 unequal?
True
Suppose -4 = 2*d + 2*f - 2, 5*d = f + 25. Suppose -2*b - 2*b = -3*z + 20, -d*z - 4*b = 20. Let s be 2/2 + 5/(-7). Which is bigger: z or s?
s
Let j = -45 - 35. Let y be (1/j)/((-16)/(-120)). Which is greater: y or 1?
1
Let n = -5 + 10. Let h = -54 - -73. Suppose m = -14 + h. Is n less than or equal to m?
True
Let j = 292.4 + -267. Let p = 28 + -3. Let h = p - j. Which is smaller: 1/2 or h?
h
Let l be 36/33 + (-8)/88. Which is bigger: -30 or l?
l
Let n = 1248 - 567. Which is bigger: n or -0.1?
n
Let u = -45.5 - -45. Which is smaller: u or -26?
-26
Let k = 0.7 - -5. Let r = k + -5.9. Which is smaller: r or -0.1?
r
Let d be ((-84)/(-49))/((-2)/(-28)). Suppose -k + 31 = 2*s, -k = 3*s - 16 - 18. Is k < d?
False
Let w = 2586/5 + -517. Suppose 0 = -3*d - d + 4. Which is greater: d or w?
d
Let q = 761 + -761.3. Let t = -0.07 + 0.04. Are t and q nonequal?
True
Let m = -0.1061 - 0.0239. Which is greater: 4/9 or m?
4/9
Let s be 5 - (-20 + 32)*1/2. Which is smaller: 2/205 or s?
s
Let c = -9 + 26/3. Let n be 28/5 - 4/(-10). Suppose -3*f = -n*f. Which is smaller: c or f?
c
Let u be 6/7*7252/37. Is 164 smaller than u?
True
Let r be 4/(-5)*(-260)/8. Suppose -9*o - 10 - r = 0. Is -6 equal to o?
False
Let c be (19 + 29)/(1 + 0). Suppose -8*d - 24 = -c. Which is smaller: d or 3/11?
3/11
Let y(g) = -11*g**3 - 2*g**2 - 2*g - 1. Let v be y(-1). Let l be 38/(-190) + 1/(v/22). Let z = 4/347 - -3442/2429. Which is smaller: l or z?
z
Let s be 3/28 + 7/(-28). Let n = 42 - 42. Is n <= s?
False
Let a be (2/4 + -1)*60. Let v = 29 + a. Let h be (-1 - -3)*v/(-7). Which is bigger: 2.5 or h?
2.5
Let x = 2 - 0. Let o(l) = -l**2 + 5*l - 14*l + l**3 - 6*l**x + 2. Let w be o(8). Which is bigger: w or -5?
-5
Let m(b) = b**3 - 2*b**2 - 3*b. Let i be m(3). Let z be (5/(-15))/((-4)/6 - -1). Which is greater: i or z?
i
Let o = 8741/225 - 124/25. Let r = -34 + o. Let k be 2/(-6) + (-16)/(-12). Is r > k?
False
Let s = -23 - -26. Let o = -104 - -103. Which is greater: o or s?
s
Suppose -3*y + 20 = 2*y. Let i = -3 + 0. Let k = i + y. Which is smaller: k or -3/7?
-3/7
Let p be (-5)/(1155/(-44)) + 1/7. Let g = 151 - 228. Are g and p equal?
False
Let x be -6*52317/(-34884) - 9. Which is bigger: 1 or x?
1
Suppose 38*l = 37*l - 2. Let a = l - -2. Which is bigger: -2/5 or a?
a
Let d = -33.3 + 6.3. Let x be (5 - 5) + 8 + -8. Are x and d non-equal?
True
Suppose 52*o + 6 = 46*o. Do o and -28/33 have the same value?
False
Let z be (-345)/25 + (-2)/(-30)*-3. Are z and -9 unequal?
True
Let z = 0.272 - 5.272. Is z less than or equal to 5?
True
Let c(o) = 2*o**3 + 60*o**2 + o + 24. Let n be c(-30). Which is greater: n or -162/23?
n
Let c(h) = h**3 - h**2 - 5*h + 4. Suppose 0 = -8*n + 22 + 2. Let x be c(n). Is 4 smaller than x?
True
Suppose g - 119 + 42 = 0. Let i = -382/5 + g. Which is smaller: i or -2/7?
-2/7
Suppose y = 48 - 42. Which is bigger: 33 or y?
33
Let g(n) = 2*n + 18. Let h be g(0). Suppose 4 - h = z. Let a be z/3*12/(-14). Is a < 4?
False
Suppose 22*f = 55*f + 7557. Which is smaller: f or -230?
-230
Let n be 6/(-27) - (1 + 448/(-72)). Are -13 and n equal?
False
Suppose 3*c = 3, -2*c = 4*u - c - 65. Which is smaller: u or 25?
u
Let f = -107 - -117. Suppose 5*j - 25 = v, 0*v - 5*v + f = 2*j. Is -1/51 at most as big as v?
True
Suppose 7 = 2*x - v, x + 3*v = 2*x - 11. Let w be (2 + x/2)/(-10). Which is smaller: -1 or w?
-1
Let c(i) = -7*i + 281. Let v be c(40). Which is smaller: 2/285 or v?
2/285
Let r = 5968/55 + 210/11. Let o = r - 128. Let f = -463/35 - -87/7. Are f and o non-equal?
True
Let m be (3/(-6) - 0)*-6. Suppose -m = 3*v - 6. Is v at least -12/31?
True
Let k be -3 + 85/82 + 2. Which is smaller: k or -0.1?
-0.1
Let a(f) be the first derivative of -1/4*f**4 - f - 4 - 4/3*f**3 - 3/2*f**2. Let h be a(-3). Which is bigger: -5/3 or h?
h
Let y = 1419 - 1336. Is 0 less than y?
True
Let t = -15 + 13. Let x be 60/(-75)*t/(-10). Which is greater: 1 or x?
1
Suppose -4*l - 2*l + 606 = 0. Let m be (12 - 9)*1/l. Is m equal to -1?
False
Suppose 13 = -3*q - 17. Suppose -4*i = -2*p + 6*p + 32, -4*p + i = 12. Let m be (3 + p)*(-6)/q. Which is smaller: m or 0?
m
Let x(g) be the third derivative of g**6/120 + g**5/60 - g**4/12 + g**3/2 + 4*g**2. Let f be x(0). Which is bigger: 2 or f?
f
Let m = -2.56 + -24.44. Is 0.1 bigger than m?
True
Let a = 6888 + -4704. Let h = -1299 + a. Let y be 4*(4 - h/222). Which is greater: y or 0?
y
Let d = 1480 + -1478.03. Which is smaller: 0.2 or d?
0.2
Let r be (-96)/(-72)*(-2)/416. Which is smaller: 1 or r?
r
Let l = -7885 - -2830717/359. Which is bigger: l or 1?
1
Let c = 17 - 14. Suppose 40 = 13*p - 3*p. Which is bigger: p or c?
p
Let s be (8/(-44))/(4/17338). Let f = s - -787. Suppose 2*q = -q - 15, 2*p - 3*q - 13 = 0. Which is greater: p or f?
p
Suppose 102 = 6*d - 102. Suppose 0 = -3*w + 37 - d. Are w and 0.05 non-equal?
True
Let r be ((-108)/(-30))/(0 - (-2)/(-10)). Which is smaller: r or -134/7?
-134/7
Let a = 7 + -6.953. Let u = a - 0.147. Which is smaller: -1.2 or u?
-1.2
Let h = 0 + 0. Let i be 2/(6/4*(-22)/(-3)). Which is bigger: i or h?
i
Let p = -40 + 40. Suppose p + 1 = y. Are 2 and y non-equal?
True
Let k(b) = -b**2 - 11*b - 31. Let j be k(-6). Do j and -2/401 have different values?
True
Suppose 2*x + 4*o + 56 = 6*x, 3*x - 2*o - 41 = 0. Let s be 40/(-48)*x*2. Which is bigger: s or -21?
-21
Let u be 215/2 + (-90)/(-36). Let s = u - 81. Do 29 and s have the same value?
True
Suppose 0 = -c + 5 - 0. Suppose 3*s + c = 5*x, -x + 2 = -4*s + 1. Do 2/51 and s have the same value?
False
Let s = 1.1 - 0.5. Let k = -79 - -73. Let p be 4/108*3*k. Is s at least p?
True
Let i = -549 - -549. Is 5/473 > i?
True
Suppose -3*n + 9 = -0, -3*n - 131 = 2*x. Let c be -2 + (x/(-8))/(-7)*2. Suppose -1 + 9 = -t + j, -5*t = 4*j + 13. Do t and c have the same value?
False
Let s(j) = j**3 + 19*j**2 - 21*j + 10. Let y be s(-20). Suppose 34*d = y*d + 252. Are d and 63 equal?
True
Let d = -39 - -17. Which is smaller: -20 or d?
d
Let b = -31 - -51. Let u be (21/(-35))/((-12)/(-15))*-24. Which is smaller: u or b?
u
Suppose 0 = -w - 0 + 1. Let b(g) = 2*g + 3. Let t be b(-3). Let l be 2 + w/(t/12). Which is greater: -3 or l?
l
Suppose -528 = 6*c + 2*c. Which is bigger: 1 or c?
1
Let g = -388813/161 - -2415. Is g at most 1?
True
Suppose -35 - 34 = -3*v. Suppose p - 8 - 10 = 5*b, 0 = 4*p - b + v. Which is greater: -8 or p?
p
Suppose 0 = -18*w + 20*w. Let p be w/4 + -1 + 2. Let l be (12/11 + -1)/p. Which is bigger: 1 or l?
1
Let g = -10.88 - -11. Let j = -0.02 + g. Which is smaller: 3/5 or j?
j
Suppose 2 = -4*a - 6. Let f = a - -2. Let w be -1 - (-4 - 124/(-36)). Is w equal to f?
False
Let s = -24 + 9. Let i(a) = -a + 3. Let l be i(s). Suppose 2*o = -t + 13, -t + l = 2*o + o. Is 6 >= t?
True
Suppose 1009 - 64 = 5*a. Let q be 24/a*6/(-8). Is q greater than 1?
False
Let a(r) = -r - 7. Let f = 2 + 8. Suppose 2*p + f = -6. Let d be a(p). Is -1/10 at least d?
False
Let l be 0 + (3 - 0) + 2. Let k be 2/l + (-16)/15. Let f(v) = 