c and l have the same value?
False
Let u = -12/167 + -345/2171. Suppose 4*l = -0*l + 2*b + 14, 4*l - 5*b = 29. Which is smaller: l or u?
u
Let f be (10/8 - 2)*-1. Let v = 428 + -198. Let j = -228.9 + v. Is j >= f?
True
Let l be 1524/(-344) - (-27)/6. Are l and 0.32 non-equal?
True
Suppose 194 = -2*v - 16*s + 21*s, 2*s = 3*v + 302. Let y be (-12)/(-16)*-10 - v/17. Let o(u) = -3*u**3. Let x be o(1). Which is bigger: y or x?
y
Suppose -180*h + 170*h = 1170. Let x be h/(-135) + 1/(-5). Which is smaller: x or 0?
0
Let y(u) = -41*u - 30. Let s be y(-26). Let t = 111887/108 - s. Which is smaller: -1 or t?
-1
Let m = 2.004 + -2. Let i = 75.996 + -76. Let j = i + m. Is j less than 21?
True
Let x = -15778 - -15778. Let o = 0.219 + 103.781. Is o < x?
False
Suppose 8*z = 3*z - 260. Let h be z/(-72)*21/2. Let v = h - 33/4. Is 0.6 <= v?
False
Let k(v) = -v**3 - 14*v**2 - 48*v + 23. Let g(c) = -c**3 - 14*c**2 - 47*c + 22. Let h(y) = 5*g(y) - 4*k(y). Let t be h(-9). Which is smaller: t or 2/199?
t
Let s = -873.9 - -873.2. Is s greater than 0.296?
False
Let s be -759*(16/(-3) - -4 - -1)*-1. Do s and -240 have different values?
True
Let w be (-15)/(-515)*67/5762. Is w at most as big as -1?
False
Let u be (-2)/(-3) - (-1940)/60. Which is smaller: u or -1/7?
-1/7
Suppose 2*b = -4*f - 4860, 5*b + 238*f = 242*f - 12192. Which is smaller: b or -2435?
b
Let n be (2*(-52)/16)/(11/374). Is -193 smaller than n?
False
Let d be (-1)/((4/2)/2). Let k be ((-3216)/160)/((-36)/76). Let a = k - 130/3. Is a at most as big as d?
False
Let h be (-8)/(3920/2538) + 5. Let p = h + -1/49. Let n = -1.1 - -1.03. Is n bigger than p?
True
Suppose 5*u - 4*q + 308 = 0, -q = -223 + 226. Which is smaller: -24 or u?
u
Let l = 0.25 + -0.26. Let c(n) = 3*n + 29. Let j be c(-7). Let v be j/(-30) - (-10)/(-25). Which is smaller: v or l?
v
Suppose -15 = -2*h + 1. Suppose 0 = -3*a + h*a - 10. Suppose -5*x - 43 = 3*m, 3*x + 18 + 9 = -a*m. Which is bigger: m or 0.08?
0.08
Let c = 27737 + -27743. Which is smaller: c or 2/261?
c
Let y be (4 + (-5372)/14)*224/(-48). Is y at least as big as 1772?
True
Let i = 172 + -294. Let a = i + 1. Let o = 120 + a. Which is greater: -5 or o?
o
Let m be 404/(-12) + (-3)/9. Let t be (-10)/10 + m*1/(-30). Which is greater: 1 or t?
1
Let q = -322 + 604. Suppose -291*b - 9 = -q*b. Which is greater: b or -5/3?
b
Let v = -3162937124 - -686356162844/217. Let b = v - -5498. Is 0 < b?
True
Let j(d) = -4*d + 0*d + 2*d + 32 - 5*d. Let b be j(8). Let p = b + 22. Are p and 1.7 non-equal?
True
Suppose 5 = -2*u + 15. Let c(x) = 2*x + 3 + 10 + 1 - 17. Let a be c(u). Is a at most 7?
True
Let u(d) = d**3 + 8*d**2 - 13*d - 104. Let m be u(-8). Are 6/143 and m equal?
False
Let r = 51 - 39. Suppose 2*v + r = 4. Let g be (16/(-6))/(37/9 + v). Is g bigger than -24?
False
Let m = -0.04 + 22.04. Let r = 21 - m. Let k = -38 + 47. Which is greater: r or k?
k
Let g = -203 - -202. Let h = 6.2 - -17.8. Is g > h?
False
Let o(i) = i**2 + i - 1. Let n be 0/(0 - 1) + -1. Let g be o(n). Let d = -10214.01 - -10214. Is d smaller than g?
False
Suppose 2*g - 4*j = 6802, -4*g = -4*j - 4549 - 9019. Is g > 10148/3?
True
Suppose -25*l + 72*l = 27025. Which is greater: 563 or l?
l
Let f = 1 - 2. Let d = -645 + -195. Let n be 730/d + 6/21. Which is bigger: n or f?
n
Let n = 0.25 + -0.15. Let s = -33.02 - -33. Which is smaller: s or n?
s
Suppose 3*j - 11 + 5 = 0. Let x be (1 - 3 - 2) + -26 + 25. Let s = x - j. Which is bigger: s or -6?
-6
Let c = -934783/5 - -185381. Which is smaller: c or -1577?
-1577
Suppose -21*d + 16*d + 115 = 0. Let o be d/7 - 3 - 2/7. Are o and -2/277 equal?
False
Let d(z) be the third derivative of -z**5/60 - z**4/8 + z**3 - 2*z**2. Let a be d(-5). Suppose -19*f = 15956 - 15956. Is a <= f?
True
Let s = 12 + -9. Suppose -2*m = -s*m + 13. Which is smaller: 1.4 or m?
1.4
Suppose 456 = -11*k + 3*k. Let v = 159 + k. Suppose -h + 2*l = -3*l - 35, -2*l = -2*h + v. Is 1/4 > h?
False
Let p = -176.626 + 174.5. Let k = 0.126 + p. Do k and 6 have the same value?
False
Let k(a) = 2*a**2 + 66*a + 319. Let c be k(-7). Suppose i = -4*i - 235. Is i at most c?
True
Let z = 19.5 - 1.5. Let u be ((-22)/20)/(885/(-8850)). Which is bigger: u or z?
z
Let f be 12*(-2)/(-64 + 8). Which is smaller: f or -2/4911?
-2/4911
Suppose 2*b - 5*m - 29 = 3*b, 5*m = b - 11. Let t = -31 + 10. Let v = t - -20. Which is bigger: b or v?
v
Suppose -2*s + 182 = v, -5*s + 355 = -2*v + 656. Do 168 and v have the same value?
True
Let a(z) be the second derivative of -z**3 - 81*z**2/2 + 158*z. Let p be a(-18). Which is smaller: 25 or p?
25
Let c(i) = -5*i + 45. Suppose 0 = -14*o + 28 + 98. Let z be c(o). Is z greater than 1/156?
False
Let o = -328.4 + 383. Let c = -54.9 + o. Which is greater: 1 or c?
1
Let w = -879 - -2195. Which is bigger: 1317 or w?
1317
Let y(r) be the second derivative of -r**4/12 - r**3/2 - r**2 + r. Let q be y(-3). Let l = 130.384 + -131.684. Which is smaller: q or l?
q
Let l = 5.7582 + 2.6418. Which is bigger: -3 or l?
l
Let i = -0.16117 - -7168.16117. Is -1 < i?
True
Let f be (-4)/14 - (-14920)/35. Let a be (426 - 10) + (19 - (19 + -13 - -2)). Which is smaller: a or f?
f
Suppose b + 18674 = 12*b - j, 2*j = -4*b + 6800. Which is bigger: b or 1701?
1701
Let p = -65 + 105. Suppose 3*c - 84 = -3*w, -3906 + 3974 = w - 4*c. Is w greater than p?
False
Suppose -3*x + l + 4*l - 69 = 0, -2*x - 68 = 4*l. Let r = 35 + x. Which is smaller: r or 8?
r
Let y = 3.582 + -822.582. Which is smaller: y or 2/7?
y
Let k = 229 - -90. Suppose 8268 = 6*s + 20*s. Which is smaller: s or k?
s
Let o be 0 - ((-9901)/(-117) - (-12)/78). Is -2/7 <= o?
False
Let l(d) = d**3 + 16*d**2 + 19*d + 34. Let w be l(-15). Let c = -13 - -13. Suppose -3*o + 2*h - 78 = c, o + 2 = h - 24. Is o <= w?
True
Let c = 1 - 1.053. Let k = 260.277 - 260. Let f = c - k. Which is smaller: f or -1/3?
-1/3
Let j = 711 + -554. Is j greater than 0?
True
Suppose -6*s + 16*s = -270. Let i be (12/(-75))/(s/15 + -1). Which is bigger: i or 4?
4
Suppose -57*d - 1696 = -61*d + 8688. Are 2597 and d nonequal?
True
Let y = -5 + 10. Let p = y + -68. Let d = 913/1995 - 23/399. Is d bigger than p?
True
Let x(t) = -t**3 - t**2 + 4*t + 3. Let w be x(0). Let q be (400/(-6))/(w - 24/9). Is q less than -200?
False
Suppose -p + 2 = -1. Suppose 7 = p*n - 5*h + 2, -1 = -3*n + h. Let v be -3 - 1600/(-266) - (-25)/((-400)/48). Which is smaller: n or v?
n
Let h = 12 + -148. Let y = h + 180. Let k = 99 - 55. Is y < k?
False
Suppose 5*m + 23 - 58 = 0. Let x(k) = -k**2 + 5*k + 15. Let z be x(m). Let y be 0 - 15/(-48)*3/(-5). Which is smaller: z or y?
y
Let z = -0.8 + 3.8. Let q = -570.7425 + 570. Let x = -0.0575 + q. Which is greater: z or x?
z
Let s(q) = -4*q + 13*q - 5*q + 6. Let n be s(8). Let k(z) = -7*z - 60. Let v be k(-14). Is n < v?
False
Let s(o) = o + 5. Let v be s(-6). Let y be (56 + -41 - (-34)/(-38)) + -15. Which is greater: v or y?
y
Let h = -602/46719 - -629597156/8175825. Let q = 77 - h. Is -1 less than q?
True
Let c = -6559 - -6825. Which is smaller: c or 11?
11
Suppose -2*q - 3*q + 5885 = 5*l, -3*q + 3515 = -l. Suppose -75 = -9*h - q. Is h less than -2/7?
True
Let h be (17/(-5))/(1428/(-285) + -7 - -12). Which is smaller: 270 or h?
270
Let d be ((-35)/10 - -3)/((-4)/16). Let r = 6903 - 55101/8. Let t = -1289/88 + r. Is d at least as big as t?
True
Suppose -5*m = -9 - 6. Let d be 5 + 69/92*-1*(3 + -1). Is d at most m?
False
Let w(x) = -x**2 + 4*x + 125. Let j be w(0). Let o = 127 - j. Suppose -o*h + 2*t - 2 = -h, 0 = -h - 4*t - 20. Are -9 and h nonequal?
True
Suppose -47*q + 46*q - 303 = -2*y, 0 = y - q - 150. Is 194 at least as big as y?
True
Suppose -4*z + 12 = 4*w, -171 = -5*z - 161. Is w greater than 5/1707?
True
Suppose -24*l + 18*l + 12 = 0. Suppose -w + 4*j - 7 = 0, -w - 5*j - 1 = -3. Let i be 76/84*w - -4. Which is smaller: i or l?
i
Let v be 3/((-68)/238 - 9/(-7)). Suppose v*z - 9 = 0, 14 = 2*l - 5*z + 425. Which is smaller: l or -199?
-199
Let p = -16 + 24. Suppose -p*t + 21 = -5*t. Let o be (1 + t/((-28)/16))*-3. Is 11 equal to o?
False
Let h = 29.74 + -30. Let u = -11.74 + h. Let g = 455.2 + -455. Is g less than or equal to u?
False
Suppose 0 = -2*p - 2*p + 3*t - 167, 0 = -p + 2*t - 38. Let c = -43 - p. Let k be (-36)/42*c*2. Is k less than or equal to -2?
False
Le