= 95 + y. Let f = 3.06 - 0.06. Which is smaller: n or f?
n
Let r(y) = -3*y - 26. Suppose -v = 4 + 5. Let i be r(v). Let j = -6/5 + 4/5. Is j bigger than i?
False
Suppose 2*u - 3*r + 4 = 0, 0 = 2*u - 0*r + 5*r - 12. Which is smaller: -2/93 or u?
-2/93
Let j = -44 + 30. Let f = 5.1 + 14.9. Let x = j + f. Which is bigger: x or 2?
x
Let r be 10 + (-6)/252*424. Let g = 0.1 - -0.3. Let t = g + -0.3. Which is bigger: r or t?
t
Let v = -233/6 + 1141/30. Is -50 bigger than v?
False
Let a be (0 + 0)*(104 - 103). Does a = 1/608?
False
Suppose 0 = -60*i - 0*i - 15960. Is -1 at least as big as i?
True
Let b be (2 - 21/(-2))*4/5. Let r be (1 + -2)/(895/b + 0). Which is smaller: r or 0?
r
Suppose 2*d = -8, 2*q + q + 2*d = 7. Suppose -y + q - 1 = 0. Is 6 equal to y?
False
Let g = -44 + -12. Let h = -40 - g. Let q = h - 16. Which is greater: q or 0.4?
0.4
Let m be 4/3 + 45674/984. Is 48 equal to m?
False
Let j = -5067 - -7573. Which is smaller: 2507 or j?
j
Let q = -2.05 + 1.65. Is -3/19 < q?
False
Let c = 38 + -38.26. Let y = -0.16 - c. Is -1 less than y?
True
Let k be 6*10/(155 + 15). Let i(v) = -v**3 + 4*v**2 - 4*v + 4. Let h = -3 + 6. Let c be i(h). Are k and c equal?
False
Let o = -3 + 6. Suppose -o*f = f - 4. Let t = -5174/25 + 207. Is f less than or equal to t?
False
Let t(d) = -d**2 - 5*d - 3. Let k be t(-3). Suppose -2*y = 2*l - 254, -y = 2*l - 5*l - 139. Let j be y/35 + -2*1. Does k = j?
False
Let h = -19 + 11. Let w be (-6)/(h/4*-1). Let g be 4 + (0 - (w - -4)). Which is bigger: 2 or g?
g
Suppose 15 = -2*l - 3*l. Let c be (0/4 - -2) + l. Let x = 2 - c. Is x less than or equal to 3?
True
Suppose -6 = -15*h + 12*h. Let r be (-24 + -3)/(h - 1). Do -25 and r have different values?
True
Let t be 4 - (328/36 + -5). Which is smaller: -1/5 or t?
-1/5
Let x = 15 + -11. Let i(f) be the second derivative of f**5/20 + 11*f**4/12 - 11*f**3/6 + 8*f**2 - f. Let s be i(-12). Is x at most s?
True
Let k = -7 + 16. Let o = k + 0. Let t be 16/(-10) + 9/o. Which is bigger: t or 1?
1
Let a = -32 - -31.67. Let k = a - -0.13. Is -2 at most k?
True
Let c = 0 + 1. Suppose 3*q = -5*t + 3, 2*q = -6*t + 3*t + 1. Let w be 2 + q + (-168)/(-76). Which is smaller: c or w?
w
Let k(p) = -3*p - 6. Let o be k(-8). Let a = o + -15. Suppose -a*t - 10 = -2*g - 5*t, 0 = 4*g - 2*t + 4. Which is smaller: g or 2/21?
2/21
Let r(v) = -v - 3. Let l be r(-13). Let f(k) = k**3 + 8*k**2 + 6*k + 5. Let g be f(-7). Which is bigger: g or l?
g
Let t be (20/(-12))/(2/(-6)). Suppose -4*w + 4*r = 3*r - 29, 0 = -3*w + t*r + 9. Let l be ((-4)/20)/(w/(-10)). Is 1 at most as big as l?
False
Let a be ((-27)/(-12) - 3) + (-445)/(-700). Is 1/4 bigger than a?
True
Let y be (-9)/(3/(-1)) - 28/14. Let m(w) = w**2 - w - 2. Let t be m(0). Is t >= y?
False
Let j(l) = l**3 - 7*l**2 + 3*l + 14. Let a be j(5). Let q = 20 + a. Which is smaller: -1/3 or q?
q
Suppose 7 = h - 0*h + b, -5*h - b = -23. Let r be 4/((-12)/(-27)) - 2. Suppose 5*n + o - r = 0, o - 5*o = -8. Which is greater: h or n?
h
Suppose 2*b - b = -1. Suppose 5*n - 2*n = -6. Let r be 0 - n*(2 + -3). Which is greater: r or b?
b
Let u = 0.07 - -1.93. Let t = u + -3. Which is smaller: -0.1 or t?
t
Let w = 31 - 37. Which is smaller: w or -7?
-7
Let j be (-10)/(-75)*3*-3. Let f = -139 + 137. Is f less than or equal to j?
True
Let a be (-3)/(-3) - 1/1. Let q(s) = 9*s**3 + 3*s**2 - 2. Let v be q(3). Let g = v - 1344/5. Which is smaller: a or g?
g
Let w(x) = -x**3 - 28*x**2 - 53*x - 25. Let c be w(-26). Which is smaller: c or 1/45?
1/45
Let p = 1.88 + -1.973. Let g = p - -0.213. Suppose -3 = -4*t + 5. Which is smaller: g or t?
g
Let k = 11 - 8. Suppose 0 = u - 4*m + 9 + 18, 0 = -k*u + m - 26. Suppose 2*g - 2*i = -8, 4*g + 3*i = -34 - 10. Which is greater: g or u?
u
Let p(n) = -n**2 - 4*n - 9. Let y be p(-7). Let g(w) = w**2 - 113*w + 404. Let t be g(109). Is y greater than t?
True
Suppose -51 = -13*i + 30*i. Which is smaller: -51 or i?
-51
Let m(s) = 7*s**3 + 3*s + 3. Let q be m(-1). Suppose 10*c + 16 = 6*c. Which is bigger: q or c?
c
Suppose -4*o + 0*o = 0. Let q = -10573/15 + 705. Which is smaller: o or q?
o
Let d(s) = -s**3 - 10*s**2 + 12*s + 16. Let o be d(-11). Let f = 198 - 200. Which is greater: o or f?
o
Let l = 32 - 30. Suppose -5*y + 3*q = 79 + 58, -2 = l*q. Let i = y + 6. Which is greater: i or -21?
-21
Let r = 34.13 + -34. Let d = -0.17 - r. Let p = -14/15 - -8/5. Are p and d equal?
False
Suppose 108*r - 104*r + 1164 = 0. Which is greater: -293 or r?
r
Suppose 4*u + 5*z = 31, -3*u = 4*z - 36 + 14. Suppose -3*q + 2*n = -3*n - 16, 5*q = 2*n + u. Which is bigger: q or 1?
q
Suppose 0 = -3*j - 4*q - 25 - 239, 279 = -3*j + q. Which is greater: j or -89?
-89
Let s = -106/29 - -2439/580. Which is greater: s or 1?
1
Let r = -10.68 + 26.68. Which is greater: r or 0.21?
r
Let b(v) = v**3 + 7*v**2 - 7*v + 6. Let w be b(-8). Let n be 6/27 - (-1891)/(-45). Let o = n - -42. Which is smaller: w or o?
w
Let d = -2 - -2. Suppose -52 = -58*z - 284. Are z and d nonequal?
True
Let b(j) = j**3 - 8*j**2 + 8*j - 8. Let l be b(7). Let x be ((-1)/3)/(400/48 - 14). Which is greater: x or l?
x
Let t be ((0 - -1) + 1)*(-42)/126. Let n(f) = f**2 + 4*f - 1. Let x be n(-3). Let o be x + 6 - (5 - 3). Which is smaller: o or t?
t
Let h be (4/8)/(4/(-24)). Let l be ((-3)/h - 1) + 4. Do 0.1 and l have different values?
True
Let n(c) = c**3 + c - 1. Let z be n(1). Let h be (-6)/9 - 5/((-1050)/176). Which is greater: h or z?
z
Let k = -158 + 158.2. Which is bigger: 195 or k?
195
Let f = 46 + -28. Let k = f + -23. Are -3 and k unequal?
True
Let n be 17/((-102)/(-48)) + -8. Is -4/235 <= n?
True
Suppose -3*t + 2*y = 2*t + 97, -4*t - 3*y = 73. Which is smaller: -15 or t?
t
Let g be (8/96)/(3/(-8)). Let a = -19 - -7. Let h = -13 - a. Which is greater: g or h?
g
Let c = -1.6 + 1.572. Let h = c + -16.972. Is h < 1?
True
Let h = 39 - 59. Let w = -13 - 6. Let x = w - h. Which is bigger: x or 3?
3
Suppose 2*y = -2*q + 32, 2*q = -2*q - y + 61. Suppose d + h = 2*d, 4*d + q = h. Let x be ((-3)/6)/(2/24). Is d at least x?
True
Suppose -4*u - 12 = 4*m - 24, -4*m + 16 = 2*u. Which is greater: -20/27 or u?
-20/27
Let k be 8/2 + (-3 - 0). Let v be (k - -14)*(-2 - (-21)/9). Suppose 4*m - 12 = 0, m + 12 = 4*p - 3*m. Which is smaller: p or v?
v
Let f(b) = b**3 - 18*b**2 - 12*b - 7. Let j(y) = -3*y**3 + 53*y**2 + 36*y + 22. Let s(w) = 17*f(w) + 6*j(w). Let o be s(13). Which is bigger: o or 1?
1
Let z = 0.44 + -5.54. Let l = 4.1 + z. Which is greater: l or 4/15?
4/15
Let f(s) = s**3 - 5*s**2 + 7*s - 3. Let p be f(4). Suppose 19 = 5*h + p. Which is smaller: h or 1?
1
Let b(z) = -z**2 + 123*z - 701. Let f be b(6). Let t = -329/6 + 55. Is t at most as big as f?
True
Let x = 1635.236 + -1636. Which is bigger: -1/4 or x?
-1/4
Let j = 510437/10 + -50899. Let x = j - 145. Is x less than or equal to 2/3?
True
Let l = -10023670/391 + 25636. Is l bigger than 0?
True
Suppose 3*f - 6*f = -4*s + 2031, 0 = 2*s. Are f and -679 equal?
False
Suppose 0 = -4*f - 0*f + 8. Let k = 39 - -42. Let w = 84 - k. Is w less than f?
False
Suppose 4*w = w, -2*w - 18 = 3*v. Let u be (20/(-3))/(v/9). Let l = u + -6. Which is smaller: l or 14/5?
14/5
Let p = -2919/11 - -4349277/16390. Is p > 1?
False
Let x = 1083 + -14081/13. Do 1.13 and x have the same value?
False
Let d(l) = l**3 - 5*l**2 + 5*l - 4. Let q be d(4). Let u = 1 - q. Let t be 45/56 - (-6)/(-16). Which is greater: u or t?
u
Let i be -1*(-4)/4*2. Let o be (i/46)/((-2)/12*-21). Do o and -1 have different values?
True
Let f = 98 - 55. Let w = f + -39. Is -0.4 at most as big as w?
True
Suppose 25 = 4*g + z - 4, 4*g - 5*z = 47. Let s = 9 + -6. Which is smaller: s or g?
s
Let o = -24.8 + 26.8. Which is greater: o or -3/62?
o
Let b = 1234 - 389. Is b bigger than 845?
False
Suppose 6*l = 46 - 10. Suppose 7*a + 1625 = -l*a. Is -125 equal to a?
True
Let l = 23537 + -72083/3. Let x = 497 + l. Is x greater than or equal to 6?
True
Let m = -267 + 274. Which is smaller: m or 6/17?
6/17
Let y be 24/(-40) + (-335)/25. Let c = 19 - 21. Which is greater: c or y?
c
Let b be (5/(-4))/((209/176)/(-19)). Is b at least 37/2?
True
Suppose 0*d + 5*d - 90 = 0. Let r = d - 15. Let c be -3*(9/r)/(-18). Is c >= 0?
True
Let u = -1554 - -1554. Do u and 2/1511 have the same value?
False
Suppose 71*o - 61*o + 2520