0/70)). Let z = -0.02 + -3.48. Are z and n nonequal?
True
Suppose 0 = -4*d + 5*w + 54, -5*w + 317 = -d + 278. Suppose 42 + 18 = 2*s. Is s >= d?
False
Suppose -13*r + 9*r = 3*w - 35, -w = -3*r - 3. Suppose -w*c = -24*c. Let a be (3 - (-5)/(-2))/(-1). Is c less than a?
False
Suppose 3*s = 4*s + n + 1, 2*s - 4*n = -14. Let b be (-8)/36 + s + (-20)/(-36). Let u(a) = -a**3 + 11*a**2 - 4. Let c be u(11). Which is smaller: b or c?
c
Let d be (-7 - -13 - 127/2)*2. Let g = -120 - d. Is g smaller than -43/9?
True
Let s(l) = -l. Let h be s(-4). Let g be (-2)/h*(-1 - 169). Suppose 572 = -19*f + 2206. Which is smaller: f or g?
g
Let n = 2.4 + -2. Let p = 0.54 - n. Let a = 103 + -105. Is p < a?
False
Let h be -15*(20/(-3))/(-5). Let x = -830621/17 - -48880. Let d = h + x. Which is smaller: d or 1?
d
Let d(a) = 160*a - 24. Let k be d(3). Suppose k = -17*t + 5*t. Is -38 less than or equal to t?
True
Let q = -5.671 + -0.259. Let n = q + -0.97. Let z = n + 7. Is z <= -13?
False
Let d = 118565/12 - 9875. Which is bigger: d or 6?
6
Let x = 61 + -72. Let w = 964 - 967. Does x = w?
False
Let b be (112/14 + (-150)/4)*-2. Which is smaller: 62 or b?
b
Suppose 5*w - h + 2*h + 40 = 0, 8 = -w + 2*h. Let s = -131 + 135. Suppose 0 = -5*j + s*m + 25, j + 4*j + 2*m = -5. Is w less than j?
True
Let o(m) = -3*m**2 + 3*m - 21. Let f(z) = z**3 - z**2 - 7*z + 6. Let g be f(3). Let n be o(g). Do n and 3 have the same value?
False
Suppose 35*s - 12 = 31*s. Suppose s*h = -2*h - 0*h. Which is greater: 34 or h?
34
Suppose -23*q + 7*q = -15*q. Is q greater than or equal to -77/243?
True
Suppose 143*r + 2*w + 4 = 145*r, -10 = -5*r - 3*w. Which is smaller: r or -55?
-55
Let i be -2*(-1)/(-10) - (-34032)/60. Suppose i = 19*s - 364. Does 1 = s?
False
Suppose 1237*f - 249*f + 988 = 0. Which is bigger: 57/89 or f?
57/89
Suppose 4*d - s - 2*s = -12, -4*d + 5*s = 20. Let f = -5089 + 5086.1. Which is smaller: f or d?
f
Let z = -41828 - -40815. Are 1 and z equal?
False
Suppose 0 = 53*l - 59*l + 24. Suppose l = -q + p + 5, -3*q + 5 = -p. Let g = 0.2 - 0.1. Is q > g?
True
Let z(x) = 19*x**2 - 405*x - 126. Let d be z(24). Which is smaller: d or 1099?
d
Suppose 71*k + 217*k - 1308277 = 59*k. Which is greater: k or 5712?
k
Let u = -1.2725 + 867.2725. Which is bigger: u or -2?
u
Let z be (12/(-7))/((-20)/14). Let a be (1/(-35))/(2/4). Let f = z + a. Is f bigger than -1/4?
True
Let h be (-3 + -6 + 2)/((-1)/(-1)). Let l be h*(-2)/(-4) - -3. Let t = -0.14 - -4.14. Is t greater than or equal to l?
True
Let g(t) = 2*t**3 + 4*t**2 - t - 3. Let n(z) = -7*z + 11. Let s be (-11)/(-5) - (8/(-10) + 1). Let l be n(s). Let w be g(l). Which is greater: -16 or w?
-16
Let r = -46/33 - 229/33. Let o = -5013 + 5006. Is r at most o?
True
Suppose -3*l - 2*z + 43 = 0, 0 = -5*l + 2*z + 57 + 36. Let t be l/((-136)/36)*10/17. Which is smaller: t or -2?
t
Let d = -229946412/5779 + 39790. Is -1 smaller than d?
True
Suppose 24 = 6*l + 2*l. Suppose -l*z - 2*p = z - 242, 301 = 5*z + 3*p. Is z > 63?
False
Let x = -78398/5 + 15602. Is 1 at most as big as x?
False
Let y = 46 - 84. Let w = -34.6 - y. Let f = w - 2.4. Which is smaller: f or -3/7?
-3/7
Let y = -3060 - -3062. Which is smaller: y or -140?
-140
Suppose 163*d + 2*h = 159*d - 4038, -2*d - 2031 = -3*h. Is d <= -1012?
False
Let r = -1293/182 - -50/7. Let v(d) = d**3 + 20 - 19*d + 20*d**2 - 21*d - d**2 + 41*d. Let q be v(-19). Which is bigger: r or q?
q
Let g(f) = -f**3 + 6*f**2 + 9*f - 6. Suppose -2*d + 35 = 3*d. Let b be g(d). Let z = b + -14. Are z and -6 unequal?
False
Let r(l) = l**3 + 10*l**2 - 9*l + 28. Let h be r(-11). Let p be (-21730)/1050 - h/(-14) - -1. Let y = 108/5 + p. Is -1 bigger than y?
False
Let j = -0.3 - 0.7. Let s = 1.19 + j. Let g = -0.09 + s. Are g and -1/4 non-equal?
True
Let q(o) = -2*o**3 + 2*o**2 + 45. Let y be q(0). Is y <= 45?
True
Suppose -567 = 2*p + 213. Let t = -379 - p. Is t > 16?
False
Let j be (-4180)/(-3960) - (-2)/(-36). Which is greater: 0.379 or j?
j
Let z be ((-20)/48)/(12/(960/(-250))). Let m = -3 + 2. Let a(w) = w + 2. Let v be a(m). Does z = v?
False
Let g(p) = -p**3 - 13*p**2 + 52*p + 723. Let j be g(-12). Which is greater: -22 or j?
-22
Suppose 3*y + 274 = 301. Suppose 42*p = 33*p + y. Which is greater: -1/355 or p?
p
Let d(j) = 54*j + 99. Let x be d(-4). Which is bigger: x or -1183/10?
x
Suppose -11*w + 6*w + 208 = 2*y, 83 = 2*w + y. Suppose -12 = 3*a + w. Let g = 41 - 59. Are a and g nonequal?
False
Let k(g) = -14*g**2 - 23*g - 78. Let a be 460/(-140) - 4/(-14). Let u be k(a). Is u <= -2/7?
True
Let x = -0.346 - -0.256. Is 85 smaller than x?
False
Suppose -8*i = -27 - 5. Suppose -i*y + 55 = 7*y. Is 35/8 greater than or equal to y?
False
Let x = 3090 - 3091.21. Which is smaller: -12 or x?
-12
Let r be (-6)/(-4) + 1/2. Suppose m = r*m. Let j = -4/159 - -13/6837. Is j < m?
True
Suppose r = p - 1, 2*r + 2*r = -3*p - 4. Let o be (-110)/54*111/5957. Let q = o - 2/207. Which is smaller: q or p?
q
Let o = 1/3521 + 6563/1686559. Which is greater: -1 or o?
o
Let t be (0 + 2)*(-2)/10. Suppose 0 = -2*l - 0 + 2, -5*y - 3*l = -448. Suppose 105*u - y*u = -64. Which is bigger: t or u?
t
Let j be 2/(-16) - (-2)/16. Suppose 2*s - 6*s = j. Let z = -1739/7 - -249. Which is bigger: s or z?
z
Let v(s) = -2*s**2 + 14*s. Let m be v(8). Let q be 40/m*(-2)/(-510). Are q and -1 equal?
False
Let d be (13 - 8) + (-1813)/77. Which is smaller: -19 or d?
-19
Let c(l) = 19*l - 15. Let f be c(7). Let n be (2/3858)/(7/(51534/f)). Let w = -1/643 - n. Is 1 < w?
False
Suppose 2*r + 190 = 220. Suppose -7*k = -r*k - 8. Is 1 != k?
True
Let s(k) = 3*k**2 + 5*k + 2. Let p be s(-2). Suppose 0 = l + 3*w - 4*w - 2, p*w + 1 = 3*l. Which is smaller: l or 13?
l
Let r(p) = -5*p + 36. Let w be (44/33)/(4/9). Let n be r(w). Which is smaller: 39/2 or n?
39/2
Let c(n) = -n**3. Let r be c(1). Let p(o) = -o**3 + 15*o**2 - 41*o - 25. Let t be p(11). Let b be (1/(-955))/(((-40)/25)/t). Is r at least as big as b?
False
Let b = 539 - 547. Is -19 bigger than b?
False
Let n = -2 + 1.9. Let t = -5.954 - -6. Let l = t + -0.126. Which is smaller: n or l?
n
Let a = 5114 - 5107. Let c(j) = -j**2 + j - 1. Let y be c(3). Let g be 40/a + (-2)/y. Is g at most as big as 4?
False
Let z be (7 + (-406)/84)*6 - 13. Is z >= -2/33563?
True
Suppose 4*f - 16 = -4*l, -l + 12 = 3*f - 4*l. Suppose 4*o = s + 2*o - 1, f = -2*o. Let v(a) = a - 3. Let y be v(1). Is s < y?
True
Let v = -586/15 + 9122/255. Which is smaller: v or -3?
v
Let w = 17842 + -17096. Which is smaller: w or 0.9?
0.9
Let h be (-3626)/112 + 15 + 12. Is -4/3 != h?
True
Let a be (3280/(-369) - (-11 + 2))*3. Which is smaller: a or 539/6?
a
Let k be -5 + (379407/10839)/7. Let m = k + -18101/65034. Are 1 and m nonequal?
True
Let w = -12.8 + 3.61. Let h = 6.83 + w. Which is greater: h or 1?
1
Let y(i) = -301*i + 2407. Let w be y(8). Is 4/547 > w?
True
Let s = 26 - 24. Suppose 278 = 2*g + 3*w, -3*g + 500 = s*w + 83. Let t = g + -99. Is 39 greater than t?
False
Let r = 9.037 - 9.0604. Which is smaller: -1 or r?
-1
Let q(j) = j**2 + 10*j + 3. Suppose -2*k - 1 + 5 = 0. Let o be k + (-7 - (5 + -1)). Let z be q(o). Is z at least -7?
True
Suppose -125*v + 124*v + 10 = 0. Let k be (v/(-40))/(1/(-12)). Suppose 7*l + k*l + 30 = 0. Are -3 and l unequal?
False
Let q = -78 - 114. Let n = -116 - q. Let z = n - 36. Is 0.1 not equal to z?
True
Let f = -122 - -127. Suppose -c + 89 = -f*x, -2*c - 3*c = 5*x + 65. Is -21 smaller than x?
True
Let i = -105143106963/163 - -645046570. Let d = i + 3166. Which is bigger: d or -1?
d
Suppose -101 = -52*g - 49. Is -3/37 greater than or equal to g?
False
Let s = -7.99394 - 0.00606. Is -40 at most s?
True
Let d = 13767 - 14328. Which is smaller: -18 or d?
d
Let g = 1622.1 - 1416.1. Is g greater than or equal to -6?
True
Let c be ((-21)/2)/((-40638)/(-416)). Is 0 equal to c?
False
Suppose -35*o = 27096 - 89256. Let w be o/(-1029) + 2 - 26/91. Which is smaller: w or -1?
-1
Let d be ((-8)/10)/(16/(-135) + (-5)/(-45)). Are 114 and d unequal?
True
Let b(i) = -2*i**2 + 3*i - 2. Let n be b(2). Let a be (12 + 0)*2/n. Let w(j) = j + 4. Let p be w(a). Are p and -11/9 nonequal?
True
Let i(l) = -148*l + 2515. Let g be i(17). Is -3/1280 != g?
True
Let m be 26501/(-10)*(-130)/49218 - 7. Which is smaller: m or -1?
-1
Let n = 215 + -139. Let