ue
Let o = 0.3 + -0.4. Let w be ((-76)/(-16) - 2) + -2. Is w greater than or equal to o?
True
Let u = -797/8 + 100. Let i = -41 + 40. Which is smaller: i or u?
i
Let u = -3.8 + -1.2. Let o = u - -3. Which is smaller: 1 or o?
o
Let i = 0.3 + -0.4. Let j be (1 + -4)*4/(-84). Let k = j + 4/21. Do k and i have different values?
True
Let s(v) = 5*v + 1. Let d be s(-1). Let n be d/(-18) + (-142)/72. Suppose 5*r + 3*q = -0*r - 27, -3*r + 11 = -5*q. Is r at least as big as n?
False
Let a = 7/12 + -121/84. Which is bigger: a or -1?
a
Let c = -0.86 + -0.14. Are c and 1 equal?
False
Let l be 1 - (21/3 + -4). Let q be l/(6/3) - 3. Which is bigger: q or -3?
-3
Let h = -95 - -97. Is h equal to 12?
False
Let a = 2/247 + 36/247. Suppose -4*k + 2*k = -4. Suppose 0 = 3*l - k*l. Are a and l non-equal?
True
Let n be (-18)/(-8)*(-8)/12. Suppose -2*f - 5 = 5*h - 0*f, h + 4*f + 1 = 0. Which is greater: n or h?
h
Suppose 3*q = 9*q - 18. Are 7 and q equal?
False
Suppose 2*h = 4*k - 20, 11 + 11 = 5*k - h. Suppose k*x - 15 = x. Let r = 1 + x. Which is bigger: 5 or r?
r
Let w = -15 + 15.2. Let l = -7 - -6.9. Is l greater than w?
False
Let a = 12/7 + -13/7. Which is smaller: 3/5 or a?
a
Let t(u) = -7*u - 15. Let d be t(-8). Is d less than or equal to 41?
True
Let j(m) = 18*m - 19 - 9*m**2 + 10*m - 5*m. Let g(q) = 5*q**2 - 12*q + 10. Let i(f) = -11*g(f) - 6*j(f). Let z be i(-7). Which is bigger: -3/2 or z?
-3/2
Suppose 4*i + 5 = -q - 2, 4*i + 6 = -2*q. Is q less than or equal to 5?
True
Let t(g) = -5*g - 3. Let v be t(1). Which is bigger: -9 or v?
v
Suppose 17*x - 80 = 12*x. Let b = 17 - x. Is b less than -4/13?
False
Let y = -37 + 35. Which is bigger: 0 or y?
0
Let p be (-6)/(-15) + (-16)/65. Let a = -32/39 + p. Is -0.1 greater than or equal to a?
True
Let g = -9 + 7. Let k be (-14)/18 + g + 3. Is 1 greater than k?
True
Suppose 5*f + 4*o - 11 = -0, -16 = -4*f - 5*o. Which is greater: -2.5 or f?
f
Let g(y) = 5*y**2 + 3*y + 5. Let i be g(-5). Let x = -577/5 + i. Let u = 2 + -3. Is u greater than x?
False
Suppose 14 = 5*s - 11. Suppose -2*l = -s*a + 1 - 3, l - 2*a = 1. Which is smaller: l or -1/4?
-1/4
Suppose 0 = -4*v + v + 4*z + 26, -3*v - 9 = 3*z. Suppose -f - 12 = -5*i, i + 4 = 6*i + 3*f. Is v > i?
False
Let q(b) = b - 3. Let m be q(3). Suppose m*p + 9 = p. Suppose 4 - p = 3*a - 2*r, 0 = -2*a + r - 2. Which is bigger: 0.01 or a?
a
Let x = -3 - -9. Let l be (2 - 5/3)*x. Which is bigger: 0 or l?
l
Let w be (-2 + 2)/(4 + (-4 - -1)). Which is smaller: 4/31 or w?
w
Suppose 25 = 5*d, -2*f + 4*d + 3 = 31. Let g = -3 + 3. Let w be (3/6 + g)*f. Which is bigger: -1 or w?
-1
Let w be (3/239)/((-15)/10). Which is greater: 0 or w?
0
Let s = 3 - 2.8. Is -5 > s?
False
Let a = -5 + 5.3. Let m = 2.9 + -3. Let v = 0 + m. Which is bigger: v or a?
a
Suppose 0 = b - 2*b - 4. Let k(a) = 3*a**3 - a - 1. Let j be k(-1). Let s(i) = i - 3. Let g be s(j). Which is greater: b or g?
b
Let m be (-11)/(407/120) - -3. Let j = -212/111 - m. Are -3 and j equal?
False
Let y = 1588/15 + -106. Let h = -19/30 - y. Is h at least as big as -0.02?
False
Let p = 20 + -4. Let t be 108/7 - 21/49. Is p less than t?
False
Suppose 5*k = 5*f, -k = -5*f - 4*k. Let n be f/(-2)*6/12. Let m be -1*(-3 - n)/(-3). Is m <= 2/5?
True
Let c be ((-1)/(-6))/((-1)/(-148)). Suppose 5*g - 115 = 5*d, g + 127 = -5*d - 0*d. Let l = c + d. Is -1 at most l?
True
Let n be 5 + 1 + 76/(-14). Do n and -1/8 have different values?
True
Let h = 28.9 + -34.9. Let f = 2/3 + -4/15. Is f > h?
True
Let f = 3 - 3.5. Let x = -6 - -6.4. Let m = f + x. Is -3 less than m?
True
Suppose 4*n = 5*n + 1. Let s be (-6)/(-3) + (-3 - n). Suppose 2 = 6*m + 14. Which is greater: s or m?
s
Let s = 0 + -2. Let m = 27 + -24.8. Let x = s + m. Do x and 0.1 have different values?
True
Let l be (9/(-6)*1)/((-18)/(-16)). Let w = 3 - 4. Which is bigger: l or w?
w
Suppose 7*i + 8 - 1 = 0. Let w(g) = g + 1. Let x be w(-1). Are i and x unequal?
True
Let d = -5 + 4.9. Which is bigger: -0.04 or d?
-0.04
Let n = -3 + 15. Let m be (-3)/n*6/3. Which is bigger: m or -2?
m
Let i be 1 - (-1 - -7) - -9. Is i greater than 6?
False
Suppose -2*f + 6*f = -20. Does -4 = f?
False
Suppose -11 + 8 = -3*o. Is o smaller than -1/124?
False
Suppose 2*f - 4*g - 7 = f, 0 = 3*f + g - 8. Let v(z) = z**2 + 8*z + 14. Let b be v(-6). Which is greater: b or f?
f
Let h(s) = -9*s + 9. Suppose 0 = 3*o + 6 - 33. Let x be h(o). Let j be (-2 - 1) + (-210)/x. Is j greater than 0?
False
Let d(n) = -n**2 - 6*n + 2. Let h be d(-5). Suppose 2*b = 4*a + 16, 0 = -4*b + 9*b - 5*a - 45. Suppose h*f - b = 2*f. Do f and 0 have the same value?
False
Let f(z) = -5*z - 31. Let d be f(-6). Are -2 and d non-equal?
True
Let t = 0.09 + -0.1. Let i = 315 + -316.99. Let p = i + t. Which is bigger: p or -3?
p
Let o = -5 + 4. Let z = 0.052 + 5.148. Let a = 5 - z. Is o <= a?
True
Let s be 0/(3/9*3). Let k be 6/(-10) + (-36)/(-210). Is k <= s?
True
Let m = 3 - 2. Let g(a) = -3*a + 1. Let q be g(m). Which is bigger: q or -1?
-1
Let w = 51 - 53. Which is bigger: -5 or w?
w
Let f = -9 - -10. Which is smaller: f or 3/14?
3/14
Let l be 11/15 - 3/9. Let j = 2 - 3. Is l <= j?
False
Let r(g) = -g**3 - g**2 - g + 4. Let k be r(0). Suppose -3*h - v = h + k, -3*h = 3*v + 12. Let a = -59/3 + 20. Do a and h have the same value?
False
Let s be (-202)/(-18) + 2/(-9). Are s and 9 nonequal?
True
Let l be -2*(-4)/(-24) - (-2)/(-3). Which is smaller: l or -3/16?
l
Let x = 6.3 + -6. Let s = x + -0.4. Let l = -0.3 - s. Which is smaller: l or -1/2?
-1/2
Let s be 13 - 10 - (0 + 1). Is s < 0.1?
False
Let z = 9 + -6. Suppose z*x + 14 = -q, 2*x = -0*x + q - 1. Is -3 < x?
False
Let k be -9 + (-9)/3 + 1. Let r be (k - 0)/(1/1). Let l = -11 - r. Which is smaller: -1 or l?
-1
Let g(k) = k**3 - 4*k**2 + 2*k - 2. Let y be g(4). Suppose 10*r - 28 = y*r. Is r at most 8?
True
Let y = -15 - -9. Let k be (-896)/182 - (-4)/(-52). Is k at least as big as y?
True
Suppose 18 = 3*f - 2*q + 5*q, -3*q + 14 = 2*f. Suppose -16 = -4*p - f*h, 4 = p - 0*h + 4*h. Suppose -5*w = 1 + p. Which is greater: w or -4/7?
-4/7
Let x = 15 - 1. Let c = x + -14. Which is bigger: -1/7 or c?
c
Let h be (-2191263118)/(-5977831776) + (-8)/12. Let t = -1/1023952 + h. Let g = -2/139 - t. Which is greater: -3 or g?
g
Let w = 2617/6 + -434. Is 2 less than w?
True
Let c(j) = -2*j + 1. Let i be c(4). Is i < -8?
False
Let d(y) = -y**3 + y. Let k(p) = -6*p**3 - p**2 + 5*p. Let f(b) = -4*d(b) + k(b). Let u be f(1). Let o = 3 + u. Is 2 at most o?
False
Let l be (190/(-4158))/((-2)/6). Let j = 2/77 - l. Is 0 > j?
True
Suppose 5*w - 480 = 8*o - 4*o, -5*w + 20 = 0. Which is smaller: o or -114?
o
Suppose -39 = t - 40. Which is smaller: -1/33 or t?
-1/33
Let a(v) = v + 11. Let l be a(-6). Suppose 7*p - l*p = 0. Does p = 0?
True
Let m be (-1)/(2 - 101/50). Suppose 0 = 6*p - p + m. Which is smaller: -9 or p?
p
Let y(g) = -g**3 + g**2 - g - 6. Let t be y(0). Let s(j) = -j**3 - 9*j**2 - 4*j + 1. Let q be s(t). Let w = 413/5 + q. Does -1 = w?
False
Let w be (21/(-6))/(-7)*(-1 - -21). Which is smaller: 6 or w?
6
Suppose 0 = -5*h - q + 35, 4*q + 3 = 3*h - 18. Suppose 0 = 3*a + h - 4. Which is greater: a or 2/13?
2/13
Let f be (-2*(-25)/(-15))/((-1)/(-3)). Which is smaller: f or -11?
-11
Let c(m) = -m**3 - m**2 + m + 4. Let v be c(0). Let l = -2 + 7. Do v and l have the same value?
False
Let v = 573 + -4019/7. Let y be 4/3*(-3)/2. Which is bigger: y or v?
v
Let n = -1/21 - -76/273. Are 1 and n unequal?
True
Let h(w) be the third derivative of -w**5/60 - w**4/12 + w**3/3 - 6*w**2. Let u(f) = -2*f**3 - 2*f**2 + 1. Let o be u(1). Let n be h(o). Is n >= 0?
False
Suppose 0 = 4*c - 1 - 7. Suppose c*a - 1 = -5. Suppose 0 = 2*k - 3*i - 4, -3*k - 2*i = 2*i + 11. Which is greater: a or k?
k
Let o be 4/(-2)*2/18. Let g = 3 + 2. Suppose 7 - 2 = g*d. Which is greater: o or d?
d
Let q(m) = -2*m - 4. Let g be q(-3). Suppose 8 = -w + g*a, w + 0*w + 11 = 3*a. Which is bigger: -3/4 or w?
-3/4
Let x = 3.6 + -1.6. Is 2/3 >= x?
False
Suppose -7*y + 43 = -6. Is y at least 6?
True
Let a be (10/(-45))/(16/(-30)). Which is bigger: a or -1?
a
Let q = 49/2 - 24. Which is bigger: 0 or q?
q
Let k = 0.42 - -2.58. Which is smaller: k or -0.02?
-0.02
Let k = 4 - 3. Which is smaller: 16 or k?
k
Let h = -7 + 6. Suppose 3*z - 25 = -4*s, 3*z - 4*s = s