ual?
True
Let r(n) = n + 3. Let g be r(-4). Let s be (g/(-2))/((-2)/8). Let o(u) = u**2 - 10*u + 6. Let t be o(9). Are s and t non-equal?
True
Let h be (0/1)/(7 - 6). Is h at most -2/89?
False
Let y = 3.2 - 3.1. Let z(g) = -g - 1. Let x be z(-3). Let f be x/(-6) - 22/(-30). Is y less than f?
True
Let y = 23/2 + -119/10. Let z be 1 + (-2*1)/2. Suppose 0*i - 5*i + 5 = z. Which is smaller: y or i?
y
Let i = -45 - -72. Is i <= 27?
True
Let r = -16 - -26. Let d = 13 - r. Is d smaller than 3?
False
Let j = -34 + 34. Is j not equal to 2?
True
Let q = 30 - 17. Suppose 0 = 2*r + 5*l - 44, 2 = r - 4*l + 6. Which is smaller: r or q?
r
Let p(a) = -4*a + 12. Let n be p(8). Which is bigger: n or -19?
-19
Let q = 68 - 18. Suppose 5*l - 5*i + q = 0, 0 = -0*i - i. Which is smaller: -11 or l?
-11
Let f = 0 + -1. Let q be -1*((-20)/28 + 1). Is q equal to f?
False
Let t = 46 + -64. Are 0.1 and t equal?
False
Let z be 4/(-18) + (-98)/126. Let t(j) = j**3 - 6*j**2 - 2*j + 9. Let c(v) = -v**2 + 6*v + 1. Let f be c(5). Let m be t(f). Which is greater: m or z?
z
Suppose 0*h - 5 = -c + h, 0 = 3*c - 4*h - 15. Suppose 2 + 3 = c*g. Is g smaller than 2/3?
False
Let l be (-535)/(-35) + (-2)/7. Suppose 5*t - l = 2*t. Suppose 0*b - 5*b - 3*z = 7, -2*z = -t*b + 13. Is b at most as big as -0.7?
False
Let b = -45.31 - -45. Let v = -0.11 - b. Is v less than -1/3?
False
Let j = 62424/7 + -8939. Let a = j - -21. Is -2/7 at least a?
True
Let m = 65 + -66. Which is bigger: m or 2/37?
2/37
Let c be (-615)/(-216) + (-9)/6. Let o = 9/8 - c. Is o greater than or equal to 1?
False
Let r = -13 + 21. Let s = 7 - r. Is s greater than or equal to -1/2?
False
Let k = -3 + 13. Let x = 9 - k. Which is bigger: -0.01 or x?
-0.01
Let b be ((-5)/2)/(1/2). Suppose 0 = 5*g + 33 - 3. Which is greater: b or g?
b
Let w = 9/35 + 6/35. Suppose 0 = g - 2*c - 8, -g - 2*c - 16 = -4*g. Let n be (g - 25/6)*-6. Which is bigger: n or w?
n
Suppose -4 = -2*s - 2*s, 5*t = 3*s + 2. Which is bigger: t or 2/23?
t
Suppose 14*l = 9*l + 5. Suppose -4*d + 0*j + 2 = 2*j, 2*d - 5*j + 5 = 0. Is d >= l?
False
Suppose 24 = -2*d + 2*k - 34, -5*d - 148 = -2*k. Is d greater than or equal to -30?
True
Let w(n) = -2*n**3 + 3*n + 2. Let f be w(-2). Suppose f = 4*g + 4. Let c = -3 + g. Which is smaller: c or -2?
-2
Let o = 1033/8 - 130. Is o at least as big as -1?
True
Let s be ((-1)/2)/((-56)/14). Which is smaller: s or 0?
0
Let z be (0 - 1)*25/35. Let g(y) = -y - 3. Let x be g(-2). Does z = x?
False
Let x = 144 + -158.8. Let p = -18 - x. Let z = -3 - p. Which is smaller: z or 1?
z
Let q be ((-16)/6)/(7/((-21)/(-2))). Let h = -219/86 + 2/43. Is q bigger than h?
False
Suppose -p + 15 = 4*p, -3*s = -3*p - 48. Is 19 <= s?
True
Let r = 104 - 111. Which is bigger: -10 or r?
r
Let b be 3*5/(30/(-4)). Let k be 0/(b - (-2)/2). Let u = -1 + k. Which is bigger: 2/19 or u?
2/19
Let c = 3214/5 + -647. Is -4 >= c?
True
Let y = -32 + 36. Is -4 greater than or equal to y?
False
Let s(w) = -3*w + 3. Let v be s(5). Let y = v + -7. Let z be 3/18 - y/30. Is 0 at most z?
True
Let m(f) = f**3 - f**2 - 9*f + 5. Let i be m(4). Which is smaller: 16 or i?
16
Let j be 4/(-6) - (-1)/3. Let x be 2/1 + (1 - 3). Suppose x = 2*r - 0*r - 4. Are j and r non-equal?
True
Let y(b) = -2*b + b + 3*b**3 - 2*b**3 - b**2. Let p be y(0). Is -1/2 greater than p?
False
Let m be 96/7 + 4/14. Let v be (1 + 0)/((-49)/m). Are 1 and v unequal?
True
Let q = -49 + 26. Which is smaller: q or -1/2?
q
Suppose -q = -0*q + 38. Let d be q/(-21) + 3 + -5. Let r = 2/21 - d. Is 1 smaller than r?
False
Let j = -6 - -4. Let r = -1140 - -1137. Are r and j equal?
False
Suppose 194 = 3*g - 211. Let a = g + -673/5. Which is smaller: a or 1?
a
Let p(t) = 2*t + 5. Let y be p(-4). Which is bigger: y or -11/5?
-11/5
Suppose r = 3*r + 20. Which is smaller: -8 or r?
r
Suppose -t = t + 5*a + 20, -3*t - 2*a = 8. Suppose 4*d - 2*b + 24 = t, -4*b + 33 = -5*d - 0*b. Is d greater than or equal to -4?
False
Let l = -0.09 + 4.09. Is l <= -1?
False
Let u = 3.9 - 3. Let k = 0.1 + u. Let j = 2 - k. Which is smaller: -0.1 or j?
-0.1
Let q(r) = r - 8. Let f be q(7). Let p = 0 + f. Let o = 5 + -4. Which is smaller: p or o?
p
Let g = -8503/9 + 986273/1044. Let t = -1/348 - g. Which is greater: t or 1?
1
Let k(o) = o + 7. Let s be k(4). Suppose w - 2*i - s = -7*i, 0 = w + i + 9. Is w < -13?
True
Let j(o) = 3*o - 97. Let z be j(-8). Is z smaller than -121?
False
Let n(d) = d**2 + 7*d - 8. Let i be n(-8). Suppose i = -5*m + m - 4*v + 20, 2*m = v + 10. Which is smaller: m or -1?
-1
Suppose q + 33 = 4*y, -3*y + 4*q = 2*q - 26. Suppose -5*t = -t - y. Is 5/8 at least as big as t?
False
Suppose 8*z = -72 - 128. Let o = -22 - z. Which is greater: 5 or o?
5
Suppose -4*g + 3*q + 53 = 12, g + 7 = -5*q. Is 7 smaller than g?
True
Suppose -p = -10 + 8. Let f be ((-12)/(-8) - p)*-2. Is 3/8 less than f?
True
Let c = -1 + 1. Let w = 2.1 + -2. Let q = w - c. Are q and -0.3 unequal?
True
Let t = 45 + -42.9. Are -0.2 and t nonequal?
True
Let r = -0.06 + -0.64. Let k = -1.3 - -1.6. Let o = k - r. Do o and -4 have the same value?
False
Let g = -176.94 + 179. Let y = g + -0.06. Which is smaller: y or -8?
-8
Suppose i = p + 6, -6*p + 3*p = 4*i - 52. Suppose -4*a - 14 = -3*r - 7, -4*a = 16. Let j be (i/15)/(1/r). Is j at least as big as -1?
False
Let s be (-6)/(-39) + (-48)/(-26). Which is smaller: s or 12/5?
s
Let w = 0.2 + -0.3. Let i = 10.1 + -10. Let b = w + i. Which is smaller: 2 or b?
b
Suppose 0 = -2*t - 5*v + 16, 3*t + 3 - 2 = 5*v. Is t smaller than -6?
False
Let q(n) = n**3 + 5*n**2 + 4*n - 2. Let s be q(-4). Let o be (-21)/6 - (-4)/2. Is o greater than or equal to s?
True
Suppose 13 = -5*m - 37. Is m bigger than -10?
False
Let c(b) = b**2 - 8*b + 9. Let k be c(8). Suppose 0 = 2*d - k + 33. Is d at most as big as -12?
True
Let s = 14 + -11. Suppose -s = -2*m + 9. Is 5 bigger than m?
False
Suppose -5*r = -3 - 17. Suppose -r*j + 4*b = -12, 3*j + 3*b - 1 + 4 = 0. Let t be (0 - 2) + 0 + 5. Which is greater: t or j?
t
Suppose 2*c - 1 = 5*q, 0 = 3*q + c - 0 - 6. Which is smaller: 0 or q?
0
Suppose 0*l - 3 = 4*l - 5*z, 0 = 4*l + 5*z + 53. Which is smaller: -6 or l?
l
Suppose -3*y - 5 = -8. Which is greater: -2/39 or y?
y
Suppose -h + 2 = -1. Suppose r + h*j + j - 11 = 0, j - 8 = 5*r. Let v = 2 + r. Which is greater: v or 4?
4
Let c = 0 + 2. Let f be (-2)/(-14) + 8/(-56). Is c less than f?
False
Let k = -0.4 + 1.4. Which is smaller: 1/4 or k?
1/4
Suppose -3*f = 3*i + 15, 6*i = i + 3*f - 1. Which is greater: 0.3 or i?
0.3
Let c be 2/5 + 1440/(-50). Let s be 1 - (0 - (-144)/5). Let m = c - s. Is m at most as big as -2?
False
Let d be (-1)/(7 - 4 - 2). Which is smaller: 2/49 or d?
d
Let o = 2 + -3. Let u be (-15)/(-5) + 1 + 1. Let r(c) = -c**2 + 6*c - 6. Let m be r(u). Is m >= o?
True
Let u = 1 + -2. Let h be (-38)/(-10) + u/(-5). Suppose 3*w = 3*t, -4*t - h = -w - 10. Is w greater than or equal to 2?
True
Let q(g) = -g**2 + 6*g. Let v be q(6). Let u = 0 - v. Suppose 2*x + 2*x = u. Is x > -1?
True
Suppose 5*a + x - 2 = 2*x, -10 = 5*x. Suppose -n - 50 = -2*l - a*n, -3*l = -n - 75. Suppose 0 = -5*b - 5*m + l, 2*b - 25 = 4*m - 9*m. Is -1/5 greater than b?
False
Suppose 0 = -4*o + 9*o. Let c be (-2)/(-4) + 0 - o. Is c > -15?
True
Let h = -107 + 3102/29. Is h > -1?
True
Let k = 17/21 + -1/7. Let x = -0.4 + 0.37. Which is smaller: x or k?
x
Let d(m) = 2*m + 10. Let c be d(-8). Suppose 3*l + g = -18, 5*l + 7 = 3*l + g. Is c equal to l?
False
Let c(m) = m**3 + 16*m**2 - 19*m - 14. Let r be c(-17). Is r greater than or equal to 19?
True
Suppose z + 74 = -3*b - 3, 0 = -5*z + 3*b - 313. Is -66 greater than z?
False
Let t(n) = n**3 + 9*n**2 - 11*n + 5. Let a be t(-10). Let l = a - 16. Which is greater: 3 or l?
3
Let b(h) = -h**2 + 11*h + 5. Let u be b(11). Suppose 3*a = 5*r - 1, -4*a = 2*r - u*a. Is -2 at most as big as r?
True
Let s = -64/9 - -850/117. Does s = -0.1?
False
Let r = -1 - -14. Suppose -x - r + 5 = 0. Is x < -8?
False
Let u = 3 - 2.96. Let w = u + 0.96. Is 1 less than w?
False
Let p be (-6)/(-8)*(-2 - 25/(-15)). Let m be (1/(-2))/(9/(-6)). Is m != p?
True
Let q = 6 - 13. Let s = q + 7. Is s less than 2/3?
True
Suppose -5*v = -1 - 9. Let k be -4*v/(-20)*-2. Are k and 1/4 equal?
False
Suppose 0 = -5*o + 4 + 1. Is o at least as big as 7/5?
Fa