an 6921?
False
Suppose 3*r - v - 8 = 0, 2*r - 24 = 908*v - 905*v. Which is greater: 70/303 or r?
70/303
Let o(n) = -n**2 - 6*n - 1. Let g be o(-6). Let z be (-3 - 119/(-39))*176397/130. Let c = 341/5 - z. Is c bigger than g?
False
Let n = -7843/141 - -167/3. Let o(a) = 2*a. Let i(d) = -7*d - 138. Let h(w) = i(w) - 4*o(w). Let x be h(-9). Which is smaller: n or x?
x
Let l = 4.4 - 4.64. Let v = 0.12 + l. Let s = 0.12 + v. Which is smaller: 0.2 or s?
s
Let o(y) = 2*y**3 - 13*y**2 - 5*y - 4. Let k be o(7). Let g = 21 - 4. Suppose 2*p - g = 1. Which is greater: p or k?
k
Let q be (6 - 8) + 0/3. Let o be 328/(-28) + q/7. Let a be (-8)/o + 548/(-66). Which is bigger: -9 or a?
a
Suppose -81*w = -69*w - 60. Suppose 5*u - 3*u = 46. Let k be (-2)/(-5) + u/5. Is k at most as big as w?
True
Let y = -1482 + 2660. Suppose -r - 4*w = 377, 4*r - 4*w + 330 + y = 0. Which is smaller: -376 or r?
r
Let g = -0.1755 + 0.0755. Do g and 921 have the same value?
False
Suppose 0 = -3*w - 2*n + 553, 5*n - 486 = -4*w + 256. Suppose a + j = 189, -3*a + 169 = -2*a - 3*j. Which is smaller: a or w?
w
Let t = 18293 - 18824. Which is greater: t or -6?
-6
Suppose -9*a = 95 + 202. Let r be 120/(-18) + 11/a. Let u(h) = -h - 11. Let n be u(-5). Is r < n?
True
Suppose -2*i - 4*o + 828 = 0, 61*i - 66*i - 4*o + 2052 = 0. Which is bigger: i or 14?
i
Let c = -21323 - -21326. Let z be -1 + ((-66)/(-17) - -1). Which is smaller: z or c?
c
Let o be (0 + (-2)/12*20)*3. Let r be 26/3*15/o. Which is smaller: -6 or r?
r
Let z = 186 - 189. Let x(o) = -30*o - 889. Let l be x(-30). Which is smaller: z or l?
z
Let v(k) = k + 2. Let t be v(2). Let r = 155 + -147. Suppose -4*b = -l + 2, -3*b - r = -b - t*l. Is b at least -1/5?
True
Let m = 1.6774 + -1.7694. Which is greater: 0.7 or m?
0.7
Suppose -2*j = -j - 3*l + 61, -2*j - l = 129. Let i = -7.418 + 1.418. Which is greater: j or i?
i
Suppose 5*y + 1 - 6 = 0. Let p be 2/(-3) - (59/2)/((-6045)/130). Which is bigger: p or y?
y
Let b(x) = 4*x**2 - 69*x - 36. Let h be b(16). Let i be (9/2)/(-3)*(-8)/h. Which is smaller: 1 or i?
i
Suppose -8*d + 5*r + 12 = -4*d, 0 = 2*d - r - 6. Let g be -44 + -7 + d - -1. Is -51 at least g?
False
Let t = 148 - 49. Let l = t - 153. Is -54 not equal to l?
False
Suppose 5*w + 44 = -8*g + 9*g, -4*w - 32 = -4*g. Is -26/55 smaller than g?
False
Let j = -1413514/109 + 12968. Which is greater: -25 or j?
j
Let r(o) = o - 82 + 26 - 6*o + 8*o. Let w be r(-8). Is w at least -82?
True
Suppose -103*w + 289*w = -2136768. Is -11488 bigger than w?
False
Suppose 28*j - 926 - 1706 = 0. Suppose j*y = 53*y - 41. Is y not equal to -11/62?
True
Let w = -0.05293 + -0.04707. Which is greater: -12/89 or w?
w
Let p = 110.72 - -1.28. Let d = p + -195. Let l = d - -82. Which is smaller: l or -11?
-11
Let s be (-1 - -1)/(2/(-1)). Let y be 983/(-2)*(-428)/(-12626) - -17. Do s and y have the same value?
False
Let s = 59 - 53. Suppose -5*l = -3*c - 29, -s = l + 4*c + 2. Let d be 3*l/(-72) + (-22)/(-60). Which is bigger: -5/2 or d?
d
Let x(u) = 3883*u - 11203. Let m be x(5). Is 8211 >= m?
False
Let k = 38 + -38. Suppose k = 5*r - 20, 4*r - 17 = -p + 29. Let n(w) = w**3 + 3. Let b be n(3). Is p at least b?
True
Let b = 12859 + -10841. Which is smaller: b or 1/7?
1/7
Let l(z) = -124*z. Let i be l(-4). Suppose 6*b - 9*b = -2*q + i, -q + 3*b = -254. Is q bigger than 241?
True
Let a = 22888 - 23563. Is -681 > a?
False
Let z = -205/42 + 15739/798. Which is smaller: z or -4?
-4
Let z(l) = -2*l**3 + 13*l**2 + 3*l - 15. Let n be z(6). Let j be (220/(-48) - -4)*(-6)/63. Which is bigger: n or j?
n
Let h be (2/21)/(-14 - -12). Let m(u) = 6*u - 21. Let q be m(5). Is h at least as big as q?
False
Let s = -43.79 - -3181.79. Which is bigger: 2/3 or s?
s
Let l = 90/7 + -11416/889. Is 4 at least as big as l?
True
Let u(a) = 2*a**2 - 6. Let l be u(3). Let j be l/28 + (-314)/14. Let y be 1*-2 + 112/j + 6. Which is smaller: y or 0?
y
Let s = -2159 + 32383/15. Which is smaller: -1.8 or s?
-1.8
Let q = 2504 + -2420. Let n = -28091/3 + 9448. Let y = q - n. Is y greater than or equal to -3?
True
Let x = 132 - 88. Let r(j) = 8*j + 8. Let u be r(5). Let n = u - x. Do -5 and n have the same value?
False
Let p = -51 - -85. Let b = -479 - -219. Let q be (9 - (-264)/(-32))/((-6)/b). Which is smaller: q or p?
q
Suppose 3*p = -48 + 57. Suppose p*l = -l + 7644. Let q = l - 210207/110. Does q = -1?
False
Suppose 0 = 2*r + 5*x - 3, -5*r + 0*r - x = -42. Suppose -2*n = -3*c - 1, 4*c + 5*n = -0*c - r. Which is smaller: c or 2/187?
c
Suppose -5521 - 5174 = -15*h. Suppose 717*t - h*t = -4. Which is smaller: t or 2/93?
t
Let u be ((-6)/(-18))/(8/(-1992)). Suppose -415 = 5*n - 0*n. Are u and n unequal?
False
Let l = 712 - 715. Let m be (6 + l - (-130)/(-40))/(-7). Is -2/5 bigger than m?
False
Let i = 5987 + -221521/37. Which is smaller: i or 29?
i
Let n = 7.2 + -7. Let a = -12.273 - -18.273. Are a and n non-equal?
True
Let t(v) = 20*v + 1176. Let p be t(0). Suppose 5*f = -3*f - p. Is f smaller than -147?
False
Let y(a) = -4*a**2 - 24*a + 1. Let w be 414/(-72) + (-1)/4. Let x be y(w). Which is smaller: x or -105?
-105
Let m = -3131 + 3248. Is m less than -1/4?
False
Let x = 10 - 11. Let d = 0.053 - -13.947. Which is smaller: x or d?
x
Let x = -22.9 - -26.3. Let n = x - -0.6. Is n equal to -25?
False
Let k = 4 + -4. Let y be (9 - (3 + 0))/(195/(-1750)). Let a = y - -54. Which is greater: k or a?
a
Suppose 5*k = 5, -4*z - 2*k + 183 = -7*k. Which is greater: z or 39?
z
Let l be (178024/24 - 17)*3/10. Which is smaller: 2220 or l?
2220
Let j(o) = -37*o**3 + 14*o**2 + 14*o + 4. Let s be j(-1). Let y be (-1 + 7)/((-3)/(-2)). Let z be (-808)/(-20) + y/(-10). Is s bigger than z?
True
Suppose d - 2*c = -19, -11*d + 9*d + 6*c - 56 = 0. Which is greater: d or 3/5698?
3/5698
Let u = -1/718 + -389/236222. Let j(t) = -7*t**2 - 40*t + 12. Let h be j(-6). Which is bigger: u or h?
h
Let v be -30*(-6)/(-121080)*20. Which is smaller: v or -1?
-1
Let z = 8 - -26. Let f be (120/(-66) - -2) + z/(-66). Is f <= -11/6?
False
Let i = -27.01 + 1.05. Let z = -1.04 + i. Which is smaller: -4 or z?
z
Let s(z) = z**2 - 16*z + 55. Let d be s(23). Suppose -5*q - 2*v + 0*v = d, -4*v - 168 = 4*q. Does -39 = q?
False
Let d(y) = -y**3 + 14*y**2 + 5*y + 165. Let b be d(15). Let g = 44.8 - 45. Is g < b?
True
Let o = -111 - -225. Let d = 211 - o. Let v = d + -1941/20. Is v greater than or equal to -1?
True
Suppose 0 = -36*y + 1650 + 1538 - 1064. Which is greater: 25 or y?
y
Suppose -10*t - 25 = 29*t + 14. Let f = -11 + 9. Let n be 12/(-16)*f/(-30). Which is bigger: n or t?
n
Let r = 3819 - 19096/5. Let d = -2.2 - -0.7. Let t = d - 5.5. Which is greater: r or t?
r
Let m = 4390/21 + -209. Let i be (-1700)/3150 - 4/(-42). Does m = i?
False
Let m(f) = -2*f**2 - 18*f + 59. Let x be m(-16). Let b be ((-297)/45)/(9/x). Which is smaller: 119 or b?
119
Suppose 4*v + 2*v - 72 = 0. Suppose -17*h = v*h. Let b = 39/16 + -5/2. Are b and h non-equal?
True
Let u = 17109 - 17099. Suppose 0 - 2 = -q. Suppose j = q*j - 11. Which is bigger: j or u?
j
Let h be ((-2)/6 + 0)/(7/(-7455)*-5). Let b be ((-5901)/28)/(4 + -1). Is b not equal to h?
True
Let l = 3/15394 + -4772173/169334. Let m be (-162)/9*(-9)/(-6). Are l and m equal?
False
Let u = 0.025 + 31.975. Let p = -1.4 + 13.4. Let l = u - p. Which is smaller: l or 2?
2
Let u(k) = -7*k - 24. Let x(o) = -o**3 + 2*o**2 - 4. Let g be x(2). Let i be u(g). Let p be 3/1 + (1 - 0). Are p and i equal?
True
Let n be 1085/620 - ((-243)/(-84) + 0). Let w be (12/(-7))/((-1)/(-7)). Let q be (-4)/w + 1/(-3). Which is bigger: n or q?
q
Suppose 0 = -5*n + 4*w - 1954, 437*n - 441*n - w - 1559 = 0. Which is smaller: n or 0?
n
Let b = -6924 + 6922.1. Let l = -0.4 - -0.3. Which is smaller: b or l?
b
Let q = -59644/3 + 19662. Which is smaller: 1 or q?
q
Let n(z) = 729*z - 395. Let y be n(-2). Which is bigger: y or -1854?
y
Let i = -690 - -1425. Let z be (-12)/(-8) - i/(-6). Which is smaller: z or 123?
123
Let g(d) = -d**2 + 11*d - 11. Let j be g(10). Let t = 72101/5 + -14602. Let v = t + 182. Which is smaller: j or v?
j
Suppose -2*k + 6*k = 0. Let h = 92360/7 - 13193. Which is greater: h or k?
h
Let u = -18.92 + 18.3. Let w = u + 0.72. Is 95 greater than w?
True
Let i be -3 + 6 - (-4 - 10). Let c(h) = 4*h**2 - 13*h - 21. Let