8.97 - -2849. Are q and 2.3 non-equal?
True
Let v(p) = -121*p + 27. Let d be v(2). Let z = d + 235. Which is smaller: z or 21?
z
Let n = 120 - 10. Let g be 44/n*(-10)/(-8). Is g greater than or equal to -0.04?
True
Let i = 376 - 371. Suppose i*f = 3*p - 229, -2*f = 2*p - 111 - 63. Which is smaller: p or -4?
-4
Suppose l + 4*w - 7 = 6*l, 2*l - 4*w = 2. Let s be ((64/12)/(-8))/(l/27). Which is smaller: s or 23/4?
23/4
Let n = 4361/4 + -4711/4. Which is smaller: 0.8 or n?
n
Let q = 20550 + -20549. Which is bigger: 4/177 or q?
q
Let q(l) = 6*l - 3*l**2 + 17*l**3 + 18*l**3 - 36*l**3 + 6*l. Let f be q(-6). Let o be (3 + -2)*34 - -2. Is o < f?
False
Let f = 114/125 - 266548/875. Let t = f + 304. Let h = -50/117 - -8/9. Is h smaller than t?
False
Let h = -79/3 + 559/21. Let o(j) = -7*j + 5. Let g(t) = -13*t + 11. Let n(c) = -6*g(c) + 11*o(c). Let w be n(8). Is w at most as big as h?
True
Let y be ((-1)/(-2))/(50/(-20)). Let i = 62.36 + -61. Let g = i + 0.04. Is g > y?
True
Let a be 6 + (-6 - -4) + -108. Let g = a + 108. Is g at least as big as 4?
True
Let a = -2 + 3.68. Let x = a + 0.02. Let t be 104/(-182)*35/(-30). Is x <= t?
False
Suppose -z = -22 - 50 + 10. Suppose -295 = 5*j - 5*i, j - 3*i = -5*i - 71. Let f = j + z. Are f and 1 nonequal?
True
Suppose 0 = 4*m + 9*m + 29965. Let d = 18521/8 + m. Is 9 > d?
False
Let w = -5147 - -5245. Which is greater: -1 or w?
w
Suppose 2*w + 4*f + 36 = 0, 10*w - 5*w + 63 = -f. Let m be w*1/8*-43. Is 1/2 bigger than m?
False
Let n = -2807 - -2249. Is n not equal to -559?
True
Suppose a - y + 1 = 0, -3*a + 4*y + 3 = 9. Suppose -a*p = -8*p + 2*p. Which is smaller: p or 18/13?
p
Let k(z) = -2*z**2 + z - 1. Let l = -48 + 48. Let q be k(l). Let t be ((-3)/12)/((-21)/(-72) + q). Do t and 1 have the same value?
False
Suppose 35533 = -21*b + 1702. Is -1611 less than b?
False
Let t(n) = -2*n**2 - 15*n + 16. Let c be t(-8). Let u = 1118 - 1107. Which is greater: c or u?
u
Let m(c) = c**3 + 2*c**2 - 21*c - 53. Let k be m(-4). Is 1/11764 < k?
False
Let o = -3642 - -3561. Is o less than or equal to -15?
True
Let w be 30761/(-150) - 10/20. Let g = w - -616/3. Suppose -z = 4*u + z + 2, 0 = -u + 3*z + 10. Is g >= u?
False
Let o = 4747 + -4748. Is o at most as big as -79.15?
False
Let k = -2 + 5. Suppose 2*i + 8 = h, -4*h + 16 - 4 = -k*i. Let t be (5/(-15))/((-2)/(-6) + h). Which is bigger: -3/14 or t?
-3/14
Let y = -16/3 + 5. Let m = -263/16 - -261/16. Is y equal to m?
False
Let t be (-50855)/135560 + 36/96. Is 0 not equal to t?
True
Let s = -5.03 - -5. Let f = -491.7 + -69.3. Let h = f - -564. Which is smaller: s or h?
s
Let o = 3197.1 - 3186.1. Let j = 0.8 - -0.2. Let p = -2 + j. Which is smaller: p or o?
p
Let c be ((-6)/9)/((-28)/30). Let u(d) be the third derivative of d**6/120 - 3*d**5/20 + d**4/6 + 17*d**3/3 - 21*d**2. Let a be u(8). Which is smaller: c or a?
c
Let h(x) be the third derivative of x**6/120 - 7*x**5/30 + 23*x**4/24 + 11*x**3/3 + 95*x**2. Let a be h(10). Which is greater: a or -150?
a
Suppose -242 = -24*f + 35*f. Suppose 88 = 27*i - 31*i. Is i > f?
False
Let j be -8*(4/(-10))/(608/(-60)). Let b = -11/95 - j. Let z = -1.2 - 0.7. Is b greater than or equal to z?
True
Let w = -0.11175 + 0.22175. Which is smaller: -168 or w?
-168
Let x be 5/(-45) - 11814/108. Let w = x - -323/3. Let f be ((-6)/4)/(18/24). Which is bigger: f or w?
w
Suppose l = -5*l - 6. Let y be (24/(-14))/(18/(-63)). Let s be ((-4)/y - 0)*36/200. Is s greater than l?
True
Let w = -49 + 100. Let m = w + -114. Let c be 4/33*m/42. Which is smaller: 2/15 or c?
c
Let g = 1572 - 1522. Let u = -83 + 43. Let f = u + 89. Is g < f?
False
Let j = 28 + -19. Let a = -4421 + 66253/15. Let t = a - -24/5. Which is smaller: j or t?
t
Suppose 31 = p + z, -4*p = 2*z - 220 + 88. Is p >= -2?
True
Let k = -157.75 - -159. Let f = 56.25 - k. Is -1 < f?
True
Let f = -96 + 95.656. Let g = -0.0733 - -0.0733. Which is smaller: f or g?
f
Let u = 11.57 - 12. Let d = u + 0.487. Let i = d - -8.943. Is i >= -0.3?
True
Suppose -6*t = b - 10*t - 24, -2*t = b + 6. Let v(d) = 8*d**2 - 8*d + 19. Let n be v(b). Do 2 and n have different values?
True
Let g(l) = 43*l + 519. Let r be g(-12). Let n be -2 + (-1 + 3 - -1). Let a be (n - 4)/(r/9). Is -8 < a?
False
Let a(c) = -c**2 - 9*c - 19. Suppose 15 = -2*w + m, -4*w + 2*w - 5*m + 3 = 0. Let l be a(w). Which is bigger: 3/350 or l?
3/350
Let h = 272.9 - 272.8. Is 2/539 >= h?
False
Let b be (-211925)/(-35322) - (14 + -8). Which is smaller: b or 1?
b
Suppose 5*d - 5*f + 115 = 5*f, f - 2 = 0. Let n(i) = i**3 + 9*i**2 + 3*i + 3. Let o be n(-9). Which is greater: d or o?
d
Let m(r) = -r**3 - 24*r**2 - 36*r + 18. Let j be m(-24). Let l = j - 881. Which is smaller: -1/201 or l?
-1/201
Suppose -229 = 5*s - 589. Suppose -a - 3*a = s. Let f = 191 + -191. Is f > a?
True
Suppose 0 = 2*r - s + 2*s - 68, 0 = -s + 2. Let q = 35326/5 - 7033. Which is smaller: q or r?
q
Let w = -257 + 258. Let u be (-15)/w - 0*7/28. Which is greater: u or -0.2?
-0.2
Let r = -75 + 83. Suppose -r*j - j = -9. Let q be 2/10 + (-46)/130. Which is bigger: j or q?
j
Let l = -7 - -12. Let k(m) = m**3 - 9*m**2 - 266*m + 2545. Let n be k(10). Is n greater than or equal to l?
False
Let z be (-2)/((-12)/30)*16/200. Is 86.5 at most z?
False
Suppose 59*g + 2*i = 58*g + 1724, 3*g - 3*i - 5154 = 0. Is g at most 1719?
False
Let f = 28821/250372 + -9/4724. Let t be ((-2)/6)/(2/(-6)). Which is bigger: f or t?
t
Suppose -3*u + 1105 = 49. Let f = u + -332. Which is smaller: f or 19?
19
Let u(w) = w**3 + 38*w**2 - 42*w - 120. Let g be u(-39). Let l = -2 - -1. Let r be g*-4*l/3. Are r and -9 nonequal?
True
Let u be 3/(-2)*(-12)/(-9). Let v be 2*(435/(-1278) + u/(-6)). Suppose -3 = -4*g - 2*o - 7, -3*g + 3*o + 15 = 0. Is v > g?
False
Let l = 156 - -48. Let n = l + -202. Which is bigger: 21/29 or n?
n
Let s = -458047/4 - -115997. Which is bigger: 1484 or s?
s
Let d = 1177.88 - -237.12. Does -2/5 = d?
False
Let m be 367 + 3 + -7 + (-4 - -1). Suppose 15*r - 9*r + m = 0. Is -61 at least as big as r?
False
Let m = 11214 + -10860. Which is bigger: -6 or m?
m
Suppose 18*c + 65 = 5*v, -2*c + 4*v - 5 = 3*c. Let l = 0.03 + 4.97. Which is smaller: l or c?
c
Let u be ((-14)/(-10) + -1)*(-1700)/(-31280). Let f = 20 - 18. Suppose -f*m - 1 = 1. Which is smaller: u or m?
m
Let g be 7*(22/10 + 4/5). Let d = g + -43. Let s be 6*1*d/(-33). Which is greater: 0.1 or s?
s
Let j be ((-274)/786)/((-47)/86151). Let d = -639 + j. Which is smaller: d or 1?
d
Suppose -37 + 65 = -14*p. Let y be 4*(p/(-4))/(-4 + 2). Is y at least as big as -30/53?
False
Suppose 0 = 11*s + 6*s - 952. Let f be (-5)/(220/s) - -1. Which is bigger: f or 4?
4
Suppose -4*v + 1795 = -5*u + 429, -4*u - 1025 = -3*v. Let c = 339 - v. Is c at most 13/20?
True
Let j(o) = -37*o + 20. Let u be j(1). Let l be (u/(-4777))/((-1)/2). Is 1 at least l?
True
Let o be (-88)/55 + (8 - 294/35). Is o greater than -966?
True
Let t = 1.419 - -96.881. Is 1/2 at least t?
False
Let z = 1417 + -787. Suppose -450 - z = 5*g. Let w = g + 135. Which is smaller: -0.1 or w?
w
Let i = -2523 + -819. Is i less than 2?
True
Suppose -4*g + 2*r - 14 = 0, 0 = -5*g + r - 0*r - 19. Let o be g + (3 - 2 - (-1 + -65)). Which is greater: 62 or o?
o
Let b be -2 + 1 + 1 + -1. Let w be -8 - (-1)/(-135)*1494*(-6)/8. Which is bigger: w or b?
w
Let g = -60.147 - -0.147. Let n = -34 - g. Is 0.2 >= n?
False
Let s = -690 + 691. Is -1/112 at most s?
True
Suppose -4*g = -27 + 11. Suppose -g*r + 20 = 4. Suppose 0 = 4*y - 2*w - 28, y + 6 = -r*w + 4. Is y at most 56/11?
False
Let z(t) = t**3 - 32*t**2 + 242*t + 97. Let i be z(17). Which is smaller: i or -57?
i
Let i(r) = -r**2 + 2*r. Let z be i(3). Let j = -607856/352321 + 14/12149. Is j at least z?
True
Let b(l) = l**3 + 4*l**2 - 7*l - 6. Let u be b(-5). Suppose -4*a - 12 = -3*a - u*g, 0 = -4*a + 5*g - 59. Let s = 18 - a. Is 34 smaller than s?
False
Let o = 4/147 + 1271/1911. Let w = -41 + 47. Suppose -16 + w = -5*s. Which is bigger: s or o?
s
Let b be 1*9/12*754/78. Are b and -15 nonequal?
True
Let l = 9634 - 15172. Which is smaller: l or 0.1?
l
Suppose -h = -3*z - 466 + 1335, -4*z + h + 1157 = 0. Does z = 290?
False
Let t = -36.26 + -12.74. Are 3 and t nonequal?
True
Let u(v) = -8*v**2 + 2*v. Let b be u(-2). Let d be (-1)/1 - (-1 - 3). Suppose -d*