3.14 + -2.8. Let t = 0.3 - f. Let y = t - -2.04. Is 1 smaller than y?
True
Let g = 22 - 24. Which is smaller: g or -4?
-4
Let g = 12 - 7. Let v(u) = u - 6. Let m be v(g). Let j = m - -3. Which is bigger: 0 or j?
j
Let a be (-321)/4*68/(-187). Let z = a + -29. Suppose -2*w - 5*r = -12, 3*w - 5*r = 4*w - 11. Which is greater: z or w?
w
Let t be 2 + (-1 - 1) + -1. Is 26 at least as big as t?
True
Let a be (-4)/(-10)*20/(-2). Let u(y) = y**2 + 4*y + 3. Let p be u(a). Which is bigger: p or 2?
p
Let w(q) be the first derivative of -q**3/3 + 5*q**2 + 7*q - 2. Let g be w(10). Let f(v) = v**3 - 6*v**2 - 8*v - 1. Let d be f(g). Is -9 < d?
True
Suppose -5*w - 32 - 3 = 0. Which is greater: w or -9?
w
Let v(r) = r**3 - 5*r**2 + 3*r. Let g be v(1). Which is greater: 3/14 or g?
3/14
Let d(t) be the first derivative of 4*t**3/3 - t**2 + t - 2. Let n be d(1). Suppose n*y - 7 = -3*w + 2*w, -y + 4 = 2*w. Are w and 1/2 equal?
False
Let a be 5/(-10)*(-1 + 1). Let n be -2 + (-2 - -2) - -134. Let v = n + -1718/13. Is a less than v?
False
Let m = -1290804 - -240090545/186. Let k = m - 3/62. Is k at most 5?
False
Let o = 9 + -10. Which is bigger: -1/34 or o?
-1/34
Let y = -10 - -15. Let m(z) = z**2 - 6*z + 4. Let r be m(y). Let w be 0*r/(0 - -1). Which is bigger: w or 1/3?
1/3
Let j be 3 - 2 - (2 + 2). Suppose -r + 2 = k - 2, 16 = 4*k - 4*r. Let p be (k/(-6))/((-6)/(-9)). Which is smaller: j or p?
j
Suppose 0 = -0*l + 3*l. Let s(z) = z**3 - z. Let h be s(l). Which is smaller: h or -6/17?
-6/17
Suppose 4*w + 9 = 13. Let r be (w - 4)/((-1)/(-5)). Which is smaller: -1 or r?
r
Let g be (-1*6)/(-3)*1. Suppose -g*i - 36 = -3*b + i, 0 = -4*b + 2*i + 42. Suppose 0 = -3*r + b. Which is smaller: r or 3/2?
3/2
Let b be 2 + (26/(-3) - (-7 + 5)). Is b less than or equal to -4?
True
Let v be -2 - (4 + -3) - -8. Suppose 3*d - 6*z = -z + 5, -v*z = d + 5. Let j = -1.2 - -1.9. Which is greater: d or j?
j
Let d(o) = 2*o - 3. Suppose 3*f = f. Let m be d(f). Let p = 15/2 - 7. Which is smaller: m or p?
m
Let a = -5 - -7. Suppose -4*s = -4*w + 42 + 50, -3*s + 7 = w. Let x = w - 16. Which is smaller: x or a?
a
Let f be (0 + (-18)/21)/(4/28). Suppose 3*h + 17 = -1. Is f less than or equal to h?
True
Let l = 4 + -9. Let a(b) = -b**3 - 5*b**2 - 4*b - 5. Let q be a(-4). Is q > l?
False
Let o = -4 + -14. Let t be 3 - (-39)/o - 0. Which is smaller: 0 or t?
0
Suppose 0*s - 4*s = 0. Let k be (-2)/8 + 3/24. Let g = k - -1/4. Are g and s equal?
False
Let i = 55 + -20. Let v be i/36 - (-18)/(-24). Is 1 < v?
False
Let h = 1.3 - 0.3. Let z = -1.939 + -0.061. Which is greater: z or h?
h
Let u be (-2)/(-7) + (-38)/(-14). Let d = u - 5. Let k = 4 - 3. Is d smaller than k?
True
Let v = -35 - -100. Which is smaller: 63 or v?
63
Let a be ((-13)/(-4))/((-20)/16). Let q = 57/20 + a. Let r = -2 + 1. Is q <= r?
False
Suppose 5*w + 5 = -0. Suppose -6*c = -2*c - 4. Let k = w + c. Is -1/4 < k?
True
Suppose 3*n - 1 = -4*c, -n = 2*n + c - 7. Suppose -n*s + 5 = -4*s. Is s < 2?
True
Let o(t) = 1 - 8 - t + 1 + 4. Let c be o(-2). Which is smaller: 1/9 or c?
c
Let i = 874/9 + -97. Let h(o) = 8*o + 16. Let d be h(-2). Which is smaller: i or d?
d
Let f be (-4480)/4410 + (-2)/2*-1. Which is bigger: -1 or f?
f
Let j(z) = -z**3 + 5*z**2 + 6*z + 3. Let l be j(6). Suppose 4*a + 5*d + 12 = 0, -2*a = -4*a - 2*d - 4. Which is greater: a or l?
l
Suppose -3*y = -5*t - y - 2, -t = 3*y - 3. Let a be (-11)/(-3) - (-8)/(-12). Suppose a*o = -x + 6, 3*x + 2*x - 15 = 0. Do o and t have different values?
True
Suppose 0 = 2*b - 0*b + 2. Let r = 0.03 + 0.47. Let s = r - 0.7. Is b at least as big as s?
False
Let j = 8 + -6. Suppose 2*q + n - 6 = -2, 4*q - 3*n = -j. Which is smaller: -2/65 or q?
-2/65
Suppose -3*r - 3 = 0, 9 - 51 = -4*q + 2*r. Is 10 equal to q?
True
Let u = -5.76 - -10.85. Let b = -0.09 + u. Let t = -4 + b. Which is greater: t or -2?
t
Suppose 3*f = -i + 79, -f + 11 + 2 = -3*i. Is f at most 25?
True
Suppose -2*y + 2 + 2 = 0. Suppose -5*d - 16 = -3*t, -t + 4*d + 14 = y*t. Let u be 1/t - (-14)/(-12). Which is smaller: u or -1?
-1
Let c(o) = 2*o + 2. Let w be c(3). Let b be (-5)/(-20) + 30/w. Which is smaller: 5 or b?
b
Let x(s) = 3*s**2 + 6*s + 3. Let j(i) = i**2 + 1. Let v(r) = 2*j(r) - x(r). Let b be v(-5). Is 4 greater than b?
False
Let f be 8/(-6)*42/4. Let w be -2 + f/16 + 3. Which is smaller: 1 or w?
w
Let y be (2/6)/(-3 + 1014/(-36)). Are y and -1 non-equal?
True
Suppose -2*i + 2 = -2*l, -4*l + 13*i - 10*i = 0. Let o = 4 + -3. Which is smaller: o or l?
o
Let y = 142 - 246. Let r be (-4)/y*-4 + 0. Is -1 less than or equal to r?
True
Let m be (0 - (-16)/(-244))/(6/3). Is m != 1?
True
Let d = -1 + 6. Suppose -2*h = -4*h + 8. Which is smaller: d or h?
h
Let m be (0 + 1/5)/(10/320). Is 7 at most as big as m?
False
Let k = -3/22 + -23/154. Let y = -15 - -15.9. Let x = y + -0.8. Which is bigger: k or x?
x
Let i(q) = 5*q + 29. Let g be i(-10). Which is bigger: g or -23?
g
Let w = 124 + -67. Do w and -0.1 have the same value?
False
Let v = 24/11 - 63/44. Is 1/12 < v?
True
Let k = 37 - 12. Suppose -5*r - 5 = -k. Suppose 3*d = 1 - r. Is -2 greater than or equal to d?
False
Let u be -2 + 2*2/2. Let t(q) = q**3 - q**2 + q - 263. Let r be t(0). Let x = r - -1835/7. Which is bigger: u or x?
u
Let j be -3 - -1 - (-9)/(-9). Let a be 72/(-135) + (-2)/j. Which is smaller: -1 or a?
-1
Let f(y) = -y**3 + y**2 + 3*y - 2. Let u = -4 + 6. Let a be f(u). Let t be 1*(-1)/4*-1. Which is smaller: a or t?
a
Suppose -2 = -4*n + 2. Which is smaller: n or 3/2?
n
Let f be 2 + (-5)/1 - 590/(-196). Which is smaller: f or -0.1?
-0.1
Let t be -1 - 4/2 - -9. Let r = 8 - t. Suppose -4*u + r*u - 16 = 3*d, 4 = -d - 2*u. Is d < -5?
True
Suppose 236 = -9*h + 13*h. Is 59 < h?
False
Let k(q) = -q**3 - 13*q**2 - 11*q + 15. Let l be k(-12). Suppose -l*o + 6*o - 15 = 0. Which is greater: o or 4?
o
Suppose 13 = -6*m + 7. Which is greater: 2/329 or m?
2/329
Let r = -20 - -35. Suppose b + 8 = r. Which is smaller: 6 or b?
6
Let f = -1.5 + 1.5. Let r = 0.5 + -0.55. Let o = -0.55 + r. Is f > o?
True
Let n be 29/(-58) - 2/(72/(-50)). Does 1 = n?
False
Suppose -4*l = 3*u - 7*u + 68, -3*l = -2*u + 50. Are -1/3 and l nonequal?
True
Let p(d) = -d**2 - 10*d - 4. Let f be p(-4). Let u = 8 - f. Let s be 2/3 + 20/u. Which is greater: 4/9 or s?
4/9
Let h(x) = x**2 - 3*x - 5. Let s be h(7). Let g be (-18)/(-81) - s/(-18). Is g <= 2?
True
Let g = -72 - -29. Which is smaller: -44 or g?
-44
Let w be -2 - (-2 + 0) - -5. Let r = w - 0. Suppose -2*m = -m + r. Are m and -4 equal?
False
Let u = -0.72 - 2.18. Let r = u + 3. Suppose -4*b = l - 5, 4*b + 4*l = -b + 20. Which is bigger: r or b?
r
Let p = 66 + -65. Which is smaller: -24 or p?
-24
Let c = 26 - 20. Which is smaller: c or 16/3?
16/3
Let l = 7 - 9. Let m be (-1)/(((-6)/(-4))/1). Do m and l have the same value?
False
Suppose -q - 3 = -4*q. Let h be (-35)/(-30) - (-2)/(-12). Is h < q?
False
Let y = 25 + -17. Suppose -y = -4*u, 4*b + 0*u - 2*u = 0. Let d be b + 2 - (-2)/(-1). Is d bigger than -2/17?
True
Suppose 0 = -2*l + 4*f + 52, -3*l = -4*f - 19 - 49. Is 16 at most l?
True
Let k = 149 - 86. Which is bigger: 62 or k?
k
Let m be ((-8)/10)/((-2)/(-15)). Let a = -4 + 4. Is m less than a?
True
Let h = -62773/650 - -24/325. Let r = 1355/14 + h. Let x(p) = -p - 17. Let s be x(-17). Is r < s?
False
Suppose -t + 9 = -a, -19*a + 36 = 4*t - 20*a. Which is smaller: t or 42/5?
42/5
Let k = 940 - 947.98. Let v = k + 8. Which is greater: v or -1?
v
Suppose -3*o + 5*c - 33 = 2*c, 44 = -4*o - 3*c. Is -2 greater than o?
True
Let o = 74.9 - 75. Which is smaller: o or 2/7?
o
Let q = 0.2 + 0. Let p = 5 - 5.05. Let b = p - 0.05. Which is smaller: b or q?
b
Let w be 3/2*20/45*-2. Which is bigger: -2 or w?
w
Let j be ((-3)/2)/(75/4). Is j smaller than 0?
True
Let l = 7 - 11/2. Let o be (-3)/(-3*1/15). Let h = 14 - o. Is h >= l?
False
Suppose -3*z = -f - 2*f - 15, -3*z + 4*f + 15 = 0. Suppose -31 = -5*d - 3*l, 3*d - 4 - 1 = 5*l. Are d and z equal?
True
Suppose 4*n = -4*o + 5 + 11, n - 2*o + 8 = 0. Suppose n*b = b. Is -3/8 at most as big as b?
True
Let h = 17 + -6. Is 1 < h?
True
Suppose -3*s - 2*s - 35 = 0. Let h(i) = i + 12. Let u be h(s). Let x be 17/5 + (-2)/u. Is x at least 1?
True
Let k(r) = r + 5. Let d be k(-6). Is -1/3 != d?
True
Let c = 809/3 - 267. 