 m. Which is smaller: 0 or t?
t
Let h = -17.389 - -17.5. Let o = h - -0.189. Which is smaller: o or 0.033?
0.033
Let b(x) = 4*x**2 + 47*x - 30. Let h be b(-16). Let m = h + -168. Which is bigger: 75 or m?
75
Let w = -1171 - -501. Let d = w + 666. Which is bigger: d or -0.04?
-0.04
Let n be (-12075)/47905 + 6/(-110)*-5. Does n = -1?
False
Suppose 57*m = 49*m + 24. Let b be (-4196)/(-1396) - (1 + 5 - m). Which is bigger: 0 or b?
b
Let o be 747/495 + 3/(-5). Suppose 3*b - 15 = 2*b. Let f = b - 15. Are o and f nonequal?
True
Suppose -2*p - 3*v - 396 = 290, -5*p = 2*v + 1693. Which is bigger: p or -0.9?
-0.9
Let t(j) = j**3 - 2*j**2 - j + 9. Let v be t(0). Suppose -2*l - v = -5. Which is smaller: l or 1?
l
Let h(x) = 29*x**2 + 243*x + 490. Let g be h(-5). Suppose 2*z + 4 = -4. Let u be 2/8 + z/(-12). Is u at most g?
False
Let p(a) = 3*a**2 + 5*a - 7. Let g be p(2). Suppose 0 = g*s - 5*s. Which is bigger: s or -1/46?
s
Suppose -1461 = 14*z - 10953. Let d = -559 + z. Which is smaller: 120 or d?
d
Let n be (0 - 3) + 7 + -2. Suppose -n*v = -v - 73. Suppose 2*y + 0*y = 3*s + v, 176 = 5*y - s. Which is smaller: 34 or y?
34
Let n be 44/(-6)*(-705)/12925. Is -11/41 != n?
True
Let p = -0.234 + 54.234. Let v = 53.9 - p. Are v and -10.2 nonequal?
True
Let f = -630 - -629.9. Which is greater: 1602 or f?
1602
Suppose 8*k - 658 = -618. Is k at least as big as -124?
True
Let y = 593 - 1756/3. Let r = 0.3284 - -0.1716. Is r >= y?
False
Suppose -26*g = -15*g - 308. Let q be 1/((-8)/18) + 7/g. Which is greater: q or 1/53?
1/53
Let m = 288.44 + -318.44. Let g be -2 + (75/6)/5. Is m bigger than g?
False
Let m be -133 - (-2 - -5 - 3). Let b = m + 78. Let v be b/(-15) - 2/(-6). Which is greater: 1 or v?
v
Let r be ((-2)/6)/(1/(-6)). Let q = -680 + 476. Let h = 202 + q. Is h >= r?
False
Suppose -5415*v = -5401*v - 74704. Is 5335 smaller than v?
True
Suppose -620 = 4*i + i. Suppose 2600*u - 8060 = 2665*u. Are i and u unequal?
False
Let g(k) = -24*k - 107. Let c be g(21). Let j be -2 + (c/(-24))/13. Which is bigger: j or -1/4?
j
Let o = -481 + 480. Do o and 5/234 have different values?
True
Let j(v) = 9*v - 56. Let d(h) = 0 - 3 - 4*h + 5*h - 3*h. Let y be d(-5). Let x be j(y). Are 3 and x non-equal?
True
Let k be (-59 + 9/(-3))/(22/(-3)). Let t = k - 4207/495. Let o = -8/45 + t. Which is smaller: -0.28 or o?
-0.28
Suppose 21*j = -6*j. Suppose 0 = -5*z + 1 - 6. Let m be 303/297 - (2 + z). Is j bigger than m?
False
Suppose c + 93 = -3*p + 24, 4*c + 242 = 5*p. Which is smaller: 63 or c?
c
Let n = 489290/7 - 69783. Are 117 and n equal?
False
Suppose 0 = -9*o - 11*o + 40. Suppose 17 = -5*c + a - 11, o*a = -c + 1. Is 4 > c?
True
Let p = 6131.92336 + 0.07664. Which is smaller: 3 or p?
3
Let q = 9438 + -9437. Which is smaller: -6961 or q?
-6961
Let z be (-4902)/(-1290) + (-1 - 2). Which is smaller: z or -0.0595?
-0.0595
Suppose 0 = 3*s + 235 - 575 - 794. Which is smaller: 3400/9 or s?
3400/9
Let m(b) = 3*b - 18. Let r be m(6). Suppose k + 0*k + 2 = r, 5*k = o - 11. Suppose 2*y = -c + o, -y - 3*y + 3*c = 3. Which is smaller: -2/51 or y?
-2/51
Suppose -37*g - 425 = -62*g. Suppose 3*w + 3*a = 6*w + 3, -3*a + g = 4*w. Let c = 216 + -1073/5. Which is smaller: c or w?
c
Let i = -452.9 + 452.8. Is 2649 at most i?
False
Let m(w) = -w**3 + 19*w**2 - 26*w + 8. Let k be m(21). Is k smaller than -1420?
False
Suppose o - 36 + 34 = 0. Suppose -4*c + o*c + 27 = 5*l, 0 = -2*c + 3*l - 13. Is -2/287 < c?
True
Let x(z) = -2*z**2 - 12*z + 43. Let c be x(-10). Suppose 5*u - 109 = 56. Let n = c + u. Is n greater than or equal to -5?
True
Let m be -135 - 60/(-24)*(-4)/(-10). Suppose -o + 3*l = 5*l + 133, -4*l = 0. Is o != m?
True
Let w = -909 - -4504/5. Let a = -39/5 - w. Is a less than or equal to 7?
True
Let y = -5484.63 + 5485. Is 92 != y?
True
Let a be -26 - -34 - (24654/4107 - -2). Which is greater: a or 0?
0
Let f(b) = -b**3 + 18*b**2 + 142*b + 47. Let x be f(24). Which is smaller: x or -3.868?
-3.868
Suppose -z - 4*p = 14, 3*p + 0 = 5*z + 1. Let n be (-1)/z - 27/6. Suppose 0 = 72*f + 6653 - 6365. Is n bigger than f?
False
Let s = 666 - 203. Suppose 144*c = 198*c - 12434 - 12622. Which is greater: s or c?
c
Let l = -7609.2 - -7609. Let z = -0.4 + 0.2. Let j = z - -0.3. Which is greater: j or l?
j
Let t be 7/((-196)/(-1645)) - 6/8. Suppose -j = t + 7. Let r = j + 29. Which is smaller: -35 or r?
r
Let o = 207/16 - -181/80. Let g = -1282 + 1296. Which is smaller: g or o?
g
Let n be (0/6)/(1*4/2). Suppose 3*d + 13 - 25 = n. Suppose -d*q + 21 = -71. Is 22 bigger than q?
False
Let c = -0.89 + -55.11. Let t = 55.5 + c. Which is smaller: t or -1/4?
t
Suppose -11835 = -19*m + 2700. Let y = m - 66556/87. Which is greater: -1 or y?
y
Let f(r) = 3*r - 16. Let h be f(8). Suppose -n - h*n + 45 = 0. Let x be 42/n*(-1)/(-2). Which is smaller: 4 or x?
4
Let z = 3.786 - 3.586. Let h = -383.07 + 375. Let r = h - -8. Which is smaller: r or z?
r
Let d be (44/(-10))/((-52)/20 + (6 - 3)). Is -51/5 not equal to d?
True
Let u be ((-4)/70)/((-45)/25) - (-6)/(-42). Which is smaller: u or 27?
u
Let c = 1302.8 - 1295.8. Is -3274 not equal to c?
True
Suppose 0*i + 25 = -4*d + 3*i, -5*i = 25. Let j be 38*(-58)/(-1653) - (-74)/(-6). Is j < d?
True
Let c = 835.67341 + 0.32659. Which is smaller: 0.2 or c?
0.2
Let f(h) be the third derivative of -5/24*h**4 - 1/120*h**6 + 0 - 1/2*h**3 - 18*h**2 + 0*h - 1/12*h**5. Let q be f(-4). Which is greater: 2/215 or q?
q
Suppose -z - 26 = 5*d, 0 = -6*z + 3*d - 5 - 19. Which is greater: z or -118?
z
Let u be (-46)/11 - 32/(-176). Let w be (-4)/(6/9 + u/3). Which is smaller: 9 or w?
w
Let y(j) be the second derivative of -2*j**3/3 - 7*j**2/2 + 7*j. Let l be y(-2). Let d be (-38)/(-4161)*l*3/(-2). Is 1 greater than or equal to d?
True
Let r = 3.841 - 5.841. Is -1356 >= r?
False
Let n be 828/108 + 1/3. Let m be 5 - (n/(-134) + 5). Is m smaller than -1?
False
Let l be (-6)/15*(-50)/120. Which is greater: 823 or l?
823
Let p = -0.3 + 0.3. Let w = 15/404 - 199/8080. Is w at most p?
False
Let o(a) = 30*a**2 - 7*a**2 - a + 7 + 9 - 7*a. Let u be o(2). Is u <= 91?
False
Let k be (476/(-154))/(10/55). Is k equal to -114?
False
Let y = -40.6 - -41.048. Let v = -0.068 + y. Do v and -2/5 have different values?
True
Let v be (4/(-10) - 102/(-105)) + 364/(-294). Which is greater: v or -1058?
v
Let f be (1 + 0/(-1))/((-30)/(270/(-9))). Which is greater: -6/2891 or f?
f
Let t be (60/32 - 2) + 10/(-176). Let h(p) = p + 15. Let c be h(-13). Suppose -u = c - 1. Which is smaller: t or u?
u
Suppose -5*c + 5*m - 24 = -6*c, 4*m = -3*c + 17. Let x be (-280)/696 + c/(-3). Let n be 6 + (-5)/(-1)*(5 + -6). Which is smaller: x or n?
x
Suppose 592907 = -651*t - 475384. Which is smaller: t or -1642?
-1642
Let x be ((-5)/(-6*5))/((-94)/(-141)). Which is bigger: 1882 or x?
1882
Let a be 5/(-195)*6 + (-94565)/65. Which is smaller: a or -1454?
a
Let p be -4*30/(-15) - 7. Let y = -105548/35 + 3016. Is p at least y?
True
Let u be (-220059)/210 + 288/(-64). Which is greater: -1051 or u?
-1051
Let b be (-161)/69 + (-4)/(-21). Is b != -4?
True
Let c(j) = 4*j**2 + 20*j - 20. Let s be c(1). Suppose -3*l = s*w + 7, 22*l = 23*l - w. Which is smaller: -2/427 or l?
l
Let o = 480 - 510.3. Is -0.09 < o?
False
Let b(y) = y + 7. Let l(c) = -3*c - 9. Let f be l(-3). Let o be b(f). Let p be (-36)/(-28) - 1*2/o. Which is greater: p or 2?
2
Suppose 7 = 8*p - 11*p + 4*u, -20 = -5*u. Suppose 2*x + p*x = 4*y - 10, -5*x = 5*y + 10. Are 2/467 and y unequal?
True
Let w(c) = 22*c**3 + 4*c**2 - 33*c + 213. Let g be w(5). Is 2897 <= g?
True
Let b = -134 - -129.94. Let r = -4.16 - b. Is r at most 0.4?
True
Let h = 112 - 107. Suppose h*d - 7 = 6*d. Is d <= 3?
True
Let r be 116115/(-30)*6/15. Let l = r - -193519/125. Which is smaller: 1 or l?
l
Let s be (-646051)/71774 - (-10 - -1). Is s at least -1?
True
Let j = 253 - 163. Let x = 89.9 - j. Is x >= -51?
True
Suppose -4*x = -2*i + 272 - 66, 4*i - x - 426 = 0. Is i <= 116?
True
Let v be ((-3)/2)/(4464/11888) + 4. Let o = v + 365/1302. Which is smaller: o or 0.1?
0.1
Let d(a) = -1 - 32*a + 45 - 45*a + 6*a**2 - 25*a + 81*a. Let y be d(-10). Is 853 at most as big as y?
True
Let v be (2/(-28))/(4/(-48))*-7. Let w(c) = 2*c - 1. Let s be w(v). Suppose 4*z + 4*z = -80. Are z and s non-equal?
True
Suppose -2*x = -