 Let t be x*(-3 + 2) - 5. Is g >= t?
False
Let y = -46/5 + 404/45. Which is smaller: 0 or y?
y
Suppose -3 = -3*o + 5*k + 2, 0 = 2*o - 2*k - 2. Let g(v) = 6*v**2 - 2*v + 1. Let r be g(1). Let m = r + -6. Are o and m equal?
False
Let l = 154 + -613/4. Let k = 24 - 23.01. Let o = k - -0.01. Which is smaller: o or l?
l
Let w be 41/(-82) - (386/36 - 1). Does w = -9?
False
Let t be (-6)/15 - 66/(-15). Let o = -3 + 8. Does t = o?
False
Let f = -2 - -4. Suppose 0 = -0*a - a. Let b be a/(2/((-8)/12)). Which is smaller: f or b?
b
Let b = -78 + 73. Is -3 at least as big as b?
True
Let s = 0.033 + -0.033. Let g = -2 - -2.5. Let u = g + -0.3. Are u and s non-equal?
True
Let d = 1577/65 + -396/13. Is d >= -6?
False
Let s = 6.96 + 0.04. Suppose 3*c + 7 - 10 = 0. Does c = s?
False
Let p = 89400 + -1878290/21. Let x = p + 128/3. Are 0 and x non-equal?
True
Let s(r) = r - 10. Let a be s(0). Let t be (-4)/a + 8/(-20). Let x be (-1 - -3)/(t - 2). Is -1 at least x?
True
Let x = 0.06 - -28.94. Is x greater than 0?
True
Let o(p) = 2*p**2 + 4*p. Let r be o(-4). Let z be ((-1)/2)/(2/r). Is -3 at least z?
True
Let q be -2 + (-3)/(9/(-12)). Let k be -4 + (1 - q - -2). Let g = -1 - k. Which is bigger: g or 1?
g
Let d be (4 - 0 - 3)/(-21). Are d and -1 unequal?
True
Let y(u) = -u**2 - 8*u. Let m be y(-7). Let f(d) = d + 21. Let w be f(-17). Suppose w*l = 13 + 15. Is m equal to l?
True
Let j = 4 - -4. Let o = -9 + j. Is o smaller than -2/5?
True
Let f = 3.2 + -3. Let t = -0.8 - f. Let s be (1/3)/((-4)/(-3)). Which is smaller: t or s?
t
Let x = -420027/317 - -1325. Let p = -648/2219 - x. Is p >= 1?
False
Let k = -5 - -4.98. Let o = -0.78 + k. Let a = 0.8 + o. Is a < -1?
False
Let o be (4*-1)/(-2) - (6 + 2). Let j = 72 + -313/4. Let c = j - o. Which is bigger: 0 or c?
0
Let r = 9 + -10. Is r smaller than 0.06?
True
Let i = -2 + 5/2. Let a = 4 + -4.06. Let u = a - 4.94. Is u at most as big as i?
True
Let f = -147 - -184. Which is smaller: f or -2?
-2
Let f = 105/4 + -26. Let v(b) = -b**2 - 6*b + 6. Let l be v(-7). Are l and f nonequal?
True
Let o = 48 + -21. Let y be (-10)/(-45) - (-48)/o. Which is smaller: y or 1?
1
Let l(w) = -w**3 + 7*w**2 + 6*w + 12. Let s be l(8). Which is bigger: s or -26/5?
s
Suppose 15 = 5*r, 2*o = -0*o + 4*r - 10. Let d = -5 + 8. Suppose 0 = -d*n - o - 2. Is -2 > n?
False
Let u = 13 + -20. Is u < -8?
False
Suppose 0*t - 2*t + 2 = 0. Suppose -3*l - 216 = -7*l. Let p = 215/4 - l. Which is greater: p or t?
t
Let h be (-2)/((-8)/4) - 18. Let i = -29 - h. Is i greater than or equal to -2?
False
Let v = 46 - 140/3. Let p = 0 + 4. Let i(j) = j**3 - 4*j**2 + j - 5. Let a be i(p). Which is smaller: v or a?
a
Suppose 0 = -4*c + 2*k + 2*k, c + 3*k = 0. Let j = 1289/6 + -216. Is j at most c?
True
Let z = 0 - 0.1. Let c = 0.1 + z. Suppose -3*v - 10 = 2*b, -3*v - 5 = -2*b - 3. Which is greater: c or b?
c
Let g = 0.5 - -0.5. Let h = g - 2. Let r = -0.7 - h. Is 1 bigger than r?
True
Let a = -0.03 + 0.03. Let p = 3 - a. Let s = 5 - p. Which is smaller: s or 1?
1
Let x be (0 - -2) + (0 - 28). Let w = 76/3 + x. Which is greater: 0 or w?
0
Let n(l) = l**2 + l**2 - 6*l + 6 - l**2. Let j be n(5). Do 0 and j have the same value?
False
Suppose -n - 3*v = 4*n - 23, -n + 3 = -v. Suppose 0*t = t - 9. Suppose -n*g + 1 = t. Is -2 equal to g?
True
Let y = 2 - 1.7. Let w = -0.14 + -0.06. Let c = w + y. Is -1 greater than c?
False
Let i = -3 + 10. Let z be (-2 - 0) + (-6)/1. Let m = i + z. Which is smaller: m or -1/7?
m
Let c = 57 - 37. Let j = -19.1 + c. Let p = j + 0.1. Is p greater than or equal to 1?
True
Let i = 5 + -12. Which is smaller: i or 2/7?
i
Suppose 5*v = 3*n + 9, 6*v + 3*n = 4*v + 12. Suppose -v*z + 7*z = -8. Which is smaller: -3 or z?
-3
Let c = -0.01 - 0.06. Is 0.1 less than c?
False
Let g(b) = 1 - 3*b**2 - 2*b - b**2 + 3*b**2 + 6*b. Let c be g(3). Suppose q - c = -q. Is q > 3?
False
Let i = -0.94 - 0.06. Which is greater: i or -28?
i
Let f(i) = -i**2 + 2 + 2*i - 4 + 2*i - i. Let k be f(2). Let m = 59/75 + -3/25. Which is bigger: m or k?
m
Let f = 0.75 - -0.05. Let q = f - -7.2. Let k = q - 6. Is k <= -0.1?
False
Let w = -0.49 + 0.54. Is w smaller than -0.2?
False
Let b be (608/(-14) - 3) + -2. Let j = -12 - 37. Let i = b - j. Which is smaller: i or 2?
i
Let y = 0.05 + 0.05. Let o = 0 + y. Which is smaller: 1/4 or o?
o
Let t = 281/30 + -43/6. Let n = 2130 - 21273/10. Let v = t - n. Which is smaller: v or -1?
-1
Suppose k + 13 + 21 = 0. Let u be k/(-8) - 1/4. Suppose 4*a = c + 3*a, 0 = -5*c + a - u. Which is smaller: 2/9 or c?
c
Let n(f) = f - 3. Let o be n(7). Let h be (12/10)/(o/10). Suppose 3*x - 4*x - 7 = -b, 3 = -b - x. Which is smaller: h or b?
b
Let v = -116 - -117. Let x = 7.3 + -1.3. Let y = 2 - x. Which is greater: y or v?
v
Let y = 8 + -11. Let l be 1 + -5 + -4 + 5. Is y not equal to l?
False
Let u be -3 - (-11)/5 - 1/5. Is u smaller than -2/225?
True
Let k = -1 + 4/3. Which is greater: 1 or k?
1
Let s = 7 + -5. Let a(h) = h - 4. Let y be a(7). Let r be (-4)/((-4)/y) - 0. Is s smaller than r?
True
Suppose -3*j + 3*n + 11 = -2*j, 0 = -4*j + n + 33. Suppose 5*g - 3*r + 2*r - 257 = 0, -5*g + 5*r = -245. Let l = 158/3 - g. Which is greater: l or j?
j
Suppose r = 4*v + 21 - 8, 5*v - 2*r = -20. Let p(s) = 1 - s + 0 - 2. Let k be p(v). Are 1 and k non-equal?
False
Suppose 0 = 4*m + 5*t - 31 - 10, -2*m - 2 = -2*t. Let a be (-3)/18 + 50/12. Is a smaller than m?
False
Suppose -2*a = -5*z - 11, 2*z - 3*z + 2*a = 7. Suppose 7 = -4*j - 1. Which is bigger: z or j?
z
Let m = -50197 - -250008/5. Let j = m + 196. Which is smaller: j or 1?
j
Suppose -2*n = 3*r + 5, -2*n + 0*n - 2 = 2*r. Which is smaller: -13/6 or r?
r
Let z be (-10)/5*(-4 + 0). Suppose -l + z = 2. Which is bigger: 5 or l?
l
Suppose 0 = 3*a - c + 5*c - 14, -a + 3*c = 4. Let k = -1 + 1. Suppose -2*t - a*t = k. Is -1 smaller than t?
True
Let d(c) = -c + 4. Let r be d(0). Suppose 2*h + 25 = -3*o, 5*h + 5*o = h - 45. Let v = r + h. Is v >= -2/5?
False
Suppose k + 3*q - 18 = -2, -2*q = -5*k + 46. Suppose -5*v + k - 5 = 0. Is 4 < v?
False
Let o = -7.95 + 8. Let s = o + 0.05. Which is smaller: s or 1/5?
s
Let q(f) = f**3 - f + 11. Let a be q(0). Suppose -6 + a = 5*x. Is 6/13 >= x?
False
Let n(m) = m**2 + 8*m + 32. Let l be n(-7). Which is bigger: 26 or l?
26
Let t be ((-4)/(-6))/((-28)/(-21)). Let c = -0.9 + 1. Which is greater: t or c?
t
Let m be 4/2 - (-12)/(-7). Let z(w) = w**2 - 2*w - 6. Let g be z(5). Let t be (1 - 12/g)*3. Is m at most as big as t?
False
Let b be (-6)/24*4*0/1. Which is greater: -41 or b?
b
Let x be (-926)/(-310) - 24/8. Which is bigger: -1 or x?
x
Let d be (-11)/3 + 2/3. Let q = -6 - -5. Let b be q/(-3) + 55/(-30). Do b and d have the same value?
False
Let d be (1 - (2 + -1))/1. Let a be d/((-4 + 2)/1). Let g be 9/(-27) - 5/12. Do a and g have the same value?
False
Let q = 7.859 + 0.041. Let p = q + -8. Is p bigger than 5?
False
Suppose 4*d + 0 - 2 = -m, d + 5*m = -9. Is d > -2/69?
True
Suppose -3*z + 5 = -10. Let t(w) = w**3 + 5*w**2 - 4*w + 7. Let u be t(-6). Let c be ((-4)/u)/(2/10). Is c <= z?
True
Let a = -1.43 - 3.52. Let m = -5 - a. Let j = 0.01 - -0.09. Is m greater than or equal to j?
False
Let h = 0.06 + -0.06. Let s = 3 + -1. Are s and h equal?
False
Suppose -4*g + 28 = -6*g. Let p = -48 - -33. Which is bigger: p or g?
g
Let i = -5 + 9. Let f(b) be the first derivative of -b**2/2 + 4*b - 1. Let y be f(i). Is y equal to 3/7?
False
Suppose 4*h = -8 - 0. Let p be (h + 6)*9/(-9). Is p bigger than -4?
False
Let t be (-2)/(-9) - 332/36. Let a be (1/t)/(3/(-6)). Which is smaller: -1 or a?
-1
Let a = -28 - -27.8. Let v = -112628/207195 - 1/3635. Let c = v - -4/19. Is c equal to a?
False
Suppose 35 = -16*d + 9*d. Is -3 smaller than d?
False
Let b = 12843/694 + -2/347. Is 19 less than b?
False
Let c(n) = -n**2 + 9*n - 6. Let o be c(5). Let g be 3/2*16/o. Is 1 bigger than g?
False
Suppose -4*g = -2*t - 372, 608 = -3*t - 0*t - 4*g. Let i = -2942/15 - t. Suppose 3*k = -k - 4*j, 0 = 5*k - 4*j + 9. Is k > i?
False
Let i(c) = c + 64. Let q be i(15). Which is smaller: 78 or q?
78
Let p = -123 - -863/7. Is -2 <= p?
True
Let o(g) = 3*g**3 - g**2 + 2*g - 1. Let s be o(1). Let i be (s + 2 + -5)/2. Let c = 5/3 + -19/15. Is i at most as big as c?
True
Let u be (-3 - -1) + 4 - 1. Let j = 9/23 - 53/