1/166600. Let o = 16379/1241 - v. Is o greater than 1?
False
Let p = 9273 - 10693. Are -1419 and p nonequal?
True
Let z = -32403 + 32370592/999. Are 0 and z non-equal?
True
Let h(l) = -3*l**2 - 1. Let f be h(2). Let j be (-18)/(77 + -5) - f/4. Which is greater: 17/7 or j?
j
Let i = -150 - -165. Let z = 48.61 + 4.49. Let a = 53 - z. Is a < i?
True
Let p = 62105/564 + -1303/12. Which is bigger: 3 or p?
3
Let b = 70 + -68. Suppose -3*y - f = -6*f + 3, -f - b = 2*y. Let k be (y - (-18)/22) + 195/165. Is k at least 18/11?
False
Let y be (6/(-8) - 2449/(-588)) + -3. Let z = -4/49 + y. Is 0 greater than or equal to z?
False
Let q = 5002 - 15127. Is 0.1 < q?
False
Suppose 9*t = 166 + 887. Suppose -8*x - t = x. Let r(p) = -p**2 - 2*p + 1. Let b be r(-5). Is x less than b?
False
Let n(h) = -h**2 + 17*h - 65. Let z be n(8). Let x be 8*z/140 - (-543)/5. Which is bigger: x or 110?
110
Suppose 0 = -262*l + 57*l. Which is greater: l or -7/94?
l
Let q = 203 + -55. Let p = q - 148.4. Is p greater than or equal to 4?
False
Suppose 0 = 4*y - 2 - 6. Suppose 2*u = 3*i + 162, -y*u + 264 - 46 = -4*i. Let f be (-658)/12 + 868/(-744). Do f and i have the same value?
True
Let b = -172 + 1373/8. Let f = -625 - -809. Let l = f - 181. Is b greater than or equal to l?
False
Let n = -617 - -873. Let h = -256 + n. Are 0.07 and h nonequal?
True
Let m be (1 - -2) + (2868/316)/(-3). Let y(i) = 4*i + 36. Let x be y(-9). Is m greater than or equal to x?
False
Suppose -2*i + 3*j = -j - 11012, 0 = 2*i + 5*j - 11048. Let y = i - 237124/43. Let z = y + 2088/3913. Is 1 at least z?
True
Let w(z) = -10*z**2 - 110*z - 156. Let s be w(-9). Is 0.0639 greater than s?
False
Let u(t) = t**2 + t + 64*t**3 - 63*t**3 - 7 - 2. Let c be u(0). Which is smaller: -8 or c?
c
Let o = 1685.8 + -1685.9. Let h = 25.36 - 0.36. Let m = h - 24.43. Is m >= o?
True
Let i be (-582 + (-18)/(-6))*(-2 - -3). Are -2315/4 and i nonequal?
True
Suppose 270*n - 267*n = -603. Which is smaller: -202 or n?
-202
Suppose 3*q + 2*q - x = 251, 0 = -3*q + x + 151. Suppose 5*o - 1424 + 1419 = 0. Are q and o unequal?
True
Suppose 27*u - 1387 = 100*u. Are -4.1 and u non-equal?
True
Let u = -1646.5 + 1646.7. Which is bigger: u or 107/17?
107/17
Suppose 4*n + 7*y - 18 = 9*y, 0 = -3*n + y + 16. Suppose 10*a + 3 = -n. Is a greater than -1/6?
False
Let j = 1038259/4390 + -12/2195. Is 236 >= j?
False
Let g = 6.1 - 13.16. Let m = 7.21 + g. Do m and 15 have different values?
True
Let v be -1644 + ((-4)/(-14))/((-40)/280). Is -1647 bigger than v?
False
Let x be (3/(-211572))/((-2)/452541). Let i = -1/11754 + x. Let q = i + -15/8. Which is smaller: 0 or q?
0
Suppose -3*v + 1988 = 4*t, -105 + 109 = v. Which is smaller: 525 or t?
t
Let l = -1/91271 + -177073/499161099. Which is smaller: 0 or l?
l
Let u(k) = 9*k - 114. Let n = 80 + -67. Let h be u(n). Which is greater: h or 3/14?
h
Let z(w) = 170*w - 263. Let y be z(17). Suppose 2624*l = y*l + 72. Let k = 2599/3 - 890. Does l = k?
False
Let s be ((-17476)/33150)/(1/21). Let b = s - -146/13. Which is bigger: b or 3?
3
Let q = -127.933 + 128. Let o = -1870.133 + 1870. Let s = o - q. Which is greater: 40 or s?
40
Let r be (15/(-9))/(-5) + (-42)/(-9). Let i be (-5 - (-68)/(-20)) + 4/r. Suppose -13 = 5*j + 22. Is i != j?
True
Let t = 2347 - 23449/10. Let v(o) = -o**2 + 49*o - 93. Let q be v(47). Which is bigger: t or q?
t
Let d = 494 - 497. Which is bigger: d or 1/7?
1/7
Let i = -3.1388 + 0.0288. Let j = 128 + -127.89. Let t = i + j. Is t <= -6?
False
Let j = -4528 + 86024/19. Which is smaller: -1 or j?
-1
Suppose -b + 20 = 3*b. Let w be 2/(-7) - (-176)/77 - 462/(-242). Is b at least w?
True
Suppose -410 = t - 8*x - 25*x, -4*t + 4*x = 1128. Is t greater than -313?
True
Let n = -4.632 + 3.632. Let y = 14.4 - -186.6. Which is greater: y or n?
y
Let d = 32519/183 - 533/3. Let i(x) = -x + 2. Suppose -9 = 4*a - 4*l - 37, 2*l = -3*a - 4. Let u be i(a). Is u < d?
True
Let s = 29 + -69. Let h = s + 39. Let c = 0.252 - 0.352. Does h = c?
False
Suppose 2*r - 2360 = -2*w, -5*r - 3*w = -4*r - 1174. Is 1183 at least r?
True
Let w = -600.3 - -545.8. Which is greater: w or 2/11?
2/11
Let s be (2/6)/((-4)/(-36)). Suppose 0 = -4*a - 5*k + 2*k - 9, -9 = a + s*k. Suppose 5*q - 3 - 22 = m, 3*m = a. Which is bigger: 19/4 or q?
q
Let v = 564 - 559. Let w(f) = -f**3 - f**2 + f + 1. Let l be w(-2). Suppose v*m - 14 = l*m. Which is smaller: m or 2?
2
Let o(z) = 21*z - 23. Let f be o(7). Let n = f + -125. Let q be ((-1)/29)/(-2 + 1). Which is smaller: n or q?
n
Let k(t) = 3*t**3 - 5*t + 5. Suppose 0 = 9*a - 26 + 8. Let h be k(a). Let u = h + -18. Which is bigger: 56 or u?
56
Let h = -122 - -117.76. Let c = h - -5.24. Is 10 less than or equal to c?
False
Let h = 129 + -48. Let g = -12119 + 12199. Is h != g?
True
Let m(a) = -2*a + 5. Let n be m(-2). Suppose -n*p + 3*p = 408. Suppose 2*z + 135 = -b, -4*z + 2*b + 202 = -7*z. Is p bigger than z?
False
Let r be 2/8 + (-2)/8. Suppose 36*c - 185 = 41*c. Let w be (-170)/(-38) - (42 + c). Is r at least as big as w?
True
Suppose -5*x + 45 = -8*x. Let k be (-4 + 2980/16)/(-12). Let f = x - k. Which is greater: 0 or f?
f
Let r be (135/(-12) + 7)*4*106/(-14). Which is smaller: r or 130?
r
Let d = -12.4 + -113.6. Let y = -144 - d. Let o = -0.95 + -0.05. Which is bigger: o or y?
o
Let q = 34439 + -12088099/351. Let x = 1654363229/1404 + -4713297/4. Let p = x - q. Which is greater: p or -3?
p
Let j be (3/2)/(18 + (-686640)/38144). Which is greater: -1183 or j?
-1183
Suppose 2*c + 5 = u, -5 = -11*u + 7*u + 5*c. Let q be u*(24588/6150 + (-4)/1). Which is smaller: -1/2 or q?
-1/2
Let y = 1172 - 1168. Suppose 4*a = y*u - 0 + 44, 0 = 5*a - 10. Let t be 1/(-3) - 40/6. Is u at least as big as t?
False
Let t(b) = -3*b**2 + 30*b + 602. Let i be t(20). Which is bigger: -76/49 or i?
i
Let d = 3672 + 2844. Let t be (-7 - -13)/d*4. Which is greater: t or 1?
1
Let b be 11/44 + (-49)/4. Let p be (b/15)/((-1)/5). Suppose m - p*z - 26 = 0, -z - 24 = -2*m - 0. Which is bigger: m or 11?
11
Let m = 45 + -39. Suppose m = w - 4. Let s(a) = -a**2 + 11*a - 10. Let i be s(w). Which is smaller: i or 4/5?
i
Let y = 3.6 + -0.6. Suppose 38025*h - 69 = 38028*h. Which is smaller: h or y?
h
Let m(h) = h**2 - 29*h + 121. Let q be m(22). Let d be (4/6)/((2090/q)/(-19)). Suppose 18 - 4 = 2*f. Which is bigger: d or f?
f
Let q = 1707 + -1706.92. Does -3 = q?
False
Suppose 3*d = 27 + 24. Let a be 14 + 3/((-39)/(-65)). Is d < a?
True
Let h = -14448 + 10677. Which is bigger: -0.1 or h?
-0.1
Let j = -17.7 + 24. Let q = j + -5.67. Is 0 >= q?
False
Suppose 4*t - 22 = -2*q, -3*t + 37 = 5*q + t. Let u = q + -4. Let l be 2 - ((-1)/15 + 2). Which is smaller: l or u?
l
Let f be (-13)/4 + 4/16 - -58. Let c = f + -56. Let a = 78/7 - 2347/210. Is c < a?
True
Let d(i) = -5*i**2 - 22*i + 3. Let a be d(-4). Let b be (-16)/10*(-35)/14 + 7. Is b smaller than a?
False
Let x = 17460.74 + -17308. Let b = 1.26 + x. Is b less than 0.1?
False
Suppose -5*y = -4*i + 65, 2 + 1 = y. Suppose u + 9 = 2*f - f, -5*f = -4*u - 41. Let q be (-328)/(-10) - u/i. Which is bigger: q or 35?
35
Let d(h) = 3*h**3 + 2*h**2 + 2*h. Let s be d(-2). Let r = 6 + -6. Let k(o) = 15*o - 19. Let w be k(r). Which is bigger: w or s?
w
Suppose 0 = -53*v + 48*v + 25. Suppose p - 17 + v = 0. Let y be (1 - (2 + 1)) + 16. Which is greater: p or y?
y
Let v(z) = 4*z**2 + 3*z - 32. Let b be v(4). Suppose 4*j + b = 2*y, -y - j + 22 = -0*y. Is 22 smaller than y?
False
Let k be 12 - (-11 + 5 - -15). Is k greater than or equal to 10/87?
True
Let s(m) = 4220*m - 347. Let o be s(-2). Which is bigger: -8786 or o?
-8786
Let l(m) = -296*m - 10064. Let j be l(-34). Let w be (3 - 4)/(1/1). Let i be 3 + -2 + (-1)/w. Which is smaller: i or j?
j
Let i(y) = -752*y - 3753. Let k be i(-5). Is -32/53 smaller than k?
True
Let d(i) = 3*i + 2. Let q be d(-2). Let m be (-38)/(-40) - (q - -5). Let p(u) = -u**3 + u**2 - 10*u - 35. Let l be p(-2). Is m > l?
True
Suppose -25*y + 29*y = 60. Suppose 26*u + y = 31*u. Suppose 19 = 2*r + 5*c, -u*c = 3*r + 2*r - 19. Do 10 and r have different values?
True
Suppose 2*q - 5*q = 2*q. Suppose 2*c - 4 - 6 = q, 5*a + 40 = 4*c. Let s be (-6)/44*a/3. Which is smaller: -3 or s?
-3
Let f = 1/1202 - 4851/51686. Let y(c) = -c**3 - 8*c**2 - 7*c - 11. Let n be y(-5). Let u = -51