t g be c(7). Suppose h = -g*h + 4. Suppose -273 = -5*l - 248. Is l < h?
False
Let y = -70 - -322. Is 252 < y?
False
Let p be 57/228 + (-46)/(-8) - 6. Is p less than -1/340?
False
Let q = 905 - 904. Is 2/1653 > q?
False
Suppose -22 - 38 = -12*v. Let w be (v + 12/(-3))/(-1). Is -1/70 != w?
True
Let u = -1 + 1. Suppose 0 = -105*w + 104*w - 42 + 45. Is w equal to u?
False
Let y(s) = -s**3 + 11*s**2 + 15*s - 94. Let k be y(11). Is k greater than or equal to 74?
False
Let n = -3.29 - -0.29. Let u = -3.5 - n. Is u less than 2/3?
True
Suppose 3*t = -3*t - 8*t. Which is smaller: t or 2/139?
t
Let m(x) = -1 - x**3 + 1 + 33*x - 40*x - 7*x**2. Let u be m(-6). Suppose 0 = 2*q + 8 - 10. Which is smaller: q or u?
q
Let k be 3 - ((-167)/(-44) - 2/(-8)). Which is greater: k or -2?
k
Let a(r) = -48*r - 3. Let g be a(1). Let c be (-60)/(-72) - (0 + 6/4). Which is bigger: g or c?
c
Let z = -96.4 + 96. Let n = 1 + -0.7. Which is bigger: n or z?
n
Suppose 3*b - t + 1463 = -0*t, 0 = -b + 5*t - 511. Let m be (-2)/(-10) + b/(-1170). Which is smaller: 0 or m?
0
Let a = -60835/8502 + 93/13. Let q = -13405/1308 + a. Is q > -11?
True
Let j = 1.8 + -2.8. Let x = j + 11. Let h = x - 9.8. Is h greater than 1?
False
Suppose 2*v - v = 34. Let f = -2328 - -2360. Which is smaller: v or f?
f
Let l = -4 - 17. Let y = -19 - l. Let i = 3 - 2.96. Is i smaller than y?
True
Let x = -1.2 + 0.3. Let l = x - -0.8. Suppose 0 = 4*v + 4*i - 16, -v = -4*i + 7 + 14. Are v and l non-equal?
True
Let q = -5 + -18. Let t = -301.5 + 279. Let n = t - q. Is 1/3 greater than or equal to n?
False
Let f = -65 - -64. Suppose 0*a + 10 = 4*m - 5*a, 0 = -m + 4*a + 8. Is f at most as big as m?
True
Suppose 0 = -3*q - 4*z + 100, -16 - 4 = 4*z. Suppose 3*d + 13 = -d - 5*p, 5*d - 5*p - q = 0. Let w(j) = 5*j. Let c be w(1). Which is smaller: d or c?
d
Let q(u) = u**3 + 2*u**2 - 2*u + 3. Let d be q(-3). Let l = 348 - 7306/21. Which is greater: l or d?
l
Let m = -723 + 75914/105. Which is bigger: -1 or m?
m
Let o = 38 - -25. Suppose 12*f - o = 3*f. Which is smaller: 4 or f?
4
Let j be -1 - (5225/(-8094) + (-1)/(-6)). Which is greater: -1 or j?
j
Let u = -201 + 202. Which is greater: u or 10/27?
u
Let z = 7.291 + 0.009. Let y = 0.04 + 1.26. Let x = z - y. Which is smaller: x or 0.2?
0.2
Let s = 18.3 + -20.3. Is s bigger than 0.69?
False
Let m(c) = -c**3 - 4*c**2 - 2*c + 1. Let q be m(-3). Let o be ((3 - 3) + 0)/(q/(-2)). Let w(t) = t**2 + 4*t - 6. Let s be w(-5). Which is bigger: o or s?
o
Let h be 10/98*(-66)/165. Let t = -2 - -1. Which is bigger: t or h?
h
Suppose 5*a = -15, -4*u + 3*u = 2*a + 2. Let o be 8/(-28) + 4 - u. Are o and -1 equal?
False
Let s = 97 + -164. Let n = s + 67.1. Is 2/9 smaller than n?
False
Let h = -2 + 1. Let z(r) = -13*r - 18. Let j be z(-6). Let q be (56/j)/(6/(-9)). Which is bigger: q or h?
h
Let v = -22 + 21. Let h = 70 + -1052/15. Is h > v?
True
Let s = 21.013 - 1.043. Let j = s + -20. Let r = j - 0.07. Do -0.1 and r have different values?
False
Let l(o) = o**2 - 36*o + 256. Let v be l(15). Are v and -6 nonequal?
True
Let g be (-3)/2*((-147)/297 - -1). Let x = g + 12/11. Which is smaller: 3/4 or x?
x
Let v = -27 - -29. Are 9/8 and v unequal?
True
Let a = 1004.9 - 1004. Let x = -196 - -1947/10. Let v = 4/5 + x. Is v at most a?
True
Let j be (-4)/((-4)/(-1)) - 8/(-4). Let x be 1/58*(-2 - -4). Let k = -33/116 + x. Is j > k?
True
Suppose 4*d + 4*t = 7 - 19, 4*d + 27 = t. Let j be 10 + -14 + (1*(-6 + 5))/1. Which is bigger: j or d?
j
Suppose -18*v - 154 = -28. Suppose -20 = 5*c + 20. Let m = c + 2. Which is bigger: m or v?
m
Let o(b) = -36*b**3 + 2*b**2 + 2*b + 1. Let j be o(-1). Let r = 14 + -11. Suppose 2*d + 6*x - 87 = r*x, -x = -3*d + 103. Which is greater: j or d?
j
Let b(p) = -4*p**2 - 11*p + 21. Let x be b(3). Which is bigger: x or -146/3?
x
Let h = -1148 + 1130. Which is greater: h or -17?
-17
Let p = 68 - 74. Suppose 0 = 4*k - 3*a, -2*k + 2*a + 2 = -0. Which is smaller: k or p?
p
Let z be (-13)/195 - (-6042)/(-3870). Which is greater: -1 or z?
-1
Let f be ((-1)/(-7))/((-366)/(-21)). Suppose -4*y - 4*v = -16, -y = 2*y + 5*v - 18. Is y at least as big as f?
True
Let f = 1507 - 1508. Which is bigger: f or -6/431?
-6/431
Let o be (6/4)/(159/212). Is 10/17 > o?
False
Let p(k) = -2*k**3 + 14*k**2 - 4*k + 28. Let n be p(7). Which is bigger: -2/81 or n?
n
Suppose -3*t - 19 = -u, u + 2*u - 5*t = 37. Suppose 5*x + 5 = -2*b, 7*b - 4*b + 4*x + u = 0. Is b smaller than 0.3?
True
Let t = -0.35 + 0.09. Let c = t - 18.74. Let n = c - -20. Which is bigger: 22 or n?
22
Let t be 35/(-4) + 1/(-4). Let l = 4 + t. Let z be (2/7)/((-93)/(-217)). Is z equal to l?
False
Let x = -327/4 + 82. Which is greater: x or -4?
x
Suppose -136 = -13*l - 81 + 23. Let c be 2/3 + 76/18. Is c greater than l?
False
Let r(g) = g**3 - 3*g**2 - 20*g + 12. Let s be r(6). Which is smaller: 30 or s?
s
Let q be (-3)/1 + -2 + 3 + 10. Suppose q*k - 4 = -12. Let o be -2*1/4 + 1. Are o and k nonequal?
True
Let f = 14 - 18. Let i = -0.5 - -0.3. Let y = 1.8 - i. Which is bigger: y or f?
y
Suppose 6*i - 39*i = 0. Does i = 61?
False
Let c(t) = t. Let p be c(4). Let f be (-2)/p*(15 - 15) + 10. Is f <= 10?
True
Let x(p) = -2*p**2 + 7*p - 7. Let t be x(2). Let i be 2 + (-4 + 6)*t. Is i greater than 1/122?
False
Let y(g) = 3*g**2 + 2*g + 1. Let i be y(-1). Let t = 518 - 244. Let a = 273.8 - t. Which is bigger: i or a?
i
Let u = 19 + -7. Suppose -4*n = 0, 2*y - 7 + 1 = -n. Let x = y - u. Is -10 <= x?
True
Suppose s - 37 = 31. Is s smaller than 68?
False
Let h = 58 - 58.2. Let g = 0.1 + h. Is 4/5 smaller than g?
False
Let z = 47.1 + -8.1. Let o = z + -40. Do o and 0.13 have different values?
True
Suppose 18*t + 104 = 14*t. Let c be t/28 + 6/14. Which is greater: c or -7/4?
c
Let x(g) = g**2 - 25*g - 53. Let d be x(28). Which is bigger: 27 or d?
d
Let l(n) = -2*n**3 + 2. Let d be l(2). Let b = -26 - d. Is -11 greater than or equal to b?
True
Suppose -h + 4*h = 3. Let r = 5/3 - 1/3. Which is smaller: r or h?
h
Let t = -5 + 5. Let j = -209/2 + 104. Is j greater than t?
False
Let u be (-106)/34 + 6/51. Let k be 519/75 + u - 4. Which is greater: -1 or k?
k
Let x = 722 + -2164/3. Which is bigger: x or -263?
x
Suppose 4*b + 3*t = t - 84, -4*b - 70 = -5*t. Let a = -0.1 + 0. Which is bigger: b or a?
a
Let j be (-780)/9 + (-3)/9. Let a be j/18 - 4/24. Let k(u) = u + 1. Let c be k(-2). Does c = a?
False
Let z(l) = -l**2 - 4*l - 2. Let u be z(-3). Let v = -2488/7 - -356. Which is bigger: u or v?
u
Suppose 0 = -4*v - 2*d + 210, 3*v - 2*v - 51 = -2*d. Is v greater than or equal to 263/5?
True
Let t(i) = 3*i**2 + 15*i - 179. Let x be t(-10). Which is smaller: x or 15?
x
Let m be -8 - -8 - (-16)/(-2). Let r be (-78)/(-14) + m/14. Which is smaller: 7 or r?
r
Let r = -150 + 155. Let a(h) = h + 1. Let w(g) = -g**3 + 6*g**2 - 3*g + 2. Let l(f) = 3*a(f) + w(f). Let k be l(6). Is r not equal to k?
False
Let n be (-5)/18*6/(-10). Suppose -9*i = -4*i. Which is smaller: i or n?
i
Suppose 158 = -u + 3*u. Let d = -1028/13 + u. Suppose 5*i - 8 = -3*t, 0 = 2*t - 7*t + 5*i. Are t and d equal?
False
Let a be ((-10)/(-48))/((-3)/945). Let r = a + 62459/952. Which is smaller: -1 or r?
-1
Suppose 2*l + 2*l = -x - 24, x = 4*l + 24. Let p = 2 + 8. Let v be 1*-2*25/p. Is l > v?
False
Let f(y) = -y**2 + 4*y + 8. Let x be f(5). Let j(m) = -m**3 + 2*m**2 - m + 4. Let t be j(x). Which is greater: -13 or t?
t
Suppose 0 = 2*j - 2. Suppose -3*p + 4 = j, 4*c + 31 = -5*p. Let k(w) = -3*w - 2. Let q be k(2). Which is smaller: q or c?
c
Let u = 8 + -6. Suppose -2*g - 462 = 9*g. Let o be ((-1)/6*-3)/(g/(-144)). Which is smaller: u or o?
o
Let u(g) = g**3 + 12*g**2 + 4*g + 12. Let f be u(-12). Let y = 18 + f. Let x be ((-12)/y)/(2/(-6)). Is x less than -1?
True
Suppose 5*j - 390 = -j. Suppose 9 = 8*b + j. Is -7 at least b?
True
Let a be (3/(-2))/(-1*(-6)/16). Let c = 30 - 19. Suppose -c = -3*i + 4*o, o = 2*o + 5. Which is bigger: i or a?
i
Let a = 5799422945565866073087373/6463800152163315 - 4354636/5586689846295. Let w = -897215695 + a. Let h = -2/1157 - w. Which is greater: h or -1?
h
Let b = -1481/5 - -292. Is b greater than or equal to -4?
False
Suppose 3*y - 3*s + 2*s - 29 = 0, 3*s = -y + 13. Let r be 5/(y/102) - 0. Let g = r - 207/4. Which is smaller: -2 or g?
-2
Let x = 0 + 3. Sup