35 - 46.9. Let y = o + 9.9. Which is smaller: y or n?
y
Let f = -155.96 - -156. Let i = 5.96 + f. Is 10 at most as big as i?
False
Let i = -82 - 44. Let u = 3.81 - 2.81. Which is bigger: u or i?
u
Let m be -3 + (-5 - -2 - (0 + 0)). Let d(z) = z**3 + 5*z**2 - 4*z + 14. Let w be d(m). Suppose 17 = -w*i - 5*f, -23 = 5*f + 2. Which is greater: 5 or i?
5
Let x = 488576/191 + -2558. Is x at most as big as 0?
True
Let a(s) = -45*s**2 + 3*s + 3. Let n be a(-2). Are -192 and n unequal?
True
Let o = 147.4 + -146.4. Which is bigger: o or 4918/7?
4918/7
Let k = -9113783818/1132785 - 28/226557. Let r = -8050 - k. Is -6 at least as big as r?
False
Let h(r) = 101*r**3 + r - 1. Let k be h(1). Let a = k + -97. Is 7 < a?
False
Let y = 22.5 - 71.7. Let x = -49 - y. Is 0.44 less than x?
False
Suppose 3 = 22*y - 21*y, 5*y = 4*c + 11. Which is smaller: -430.8 or c?
-430.8
Suppose 2*x - 8 - 8 = 0. Let g(s) = 66*s + 28. Let v be g(x). Which is bigger: v or 555?
v
Let w = -14/253 - -1263/20746. Is w less than 0?
False
Let q = -0.05975 + -0.74025. Let l be (-132)/(-285) + (-1)/5. Let m = l + -17/209. Is q < m?
True
Let o = -1/48324 - -144995/1111452. Let p(g) = g**3 - 3*g**2 + 1. Let m be p(3). Which is smaller: o or m?
o
Suppose -4*c - c - 11 = -3*q, 2*c - 22 = -q. Let y = 0 + q. Which is smaller: y or 10?
10
Suppose 4182 = -6*s + 40*s. Suppose 5*g + 103 = s. Which is smaller: g or -4?
-4
Let b = -3504 + 7155. Is 3651 smaller than b?
False
Let k(i) = 2*i**3 + 10*i**2 + 11*i - 2. Let f be k(-3). Which is bigger: f or 29/66?
f
Let o be 0/(16/8 + (-5)/15*3). Is o bigger than 5/803?
False
Let s = 44.37 + -44.3. Are s and 0 unequal?
True
Let q(b) = b**2 - 33*b + 141. Let h = 408 + -380. Let o be q(h). Which is greater: o or 1/33?
o
Let m = -0.341 - 42.459. Let h = -2.2 + m. Let y = -44.8 - h. Which is smaller: 1.6 or y?
y
Suppose 437 = 3*j + 428, -4*n = 3*j + 1195. Do n and 10 have different values?
True
Suppose 94 = -157*b + 1 - 64. Is -12/439 < b?
False
Suppose 952 = 3*t - 1670. Suppose -6*n = 13*n - t. Do 46 and n have the same value?
True
Let g = 5167.001 - 5170. Let q = -0.001 + g. Let u = 19 - q. Is u bigger than 2?
True
Let j = 53 - 13. Suppose -d = d - j. Let c be ((-4)/(-6) + -1)/(d/6). Which is greater: -1 or c?
c
Suppose -2 = w, 0 = k + w - 15 + 26. Let u be (4/(-1))/((-60765)/(-115446)). Let s = u - 2/4051. Which is smaller: s or k?
k
Let r = 1200 - 1198.927. Which is greater: r or 0?
r
Suppose w - 38*r - 1 = -36*r, -2*w - 4 = 2*r. Let o be 2120/(-1746) + (-4)/(-18). Let k = o + 10/97. Is k at most w?
False
Let o = -256384 + 21023483/82. Suppose -4 = -2*q + 2*g - 0, -2*g - 4 = -5*q. Which is smaller: o or q?
o
Let v = 4052 + -4089. Which is bigger: 12/5 or v?
12/5
Let v = 0.3467 + 1326.6533. Which is bigger: v or 0.2?
v
Let b = -875/4 + 4371/20. Is b < 14?
True
Let u = -1142 + 1164. Let w = -90 + 112. Is w smaller than u?
False
Let c be (-10)/20 + (-3 - (-14453)/(-34)) - 2. Which is greater: c or -431?
c
Let i be (104/(-20) + 5)*-11. Let g = 73/40 - i. Which is bigger: g or 1?
1
Let f be (-4)/6 - 70/(-42). Let u be ((-1)/(-8) - (-264)/(-320)) + f. Which is smaller: 0 or u?
0
Let v(k) = -2*k**3 + 35*k**2 - 77*k - 20. Let u be v(15). Which is bigger: u or -76?
u
Let r(v) be the first derivative of -v**4/4 + 7*v**3/3 + v**2/2 - 35*v - 195. Let g be r(8). Is -90 equal to g?
False
Suppose 10*n = 3*p + 13*n - 33, -6 = 2*n. Suppose -9*y = -23*y - p. Which is bigger: y or 2/189?
2/189
Let d = 104 + -108. Let n be 9/(-18) - (-2)/d. Does n = 8/53?
False
Let m(a) = a**2 - 1. Let p(y) = -12*y**2 - 8*y - 7. Let g(j) = -4*m(j) - p(j). Let d be g(-2). Is d less than or equal to 28?
True
Let d = 6593 + -6601. Which is greater: d or -6?
-6
Let g = -2241/4 + 559. Is -80 <= g?
True
Let s = -224 - -194. Let c be 10*(s/(-320))/(3/(-2)). Does c = -2?
False
Let a = -434.8 + 450.8. Which is smaller: a or -222?
-222
Let p = 165382744409482/84481605 - -10/16896321. Let y = p - 333051123/170. Let g = -1506 - y. Which is smaller: g or 0?
g
Suppose 4*n - 5*n + 9 = -2*t, 2*t = -6. Suppose 0 = 2*p + n*p - 1095. Is p not equal to 218?
True
Let k be (12/9)/((96/18)/8). Suppose 4*l + 62 = -k*c, c - 65 = 4*l + 6*c. Let d be (-4)/(-6)*(132 + l). Are d and 78 nonequal?
False
Let t be ((-27)/9 + 1)*(-10)/(-10415). Is 1 >= t?
True
Let l(d) = d**3 + 5*d**2 + 11*d - 27. Let q be l(6). Let a be (5 + (-312)/63)/((-5)/q). Which is greater: a or -0.1?
-0.1
Let x be 0 + 767/(-1365) + 12/28. Is 3/148 != x?
True
Let f = -67 - 12. Let d = 109 + f. Which is bigger: d or 28?
d
Suppose -37 + 355 = -6*z. Let q = -53 - z. Suppose -3*h - 8*p = -3*p + 89, 4*h - 4*p + 76 = q. Which is bigger: h or -22?
-22
Suppose 0 = 2*b + 3*q + 35, 38*b - 35*b = -4*q - 47. Suppose -4*a - a = -2*p - 10, 2*a = 3*p + 4. Let k be 15/(-19)*a/(-6). Is b smaller than k?
True
Let u(r) = 2231*r - 33433. Let a be u(15). Let w be (25/15)/(1/3). Suppose 4*l + 12 = -4*i, 0*i - w = i + 2*l. Which is smaller: i or a?
i
Let y = -550 - -550. Which is smaller: 0.4 or y?
y
Let z(n) = -339*n + 4980. Let g be z(49). Is -11631 not equal to g?
False
Let t = 202.5 - 28.5. Let d = -174.06 + t. Is d greater than 0.1?
False
Let n = -7717.99 + 7718. Which is smaller: 0.2036 or n?
n
Let b(y) = 12*y**2 + 11 - 3*y - 29*y**2 + 16*y**2 - 6*y. Let c be b(-10). Let o be c/2 - (16 - 14). Which is smaller: 0.08 or o?
o
Let r = 22/145 + -10103/66555. Which is smaller: 1 or r?
r
Let w(b) be the second derivative of -b**4/12 - 4*b**3/3 - 6*b**2 - 94*b. Suppose -j = -z - 10, 3*z - 2*j = -6*j + 5. Let i be w(z). Which is bigger: 13 or i?
13
Let d be (-10)/5 + 5 + -4 + 28. Suppose d*y - 12 = 15*y. Is 2/113 at most as big as y?
True
Let a = 1 - 1. Let j be 7/(385/(-10)) - (-624)/(-88). Let m = 1084/143 + j. Which is smaller: m or a?
a
Suppose 0 = -9*u - 70 - 38. Let g be (-16)/6*u/8. Which is smaller: 10/3 or g?
10/3
Let y = 199050/23 - 8657. Is y > -4?
True
Let d = -2670 - -2671.7. Which is bigger: 43 or d?
43
Suppose -33 = 2*p - 43, 4*p = 2*v + 4984. Which is smaller: -2480 or v?
v
Let g be 9 + -9 - 0*(-3)/(-9). Let u be 178/(-588) - ((-16)/(-12))/(-4). Which is bigger: u or g?
u
Let g = -1.3 + 0.3. Let l = 0.383 + 116.117. Let p = -75.5 + l. Which is greater: g or p?
p
Suppose o - 5*b + 2220 = 4*o, -2*b = 0. Let f = -762 + o. Which is greater: -0.02 or f?
-0.02
Let q = -1819 - -1763. Suppose v - 2*v = 4*g + 36, -2*g - 158 = 3*v. Is v at most q?
True
Let d(g) = -52*g - 6364. Let c be d(-116). Which is bigger: c or -339?
c
Let h = -57/889 + -5892/32893. Suppose -6*n = -11*n - 5. Which is smaller: n or h?
n
Suppose -17 = -3*u + 5*h, 31*u - 33*u + 18 = -5*h. Which is smaller: -32/113 or u?
u
Suppose -276 = -12*y - 0*y. Let w(h) = 6*h - 3 + 30 + 2*h**2 - y. Let d be w(5). Is 84 smaller than d?
False
Let q = 423 - 318. Let b = -1 + 1. Suppose -x + 0*x = 4*i + 95, 4*i - x + q = b. Is -79/3 <= i?
True
Let r be ((-5)/(-1030))/(2/32). Suppose 88*s = 272*s + 184. Is r bigger than s?
True
Let h = 16626 - 16626.2. Is h >= 431?
False
Let b be 63/6 - 1/2. Let o be (-4)/b*(9 - -6). Let d(w) = -w**2 - 4*w + 7. Let n be d(o). Is n less than -5?
False
Let d be 3/94*-2013728*(-1983)/(-162). Let p = d + 786688. Let q = p + -2/423. Does 0.4 = q?
False
Suppose l - 80 = -4*h, 5*h = -18*l + 30*l + 153. Is 120 >= h?
True
Let z = 10648 - 11200. Which is bigger: -554 or z?
z
Suppose -4*m + 73 = -3*i, -7*m + 47 = -2*i - 4*m. Let d(g) = -g**2 - 37*g - 379. Let t be d(-19). Which is greater: t or i?
i
Let t be (15 - 684/48)/((-11241)/8). Is -1 at least t?
False
Let g be ((-668909)/(-51451) + -13)*(-3)/(-1 - 2). Which is bigger: g or 1?
1
Suppose -2*c - f - 13 + 15 = 0, c = f + 4. Let n be (-1 - (-7 - c)) + -7. Is -1/199 at most as big as n?
True
Let t = -7094 - -7096. Which is smaller: t or 5.8?
t
Let j = 4555 - 4634. Which is greater: -1336/17 or j?
-1336/17
Let p = -4396 + 4211. Is p > -184?
False
Let y be (2/(-2))/(7/2). Let p = 2899.81 - 2900. Is p at most as big as y?
False
Let t = -3031219418335804/380042757285 - -2/2420654505. Let g = t + 7976. Which is bigger: -1 or g?
g
Let g(t) = 9*t**3 + t**2 + 4*t - 5. Suppose -4 = 2*y + 2*l, -1 = 3*l + 11. Let v be g(y). Which is bigger: v or 0?
v
Let a(w) = w**2 - 20*w - 22. Let h = 299 - 292. Let s be a(h). Is -114 less than s?
True
Let b(r) = -2*r*