e p/13 - 1633/(-897). Is 3 not equal to v?
True
Let s(x) = 7*x - 69. Let r be s(10). Is 2/345 bigger than r?
False
Let b(i) = 3*i**2 + 6*i + 5. Let f be b(-1). Which is bigger: 24/19 or f?
f
Let d = -230 + 343. Let h = d + -117. Which is bigger: h or -0.07?
-0.07
Let g be 61/(-9) + 104/(-36) + 3. Suppose 3*p + 12 = p. Which is smaller: p or g?
g
Let o = 6847/11 + -623. Suppose -15 = -j - 5*z, 220*j + 5*z - 15 = 218*j. Which is greater: j or o?
j
Let l(a) = -a + 8. Let v be l(5). Let r = v + -1. Suppose -2*y = r + 6. Is y at least as big as -5/2?
False
Let s = -5 + 22. Let l = 504 + -488. Which is bigger: s or l?
s
Let j = 66 + -19. Let h = j - 47. Which is greater: 1/12 or h?
1/12
Let o = -1.9 - 1.1. Is -28 at most o?
True
Let n = 86 - 55. Let f = n - 38. Is -8 less than f?
True
Let b = -246441/7 + 35308. Let m = b + -102. Let h = 1453/7 - 207. Which is bigger: h or m?
h
Let j = -0.0213 + 1.0213. Which is bigger: j or -366?
j
Let v be 11/2 + 2/4. Suppose -39 = -7*t + 59. Let a be 4/t + (-2)/v. Which is bigger: 1 or a?
1
Let n(y) = y. Let q be n(0). Suppose -23 = 2*t + 35. Let k = -28 - t. Is q greater than k?
False
Let t = -104 + 103. Let p = -0.9 + 0.4. Which is greater: p or t?
p
Let z(g) = -g - 1. Let t be z(3). Let y be (-7 + 5)*t/10. Let s = -4 - -4. Is y <= s?
False
Suppose 2 = 5*b + 3*n, 3*n - 2 = -4*b + 2. Suppose m = 5*g - 6, 4*m - 3*g - 6 - 4 = 0. Let u be 9/b*m/6. Which is smaller: -7/4 or u?
u
Let v(c) = 7*c + 3. Let b be v(-5). Let p be 0 - (0 - 12/b). Let r = p - -1/24. Which is bigger: 0 or r?
0
Let z be 6/3*(-3)/((-6)/4). Let u be 0 + (-6)/(-8)*z. Let f(j) = -j**2 - 7*j + 4. Let q be f(-7). Is u less than or equal to q?
True
Suppose 0 = g - 2*l - 28, -6*g + g = -3*l - 105. Let m = g - 6. Let o = -7 + m. Is 0 <= o?
True
Suppose -44*q = -46*q. Is q < 2/1435?
True
Suppose -2*j = -6*j + 136. Let t = j - 54. Let d be (-4)/t - 4/20. Which is smaller: d or -6/5?
-6/5
Suppose 5*z - m - 5 = 0, z = -2*z + 4*m + 3. Is -0.2 > z?
False
Let n = -631/19434 - 53/237. Which is smaller: n or 1?
n
Let q = -15 - -17. Let m be 0/(2 - 9/3). Suppose -5*f - 4*n + 15 = m, 9 = 3*f + 5*n - n. Is q at least as big as f?
False
Let g = 0.048 + 0.288. Let c = 0.036 - g. Let k = -26/51 + 3/17. Is c at most k?
False
Let l be (15/5)/(3/(-2)). Let j be (0 - (0 + 1))*l. Let i be 12/(-60) + 14/20. Which is bigger: i or j?
j
Suppose 9*a = 11*a + 4. Let n be (-1 + 7)*(-3 + 4). Let t = -2 + n. Which is greater: a or t?
t
Let t = -48 + 47. Let u = 1.42 + t. Is -1 less than u?
True
Let y = 311 + 763. Which is smaller: y or -1/3?
-1/3
Let i = 3/58 + 107/174. Let a(t) = t**3 + 5*t**2 - 6*t + 1. Let o(l) = l**3 + 2*l**2 - 2*l - 3. Let c be o(-3). Let y be a(c). Is y > i?
True
Let y = -35 - -23. Let z be 4 + (-3)/(y/(-8)). Is -1/2 not equal to z?
True
Suppose -13*p - 282 - 95 = 0. Suppose 5*k = -0*k - 140. Do k and p have different values?
True
Let n = 44 + -44. Let y = 162 + -645/4. Is n greater than or equal to y?
False
Suppose 17*l - 21*l + 80 = 0. Let o = -188 + 209. Is o at least as big as l?
True
Let y be (-10)/188*(10 - (-506)/(-55)). Suppose 2*v - 7*v - 5 = 5*l, 0 = 4*l + 3*v + 3. Is l bigger than y?
True
Let o = 17 - 3. Let k be (-4 - o/(-4))*-2. Let q be -1*1 - (k - 2). Which is smaller: -1 or q?
-1
Let y be ((-6)/(-12))/(2/(-12)*-3). Is -2/755 greater than y?
False
Let q(l) be the first derivative of l**4/4 - 7*l**3/3 - 2*l - 13. Let i be q(7). Is -12/17 > i?
True
Let u = 1158 + -1157.8. Is u at most as big as -0.66?
False
Suppose 22 = -c - 6*m, 0*c + c - 4*m + 2 = 0. Is -9 <= c?
False
Suppose -17 = -4*a + z + 5, -z - 17 = -3*a. Is 8 at least a?
True
Let p = 533.87 + -552. Let h = p + 18. Let t = h + 0.43. Which is smaller: 0.1 or t?
0.1
Let u be (8*(-1)/(-16))/((-1)/(-4)). Suppose 0*v + 44 = -3*t - 5*v, -t - u*v - 16 = 0. Is -52/7 not equal to t?
True
Let f = -227 - -227.08. Which is smaller: f or -78?
-78
Let h be 2/(-6)*(-6)/(-38). Suppose -2*s + 4 = -0*s. Suppose 5*k - s*p = -3, -2*k = -k - 5*p - 4. Is k >= h?
False
Suppose 0 = 3*h + 53 + 25. Let l = h - 27. Is l greater than or equal to -52?
False
Let s(q) = q + 4. Let a(j) = j**3 - 4*j**2 + j - 1. Let o be a(2). Let t be s(o). Suppose 3*c + 16 = 1. Which is bigger: c or t?
t
Let l = -354 + 353. Which is smaller: l or -8/25?
l
Let a be 3 + 266/(-24) + 7. Is a >= -2?
True
Let r be 60/(-105) + 23/28. Which is smaller: 1.49 or r?
r
Let g = 274 + -29315/107. Is 1 <= g?
False
Let i = -3.97 + -1.99. Let b = i + -0.04. Which is smaller: b or -1/2?
b
Let q = 149 + -144. Suppose q*o = 4*y + 15, 4*y = -o - y - 26. Are o and 2/333 equal?
False
Let h = 29 - 43. Let o = 18 + h. Are -1 and o nonequal?
True
Let n(f) = -f**3 + 8*f**2 - 7*f + 11. Let d be n(7). Suppose m + 7 = i - 0*m, -3*m + 39 = 3*i. Let h = d - i. Which is smaller: h or 1/2?
1/2
Let t be (-4)/(-22) - 128/220. Let n be (-1)/2 + 41 + -42. Is n not equal to t?
True
Let t be 34/(-85)*24/15. Which is bigger: t or -2?
t
Let n = 63 + -62. Let u(w) = w**3 - 9*w**2 + 9*w - 5. Let f be u(8). Let b be 4/f*2/8. Is n <= b?
False
Let v = 1.79 + -1.69. Is 0.068 equal to v?
False
Let a = -6 + 6.1. Let h = a - 0.1. Let i = 0 + h. Which is smaller: 1 or i?
i
Suppose -15*v + 23*v + 32 = 0. Let w(b) = -5*b**2 + 0*b - 2*b - b**3 - 4*b - 7. Let o be w(v). Which is greater: -2/15 or o?
o
Let x(d) = -1 - d - 6*d**3 + 3*d**2 - 6*d**2 + 4*d**3 + 2*d**2. Let c be x(-1). Which is smaller: 0 or c?
0
Let y = -11 - 7. Let k = y + 19.6. Let t = -1.7 + k. Is t != -1/2?
True
Let f = 318 - 317.9. Do f and -13/7 have the same value?
False
Let k = 21 + -14. Let m = -90 - -75. Let z be (3/m - 56/20) + 0. Which is smaller: z or k?
z
Let i be (-4)/(-22) + (-230)/55. Let y be -10*i/32*18. Let a = y - 23. Which is bigger: a or 2/3?
2/3
Let d = -0.0883 - -0.0473. Is d bigger than -2/5?
True
Let d be (-100)/24*(-1068)/21. Let x = d + -628/3. Which is bigger: 3 or x?
3
Let b be 2/(-4)*(-12)/(-38). Let q = 91/95 + b. Let w(u) = -u**3 - 24*u**2 + 3*u + 73. Let t be w(-24). Which is bigger: q or t?
t
Let t(c) = 162*c - 36. Let o be t(3). Let m be 3 - (2 + 445/o). Do m and 1 have different values?
True
Let g be 5/(60/(-18)) + (-2)/4. Is g at most as big as -13/4?
False
Let z = -492 + 493. Which is greater: z or -1/138?
z
Let l = -0.079 - 0.039. Let r = 0.018 + l. Which is bigger: -1.2 or r?
r
Suppose 26*l + 5*l + 9424 = 0. Which is greater: -305 or l?
l
Suppose 3*m - 82 = w + w, -34 = -m + 2*w. Suppose 0 = -2*p - 8 + m. Let t be 2/24*9*12. Which is smaller: t or p?
p
Let a be (7/175)/((-192)/(-540)). Which is smaller: 0 or a?
0
Let x be 212/230 + 98/(-70). Do x and 1 have the same value?
False
Let q be (-20)/(-25) - (-931)/(-1165). Is 1 less than or equal to q?
False
Let o be (-81)/36 - (-6)/(-8). Let l = o - 5. Let y(f) = -f. Let j be y(l). Which is smaller: 7 or j?
7
Let d = 32.90115 - 0.07115. Let j = -33 + d. Which is greater: j or 0?
0
Let k(l) = l**3 - 3*l**2 + l - 3. Let i be k(3). Let j(u) = -u**2 + 2*u + 50. Let y be j(i). Let z be (-2)/(-3) + (-60)/y. Which is greater: 0 or z?
0
Let u(x) = x**3 + 8*x**2 - 23*x - 31. Let l be u(-10). Which is greater: l or -2/383?
-2/383
Let k = -175 - -175. Which is greater: k or -10/17?
k
Let x be ((-15)/((-30)/28))/(2/(-6)). Is x at least as big as -40?
False
Let b(j) = -j**2 + 4*j - 4. Let v be b(4). Let x be (v/20)/(1/2). Let r = -710 + 714. Which is smaller: x or r?
x
Let d = -1.22 - 1.78. Which is smaller: -2/9 or d?
d
Suppose 5*x + 5 = 0, l + 4*l + 5*x = 20. Suppose -3*r = -2*d + 8, d + 0*r + l*r + 9 = 0. Let a = 125/532 - -2/133. Is a >= d?
False
Let n(t) = t + 3. Let u(l) = -l**3 - 4*l**2 + 2*l + 2. Let y be u(-4). Let f be n(y). Let j be -2 - (f + -4) - -1. Which is smaller: j or 22/3?
j
Let d be ((-16)/12)/(6/45). Suppose -4*g + 4*q - 21 - 19 = 0, 5*g + 52 = 3*q. Which is bigger: g or d?
d
Let y = -818 + 389. Let p be y/44 - (-1)/(-4). Suppose -42*k + 40*k - 18 = 0. Which is smaller: k or p?
p
Suppose -3*m - 32 = 4. Suppose 19*y + 11*y + 450 = 0. Is y at least as big as m?
False
Suppose 58 = 42*u - 740. Which is smaller: 16 or u?
16
Suppose 3*c = -2*c. Let p be (c - 1) + 6/3. Suppose -5*t - 4 = p. Is 6 greater than t?
True
Suppose -3*g = -a - 12, 5*a - g + 4 = a. Let x = 7076/27 + -262. Which is smaller: x or a?
a
Let p = -174 + 177. Is 0.25 <