is bigger: g or u?
u
Let d = -10 - -7. Let o be 3 - d/(6/(-8)). Is 2 < o?
False
Let y be (1 - (3 + -2))/1. Suppose 4*m = -b, y*b - b - 3 = m. Is b greater than or equal to -4?
True
Let k(d) = 6*d**3 + 2*d**2 + 2*d - 2. Let p be ((-20)/(-25))/((-2)/10). Let t be k(p). Let v = t + 1816/5. Which is greater: v or 2?
2
Let s be 24/340*(4 - -1). Let v = -31/136 + s. Which is smaller: -1 or v?
-1
Let i = 5.97 + -6. Do -2/3 and i have different values?
True
Let w be ((-1)/3)/(-3*(-4)/12). Which is smaller: -22 or w?
-22
Let s(t) = 18*t**3 - 2*t + 1. Let k be s(1). Suppose -5*i - 3 - k = 0. Is i <= -5?
False
Let j(z) = -z**2 - 13*z - 12. Let r be j(-11). Let v = r - 10. Is -12 < v?
True
Let s = 0.107 + 0.893. Is s at most as big as 15?
True
Let t(a) = -a**3 - 3*a**2 + a + 1. Let w be t(-3). Let c be (-1)/w + 3/(-4). Let o be 14/10 - 2/5. Which is smaller: o or c?
c
Let l be (-5)/12*12/60. Is l less than -1?
False
Let c(y) = 9*y + 18. Let z be c(-2). Is -5/16 at most as big as z?
True
Let r = -33 - -16. Let g = 17.04 + r. Which is smaller: g or 0?
0
Let x = 0.41 - 0.41. Which is smaller: x or 6?
x
Let t = -120 - -168. Suppose -2*w - 46 = 3*j, 3*j - w + t = -4*w. Let i be (4/j)/(3/(-7)). Does -1 = i?
False
Let a be (-632)/(-2)*8*7/224. Is a >= 1?
True
Let c(o) = -17*o + 3. Let k be c(1). Which is bigger: k or 2?
2
Suppose j = 6*j. Which is smaller: 3 or j?
j
Let k = -20 + 16. Which is bigger: k or -6?
k
Suppose 0 = -q - 3 + 5. Suppose 11 = 3*h + q. Is h < 2?
False
Let s = 319 - 1587/5. Suppose 5*y - 3*k - 15 = 0, -3*k = -y - k + 3. Is s < y?
True
Let i = 0.02 - 0.22. Let p = i - -0.03. Is p at least 0.1?
False
Let t be (-12)/20 - (-2)/(-5). Suppose 0 = 3*i - 5*i - 268. Let u = -1204/9 - i. Is t <= u?
True
Let h = -0.003 - 0.097. Suppose -32 = -j + 4*z, 2*j = 5*z + 16 + 45. Suppose -3*n + 5*p = -j, -2*n - 17 = -4*n + 3*p. Which is smaller: h or n?
h
Let v = -8/19 - -2437/57. Let q = -43 + v. Is -3 at least q?
False
Suppose 5 = -2*c - 7. Let l(a) = -3*a - 14. Let y(b) = b + 5. Let j(x) = 3*l(x) + 8*y(x). Let o be j(5). Is o not equal to c?
True
Let i = -5 - -16. Let n = i - 12. Which is greater: -2 or n?
n
Let c = 0.1 - 0.3. Let s = -0.2 + c. Let h be 1 - 0 - (6 + -5). Which is bigger: s or h?
h
Let q be 15/25 + (-84)/(-10). Let k = 11 - q. Which is greater: 3 or k?
3
Suppose 5*c + 10 = 5*v, -3*c - v - 16 = -2*v. Is -8 at most as big as c?
True
Let a be (-9)/(-15) + (-344)/(-10). Suppose m - 6*m = a. Which is smaller: m or -6?
m
Let n(l) = -2*l**3 + 2*l**2 + 2. Let j be n(2). Let t be -2 - j - 52/16. Suppose 0 = 5*g + 4*r - 16, -4*g - 3*r - 4 = -4*r. Is g >= t?
False
Let k = 5 - 2. Suppose 0 = 2*o - 4*j + 16, -k*j + 20 = 5*o + 2*j. Is 4/5 greater than o?
True
Let c = -29/54 + 1/27. Which is smaller: c or -5?
-5
Let u(t) = 75*t**2 + t + 2. Let d be u(-1). Which is smaller: 74 or d?
74
Let m = -21 + 16. Is -1/2 not equal to m?
True
Let r = -7 - -9. Let o = -1 - -4. Does r = o?
False
Let l be 1 + -20 - -2 - 3. Let o be (8/l)/(2/20). Which is bigger: 1 or o?
1
Let j = 29/48 + 1/16. Suppose 15 = r - 2*i, -8*r - 5*i = -3*r. Suppose -2*k + 5*k - 9 = -2*c, 3*c = r*k + 4. Is k less than or equal to j?
False
Let z = -39 - -157/4. Suppose -2*q + 3 = p - 4, -3*p = 9. Suppose 2*i - 3 + q = 0. Which is smaller: z or i?
i
Suppose 20 = 5*k - 5*n, -3*k = 3*n + 2 + 10. Let p = -11 + 48/5. Let w = p - -33/20. Is w < k?
False
Let i = -20 - -31. Is 11 less than or equal to i?
True
Let v be ((-12)/(-10))/(21/(-70)). Let h be v/(-14) + 128/(-546). Which is smaller: h or -1?
-1
Let u = -6 - -14. Let d be u/70 + 4/14. Suppose k = -3*l + 5, k - 7 = 2*l - 2. Is l at least d?
False
Let k = -11/5 - -94/45. Is k <= 4/7?
True
Let x = -114 - -116.7. Which is bigger: 0 or x?
x
Let s = -4 - -6. Suppose 4*i - 5*k - 2 = s*i, 3*i + 4*k = 3. Which is bigger: i or 1/4?
i
Let a = -4 - -3.8. Is a bigger than 0.06?
False
Let q(p) = 3*p + 12. Let l be q(13). Let y = 197/4 - l. Let d = y - -2. Is d greater than or equal to 0.09?
True
Let a = 0.6 + 4.4. Let q = 3 - a. Which is bigger: q or -1/5?
-1/5
Let l = -10/101 - 859/505. Which is smaller: l or -2?
-2
Let g be ((-2)/4)/((-1)/(-10)). Let m = g + 3. Let w be m/(-10) + (-1)/5. Which is smaller: w or 1/7?
w
Let a = -0.16 + 11.16. Let o = a - 10. Is o >= -4?
True
Let j = 1/63 + -68/315. Let n = j + 1. Are 1 and n non-equal?
True
Let r = 18296/1764693 - -2/9337. Let l = 197/756 - r. Let t = 53/2 - 27. Is t greater than or equal to l?
False
Let y(b) = -5*b - 4. Let i be y(-2). Suppose -3*l = -0*l - i. Which is bigger: l or 3?
3
Let a = 89/3 + -2938/99. Which is bigger: 1 or a?
1
Let y be -2 + (-3 + -8)*-1. Let h be ((-2)/(-2))/((-3)/y). Which is bigger: -2 or h?
-2
Let z = 40.01 - 40. Let a(i) = i - 3. Let r be a(2). Which is bigger: z or r?
z
Let u be ((-60)/(-56) - 1)*4. Suppose 2*q - 5*q + 15 = 0. Which is greater: u or q?
q
Let v = -50 + 348/7. Which is smaller: v or 2?
v
Let b be 64/(-6) - 2/(-3). Let r be (b/(-2))/((-3)/(-5)). Let l = r - 103/12. Is l equal to 0?
False
Suppose -235 = -5*a - 60. Let v be 2/(-7) - (-45)/a. Do -1 and v have the same value?
False
Let y(u) be the second derivative of 4*u**2 + 4*u - 1/6*u**3 + 0. Let o be y(5). Which is bigger: 2 or o?
o
Let t = 1077/2 + -551. Are -14 and t equal?
False
Let c = -28 - -22. Let q(h) = -h + 1. Let a be q(6). Do c and a have the same value?
False
Suppose -3*s + 0*s = 6. Which is smaller: s or -3/5?
s
Suppose 5*u + 80 = u. Let w be (u/(-12) + -3)*3. Suppose v + 0*t = -3*t + 3, 4*t - 11 = v. Is w < v?
True
Let n be 2/8 - 5/20. Suppose 0 = t + 2*i + 1, t + 3 = -2*t - 4*i. Which is greater: t or n?
n
Let a be 1964/9*18/15. Let w = a + -262. Let n = -3 - -2. Is w <= n?
False
Let f = 5 - 2. Let i = -1 + f. Suppose 2*t - 10 = -5*j + i, 2*j = -2*t. Which is greater: j or 5?
5
Let q = 2.05 + 2.95. Let a be 2/21*3 + 0. Are q and a nonequal?
True
Suppose x - 2 + 4 = 0. Let m be (14 - 7) + x/(-1). Let y = -9 + m. Is y < -1?
False
Let v = -3 + 2.8. Let j = 0.8 - v. Which is smaller: 0.2 or j?
0.2
Let f = 6 - 22. Which is smaller: f or -12?
f
Let b be (2 - 5) + (-8)/(-16). Is b at most as big as -4?
False
Let b be ((-3)/3 - -3) + -2. Let y = 262 - 2886/11. Which is bigger: y or b?
b
Let a = -21/2 + 107/10. Is a >= 0?
True
Suppose 5*k = k - 16. Let h = -4 - k. Suppose h = -s + 5*s. Does s = 2/5?
False
Let a = 2.6 + -2.56. Is a smaller than 1/2?
True
Let u = 14/517 - 212543/2068. Let m = 102 + u. Is 3/5 not equal to m?
True
Let o(s) be the second derivative of -s**5/20 + s**4/3 + 2*s. Let y be o(4). Suppose 0 = -2*t - 6, -3*t = -y*w + 2*w + 1. Is w >= 4?
True
Let c be 2/8 + 951/4. Let h = c - 157. Let k = h + -167/2. Is k < -4?
False
Suppose 2 + 16 = -3*l. Let n be ((-5)/((-1155)/l))/1. Let o = -144/385 + n. Is o at least 1?
False
Suppose 6 = 3*p - 3. Let k be (-2)/21 + -3 + p. Which is smaller: k or -1?
-1
Suppose -19 + 4 = 5*p. Suppose r - 4*r = -12. Suppose 12 = -r*h - 0. Is p > h?
False
Let n(q) = 3*q**2 + 7*q + 2. Let b be n(-2). Which is bigger: b or 3/4?
3/4
Let m be 166/(-6)*4/2. Let x = m - -56. Is x <= 1/4?
False
Let g = 1/133 - -391/1064. Is g greater than -1?
True
Let w = -0.08 + -1.32. Is -2/5 not equal to w?
True
Let a(p) = -2*p**3 + 3*p**2 - p + 1. Let r be 32/18 - 2/(-9). Let t be a(r). Is -5 greater than or equal to t?
True
Let o be 28/6*6/4. Let v(w) = -w**3 + 7*w**2 + 2*w + 8. Let f be v(o). Is 23 != f?
True
Let o(l) = l**3 + 6*l**2 - 7*l. Let w be o(-7). Suppose -3 = -c - 2. Which is greater: c or w?
c
Let h = 96 - 82. Let z be (-1 + 0)/((-1)/(-8)). Let c be (-2)/(-2) + z/h. Are 2/7 and c equal?
False
Let k = -18 - -20. Which is greater: k or 9/11?
k
Let y be -1*(-4 + 1 + 8). Let x be (y + 4)*(4 + -1). Let l be ((-57)/(-18) + x)/(-1). Which is greater: l or -2?
l
Let j(i) = -i**3 - i**2 + 3*i + 1. Let k be j(-3). Which is greater: 11 or k?
11
Let w be (-11)/(-2) + (-3)/6. Suppose 4*r - 60 = 4*c - 208, -w = 5*c. Let n be r/14 - 20/70. Which is smaller: -1 or n?
n
Let m = -34 - -17. Are m and -1 unequal?
True
Let k = -69/3232 - 1/101. Is k < 1?
True
Suppose -3*m - 1 - 37 = 4*s, -5 = 5*m - 5*s. Are m and 2/5 nonequal?
True
Suppose 96 = -7*k - 5*k. Is 3 less than k?
False
Suppose t + 0 - 1 = 0. Let f = t - 2. Is -3 at least f?
False
Let g be (2 - 4/(-7))*(-224)/24. Which is greater: -