r: q or 2?
2
Let b = -454 + 3637/8. Let t = -43 - -345/8. Let l = t - b. Is -1 at most l?
True
Let m(j) = 2*j**3 - j**2 - 2*j - 1. Let c be m(2). Is 7 != c?
False
Let i(y) = y**3 - 5*y**2 - 2*y + 6. Let p be i(7). Let s = -452/5 + p. Is -1 > s?
False
Let k be (5 - 4) + (1 - 1). Let d = 181877/6 - 30228. Let s = d - 85. Which is greater: s or k?
k
Let q(h) = -2*h**3 + 4*h + 3. Let y be q(-2). Suppose 10*s = 25*s - 180. Which is smaller: s or y?
y
Let u = 35 + -48. Are -3/7 and u unequal?
True
Let t be -3 - -4 - -1*2. Suppose 6*c + t = 3*c. Let g = 3/121 - 505/847. Is g less than or equal to c?
False
Let o(x) = x - 4. Let k be o(11). Let i = 8 - k. Is -1 greater than i?
False
Let h be (-1)/(-2) - 35/(-10). Let m(l) = l**2 + 3*l**2 - h*l - 2*l + 1 + 5*l. Let b be m(1). Which is smaller: 2 or b?
2
Let h = -95 - -91. Which is greater: 4 or h?
4
Let k = 1.4 + -4.4. Is k greater than -10?
True
Let k be -1*4/10*(2 - 7). Are k and 7 non-equal?
True
Let h be 4/177*1/(-2). Is h less than or equal to 1?
True
Let w be 8/(-4)*(-1 - 0). Let p be w/30*(-6 - -9). Which is bigger: 1 or p?
1
Suppose -2*j - 3*j - 5 = 0. Which is bigger: j or 3/16?
3/16
Let p be -3 + 3 + 300/10. Which is bigger: 31 or p?
31
Let d be (3 - (8 + -4)) + (-2)/2. Which is smaller: 1 or d?
d
Let a be (-294)/(-24)*2/(-1). Let y = a + 24. Are y and -1 unequal?
True
Let h(c) = -c**3 + 3*c**2 + c - 4. Let y be h(3). Let p(v) = v**2 - 6*v + 6. Let i be p(4). Which is smaller: y or i?
i
Let l = 8 + -5. Let s(r) = r + 1. Suppose 4*z + 1 = 5*j - 9, 0 = -2*j + 4. Let c be s(z). Which is greater: c or l?
l
Let v be 4/6 - (-3)/9. Which is smaller: 1/10 or v?
1/10
Let j be ((-16)/40)/((-1)/5). Do 0 and j have different values?
True
Let s(n) = 2*n**2 + 4*n + 4. Let p be s(-4). Suppose -8 = 2*y - p. Let j(u) = u - 8. Let t be j(y). Is t > -2?
False
Let g = 1 - 1. Let d = 18 + -11. Suppose g = -d*o + 3*o. Which is bigger: o or -1/2?
o
Let i = 520 - 2613/5. Which is smaller: -2/7 or i?
i
Suppose 0 = -2*n + 6*n - 2*t, 0 = -t. Do -3/10 and n have different values?
True
Suppose -2 = -5*z + 3. Let x be (-3 + 4 + -1)/z. Is 15 at least as big as x?
True
Let w be -2 + (7 - 4) - 1. Is w at most as big as 2/7?
True
Let o = 2.34 + 0.76. Let w = o + -3. Is -1/7 >= w?
False
Let u be 2/(-9) + 28/(-36). Suppose r + 4*r - 2*c - 5 = 0, -5*c - 30 = 5*r. Is u bigger than r?
False
Let b be (-17)/34 - (0 + 3/(-2)). Is -3/38 != b?
True
Let x = -0.1 - -4.1. Let t = x + -3. Let q = 1 - t. Is q less than -3?
False
Let l be (22/55)/((-26)/(-10)). Is 0.3 != l?
True
Let f be (7/(-21))/(1/(-3)). Which is greater: -2/23 or f?
f
Let j be 2/7 + 10/14. Let f = 0.64 - 1. Let p = f + 0.06. Does p = j?
False
Let f be -24 - -22 - 112/(-55). Which is greater: f or -1?
f
Suppose 3*i - 5*i + 4*s - 32 = 0, 5*s - 28 = i. Let z be (-2)/(-7) - 40/(-7). Let h be ((-4)/z)/(i/36). Is 7/4 less than h?
True
Let l = -0.27 + -0.03. Let z = -0.1 + 0.2. Does l = z?
False
Let a be (-39)/(-9) + 6/9. Let r = -5 - -7. Suppose -a*d = -r*d + 9. Is -3 >= d?
True
Let b = 51 + -52. Let j be 3/9*6/11. Are b and j nonequal?
True
Let n = -5 + 17. Let z be -5 + 3 - -2 - n. Let w be ((-2)/(-2))/(2/z). Which is bigger: -5 or w?
-5
Let d be 35/273 + 2/6. Is 1 at most as big as d?
False
Let p be ((-21)/18)/(6/(-6)). Which is smaller: 0 or p?
0
Let b = -38/3 + 13. Suppose 3*o - 6 = 2*o. Let a = 6 - o. Is a greater than b?
False
Suppose -5*x - 4*g = -4, 4*g = -x - 2*x + 4. Let w(q) = -7*q**3 + q**2 - q - 1. Let a be w(-1). Suppose -4*l + 0 = -a. Is x less than l?
True
Suppose 0 = -3*r - b + 3 + 12, 5*r = 5*b + 5. Suppose 0 = -0*q - r*q. Let u be 34/24 - 2/8. Is u equal to q?
False
Let i = -0.04 - -0.05. Let n = -0.2 + 0.3. Is n less than i?
False
Let y be (2/(-3))/(2/9). Let s = -8 + 2. Let k be y/s*1*1. Which is smaller: -0.3 or k?
-0.3
Let x = -1 - -1. Suppose 5*h + 0*h = x. Suppose 0 = -n - h - 2. Is -3 equal to n?
False
Suppose w + 3*l = -12, -7*w = -2*w - 5*l + 20. Let t be -3 - (3 + w + -2). Let p be 1 - 0 - 0/(-2). Which is bigger: t or p?
t
Let n(r) = 2*r**2 + 3*r + 5. Let p be n(-2). Suppose 4*m - p = -3. Which is greater: -15 or m?
m
Suppose -23 = -5*s + 4*r - 7, -2*s + 12 = -3*r. Suppose s = -5*l + 5 - 0. Which is bigger: -2/5 or l?
l
Let i be 1*2/8*20. Let d(p) = p**3 - 5*p**2 + 3*p - 6. Let a be d(i). Is a bigger than 9?
False
Let c(j) = -7*j**2 + 6. Let g(v) = -15*v**2 - v + 13. Let z(y) = 13*c(y) - 6*g(y). Let r be z(6). Which is greater: -1 or r?
r
Let b = -3 + 1. Suppose -3*z = -10 + 4. Suppose 4*h - z = 2. Which is greater: b or h?
h
Suppose 0 = -h - p - 29, -3*h - 4*p = -19 + 103. Which is greater: h or -31?
-31
Let s be (-1)/(1 + 0/(-4)). Is s at most as big as -1?
True
Let t(r) = -2*r**3 - 1 + 5*r + 3*r**3 + 6*r**2 + 0*r**3. Let p be t(-5). Let k be -1*(-4)/3 - 2. Is k at least as big as p?
True
Let t = -3 + 5. Let w = -2.96 + -0.04. Let u = w + 4. Are t and u non-equal?
True
Let t = -78 - -77.6. Is -1/5 equal to t?
False
Suppose 0 = 12*f - 235 + 19. Is f at most as big as 15?
False
Let p(j) = -j**2 + 6*j - 6. Let h be p(5). Let m = 40 + -199/5. Is h greater than m?
False
Let i be (-10)/(-4)*(-156)/(-715). Is 2 bigger than i?
True
Suppose 0 = 3*q + 4*h + 16 - 1, 2*h + 6 = 0. Let u = q + 1. Is -1/2 greater than u?
False
Let c = 50 + -252/5. Is c equal to 1?
False
Let l = -9.9 - -11. Let z = -1.5 - l. Let n = z + 0.6. Is 2 at most as big as n?
False
Let r(l) = -3*l + 2. Let f be r(1). Let c be (-4)/(-10) + 4/(-10). Is f >= c?
False
Let r be 8/(-10)*35/49. Are -10 and r nonequal?
True
Suppose 5*a - z = 0, z = -2*a + 3*z. Let r(t) = t - 1. Let x be r(5). Let d be (x/42)/(12/18). Is a < d?
True
Let u be (-4)/(-16) - (-2)/(-8). Are u and -2/43 non-equal?
True
Let l = -4/145 + 3/290. Which is smaller: l or 0?
l
Suppose 4*w + 69 = -3. Let l = w - -55/3. Which is greater: l or -1?
l
Suppose -2*k + k - 14 = 2*s, 0 = k + 3*s + 17. Let q = k - -13. Suppose z = -3*t - 8, q*t = z - 31 + 7. Which is smaller: z or 3?
3
Let m = -6 + 4. Let t be m/8 - 3/4. Which is bigger: 0.2 or t?
0.2
Let y be (0 - (0 + 1))*1. Let l be 0 + -1 + y/(-1). Suppose -j + 2*j = l. Is j less than -5/6?
False
Let y = 9 + 1. Suppose y*h = 4*h - 36. Are h and -7 non-equal?
True
Let f = 0.2 - 0.4. Is 1/2 less than or equal to f?
False
Suppose w = -4*j + 2, -4*w + 4*j - 57 = -5. Let k = -10 + 0. Are w and k nonequal?
False
Let t be (-1 - 1)*2/(-4). Let d be 1/(-7) + ((-1971)/315 - -7). Is t bigger than d?
True
Suppose s - 22 = 3*q + 3*s, -4*s + 16 = 0. Let f be (-8)/q*4/(-16). Is f equal to -1/2?
False
Let q = -96 + 95. Let z(f) = f + 5. Let t be z(-6). Does t = q?
True
Suppose 4*k - 2*k - 6 = 0. Suppose 3*f - 2*f + 2*d - 2 = 0, 4*f - 3*d = -14. Let a = k - f. Which is bigger: a or 4?
a
Let x be 1*(-7)/(14/(-12)). Suppose x*b = b + 15. Is b at least as big as 3?
True
Let j = 388 - 4265/11. Is -1 <= j?
True
Let k be 1/(-4) - 2/(-8). Which is smaller: 2 or k?
k
Let t = -67 + 67. Which is smaller: -2/9 or t?
-2/9
Suppose 0 = 2*i - 0 + 2. Let b be (-9)/6*i/3. Suppose 3*k = 6 - 0. Which is bigger: k or b?
k
Let a be ((-1)/3)/(2/(-66)). Suppose 5*h = -9 + 4, -2*h - 62 = -5*i. Is i < a?
False
Let h = 5 - 4.94. Let t = 0.03 - h. Let s = 0.23 + t. Does s = -0.1?
False
Suppose 2*c + 4 = 0, -t - 4*t = 5*c. Which is smaller: t or 4/5?
4/5
Let j be 4 - (-7)/(-1) - -1. Let g(c) = c**2 + 7*c + 7. Let a be (-6 - -1) + 0 + 0. Let s be g(a). Is j less than s?
False
Suppose 3*b = -7 + 1, 14 = -4*a - 3*b. Let o = -10.2 - -10. Which is smaller: o or a?
a
Let a be 11/(-2) + 18/12. Let u be -19 + (-7)/((-7)/a). Which is greater: u or -22?
-22
Let s be (-12088)/18133 + (-4)/(-6). Let p = -22901993/380793 + s. Let h = 60 + p. Which is bigger: 0 or h?
0
Let l = -96 + 103. Is l at most as big as 47/6?
True
Suppose 3*c + 9 = 0, 3*q + c - 24 = 5*c. Let a be (2/(-4))/((-2)/(-84)). Let j be (-4)/(-14) + (-78)/a. Is j not equal to q?
False
Suppose 6 = 4*g + 3*p, 4*g + 8 = 2*g + 4*p. Let k = 6.73 + -0.73. Are k and g unequal?
True
Let p = -84 - -418/5. Do -0.3 and p have different values?
True
Suppose -10 = 5*w, -5*q - 2*w + 125 = 3*w. Let h be 6/q + (-4)/18. Which is greater: 2/15 or h?
2/15
Suppose 5*h - 51 - 87 = -4*t, 2*h - 58 = -3*t. Is 26 < h?
False
Let v = 6 + -8. Let f = 3 + v. Let h = f + -2. Which is smaller: h or 