 Which is bigger: l or 2.3?
2.3
Suppose 3*b = 2*t + 6, -2*b - 2*t - 8 = -2. Let u(w) = -w - 4. Let p be u(b). Let c be p/(-10) + 1/10. Are c and 0 nonequal?
True
Let t = 21 - 21. Which is bigger: t or -12/7?
t
Let z = -18 - -28. Let h be (-12)/15*z/4. Let f = -1/88 + -437/264. Is h at most f?
True
Let i be (-32)/(-5) + (-4)/10. Let z = i - 11. Is 2/3 at most z?
False
Suppose 2*u = -13 + 3, 3*n = -4*u - 17. Is n less than -10?
False
Let b = -4.7 + 5. Let c = 243 - 740/3. Let y = c - -19/6. Is y at least b?
False
Let d = 6 + 0. Let r(c) = -c**3 + 5*c**2 + 7*c - 9. Let h be r(d). Suppose 5*t + 3*p = -18, -p = -3*t + p - 7. Is t > h?
False
Let t be (10/4 + -4)/(1/18). Is -26 at most as big as t?
False
Let d be ((-41)/(-2788))/(1 + 17/(-8)). Which is smaller: -1 or d?
-1
Suppose -4*l + 2*i + 126 = l, 4*l - 81 = -5*i. Which is smaller: l or 22?
22
Let n = 49/2 + -25. Let r = -1 + 1. Is r less than n?
False
Let q(r) = -26*r**2 - 1. Let o be q(1). Let p be 10/12*o/60. Suppose -2*a = -5*a. Which is smaller: p or a?
p
Suppose 4*z + 45 = -3*c, -2*c + 48 = -5*z - 3*c. Is z at least -7?
False
Let v be ((-4)/(-2) + 2)/(-1). Let h = 1 - 4. Which is bigger: h or v?
h
Let h(p) = 2*p. Let l be h(2). Suppose l*c = -c - 140. Let s be 2*2/(1*c). Do s and -1 have different values?
True
Let z = 6 + -5. Let y(i) = -i**3 + 10*i**2 - i + 12. Let v be y(10). Let j be v + (-1)/3 + -1. Which is smaller: z or j?
j
Let s(l) = l**3 + 6*l**2 - 5*l + 8. Let q be s(-7). Let v = q - -9. Is v < -1/2?
False
Let g = 0.34 - -0.46. Which is greater: -1/3 or g?
g
Let t = 610252507/225654 - 178499/66. Let h = 1/263 + t. Is h greater than 1?
False
Suppose -81 = 4*d + 115. Which is bigger: d or 1?
1
Let u = -7 - -6.8. Let d = 0.1 + 0. Let s = u + d. Which is bigger: s or 0.2?
0.2
Suppose -2*n + 3*n = -5*l - 15, -4*l - 12 = 2*n. Suppose 4*j - 5*x = -23, 0*j + 2*j + 5*x - 11 = n. Which is greater: -3 or j?
j
Let g be (-6)/(4/(-2)) - 118/38. Is g less than or equal to 1?
True
Let y(a) = a**3 - 2*a**2 + a - 6. Let x be y(4). Is x equal to 32?
False
Let h = -41 - -45. Which is smaller: 8 or h?
h
Let d be (-4)/(-18) - 248/(-18). Suppose -3*l = 2*i + d, -5*l + 10 - 35 = 5*i. Let y be -2 + 64/34*1. Which is greater: i or y?
y
Let l be (1 - 180/175) + 0. Is -1 less than l?
True
Suppose 4 = -3*z + 1. Let n be 4/6*(-85)/(-3). Let s = n + -56/3. Is z < s?
True
Let k(i) = -i**2 + 6*i + 3. Let z be k(6). Let c(x) = 2*x + 6 - 3 + x**3 - 4*x**2 - 1. Let j be c(z). Is j at least -1?
True
Let n(h) = h**2 - 1. Let c be n(-1). Let v(z) = -z + 7. Let d(f) = f + 1. Let p(a) = 2*d(a) + v(a). Let k be p(-7). Which is greater: k or c?
k
Let p(k) = k**3 + 2*k + 1. Let q be p(-2). Which is smaller: -19/2 or q?
q
Let d be (8 - 7 - 7)*-1*1. Which is smaller: 10 or d?
d
Let u = -3/11 + -5/22. Suppose -3*z + 1 = -2*j - 1, -4*j - z = 4. Which is greater: u or j?
u
Suppose 8 = 2*p, -108 = -5*l + 9*l + p. Is l != -26?
True
Let z be (-9)/12 + 2 + -1. Is -67 at least z?
False
Suppose 9*k - 10 = 4*k. Let h be (-6)/12 + 0 + k. Let q(s) = -s**2 + 1. Let x be q(0). Which is bigger: x or h?
h
Let j = -18 + 19. Which is smaller: j or 3/8?
3/8
Suppose 2*u = -0*u + 14. Suppose 0 = -2*v + u + 1. Suppose v*n = n - 3. Which is bigger: -5/4 or n?
n
Let l = -2/29745 + 4134659/1546740. Let f = l + -11/4. Let v = -3 + 3. Which is bigger: f or v?
v
Suppose -1 = q - 0*q. Let o be ((-165)/20)/(1/20). Let f be (o/(-51) + -3)/(-2). Are q and f non-equal?
True
Suppose -15 - 3 = m. Let u be 2/(-15) - m/(-15). Is 0 > u?
True
Suppose -2*q - 2 = -h - 3, -3*h - 13 = -q. Let s be (-26)/14 - (-5 - q). Which is bigger: 0 or s?
s
Let j be ((-1)/3)/((-207)/(-81)). Which is smaller: j or 0?
j
Let g be -5*(2 - 13/5). Suppose 5*b - 2 = g*b. Let n = -3.02 - -0.02. Which is bigger: n or b?
b
Let w = -5 - -4. Let t be (((-9)/(-6))/w)/3. Which is smaller: t or -2/3?
-2/3
Suppose -5*w + 17 = -2*m, 2*m + 0*m - 7 = -3*w. Suppose 3*l = 3*k - l - 18, -k + 5*l = -17. Let x = k + m. Are 1 and x nonequal?
False
Let k be (-4 - -21)/((-2)/6). Which is smaller: -52 or k?
-52
Let b(x) = -x**2 - 6*x + 17. Let p be b(-8). Is p > 2/13?
True
Let y = 28 + -27. Let m be y/3 - (-8)/(-15). Is m >= 0.04?
False
Suppose -4*l + 51 = -0*i + i, 0 = 5*l + 2*i - 63. Which is greater: l or 14?
14
Let v = -39.1 - -40. Which is smaller: 1/2 or v?
1/2
Let u = -15 - -15.8. Let q = u + -0.7. Which is greater: -1 or q?
q
Suppose -5*t + 21 = 1. Suppose -2*y = 2*y - 4*g - 24, -t*g - 16 = 0. Let v = 2 - -1. Is y less than or equal to v?
True
Let r = -0.15 - -0.11. Are 2 and r nonequal?
True
Let y = 1 + -2. Let a(o) = -2*o**3 - o**2 + 1. Let v be a(y). Let t be (v/4 + -1)*4. Is t less than -3/4?
True
Let b = 208/5 - 45. Let f = -109/35 - b. Is -1 <= f?
True
Let p(v) = v**3 + 4*v**2 - 6*v - 2. Let h be p(-5). Suppose -5*x + 5*u + 33 = u, -x - 4*u = h. Suppose 0*a - 5*k + 8 = 2*a, x*a - 20 = -3*k. Is 4 < a?
False
Suppose 3*b - 5 = -n, -2*n + 0*n + 10 = -5*b. Which is bigger: b or -1/23?
b
Let w be (-2)/(-5)*(-40)/2. Let a be ((-6)/w)/(102/16). Is a at most -1?
False
Suppose -2*t - 5*t + 7 = 0. Is -2/29 greater than or equal to t?
False
Let l = 1.42 - -5.28. Let y = 1.3 + l. Is -2 less than y?
True
Let y(n) = n**3 + 4*n**2 + 4*n + 4. Let h be y(-3). Let k be (0 - 0)*(-1)/2. Let r = k + 0. Is r at most as big as h?
True
Let s = -1 + 2. Let y be (1 + 0)/1 - s. Let g be (-3 - y)*3/9. Do -1 and g have different values?
False
Suppose 4*v - 19 = -3*d, -v - d + 0 + 6 = 0. Let i = 109 - 108. Is v smaller than i?
False
Let m be 8/(-40) - (-212)/1010. Does m = 1?
False
Suppose 0 = -n - 22 - 13. Are n and -71/2 equal?
False
Let c = -16 - -63/4. Is 0.4 < c?
False
Let r be (-3 - 2) + -27 + 1. Which is bigger: r or -119/4?
-119/4
Let f(c) = -c**3 + 7*c**2 + 11*c + 6. Let d be f(8). Let t be 0 + 1 + (-48)/d. Let x(h) = -h**2 - 8*h - 8. Let o be x(-7). Is t equal to o?
False
Let g = 1.95 + -1.9. Which is bigger: g or -0.2?
g
Let a be (-6)/(-20) - 2/4. Let k be (-16)/12 - (-1)/3. Is a less than k?
False
Let o(f) = f**3 + f**2 - f + 3. Let m be o(0). Let k = 8 + -5. Let u = 1 + k. Which is smaller: m or u?
m
Suppose 3*v + 35 = -2*v. Let x = v - -12. Let o be ((-1)/4)/(x/16). Is -1 not equal to o?
True
Suppose 3*h - 4*x = -2*x - 19, -4 = 2*h + 3*x. Let u = h - -7. Is u > 1?
True
Let c be 3/5 - (-161)/(-460). Is c at least 0?
True
Suppose 3*n + 1 = 16. Suppose 2 = -z + 2*z, 3*r + 13 = n*z. Which is greater: -2/39 or r?
-2/39
Suppose 11 = z + r + 4*r, -3*z = -2*r + 35. Is -10 < z?
True
Let w be 11/(-40)*25/(-10). Let h = w - 3/16. Which is smaller: h or 1?
h
Let s = 0.7 - -0.3. Let q = 0.08 + 0.22. Let l = q - 0.1. Which is smaller: s or l?
l
Let s = -0.2 - -0.3. Let u = -95 - -98. Are s and u unequal?
True
Let h = 4 - 2. Let i(b) be the second derivative of b**3/6 - 5*b**2 - 7*b. Let u be i(12). Is h greater than u?
False
Suppose -z - 4 = -13. Suppose -b + c = z, -2*b - 2*b + c - 48 = 0. Which is greater: b or -14?
b
Let k = -5 - -7. Let p = 8 - 7.7. Let a = p + -0.2. Is a less than k?
True
Let p = 0.03 + -0.63. Let l = -0.6 - -1. Let h = l + p. Is -3/2 >= h?
False
Let c be 2/2 + (-3 - -2). Let w be 1/2*c/1. Which is smaller: -1/5 or w?
-1/5
Let s(o) = -o**3 + o - 2. Let x be s(0). Let z be 6/(-21) - (-171)/476. Let q = -155/204 - z. Do q and x have the same value?
False
Let b be (0/(-3)*-1)/2. Let n be b/(-1) + 6/2. Suppose n*m = -2*t + 4, 0 = -3*m + m + t - 2. Which is bigger: m or 1/3?
1/3
Let l be 72/7 + (-4)/14. Suppose 0 = 3*s - 4 + l. Let w be s/5 + (-21)/(-15). Is 1 greater than w?
False
Let p be (-3)/9*(2 - 14). Suppose 9*k = p*k + 25. Suppose 8*n = 3*n + k. Is n bigger than 4/9?
True
Let p = -11 - -10.94. Let q = p - -1.06. Let i = q - 1.1. Which is greater: i or 2/3?
2/3
Let t = -34 + 28. Let n = t - -2. Do -4 and n have different values?
False
Suppose 2*m + 27 = 5*m. Let t be (6/m)/(1/3). Is 1/2 equal to t?
False
Let u be (-1692)/21 + (-4)/14. Let o(y) = 80*y**3 - 2*y**2 + 1. Let h be o(-1). Let d = u - h. Which is greater: d or 0?
d
Let t = 0.2 + -0.2. Let j = -0.2 + t. Let d = -0.3 - -0.3. Which is smaller: j or d?
j
Let l be (2 - -3) + (-2 - -1 - 5). Let k be 19*(-1)/13 + 1. Which is smaller: l or k?
l
Let o = -17 + 16. Let r be 4/12 + 1/(-6). Which is bigger: r or o?
r
Suppose -7*y = 2*z - 2*y + 11, 