 + q. Is l at most b?
False
Let r = -7823/150514 + -7/827. Let f = r - -9/26. Suppose u = -4*p - 9, -u = -3*p - 4*u - 18. Which is smaller: p or f?
p
Suppose 2*s - 12 = h, -5*s + 2*h + 20 = -2*s. Suppose 0*b - 8 = s*b. Which is smaller: b or 2?
b
Let j = -0.07 + 0.12. Let h = -0.05 - j. Is h >= -0.2?
True
Let f = 8 - 16. Let a be -3 - -4 - (-18)/f. Are -2 and a unequal?
True
Let x be (-14)/(-35) - (-94)/(-10). Is -9 greater than or equal to x?
True
Let j = -3.8 + 2.5. Let f = -1 - j. Let u = f + -0.3. Is 0.2 less than or equal to u?
False
Let l = -31 - -34. Is l > 5?
False
Let s = -2/491 - -1978/3437. Let j = -0.5 + 0.1. Are s and j unequal?
True
Let f(m) = -9*m**3 + 6 + 10*m**3 + m**2 + m + 7*m**2. Let a be f(-8). Let u be (1 - 2)*(-2 + 4). Is u at least a?
True
Suppose 5*f = 5*m + 30, -20 = -0*f - 5*f + 3*m. Let s be 2/(-6) - (-49)/21. Is s greater than or equal to f?
True
Suppose 0 = -4*p - 7*p + 154. Which is bigger: p or 12?
p
Let c be (-4 - -5)/((-3)/6). Let i = 0.1 + -0.1. Is c at most as big as i?
True
Let d = 8 + -6. Let l be 1196/(-24) - (-4 + d). Let n = l + 48. Is 0 greater than n?
False
Let m(d) = d**3 - 2*d**2 + 1. Let s(b) = 3*b**2 + 2*b - 1. Let l be s(1). Suppose l = 3*w + w. Let n be m(w). Is n < -3/4?
False
Let i = 6/53 + 1076/795. Let n = 28/15 - i. Suppose d - 2*d = -1. Which is greater: n or d?
d
Let a = 0.4 + -0.44. Let w be -9 - -12 - 7/3. Is a != w?
True
Let b = 637/22 - 30287/154. Let q = -236 + 404. Let t = q + b. Is 1/2 greater than t?
True
Let b be (-4*2)/(-2) + -1. Let r = b + 0. Suppose -s = -r*s + 4. Is s greater than 4?
False
Let n be (-3)/(-1)*1/3. Let l be (0 + 0)/(-1*n). Let q = 1/3 - -1/6. Is q at most l?
False
Let d be ((-63)/28)/(2/(-8)). Let w be (3/d)/(2/(-3)). Which is bigger: 0 or w?
0
Let w(l) = l**3 + 6*l**2 - 7*l + 6. Let i be w(-7). Suppose -2*k = -i, -4*g - 4*k + 37 = g. Suppose -2*t = -g*y + t - 2, 3*y - 2*t + 2 = 0. Is 2 <= y?
True
Suppose 24 + 108 = 3*k. Let a be ((-6)/20)/((-33)/k). Let t(c) = -c - 6. Let h be t(-6). Is a < h?
False
Let d = -1.5 + 0.8. Let a = -0.73 - d. Let w = a + 3.03. Which is greater: w or -0.1?
w
Let b(y) = -2*y**3 - y**2 + 2*y. Let u be b(1). Let v be 1 + 16/(-10) - 0. Which is smaller: u or v?
u
Let z be (-15)/6 + (-3)/(-6). Which is greater: 1 or z?
1
Let c = -8.03 + 0.03. Let w = 8.6 + c. Let u = 4.6 - w. Are -2/5 and u nonequal?
True
Suppose 0 = -l - 9*m + 12*m - 3, 3*l - 5*m = -29. Which is smaller: -1 or l?
l
Let a = 0.01 - 0.01. Let x = 0.05 + a. Which is bigger: 2/5 or x?
2/5
Let f be 94/(-4) - (-39)/26. Let u be 3/9 - f/6. Does u = 4?
True
Let q = -0.02 - 0.08. Let z = 2.877 - -0.023. Let y = z - 3. Is q at least y?
True
Let o = -385/3 + 183. Let q = -54 + o. Is 3 > q?
True
Suppose -6*u = -u + 5. Let v = -41 + 5. Let n be v/77 - (-18)/63. Is n > u?
True
Let b = -5 - -4. Is 23 smaller than b?
False
Let z = 13 + -11. Let m be (z + 1)/(-3) - -19. Is m smaller than 17?
False
Let u = -1/181 + 201/3620. Is 1 <= u?
False
Suppose 0 = -36*c + 38*c - 4. Is c >= 16/13?
True
Let n be 3/6*-1*2. Let z be (2 + n)/((-1)/1). Is z greater than 0?
False
Let i = 3 + -7. Let f be (i/3)/((-56)/12). Are f and 0.4 nonequal?
True
Let s = -0.022 - -1.022. Is -1 greater than s?
False
Suppose -2 = 5*u + 3. Suppose -3*v + 3 = -3. Let j be 6/2*v/(-6). Is j bigger than u?
False
Let j = -0.3 - -0.2. Suppose 4*s + 9 = 13. Suppose s = -z, -u + 17 = u + z. Is u at least as big as j?
True
Suppose -2*w + 5 - 25 = 4*u, 0 = -3*u + 3*w - 24. Which is bigger: u or -5?
-5
Suppose 5*p = 3 + 7. Suppose -3*b + p*h = -19, 6*h + 8 = 2*h. Are 4 and b equal?
False
Let b = -56 + 55. Let u = 1.97 - 2. Which is smaller: u or b?
b
Let d be (21/(-2))/(15/(-20)). Are 14 and d equal?
True
Let s = -13 - -20. Let y = s + -13. Let z be -1 + 0 - (y + 4). Is 0 less than z?
True
Suppose 2*t = 12 - 2. Let v be (-3)/t - (-2)/5. Which is smaller: v or 2?
v
Let p = -25/6 - -9/2. Suppose 2 = -3*g - 1. Which is smaller: g or p?
g
Let l(v) = -v**2 + 14*v + 17. Suppose 0*k = -2*k + 26. Let n(m) = -2*m**2 + 29*m + 35. Let q(j) = k*l(j) - 6*n(j). Let s be q(9). Which is smaller: s or 1?
1
Let f = 13 - 9. Let y = -1.116 - -0.116. Which is smaller: y or f?
y
Suppose -z - 58 = -562. Let l be (z/250 - 2)*5. Is l smaller than -1?
False
Let g = -65 - -67. Let y = -0.1 + 0. Is y less than or equal to g?
True
Suppose 8*s - 7 = s. Is -3 less than s?
True
Let a(c) = 5*c**2 - 2*c. Let g be a(-2). Let k be (g/5)/((-12)/40). Is -16 at least k?
True
Let s(n) = n + 2. Suppose -20 = 4*u + u. Let a be s(u). Let f be a/8 + (-17)/(-36). Is f < -1?
False
Let v be (-36)/(-10) - (-4)/10. Suppose 2*g - 2*u + 2 = 2*u, -2*u - 2 = -2*g. Which is smaller: g or v?
g
Let u = -0.3 + 2.3. Let o = -20 + 20.2. Are o and u nonequal?
True
Let y be ((-6)/4)/((-1)/16). Let m be 4/18 + (-2541)/(-108). Let o = y - m. Do o and -2 have different values?
True
Let a = 0.16 + -0.2. Let p = 0.21 - 0.01. Which is smaller: a or p?
a
Let j(m) = 4*m**2 + 3*m - 4. Let n be j(-3). Is 23 less than n?
False
Suppose -3 - 7 = -5*c. Suppose b - k = 8, c*b + 2*k = -3 + 15. Which is greater: b or 8?
8
Let t(u) = u**2 + 6*u + 6. Suppose 6*r = 7*r + 5. Let d be t(r). Is 1 greater than d?
False
Let w = 72 - 69. Which is smaller: -9 or w?
-9
Let v(n) = -n + 3. Let l be v(7). Let h(o) = -o + 1. Suppose -10 = -5*i + 5. Let j be h(i). Which is smaller: j or l?
l
Suppose 3*i + 2*i = 0. Let d be (-1)/2*(-266)/(-7). Let g = d - -55/3. Which is bigger: i or g?
i
Let m be 0/7*(-4)/(-8). Let j be -2 + 2 + (-4 - -3). Which is bigger: m or j?
m
Suppose -g = 2*g + d, -2*d = 0. Which is bigger: g or -13?
g
Suppose 0 = 3*w - 0*w + 6. Let m = -4 + w. Let n be ((-2)/6)/((-3)/m). Which is greater: -2 or n?
n
Let k be (10/28)/(5/(-100)). Is k less than or equal to -6?
True
Let r(v) = -v + 4. Let q be r(-4). Let i be 30/56 - q/28. Which is greater: -0.7 or i?
i
Suppose -z = z. Suppose 360 - 72 = -4*x. Let v be 2/x*2*-4. Is v at most z?
False
Let h(f) = -f - 4. Let s be h(-6). Suppose -s*j = 3*d - 7*j + 15, 26 = -2*d - 2*j. Which is smaller: -17/2 or d?
d
Let y = 0.042 - -3.958. Which is smaller: y or 9?
y
Suppose 18 = -5*g + 43. Let d = 11 - g. Is 6 greater than d?
False
Let b = 5 + 4. Does 10 = b?
False
Let u be (22 + -22)*(0 + 1). Is u != -1/40?
True
Let p = -30 - -31. Let l be 4/(-26) - 0/1. Is p > l?
True
Suppose 0 = -17*c + 11 - 11. Let u = 0.4 - -1.6. Which is bigger: u or c?
u
Let u be 0 + (-69)/12*-6. Let r = u + -37. Is 0 less than r?
False
Let p = -58 + 59. Which is smaller: -1 or p?
-1
Let t = -4141/8 + 517. Is -1 >= t?
False
Suppose 0 = 3*j + 5*f - 8, 0 = -5*j - 4*f + 1 + 8. Let n be (-3)/(-3) - j - -12. Let l be -2*(-2)/n*-3. Is l at least -1?
True
Suppose -5*b + 6 = -9. Let r be (0 - 0)*(b + -2). Which is bigger: 2 or r?
2
Let f = 3 - 3.1. Let x = -0.9 + f. Let h = 3 + x. Is 2/3 at least h?
False
Let p(j) = j**2 + 4*j. Let v be p(-5). Suppose v*w = -5 + 15. Suppose -2*q + 4 = -4*u, 5*q + 2*u + 12 + w = 0. Which is bigger: 2 or q?
2
Let n be 1 + (-1 - 2/2). Suppose l + 2*h = -3*h - 2, -5*h = 0. Which is smaller: l or n?
l
Let p = -2 - 6. Let j be (8/240)/((-2)/p). Is 1 greater than or equal to j?
True
Suppose -2 = -3*j + 7. Let c = -350 - -353. Is c < j?
False
Let o be ((-4)/(-3))/(42/(-27)). Suppose -4*k + 12 = -5*v, 18 = -4*k - 4*v - 6. Is o at most k?
False
Suppose 10*g = 5*g - 5. Is -18/11 bigger than g?
False
Let f = 98 - 98. Does -9/17 = f?
False
Let t = 0 - -2. Suppose 5*k - m = 4*k + 12, 2*k - 5*m - 33 = 0. Suppose 3*l + n - k = l, 2*l = n - 1. Is t less than l?
False
Let v(r) = -3*r + 32. Let n(d) = -d + 11. Let z(b) = -8*n(b) + 3*v(b). Let w be z(5). Let s = -75/2 - -39. Are w and s unequal?
True
Let h be 6 - (1 + 7)/4. Suppose l + h = -l. Let s = -3 + 3. Does s = l?
False
Suppose 0 = 2*c + 40 - 38. Is 1 less than or equal to c?
False
Let d = 33 + 15. Is 47 >= d?
False
Let w be 218/(-90) + (-6)/(-27). Let p = 17/10 + w. Is p equal to 0?
False
Let b = -11 - -19. Is b < 8?
False
Suppose 0 = -5*k - 2*u - 2*u + 8, 3*u = 2*k + 6. Are k and 1/71 equal?
False
Suppose 2*n - 4*n = 4. Let p be 31/2 + (-1)/n. Let h be p/6 - 2*1. Is -2/5 less than or equal to h?
True
Let n be 1 + (-1 - (-4)/(-13)). Which is smaller: -1/4 or n?
n
Let t(h) = -h - 8. Let n(i) = -i - 3. Let c be n(4). Let f be t(c)