 + 113 + 157, -162 = -3*w - q. Let h = -57 + w. Let f be 36/(3 + (-117)/6). Which is bigger: h or f?
f
Suppose 0 = -4*n - 4, 2*k + 0*n = 4*n + 8. Let q be k/(-7) - 1144/14. Let t be (-10)/(-65) - q/(-26). Is -4 at most as big as t?
True
Let j(q) = -q**3 - q**2 + q. Let w be j(0). Let k be -2 + 3 - w/2. Let s = -2095/9 + 233. Which is smaller: k or s?
s
Let z = 466.9 + -467. Is -3.51 bigger than z?
False
Suppose 1 - 56 = -5*d - 4*g, g = -5*d + 70. Suppose d*s - 9 = 21. Do s and -9 have different values?
True
Let f = -2.13 + 2.04. Is -2.2 >= f?
False
Let w be (-14 - -13)*(5 - 1). Let o be (2 + -1 + w)*1/(-6). Which is smaller: -1/87 or o?
-1/87
Let t = -36 + 37.2. Let k = t + -1.5. Which is greater: k or 0.2?
0.2
Let a = -0.9 + 1.7. Let y = a - 0.9. Which is bigger: -0.27 or y?
y
Let z = 10 - 62/3. Let r be 4/10*300/(-10). Which is greater: r or z?
z
Let z = 5.6 + 1.4. Let r = 7 - 2. Let y = z - r. Which is smaller: -0.1 or y?
-0.1
Let x(l) = l**2 - 7*l - 7. Let k be x(8). Is k greater than -32/107?
True
Let f(h) = h**2 + 9*h - 25. Suppose 5*z + 28 = w, 4*w - 5*z - 35 = 2. Let s be f(w). Are s and 12 unequal?
True
Let s be (-2)/(-15)*((-42)/(-3) + -17). Let a = -5 + 3. Let p = a + 1.8. Which is smaller: p or s?
s
Let j(o) = -o**3 - 13*o**2 + 14*o - 3. Let w(p) = -2 + 0 - 4*p + 10*p. Let f be w(-2). Let x be j(f). Which is smaller: x or -5?
-5
Let p = -0.05 + 1.25. Let t = 0.82 - -0.18. Let b = t - p. Are b and 2 nonequal?
True
Let b be ((-20)/(-12))/5 + 24/(-18). Which is smaller: 2/313 or b?
b
Suppose -m = -17 - 2. Let s = 7724 - 7703. Is m at most as big as s?
True
Let f(q) = -2*q**3 - 3*q + 7. Let h be f(3). Let z be ((-2)/4)/(14/h). Which is bigger: z or -1.8?
z
Let y = 90.335 - 0.335. Which is smaller: 0.1 or y?
0.1
Let u(v) = -3*v**2 - 7*v. Let c(q) = -2*q**2 - 4*q. Let z(r) = 5*c(r) - 3*u(r). Let i be z(1). Let d = 2/53 - -41/318. Is d smaller than i?
False
Let r = -331/2 - -1653/10. Is -4 greater than r?
False
Let s = 91 + -78.4. Let p = s + -12. Let o = p - 0.7. Are -11 and o equal?
False
Let q = -11/56 + 489/2632. Suppose 3*x = 5*b + 7, 4*x = 4*b + 6 - 2. Is q at least as big as x?
True
Let f be -4 - (-6971)/19 - 1. Let y = -362 + f. Is y at most as big as 1?
True
Suppose -22*w = -23*w + 8. Let q = 23 - w. Which is smaller: q or 14?
14
Let x = -170 - -168. Is x at least -1?
False
Let p = 65252/1072975 - 6/6425. Is 1 bigger than p?
True
Let h(z) = -z**2 - 7*z + 3. Let s be h(-5). Let a = -14 + s. Which is smaller: -5/12 or a?
a
Let r = 1686662/9 + -186466. Let y = 942 - r. Which is bigger: 5 or y?
5
Suppose 0 = y + 6 - 5. Is 1/36 > y?
True
Suppose 3*b + 320 = 4*b. Suppose -16*h + b = -11*h. Is h smaller than 63?
False
Let j be ((-40)/6)/(21/63). Let g be 6/4*2/j. Which is bigger: -0.1 or g?
-0.1
Let u = 0.0225 - -0.9775. Let t = -1 - -1.06. Which is greater: u or t?
u
Let g(o) = 4*o. Let x be g(1). Suppose 4*l = x*n - 16, 2*n + 0*n - 20 = -2*l. Suppose 3*k + 2*m = -17, -k - m = -0*m + n. Which is bigger: -0.06 or k?
-0.06
Let o be (-1 - (-68)/56)*(-20)/290. Which is bigger: 0 or o?
0
Let v be (264/234)/(-11)*(-6)/(-4). Is v at least as big as 6/11?
False
Let b = 1469/4830 + -2/483. Suppose z = -2*z - 15. Let u = z - -6. Which is smaller: b or u?
b
Suppose 21 = -2*o - 5*u, 0 = 3*o + o - 2*u - 18. Let r be (-2)/(-2)*o*1. Let i be (r - 1)/((-4)/36). Is -8 > i?
True
Suppose -19*w - 50 = -12. Which is bigger: 2/191 or w?
2/191
Suppose 5*x - 2*y + 113 = 0, 0 = 2*x - 5*y + 40 + 1. Which is smaller: x or -22?
x
Let t = -11 - -29. Suppose 3*w + 4*z + 16 = 0, 5 + 3 = 4*w - 2*z. Let i be w - 5/(-10)*-2. Do t and i have the same value?
False
Let x = 62 - 78. Let b be -2 + 155/116 + (-4)/x. Which is bigger: b or -1?
b
Let b = 3.3 + -3.95. Let d = b - 0.35. Is -3.4 >= d?
False
Let p be (1 - 5/(-10))/(3/12*-3). Let g = -29 + 49. Is g not equal to p?
True
Let w = -427 + 14089/33. Let k = w + 50/99. Is 0 != k?
True
Let w = -17 + 10. Let y = w - -7.15. Let u(f) = f**2 + 13*f - 14. Let z be u(-14). Which is bigger: z or y?
y
Let x = -1 + 1. Suppose 8*c = -70 + 422. Let n = c + -130/3. Which is bigger: x or n?
n
Let r = 13.1 + -13.3. Which is smaller: r or 0.4?
r
Suppose 0 = 9*i - 16*i - 7. Let n(d) = 5*d**2 + 2*d. Let s be n(i). Is 13/4 > s?
True
Let l be 2/(-8) - (-2)/(-16)*38. Let b be (-6)/l*(-125)/10. Which is smaller: -16 or b?
-16
Let m = -142 + 141.4. Is m < 0.1?
True
Let v = -372.02 - -372. Which is bigger: v or -111?
v
Let x = -290 - -874/3. Let q be (-6)/(-21) + (-2)/7. Which is smaller: x or q?
q
Let p = 91.878 + -92. Let o = p + 0.122. Which is greater: 11/9 or o?
11/9
Let w = 0.2 + -0.3. Let m = 4895 - 151751/31. Which is smaller: m or w?
m
Suppose 126 = -5*i + 26. Let s be (-6)/20*i/(-24). Let r be (-6)/2 + 0 - -2. Is r at least as big as s?
False
Let m(i) = -i**2 - 2*i + 2. Let o be m(-4). Let c = -1 + 6. Suppose 5*y = -2*u + 12, 0*u - c*u - y - 16 = 0. Do u and o have the same value?
False
Let i = -473/261 - -16/9. Suppose 0 = 4*x - s + 9, s = -x + 2 + 2. Is i < x?
False
Suppose -i - 5*f = -8*f + 1, 2*f = 2. Suppose -c = -0 - 1. Let u be (-1)/(8/(-6) + c). Are i and u equal?
False
Let l be 5/(15/6) + 8. Let c = 2 - l. Is -7 greater than c?
True
Let w = -109 - -114. Suppose -4*b - 9 = 3*q - 26, -4*b + w*q - 7 = 0. Suppose -9 = -5*p + o, -p + o + 7 = 2*p. Which is greater: p or b?
b
Suppose 52*k = 11*k - 41. Which is greater: k or 1/73?
1/73
Let g(o) = 3*o**2 - 6*o + 5. Let p be g(6). Which is smaller: p or 0?
0
Let z(w) = -14*w - 26. Let q(j) = 5*j + 9. Let k(x) = 11*q(x) + 4*z(x). Let u be k(-4). Is u <= -2/19?
True
Let f be (4576/(-220))/(2/(-5) + 0). Are f and 44 equal?
False
Suppose 2*o + 2*o = -92. Let i = -21 - o. Are i and 2/3 nonequal?
True
Let n be (-3 - (-5)/10)*2. Let s be (n - -1) + (-360)/(-20). Suppose 3*p = -5*l + 50, 3*l + 7 = 2*l - 4*p. Which is smaller: s or l?
l
Let x = -4.4 + 3. Let o = -0.07 - -2.47. Let v = o + x. Which is bigger: v or -1?
v
Suppose t = -3*h + 3, 3*t + h = -4*h + 9. Suppose 3*p + 16 - 81 = -c, t*c - p - 165 = 0. Is c less than 57?
True
Let v = 96 - 43. Suppose -o - 3*o + 13 = 3*l, -4*o - 2 = -2*l. Which is smaller: v or o?
o
Suppose l - 4*g - 20 = -2*g, 3*g + 42 = 2*l. Let s be (14/6)/(8/l). Which is greater: 5 or s?
s
Suppose 5*u + 6609 = 3*g, 4*g - 3961 = -4*u + 7*u. Is u < -1323?
False
Let t(i) = 2*i + 13. Let z(a) = -3*a - 14. Let h(m) = 5*t(m) + 4*z(m). Let b be h(4). Which is greater: -6/13 or b?
b
Suppose -8*d = 256 - 208. Suppose 7 - 2 = -a. Which is greater: a or d?
a
Let d = -349 + 245. Let r = 102 + d. Are r and 2/21 nonequal?
True
Let f = -1/3639 - 7025/920667. Which is smaller: 1 or f?
f
Let h(f) = 3*f**3 - 3*f**2 + 4*f - 4. Let v be h(2). Let m be v/(-4) - 185/(-40). Which is greater: m or 0?
m
Suppose 0 = -r + 8*r + 539. Let d be 1704/6111 - (-22)/r. Which is greater: 1 or d?
1
Suppose -r = 2*r + 2*p + 9, -4*p + 9 = -3*r. Let g = -6 + 7. Let w be (2 - 2 - 4)/g. Are r and w non-equal?
True
Let p be 2 - 4 - (3 - 26). Let r be (-49)/42*(-267)/p. Let i = -15 + r. Which is smaller: i or 2/7?
i
Suppose -3*z + 44 = 557. Let f(p) = -p**3 + 10*p**2 - 8*p - 24. Let w be f(9). Let h be z/(-15) - (-6)/w. Which is smaller: 10 or h?
10
Let h be (-435)/(-174)*(-4)/7505. Which is greater: 1 or h?
1
Let b = -32.5 + 32.1. Which is smaller: b or -152?
-152
Let v(j) = j**2 - 29*j + 103. Let y be v(4). Let d = -3877/7 - -556. Does d = y?
False
Let k = 6.51 + -6.5. Let l = -1.4 + 1.1. Are k and l non-equal?
True
Let l(p) = 21*p**3 - p**2 + 5*p + 5. Let r be l(-1). Which is smaller: r or -11?
r
Let d(t) = t**3 + 4*t**2 + t + 6. Let s be d(-5). Suppose 0 = 4*p - 3*b + 273, -3*p = p + 5*b + 281. Let f be (-6)/(-9)*p/2. Is s < f?
True
Let i = -1706 + 1705.1. Which is bigger: 28 or i?
28
Let d(t) = -2*t**2 + 13*t - 3. Let z be d(6). Suppose 5*f = f - z*r - 32, -f + r = 1. Which is bigger: 2 or f?
2
Let r be 108/44 - ((-3 - -7) + 1). Is r not equal to -4?
True
Suppose -11 = -3*u + 16. Let r(v) = -v + 1. Let l(m) = -5*m + 13. Let h(g) = -l(g) + 4*r(g). Let q be h(u). Do 0 and q have the same value?
True
Suppose 0 = 8*o - 3*o + 100. Let r be 5/o - 13/16. Let k = -73/112 + r. Are -2 and k non-equal?
True
Let d = 899/42 + -144/7. Which is bigger: d or -16?
d
Let y = -1483/4 + 371. Let v = 43147/357 + -5840/21. Let