). Let u be -2 + 1/(-1) + d. Let q be (-12)/8*4/u. Which is greater: 1 or q?
q
Let j(x) = 2*x**3 + 10*x**2 - 3*x - 6. Let l be j(-5). Do 47/6 and l have different values?
True
Let y be (3 - (-87)/(-27))/(-1). Suppose -8 = 3*c - 4*p, 4*p - 7 - 1 = 0. Is y smaller than c?
False
Let v be 10 - (10/25)/((-2)/(-10)). Is 7 at most as big as v?
True
Let j = -4 + 8. Suppose 10 = -3*k + j. Is -2 less than k?
False
Let g(a) = -a - 7. Let d = -5 - 0. Let s be g(d). Is -3 less than s?
True
Let u = 2.2 + -0.2. Let p = 2.3 - u. Let o(g) = -g**2 + 1. Let s be o(-1). Is p bigger than s?
True
Let k(r) = 62*r + 4. Let n be k(-5). Let h = 3368/11 + n. Which is smaller: 1 or h?
h
Suppose -n + 16 = -5*c - 0*c, -18 = -2*n + 3*c. Let i = 11 - n. Suppose 0*x = i*x. Which is smaller: 2 or x?
x
Let d be (-7)/21 + 4/30. Is 0.07 equal to d?
False
Suppose -3*k = -4*k. Suppose k = -5*a + 2*a. Which is greater: -1/5 or a?
a
Let r be (-1)/(-3) - (8 + 160/(-24)). Which is smaller: 8/51 or r?
r
Let x = -6 - -5.4. Let m = x - -0.7. Is m less than -9?
False
Let s = -13 - -8. Let c be (2/(-2))/(6 + s). Is c greater than 1/3?
False
Let o be (6/45)/((-33)/15). Is o less than or equal to 1?
True
Let v be (12 + 0)/(-4) + 76. Suppose 3*o - v = -5*r, -4*o - 79 = -5*r - 13. Which is greater: 13 or r?
r
Let v(u) = 5 - u**3 - 2*u - 2*u - 2*u**2 - 2*u**2 + 5*u. Let w be v(-4). Which is smaller: w or -1/38?
-1/38
Let l = -2015 - -48551/24. Let r = l + -8. Which is smaller: r or 0?
r
Let r = 8 + 1. Which is greater: r or 11?
11
Let i(v) = v**2 + 71. Let g be i(0). Let k = 215/3 - g. Let h(x) = x**3 - x**2 - x - 1. Let f be h(2). Is f at least as big as k?
True
Let p = 124 + -2358/19. Do 1 and p have the same value?
False
Let z = 95 + -95. Is z at least as big as -2?
True
Let n be 26/(-6)*444/(-3140). Let d = -4168 - -654378/157. Let f = d - n. Which is greater: f or -1?
f
Suppose 5*c - 58 = 6*c. Let f be c/(-44) + (-18)/12. Let t = 1 + -2. Is t equal to f?
False
Let q = -6 + 12. Let r be q/555*(-10)/(-6). Let s = -68/333 - r. Which is bigger: 1 or s?
1
Let i = -243 - -240. Let q = 0 + -1. Which is smaller: i or q?
i
Let t = 7 + -1. Suppose -3*g + f - 4*f = -t, 0 = -4*g + 5*f + 17. Which is bigger: g or 5?
5
Let o(i) = i**3 + 3*i**2 + 3*i + 1. Let f be (-33)/15 + (-2)/(-10). Let w be o(f). Is w != 1/4?
True
Let g be (-3)/(-6)*(0 + 0). Suppose h = -4*h - 10, -5*c - 20 = 5*h. Are g and c nonequal?
True
Suppose 0*x + 10 = -2*x. Suppose d - l = -0*l - 8, 4*l = -4*d. Is d greater than or equal to x?
True
Let x be 17/39 + (-6)/9. Which is bigger: x or 1?
1
Let d be (-1)/(-15)*-3*(-10)/(-4). Which is smaller: -8 or d?
-8
Let o(l) = -l**2 - 3 + 1 + 0 - 7*l. Suppose 5*x + 15 = 0, 10*i - x = 5*i - 27. Let v be o(i). Which is greater: v or 2?
v
Suppose 5*i - 2*i - 15 = -3*b, -4*b - 2*i + 20 = 0. Let q(u) = -u + 9 + 1 + 2. Let m be q(6). Which is bigger: m or b?
m
Let q(x) = 4 - 5 + 2 - x**3 + x - 4*x**2. Let j be q(-4). Is -3 equal to j?
True
Suppose 0 = -2*m - 3*l - 37, 3*m = -0*m - l - 45. Is -14 at least m?
True
Let j(h) = h**3 + 6*h**2 - 7*h + 3. Let s be j(-7). Suppose 10 = 3*t - 11. Let o = t + -4. Do s and o have the same value?
True
Let j(d) = d**2 - 14*d + 12. Let k be j(12). Let q = k - -14. Which is greater: 1 or q?
q
Let a = -8.7 + 7.7. Is -0.118 < a?
False
Let k = -20 + 11. Is k greater than -9?
False
Let k be (-133)/38*(12/(-14))/3. Let c = 187 + -931/5. Which is smaller: k or c?
c
Suppose 0 = n, 4*d + 20 = -0*n + n. Is d at most as big as -6?
False
Let y = -27640/51 + 542. Which is smaller: y or 1?
y
Let d be ((-6)/12)/(30/(-124)) - 3. Which is greater: -2 or d?
d
Let w(r) = r**2 - 4. Let h be w(-3). Let v(b) be the first derivative of b**4/4 - 4*b**3/3 - 5*b**2/2 - 5*b - 12. Let k be v(h). Is k greater than -4?
False
Let h be ((-9)/6)/(3/4). Let a be 60/2 + (h - -2). Let m be (-3)/2*(-5)/a. Which is smaller: m or -0.1?
-0.1
Let f = 1.6 - 1.5. Which is greater: f or 4?
4
Suppose 4*i = o - 16, -2*i - 8 = -4*o + 2*o. Let k be o/((2 - 3)*1). Is k greater than 0?
False
Suppose 121 = -4*a + 5*n, n + 144 = -5*a - 0*a. Is a greater than or equal to -28?
False
Let g be 2/(-3) - 2/(-3). Let c be (38/1 - 1)/(-2). Let t = 115/6 + c. Which is smaller: g or t?
g
Let z be 22/16 + 6/(-4). Let p = 2 - 1. Which is bigger: z or p?
p
Let x = 43 - 28. Is x <= 15?
True
Suppose a - 2*a - 16 = 0. Let n be (-2)/8 + (-196)/a. Suppose 3*s = -0*s + n. Is 2 at least s?
False
Let c be ((-3)/237)/(-2 + 3). Is 1 not equal to c?
True
Let z = -14.855 + 0.055. Let x = z - -15. Let f = 5 + -5.3. Is x less than or equal to f?
False
Let y = 73 + -91. Does -18 = y?
True
Let w = -2 + 1.9. Let n = w - -0.2. Let q = -5 - -3. Which is greater: n or q?
n
Suppose 0 = -2*l + 8, 2 = 5*o + 2*l - 1. Which is smaller: o or -0.8?
o
Let h = -64/9 + 326/45. Let l(s) = 5*s + 16. Let x(f) = 2*f + 8. Let u(q) = -3*l(q) + 7*x(q). Let t be u(7). Is t at least as big as h?
True
Let o = 38 + -155/4. Suppose -29*x + 34*x + 5 = 0. Are o and x unequal?
True
Let g be 59/(-4) + (-6)/(-8). Which is smaller: g or -15?
-15
Let x be (-26)/(-6)*(-6)/(-4). Which is bigger: 8 or x?
8
Let b = -5 + 7. Let m = -0.5 + 0.7. Is b at most as big as m?
False
Let u = -101 - -148. Is u greater than or equal to 49?
False
Let q = -233/6 - -79441/2046. Which is greater: 1 or q?
1
Let n = 19 + -15. Suppose -5*g + 9 = n. Is -9 < g?
True
Suppose -l = -i - 7, -l - i = -3*l + 17. Let h be l/(-42) - 18/(-27). Suppose -4*o = 5*n - 4, -o + 3*n = 4*n - 1. Are o and h equal?
False
Let o be 48/99 - (-4)/(-6). Suppose -3*m - 3*b = -24, -4*m + 4*b = -b + 4. Suppose -5*h + 2*a - a + 5 = 0, 0 = -4*h - 4*a + m. Is h at most o?
False
Let t = 2.2 + -2.6. Let s be 6/9 + (-28)/6. Let i be (12/63)/(s/(-6)). Which is bigger: t or i?
i
Let n = 9 + -9. Let q be (9/15)/(2 + -3). Is q <= n?
True
Let a be -25 + 5/10*-4. Is -29 != a?
True
Let p = -22 + 21. Is -2 greater than p?
False
Suppose 4*r = 3*r - 8. Is -6 != r?
True
Let f be (-69)/(-21) + 2*-2 + 1. Let n = -5 - -8. Let w be 2/1 - n/1. Which is smaller: w or f?
w
Let y(o) = o**3 - o. Let f be y(-1). Let h = 9/5 - 77/40. Is f smaller than h?
False
Suppose -3*t + 4*r + 109 = 0, -t - r = 3*r - 31. Let c be (-6)/(-10) + 14/t. Is c smaller than 1?
False
Let r be (-36)/208 + (-2)/(-8). Let g = r + -15/26. Let j be ((-2)/10)/(4/10). Is j not equal to g?
False
Let g be (2 - -1)*10/3. Let i be ((-8)/g)/(-4 - 58). Let j = 789/1085 - i. Which is smaller: j or 2?
j
Let o = 19 - -8. Is 27 > o?
False
Let q = -8228/3 + 2780. Let j be (-3 + 2)/(4 - (-596)/(-148)). Let p = j - q. Is p > -0.1?
False
Let h be (-3 - -4)*1/23. Is h >= 0?
True
Suppose -7 = j + 2*q + 6, 57 = -5*j - 2*q. Let o = -14 - j. Is -1 bigger than o?
True
Let o = 629/4 + -158. Which is smaller: o or -2?
-2
Let j = 0.6 - -0.4. Is -0.022 bigger than j?
False
Let x = 476/15 + -209/60. Let g = x - 28. Which is smaller: 1 or g?
g
Let u = 39.1 - 39. Which is bigger: -2/9 or u?
u
Let b be 9/(-21)*(-4)/6. Suppose -2*q + a + 2*a - 15 = 0, -2*a + 10 = -2*q. Suppose q = -3*d - 0*d + 3. Is b less than d?
True
Let u = 16 + -8. Let y be (-40)/(-91) + u/(-28). Is y equal to -1?
False
Let y be ((-2)/(-6))/((-6)/90). Let o = y - -5. Is -1/3 > o?
False
Let v(z) = 4*z**2 - 5*z - z - 3*z**2. Let b be v(6). Which is smaller: b or -2?
-2
Let k = -9 - -11. Are 5/3 and k nonequal?
True
Let x = 0.8 + -19.8. Let l = -18 - x. Is -5 equal to l?
False
Suppose 5*u - k = -2, -5*k + 0 - 15 = 0. Suppose 0 = 3*r - 0*r + 21. Let w = r - -5. Which is smaller: u or w?
w
Suppose -3*s - 2*z = -0*s, 4*z = 0. Let d be (-12)/(-3) + -5 + (-4)/(-5). Which is bigger: d or s?
s
Let f(z) = z**3 + 2*z**2 - 2. Let c be f(2). Suppose -4*a = -c + 6. Which is smaller: a or 1?
1
Suppose -4*z - z = -75. Let h = -21 + z. Let q be 1/(-5)*(-15)/h. Are 0 and q equal?
False
Let q(a) = a**2 - 7*a - 1. Let n be q(8). Let j = n + -8. Let m = -4 + 3. Is j at most m?
True
Let y = -1196/9 - -133. Let q = -1 + 5. Suppose 0 = 2*a - q*m - 18, -4*a - 16 = -0*m + 5*m. Is a at least y?
True
Let q = 8 - 7. Let w(n) = -n**2 + 5*n + 1. Let a be w(4). Suppose 0 = -a*k - 5*m, -5*k - m + 8 - 4 = 0. Is q > k?
False
Let y = 22 - 14. Let f = y - 6. Which is bigger: f or -0.3?
f
Let n(p) = p**3 - p**2 - 2*p - 1. Let d be n(2). Let i be 3*d/((-2)/2). Let l be (-2)/7 +