-16 + 16. Which is greater: u or -1.8?
u
Suppose 3*g + 3 = -0. Let h(a) = a**3 + 5*a**2 - 7*a - 7. Let t be h(-6). Are t and g nonequal?
False
Let j(v) = -2*v - 1. Let b be j(-1). Which is greater: b or -3/23?
b
Let c = -49831149/280 - -177968. Let m = -1/70 - c. Let f = -1 - 0. Which is smaller: m or f?
f
Let s = 0.1 - 1.1. Let k = 1.1 + s. Let l = 0.348 + -0.148. Which is smaller: l or k?
k
Let l = -14/15 - -8/5. Let k = 21 - 16.3. Let z = 5 - k. Which is smaller: z or l?
z
Let f be (3/12)/(6/(-8)). Let c = -1 - -2. Let l be ((c + -2)*0)/(-1). Which is smaller: l or f?
f
Let q be (-836)/(-235) + -3 + 9/(-15). Which is smaller: 5 or q?
q
Suppose 2*s - 2 = 0, 0 = -d + 5*d + 2*s - 6. Let f be (d/(-1))/((-4)/7). Let i = f + -5/4. Is -0.1 smaller than i?
True
Let f(h) = -h**2 + 12*h + 137. Let i be f(-7). Let w(n) = -n**2 - n + 3. Let q be w(0). Is i bigger than q?
True
Let v(x) = x + 5. Let w be v(0). Suppose -w*p = 12 - 37. Which is smaller: p or 4?
4
Let r = 0.5 - 0. Let f = r + -0.8. Let p = f - -0.2. Is p < 0.3?
True
Let r = -5/182 - -579/7826. Which is smaller: r or -1?
-1
Suppose -2*l - 2*q = -4, 0 = -l + q - 5*q + 14. Let j = -133 - -537/4. Let x = -23/12 + j. Does l = x?
False
Let u(a) = a**2 - 8*a. Let c be u(8). Let y(o) = -o**2 + 9*o - 10. Let t be y(8). Let l be -3*t/6 - 1. Is l at most as big as c?
True
Let w = 0.5 + 0.5. Let a = 0 - w. Let p = 3 + a. Is -1 >= p?
False
Let f = -3.825 - 0.175. Which is smaller: 2 or f?
f
Suppose 2*f = -3 - 1. Let x(v) = -v**2 - v + 1. Let m be x(f). Is -1 > m?
False
Let x = -23 + 23.1. Which is smaller: -0.14 or x?
-0.14
Let q = 0.2 - 0.3. Let f = -1.6 - -11.6. Let o = -9.6 + f. Which is smaller: q or o?
q
Let a = -0.4 + 0.3. Let b(q) = -q - 4. Let r be b(-2). Is a < r?
False
Let r be 1 + 1 + 8/(-10). Suppose 4*k - 1 - 7 = 0. Which is smaller: k or r?
r
Let m = 20 - 10. Let l = m - 10. Do l and -2/9 have the same value?
False
Let t be (-4)/35 + (-2)/(-21)*-3. Is -1 smaller than t?
True
Let v be 10/24 - (-3)/9. Is 0 at least v?
False
Let n(f) = -2*f - 42. Let c be n(-21). Which is greater: c or -1/4?
c
Let u = 3/290 - 619/3770. Is 7 not equal to u?
True
Suppose -2*w - 1 = -m, 2*m + 4 = 2*w - 0. Let u = 39/8 + m. Let i(q) = q**2 + 9*q - 11. Let p be i(-10). Which is bigger: u or p?
u
Let b = -246 - -2212/9. Suppose 0 = -0*v + 3*v - 6. Let c = v - 2. Is c <= b?
False
Let b = -22.1 + 21. Let i = 0.1 + b. Which is smaller: -3 or i?
-3
Let o be (-344)/(-1504) + (-3)/12. Is -1 >= o?
False
Suppose 0 + 8 = 4*a. Which is greater: a or 10/9?
a
Suppose 11*h = 10*h + 50. Is h less than 51?
True
Let t(c) = 29*c - 4. Let p be t(1). Does 25 = p?
True
Let v = 47 - 40. Which is smaller: 29/5 or v?
29/5
Let f = 7 + -16. Which is smaller: -15/2 or f?
f
Let p(z) = z - 13. Let q be p(13). Which is greater: q or -1?
q
Let o = 16/9 - 62/45. Is 1 at most as big as o?
False
Let d = -6.7 - -16.6. Let r = d - 10. Which is bigger: 0 or r?
0
Suppose -3*y + 4*l - 7 = -0*y, 0 = 4*y - 4*l + 8. Is 1/21 smaller than y?
False
Let u = -19 - 34. Let m = u + 36. Let s be (-1)/(-5) + m/35. Which is smaller: s or -1?
-1
Suppose 0*c = -4*c - 4. Let l be (4/(-6))/(4/6). Is c <= l?
True
Suppose 0*y - 9 = 3*y. Let i = -5 + y. Is i smaller than -9?
False
Let t be 48/32*5/((-15)/(-8)). Do t and 3 have different values?
True
Suppose -2*i - 2*y = -16, -y - 10 + 3 = -4*i. Let w be i + (4/5 - 2). Which is smaller: w or 3?
w
Let u be ((-12)/2 + 2)/(-30). Is 0 < u?
True
Let a(j) = -2*j - 2. Let k be a(-3). Let l(v) = v**2 - v. Let m be l(2). Let q = m - k. Is -2 at least q?
True
Let z(i) be the first derivative of i**2/2 + 1. Let s be z(2). Is 0 >= s?
False
Let l = -12 - -5. Which is bigger: l or 2?
2
Let x = 23.4 - 43.1. Let j = x + 19. Which is greater: j or 0?
0
Suppose -4*y = -2*z - 18, 2*z - 3*y + 38 = -3*z. Let g be 6/15 + z/(-20). Is g not equal to -2/3?
True
Suppose -i - 18 = 2*u - 0*i, 0 = 2*u - 4*i + 8. Is u less than or equal to -7?
True
Let m be (17/(-2))/(5/10). Is -17 at most m?
True
Let f be 6/(-8)*(-5 + 1). Suppose 5*v = 5*d + 100, 4*v + 2*d + 0*d = 74. Let x = v - 16. Are x and f non-equal?
False
Suppose -m = -5 - 0. Let l = 1 + m. Let s = 7 - l. Which is smaller: 2 or s?
s
Let c = 104 - 113. Let d be 2*1*(-3 + -2). Is c at most d?
False
Suppose -u + 6*u - 15 = r, r + u - 3 = 0. Suppose -5*l + 10 = -4*l + 3*c, -14 = -5*l - 3*c. Which is smaller: l or r?
r
Let o(s) = s**3 + 13*s**2 + 12*s. Let j be o(-12). Which is smaller: j or 1/4?
j
Let j = 479114840/73 - 6420510076402/978273. Let q = j - 102/1489. Let o = q + -110. Is o greater than or equal to 1?
False
Let f(o) = o - 12. Suppose -j = 5*g - 42, -21 + 6 = 5*j. Let s be f(g). Let n be 2/(-8) - s/12. Which is smaller: n or -1?
-1
Let f(h) = h**2 - 6. Let a be f(0). Let r be 3/a - (-2)/4. Let m = -2.9 - -3. Which is smaller: m or r?
r
Let b = -184 + 322. Let n be 2/5 + b/30. Is n less than 6?
True
Let w be (-1 - -5)/(4/(-4)). Let r = 6 + w. Suppose r*a = -2 - 2. Which is bigger: -3 or a?
a
Let n be (44/16 + -4)*4. Which is smaller: -0.2 or n?
n
Let p(y) = y**3 + 5*y**2 + 3*y + 6. Let v(b) = b**3 + 5*b**2 + 4*b + 7. Let k(t) = 3*p(t) - 2*v(t). Let i be k(-5). Is -2/3 greater than i?
True
Let x be ((-96)/(-448))/(6/8). Which is smaller: x or 0?
0
Let y(i) = -2*i - 4. Let d(l) = -l - 2. Let v(n) = 5*d(n) - 3*y(n). Let z be v(7). Does 9 = z?
True
Suppose 0*j - 2*j = -10. Suppose t + 25 = 5*t + j*k, -t = -3*k + 15. Let y = -12 - -14. Is y greater than t?
True
Suppose 3*f = -2*f - 50. Which is smaller: -11 or f?
-11
Let d be (-8)/(-5) + (-2)/(-5). Let x be d - (-2)/(0 - 1). Let a be (-8)/16*2/5. Which is smaller: a or x?
a
Suppose -4*x - 4*o + 20 = 0, 0 = 4*x - 0*o + 3*o - 16. Is 1 at most as big as x?
True
Suppose -18 = 3*q - 0*q. Let g be 8/2*(q - -5). Do g and -4 have the same value?
True
Let f = -7 + 11. Suppose f*t - 8 = -0*t. Which is greater: 1 or t?
t
Suppose 3*o + 3*t - 2 = 4*t, 4*t = -o - 8. Let i = -0.36 + -0.64. Is i at most o?
True
Suppose 11*b - 6*b = 405. Which is bigger: 82 or b?
82
Let x = -59.8 - -60. Which is bigger: -15 or x?
x
Let g = 2/187 - -1679/374. Is 4 != g?
True
Let s be (195/50)/(-13) + 0. Does s = 0?
False
Let n = 195 - 2731/14. Is n smaller than -1?
False
Let u = 26745/43 + -622. Is u at most -1?
False
Suppose 2*k + 4 = -0*k. Suppose 0 = f + 2 + 1. Let n be (f/k + -1)*-2. Which is greater: n or -1/5?
-1/5
Let m(c) = -c**2 - 4*c + 1. Let b be m(-4). Which is smaller: b or 6/5?
b
Let t be 10/25 + 8/5. Let m = t + -7. Is m greater than or equal to -5?
True
Let r be 21/6 + (-9)/6. Are 3 and r non-equal?
True
Let q = -438/245 + -30/49. Which is smaller: q or -1?
q
Let l = -12.91 + 13. Let u = -97 - -96.81. Let s = l + u. Is s at least 0?
False
Suppose -2*i = -5*h + 8, i + h + 2 - 12 = 0. Let t = i - 4. Let k be -1*(-3)/(-6)*t. Is 1/3 less than or equal to k?
False
Let x be (-78)/(-74) - (-1)/(-1). Let b = -166 + 167. Which is smaller: x or b?
x
Let v(g) = g + 4. Let f be v(-1). Which is greater: 20/9 or f?
f
Let n(h) = -h**2 - 4*h + 2. Let t(g) = -3*g + 5. Let u be t(3). Let c be n(u). Which is greater: -2 or c?
c
Suppose d = 3*w - 3*d - 6, 3*w + 5*d - 6 = 0. Let o be -2 + (-21)/(-6) + -1. Is o greater than or equal to w?
False
Let d be 4/6*3*1. Suppose 6 = -d*b, m + 3*b = -10 - 4. Let z = m + 4. Is z smaller than 0?
True
Let h = -25/17 + 609/391. Is -1 <= h?
True
Let c be 4/14 - (-19)/7. Let r be (9/6)/(6/8). Suppose -r + 0 = -m. Which is smaller: m or c?
m
Let g = 3 + 2. Suppose 0 = v - g*v + 12. Suppose v = -4*x + x. Which is smaller: x or -2/5?
x
Let o be (-1 + 1)/(4/4). Suppose 0 = -3*c + 3*n + 12, c - 3*c - 3*n - 12 = o. Let z be (-1)/2*(-2)/1. Is z bigger than c?
True
Let o(z) = 9 - 2*z - 9*z**2 - z**3 - 1 - 5*z. Let x be o(-8). Is -1/2 greater than x?
False
Let y be (-8 + 7)*(-2)/2. Which is smaller: y or 1/4?
1/4
Let y = 2.6 - 2.6. Let o = 0.5 - -1.5. Is o smaller than y?
False
Let u be -1 + 2/(-2) + 0. Let d = 2 + u. Suppose -5*r - 11 = 5*q + 14, 3*r = 3*q + 9. Which is bigger: r or d?
d
Let d be ((-9)/12)/(2/(-8)). Suppose 0 = -3*v + 9, 0 = -h - v + d. Which is smaller: h or 1/5?
h
Suppose 2*y + 54 = 5*y. Let w be (-2 - y/(-8))*-1. Suppose -3*d + 2 = -d. Which is smaller: d or w?
w
Let o = 179.9 + -180. Let p = -5 + 3. Let l be p*(-5)/(-14) + 1. Which