57/4 - x. Does -1 = b?
False
Let c = -22 - -332/15. Let h(r) = r**2 + 4*r. Let v be h(-4). Suppose v = 3*u - 2*u. Which is smaller: u or c?
u
Let d = 46 - 46. Which is smaller: d or -1/6?
-1/6
Suppose -y - y = 6*y. Which is bigger: -2 or y?
y
Let u = 6 - 2. Suppose 0 = -3*v - v - 2*t + 6, -t + 9 = -u*v. Let y = 1 - v. Which is smaller: 1/2 or y?
1/2
Let l(g) = g - 5. Let p be l(5). Let f be (0 - 1)*(0 + 1). Which is bigger: p or f?
p
Suppose 3*m + 2*z = -14, 3*z + 6 = 3. Which is greater: m or -3?
-3
Suppose -5*w - w = 0. Suppose 4*s - 4*d = -16 - w, 4*s - 5*d + 21 = 0. Let y be 2/5*(-1)/2. Which is greater: y or s?
s
Let i(h) = -h**2 - 10. Let r be i(0). Let k be ((-4)/20)/(8/r). Let z = 2 + -4. Is k <= z?
False
Let j = -0.04 - -0.06. Let v = j + -0.2. Let m = 0.02 - v. Which is greater: m or 1/2?
1/2
Let i = -1 + -6. Let v = i + 6. Is v bigger than 1/5?
False
Suppose -4*w + 34 + 20 = -2*i, 41 = 3*w - 2*i. Is w > 14?
False
Let g = -1877 - -28171/15. Let j = g + -7/5. Is 0 smaller than j?
False
Let d = 4721/22 + 1325/22. Let p = 275 - d. Let a be 2/9*(2 - -1). Which is greater: p or a?
a
Let y(f) = f**2 + f - 27. Suppose 4*i = i. Let m be y(i). Let v be 6/m + 2/(-72). Which is greater: v or 0?
0
Let f be 12/(-9)*(-3 + -3). Which is smaller: 9 or f?
f
Suppose 16*x + x + 306 = 0. Which is smaller: x or -1/5?
x
Let y = 43 + -48. Is -22/5 greater than y?
True
Let t = 31/170 - 3/10. Let l = t + -7/85. Which is greater: l or -1/3?
l
Suppose 5*b - 9 - 1 = 0. Suppose 0*q - q - 4 = 0. Let v be b/q - 9/(-10). Is 1 >= v?
True
Let f be (-1)/30*42/28. Do f and -1 have the same value?
False
Let u be ((-3)/(-18))/(-2 + 1). Let y = -2 - 2. Let z be -1*-2*2/y. Is u greater than or equal to z?
True
Let c = 30 - 29. Which is greater: c or 5/9?
c
Let d be (-1)/(-3 + 68/24). Do d and 6 have the same value?
True
Suppose 2 = -5*s + 7. Let i be 30/(-12) + 31/14. Which is bigger: s or i?
s
Let l be 0/((1/4)/((-3)/(-12))). Does l = -5/8?
False
Suppose 3*f - 42 = -4*z, -4*z + 11*f - 7*f = -28. Let y be 11/(-9) - (-2)/9. Is y equal to z?
False
Let l(k) = 2*k**2 - 2*k - 4. Let d be l(-3). Suppose 2*c + 2*c - d = -5*i, 10 = -4*i + 2*c. Suppose i = -2*q + q - 2. Is -3/4 at most as big as q?
False
Let h(s) = -3*s**2 - 2*s + 2. Let d be h(-4). Which is smaller: -37 or d?
d
Let i = 11.9 + -12. Let k be (-7)/24 + (-2)/(-3). Is i != k?
True
Suppose 0 = -v - 2*j, v + 5*j + 22 - 7 = 0. Suppose 0 = -4*c + 8 + 12. Suppose -c*d + v = -5. Are d and -1 nonequal?
True
Let c = -0.09 - -0.99. Let g = c - 1.7. Let k = -0.2 + g. Which is smaller: k or -4?
-4
Let q be 2/(-6) - 741/(-90). Let v = 15/2 - q. Suppose -2*l = -z - 3, -3*l + 7 = -3*z - z. Which is smaller: l or v?
v
Let k = 413/2211 - 1/201. Let f(h) = h**2 - 5*h + 4. Let s be f(4). Which is smaller: s or k?
s
Let a(i) = i**2 - 5*i + 4. Let d be a(5). Let k be 6/27 + 345/27. Suppose 0*z - d*z + 3*w = -k, -5 = 4*z + 3*w. Is z at least as big as 1?
True
Suppose 0 = -5*s + 2*s - 12. Suppose b = -0*b + 24. Suppose 1 = -5*f - b. Which is smaller: f or s?
f
Suppose x = -0*x + 3. Suppose 3*r + 9 = 6*r. Is x < r?
False
Let b = 3 - 4. Let i = 9 - 15. Let q = i + 7. Is q greater than b?
True
Let a(c) = -c**3 + 5*c**2 + 7*c - 1. Let q be a(6). Let u = -7 + 10. Suppose 3*b + 0*x = -x - q, u*x = 5*b - 1. Are -3/4 and b equal?
False
Let d be (-3)/(-5) + 1*(-3)/9. Are 1 and d non-equal?
True
Suppose 3*d - 31 = v, 0 = v + 2*d - 0*d + 11. Let i = 178/5 - 36. Is i less than or equal to v?
False
Let t(h) = -h**2 - 7*h + 10. Suppose 3*v = -12, 2*v + 5 = b - v. Let l be t(b). Let q = -13 + l. Is q > -4?
True
Let c be 2/(-6) + 13/21. Let d = -0.3 - -0.2. Is d not equal to c?
True
Let m = -11 + 11.1. Let x = 5 + -6. Which is smaller: m or x?
x
Suppose 0 = 2*s - s. Let v be 1*(-2)/6 + 1. Is v at least s?
True
Let g = -0.4 + 0.3. Which is bigger: g or -6?
g
Let f = 4/43 - -128/473. Which is smaller: -1 or f?
-1
Let d(o) = -3*o - 6. Let a be d(0). Is a at least -7?
True
Suppose -9*n + 8*n = 1. Which is smaller: -2/19 or n?
n
Let n be (-5)/85*(-2)/6. Is n at most as big as 1?
True
Let d = 3 + 28. Which is greater: 32 or d?
32
Let b = 2/3227 + -80683/12908. Is -5 at least b?
True
Suppose 0 = -2*x - 0 + 4. Suppose 2 = 3*j + 5*n - 9, x*n + 4 = 3*j. Let a be (1 + 0)*(0 - -3). Is j less than a?
True
Let b = 3 - 18. Let x be b/3*(-8)/10. Let w = -92 + 94. Is x < w?
False
Let r be -4 + 50/8 + 4. Which is bigger: 7 or r?
7
Let p be ((-1)/11)/((-4)/(-12)). Let n = p + 17/143. Is 0 > n?
True
Suppose 35 = -5*v - 5. Let h be ((-3)/(-6))/((-2)/v). Let o be -1*0*h/4. Is 1 bigger than o?
True
Suppose -x + 4*x = 4*b, 3*x = b. Let l be (26/2 - b) + -2. Let v = l + -16. Which is greater: v or 0?
0
Let d = 10 + -9. Which is smaller: -2/91 or d?
-2/91
Let d(o) = -o**2 - 4*o. Let y be d(-4). Let h = 20 + -19. Which is bigger: h or y?
h
Let f be (-1)/1 - (1 + -5). Suppose 0 = v + 2*x - f, -4*x = -v - 3*v. Let r be (-2 + 9/3)/v. Is 0 bigger than r?
False
Let c = -5/27 + -4/27. Let b = -0.39 + 0.38. Which is greater: c or b?
b
Let p be (-2 + 3)/(-2 - -30). Is -1 bigger than p?
False
Suppose -2*w = w + 3. Let v = -843 - -29507/35. Is v > w?
True
Let n = -6 - -1. Let w = 1 + n. Does w = -3?
False
Let x = -15 + 16. Which is smaller: 2/33 or x?
2/33
Let b(o) = o**2 + 3*o - 2. Let a be b(-4). Suppose 2 = 2*r - 2. Let h be (r/5)/(6/10). Which is smaller: h or a?
h
Let g be 18/(-10) + 2 - (-218)/110. Is g greater than 3?
False
Let a = -45.1 + 45. Is a at least as big as -34?
True
Let l(h) = -10*h**2 - 7*h + 15. Let x be l(3). Which is greater: x or -1/4?
-1/4
Let u = -35 + 33. Is u bigger than -4?
True
Suppose w - 2 - 1 = -c, c + 13 = 3*w. Suppose 8*b - w*b + 4 = 0. Let h = 3 + b. Which is greater: h or 3?
3
Suppose -12 = 3*x, 3*b - 2*x = 2*x + 22. Suppose b*u + 1 = i, -3*u - i = 3*i + 7. Which is greater: u or 2/7?
2/7
Let n(k) = -k - 6. Let b be n(-6). Suppose 0 = -b*h - 3*h + 6. Let s(p) = -p**3 + p**2 + 2*p + 1. Let w be s(2). Which is greater: h or w?
h
Let s be ((-6)/4)/(18/48). Let i be 2/10*10/s. Is i smaller than 0.09?
True
Suppose 0 = -x - 1 + 3. Suppose -3*t + 7 = -0*i - i, 4*i - x*t - 2 = 0. Let k = 90 - 90. Is k greater than i?
False
Let q be (2/8)/(-1)*-1. Let n = 0 + -1. Is n smaller than q?
True
Let i(y) = -y - 12. Let n be i(-6). Let r be 2/n - 40/(-30). Is r bigger than 1?
False
Let c be ((-2)/(-4))/(1/(-2)). Is -3/8 at least as big as c?
True
Let n(z) = -z**3 - 3*z**2 - z - 2. Let d be n(-3). Let b = 2/1403 + 51679/162748. Let t = b - 2/29. Which is greater: d or t?
d
Let t = -5 - -9. Let j = 0 + t. Let r be (6/(-8) - -1)*j. Which is smaller: -2/11 or r?
-2/11
Let r(j) be the third derivative of j**5/60 + 5*j**4/12 + j**3/6 - 4*j**2. Let z be r(-10). Is z less than or equal to 0?
False
Let f(m) = m**3 + 5*m**2 + 5*m - 1. Let c be f(-4). Which is smaller: c or -1?
c
Let h = 4628/3 - 1528. Let u = 214/15 - h. Which is smaller: 1 or u?
u
Let w = 20 + -12. Let x(s) be the first derivative of s**2/2 - 8*s - 1. Let r be x(w). Is 0.1 at most as big as r?
False
Let y = 0.14 + 0.06. Let m = -0.7 + 1. Let g = -0.1 + m. Do y and g have the same value?
True
Let k be (3/19)/((-9)/6). Is -2 at least as big as k?
False
Suppose 0 + 2 = 2*k, 4*g = -2*k - 18. Let p = g + 7. Let t = 35/2 - 16. Does t = p?
False
Let s be ((-224)/220 + (-2)/11)*-10. Which is greater: -0.1 or s?
s
Let g = 15 - 6. Suppose -4*c + g*c = -20. Let m be 1/c - 1/(-1). Which is greater: m or 2?
2
Suppose 0 = -r - 1 - 2. Let f = r + 1. Let n be (10/(-15))/(f/3). Does n = -3/5?
False
Let p = 3 - -5. Let x be p/36 + (-28)/45. Is -1 at most x?
True
Let x = -1 + 3. Let p = x + -4. Suppose 0 = 4*f + 4, -2*o - 2 = -0*o - 4*f. Is p less than or equal to o?
False
Let z be ((-3)/4)/((-24)/(-16)). Are 24 and z nonequal?
True
Let t = -4 + 6. Suppose t*y = 3*y - 1. Let z be ((-10)/(-15))/(10/(-3)). Is z less than or equal to y?
True
Let v = -26 + 17.6. Let p = 7 + v. Let y = p - -0.4. Which is bigger: y or 1?
1
Let n be (-18)/(-16)*(-5)/(-120). Let j = 143/320 - n. Suppose h + 1 = 2. Which is greater: h or j?
h
Let p = 23 + -12. Is 10 smaller than p?
True
Let r(b) = 4*b - 3. Let f be 1/(-4) - 126/(-24). Let p be r(f). Is p less than or equal to 17?
True
Let w = -4 - -5. Let x = -23 + 23.04. Which is bigger: x or w?
w
Let z 