than t?
False
Let x be (-4)/(-14) - (4 - (-777)/(-196)). Let l(g) = -g**3 + g. Let j be l(-1). Suppose j = -3*c + 2*r + 6 - 3, 0 = -5*c + r - 2. Is c < x?
True
Let t be ((-4)/(-8))/((-3)/6). Let u be -4 - -2 - ((1 - 0) + t). Let b be (2/8)/(u/(-4)). Is b greater than or equal to 2?
False
Let l = -190.1 + 157. Let d = 87.975 - 87.875. Is l at most d?
True
Let x be ((-2)/(-21)*18/8)/((-547)/(-3829)). Are 0 and x equal?
False
Let h = -2.04 + 0.04. Let x = 9939 - 9952. Is h < x?
False
Let h be 3/19*5/20. Suppose -6*d + 0 = -6. Which is smaller: d or h?
h
Suppose -16*a + 20*a + 724 = 5*o, a + 184 = 2*o. Let r = a + 231. Which is greater: r or 53?
r
Let d be (162/(-6723))/((-2844)/(-6)). Which is bigger: 0 or d?
0
Suppose -6*n - 31 = -7*n. Suppose -n + 0 = -31*k. Which is smaller: -2/65 or k?
-2/65
Let p be 38/266 - 104/42. Let h be (6/4)/3*2. Is h > p?
True
Let b be 6*376/(-32)*-2. Suppose 0 = 2*o - 212 - 72. Which is smaller: b or o?
b
Let f(t) = -3*t - 19 + 30 - 23 + 7*t. Let h be f(3). Which is smaller: h or 0.05?
h
Let f be 52/(-364) - 23211/(-162379). Which is greater: f or -1?
f
Let x(l) = l**2 + 27*l + 1474. Let w be x(0). Is w greater than 1475?
False
Let c = -20927 + 10539. Is -1/4 at least as big as c?
True
Let m(s) be the third derivative of -s**5/30 - 23*s**4/24 - 4*s**3/3 - 14*s**2. Let g be m(-10). Suppose 0 = -g*i + 20*i - 34. Which is bigger: i or -16?
-16
Let n(k) = -k**2 + 2*k + 29. Let j be n(5). Suppose -2*s = -4*s + j. Does 12 = s?
False
Suppose 40*m = -17*m - 779 - 589. Is m smaller than -321/13?
False
Let n = -19531 + 19589.101. Let f = 58 - n. Let c = f - 0.099. Is c greater than or equal to 2?
False
Let w = -2560 + 2523. Is -0.198 less than w?
False
Let o(l) = -3*l**2 + 38*l - 35. Let g(x) = x**2 - 13*x + 12. Let i(b) = 8*g(b) + 3*o(b). Let h be i(9). Which is smaller: -4/135 or h?
-4/135
Let h = -3733202/31745 + -2/6349. Let i = 116 + h. Which is bigger: -3 or i?
i
Let i = -421 + 416. Let h be -2 + 211/i + 8/40. Is -44 not equal to h?
False
Let s be (-4 - 313)*2/586 + -145 + 146. Is 1 smaller than s?
False
Suppose 3*j = -2*j - 20. Let g be 2/j - (-19)/(-2). Suppose 0 = 62*d - 93266 + 93886. Is d bigger than g?
False
Suppose -5*f = -0*f + 10. Let c = 225 - 498. Let n = c - -541/2. Which is smaller: f or n?
n
Let j = 80269/5 + -15958. Do 97 and j have the same value?
False
Suppose 1896 = -104*y - 54*y. Let o(w) = -w**2 - 8*w. Let p be o(-6). Let t be 143/(-12) - (-2)/p. Is y <= t?
True
Let p = 7.4408 - 0.5302. Let o = 0.0894 + p. Which is smaller: -8/3 or o?
-8/3
Let b = -57.13 + 57.1. Do b and 455 have the same value?
False
Suppose 154*g - 9270 = 159*g + 5*j, -1814 = g - 4*j. Is g not equal to -1846?
False
Let j = 12.96 + 0.04. Let y = -13.07 + j. Let b be -1*12 + 73/(9855/1566). Is y less than b?
False
Let o be 3 + (1 - -20)/7. Suppose -5*w = -f - 8, 0 = -9*w + o*w + 2*f + 9. Which is smaller: -6.4 or w?
-6.4
Suppose 78*j = 87*j - 108. Let y be (((-2260)/j)/5)/(165/90). Is y <= -21?
False
Let g be (-1 - (-2782)/(-4))*(-178)/(-89). Is -1393 at least as big as g?
True
Let t(f) = -27*f**2 + 8*f - 12. Let p be t(-3). Which is bigger: p or -280?
p
Let f = -11385 - -10916. Which is greater: -464 or f?
-464
Suppose -j = -2*j + 14. Suppose j = -2*d + 106. Suppose -12*g = -16*g + 180. Which is greater: d or g?
d
Suppose -5 = d, -3*n - 494*d = -495*d + 1. Is n at most -0.00453?
True
Let z = 3962 + -79239/20. Which is smaller: -2/617 or z?
-2/617
Suppose -110 + 30 = -10*q. Let h be -1*4863/(7 + -4). Let d = 6517/4 + h. Is q < d?
True
Let j(u) = -2*u**2 - 11*u - 18. Let i be j(-2). Let x be -2 - 2 - (3 + 5)/i. Let s = 103/3 + -523/15. Do s and x have the same value?
False
Let n be ((-11)/(33/(-6)))/(2/8). Suppose 117 = -5*k - 43. Let v be k/n*3/(-8). Which is bigger: 2 or v?
2
Let c = -534316423/8655 - -61735. Is c equal to 0?
False
Suppose 4*o + 4*v = -664, 9*o + 1811 = 2*v + 229. Is o < -1906/11?
True
Let r = -2090 - -545488/261. Let a = 0.11 + -1.11. Which is smaller: r or a?
a
Suppose -10*w + 7*w + t + 1581 = 0, 3*t + 519 = w. Which is greater: w or 3698/7?
3698/7
Let x be (9890/(-60))/23 + (-24)/3. Is x bigger than -14?
False
Let w(m) = 4*m - m**2 + 492*m**3 + 15 + 12*m**2 - 493*m**3. Let o be w(11). Suppose 0 = 4*j + o + 153. Do j and -53 have the same value?
True
Suppose 4*y - 125*f = -126*f - 25, 2*y + 25 = -3*f. Are y and -46/13 equal?
False
Suppose 546 = -7*x - 0*x. Let w = -44 - x. Suppose w = 6*h + 4. Is 8 less than h?
False
Let v = -98 + 232. Suppose 4*i - 138 = -v. Is i bigger than 0.0559?
True
Suppose 3*o - f - 2353 = f, 5*f = -25. Let y = -638 + o. Is y >= 143?
True
Let i be (-8)/(-4) - 1*86. Suppose -3*s + 2*g = -0*g, -5*s = 4*g. Suppose 4*w + 326 = 2*b, -5*b - 15 = -s*b. Which is smaller: i or w?
i
Let b be (-391)/28 - (-2)/8. Suppose 4*k - 5*i + 137 = 0, 4*k + 99 = -k + 2*i. Do k and b have the same value?
False
Let t = -23.738 - -24.038. Is t equal to 1492?
False
Let s be 33 + -32 - (-3)/(-15). Is 1.704 at most as big as s?
False
Let b = -20 - -8. Let u be 3/(-5) + (b/130 - -1). Which is greater: u or -4/9?
u
Let n = -1577 - -1568. Do n and -157/19 have the same value?
False
Let v(z) = z**2 - 17. Let t be v(5). Suppose -t*k = k + 18. Let l be (-21)/k + 6/(-4). Which is smaller: 10 or l?
l
Let l(x) = -x + 3. Let u be l(-1). Let i be (-18)/(-12) + 6/u. Suppose -i*q + 6 = 9. Is q < -13/7?
False
Let u(g) = 2*g. Let m be u(-3). Let a = -3890 + 3873. Let l = m + a. Which is smaller: l or -22?
l
Suppose m = -24*z + 29*z + 18, 2*m + 6 = -4*z. Which is bigger: z or 443?
443
Let g = -23.23 - -23.134. Which is smaller: 4 or g?
g
Let c(b) = 102*b - 267. Let a be c(2). Do -65 and a have the same value?
False
Let i be 1*-14*143/(-990) + -2. Let k = -35 - -35. Is i < k?
False
Suppose -180*r + 236 = -1204. Do 0.33 and r have different values?
True
Let v = 3789.9 - 3780. Which is bigger: 2/3 or v?
v
Let j = 9848 - 12073649/1226. Which is smaller: 1 or j?
j
Let g be (43655 - -15)/10*1. Is 4368 greater than g?
True
Let v = -0.575 - -157.67. Let r = 157 - v. Are r and 0.1 unequal?
True
Let a = 6146 - 6136. Suppose -4*l - 2*m + 216 = -0*m, -3*l + 171 = -3*m. Suppose 3*y - l = -2*y. Is a equal to y?
False
Let j = 71 + -43. Let c = 4346 - 4381. Let y = c + j. Which is smaller: y or -5?
y
Let a(m) = -3*m**2 - 8*m + 6. Let y be a(-3). Suppose -k = 5*j + 10, 0 = y*k + 13*j - 17*j - 8. Which is smaller: -5/51 or k?
-5/51
Let u = 4671 + -4673. Let m = -7/31 - -141/899. Which is smaller: m or u?
u
Suppose -5*p = -2*t - 547, -2*p = -5*t + 2*p - 1359. Let r be (-4)/48 + (-35761)/528*4. Are t and r equal?
True
Let o(d) = d**3 + 23*d**2 + 123*d + 32. Let z be o(-15). Do z and -9 have the same value?
False
Let o = -527 - -818. Let k = 690 + -400. Which is greater: k or o?
o
Let w(c) = c**2 - 1 + 3 - 1 + 2*c. Let a be w(-1). Let v = -88/153 + 6/17. Is a bigger than v?
True
Let y be 0 + (13 - 20675/(-55)). Is 390 >= y?
True
Suppose 5 = 2*x - 1. Suppose x*g = -0*m - 2*m, -3*g + 6 = 4*m. Let u be m - (1 + (-24)/(-10)). Is u at most as big as 0.06?
True
Let h be ((-3)/(-4))/(142/(-48) + 3). Suppose 8 = -5*s + h. Suppose -10 = s*n, 0 = -3*i - 0*n - 3*n - 27. Which is smaller: 3 or i?
i
Let p be (-27)/(-63) - ((-4616)/(-7) - 3). Which is greater: -658 or p?
p
Suppose 17 = 3*a - 4*g, -4*g + 31 - 33 = 2*a. Suppose -50 = 2*v - 4*v. Which is smaller: v or a?
a
Let o(d) = -11*d**2 + 32*d - 1564. Let b be o(23). Which is greater: b or -6646?
-6646
Let x = 5.261 + -11.461. Is -2 at most x?
False
Let a = -1947 - -1947.8. Is -3.7 greater than or equal to a?
False
Let o = 196 + -198. Let r = 2195 - 50503/23. Is r equal to o?
False
Let g be (9/18)/(2 + (-242)/120). Let o be (10/25)/(g/(-25)). Which is smaller: o or -9?
-9
Let u be ((-2)/7)/((-544)/6392). Which is smaller: 4 or u?
u
Suppose h = -2*k - 18, 0 = 4*h - 8. Which is bigger: k or 2?
2
Let l be (-3)/(-225)*117 + -2. Let o be (4 - 5 - -1)/(3/(-3)). Which is greater: o or l?
o
Let r(s) = -s**2 + s. Let u be r(0). Suppose u = -2*c - 2*j + 435 + 19, -3*j = -6. Is 1/4 at least c?
False
Let g = -0.125 + -18.875. Suppose 12*p - 6 = 10*p. Suppose 4*j = -3*x - j - 8, j = 4*x + p. Do x and g have the same value?
False
Let z be 1 + -2 + -1 + -30. Suppose 5*g = -290 + 145. Let p = g - z. Is p >= 3?
True
Let o = -17