et j be 116/48 + c/(-8) - 2. Is j greater than -4?
True
Let o be ((-4)/(-5))/((3/(-25))/((-267)/1335)). Which is smaller: -27/5 or o?
-27/5
Let o = 0.192 + -716.192. Let x = -716.7 - o. Which is bigger: 0.1 or x?
0.1
Let p be 2 - -4*(-1)/4. Let c be (22 + 3)/(-5) + (-4018)/(-804). Which is bigger: p or c?
p
Let y(f) = f**3 - 14*f**2 + 16*f - 39. Let w be y(13). Suppose -9 = 5*v + 3*p, 3*v - 3*p + 11 + 4 = w. Let z be (-10)/(-10)*2/(-6)*15. Which is greater: z or v?
v
Let v = -18172 - -58568355/3223. Are v and 1 non-equal?
True
Suppose -4*o - 19 = l, -4*l - 4*o = 26 - 10. Let w = 89128 - 88985. Is l > w?
False
Suppose -4*u - h = 604, 10*h - 16 = 6*h. Let z be 1/4 - 1634/u. Which is smaller: z or 3?
3
Suppose -57*q = -48*q - 315. Is q less than 32?
False
Suppose 3*j - 4248 = -33*j. Let u = j - 117. Which is bigger: u or -7/72?
u
Let a = -1.3 + 0.7. Let s be -1 + -1 - (20 - 4410/200). Which is bigger: a or s?
s
Let p = 0.121 - 0.222. Let y = p - 1.899. Let n = 30 - 27. Is n at least y?
True
Let n = 101.904 - -0.096. Let k = 101.943 - n. Is k at most -2/3?
False
Suppose 0 = -107*v - 1076 + 648. Let g = 0.01 - -0.59. Which is bigger: v or g?
g
Let w(z) = 2*z**3 - z + 2. Let a be w(1). Suppose -10*x + a = -147. Suppose -2*h + 5*y = 17, -5*h + y = 39 + x. Which is smaller: h or -8?
h
Let c be (1 + -1 + -5)/((-2)/2). Let v be 2 + (-20)/c - 17/(-8). Which is smaller: 2 or v?
v
Let m = 267095/166 - 1609. Let f = 125 + -126. Is m < f?
False
Let t = 6 - 42. Let q = 35.982 + t. Let n = -1.118 - q. Is 0 less than or equal to n?
False
Let u = -14 - -24. Suppose -g + 23 = -2*q + 2*g, g = -5*q - 49. Let k = u + q. Is k less than 2/3?
True
Let v = 44 + -44. Let u(t) = -t**3 - 2*t**2 + 2*t - 317. Let h be u(v). Which is smaller: -316 or h?
h
Let o = 5/71 + 87/781. Let i = -15 + 2.2. Let q = -13 - i. Is q bigger than o?
False
Let r(a) = 2 + a - 4 + 3 - 7. Let f be r(8). Suppose 2*o = f*o + 6*o. Which is smaller: 14/25 or o?
o
Let l = 284.0314 - 0.0314. Which is bigger: 0.5 or l?
l
Suppose 6174 = -446*z - 108448. Is -266 less than z?
True
Let b be 15 + (2/(-2))/((-3)/(-9)). Suppose -b*u - 13*u = -25. Is -2/561 equal to u?
False
Let d = -23790.1 + 23790. Which is greater: -19738 or d?
d
Let g = 2.03526 - -0.05474. Which is bigger: -9 or g?
g
Suppose -554 = 40*m + 566. Let q = 7 + -5. Let x = q + -30. Is m <= x?
True
Suppose -191 = 2*z + 3*g, -8*g = -3*z - 143 - 81. Do z and -14 have different values?
True
Suppose -6*z + 8*z - 6 = 0. Let p be z/76*(-4090)/6. Let x = p + 107/4. Which is greater: -1 or x?
x
Let x = 1.99 + 0.01. Let v = 1279 - 3796/3. Which is smaller: x or v?
x
Let i be (43/(-9)*-3)/((-10)/(-30)). Let u be 0/(2 - 1) - -140. Suppose i*b + u = 38*b. Are -29 and b non-equal?
True
Let j be 14/2 - (-12 + 16). Suppose 5*w + j*s = -19, 2*w - w = 4*s + 10. Let r be (3/w)/(297/(-12)). Which is smaller: r or 0?
0
Suppose -6*a - 2*w = -9*a + 1313, 5*w = -a + 432. Which is bigger: 0.06 or a?
a
Let g be 128/6 - (-2)/(-6). Let l = -2811 + 2833. Suppose -l*q = -g*q - 23. Which is greater: q or 24?
24
Let y = -295 + 422. Suppose 2*x + y = -51. Let r be -2 + (-44)/(-20) + x/(-5). Which is smaller: 19 or r?
r
Let i = -41467 + 41465. Are i and 4001 unequal?
True
Let c(p) = -14*p**2 + 263*p - 15. Let t be c(19). Is -100 bigger than t?
False
Let d = 1090 + -1759. Let h = d - -655. Let w(s) = s - 5. Let v be w(4). Is h < v?
True
Suppose -3*y = -21, 4*d - 5*y + 264 = -1071. Which is greater: -324 or d?
-324
Let i = -1 + 1. Let k be (-8)/(-96)*-3*32/(-8). Let n be k + i + 2*81/(-166). Which is bigger: n or 1?
1
Let r be -4 + -4 + 4 + 38. Let x be 2/9 + r/(-36)*-1. Let j = 2 + -2. Is x equal to j?
False
Suppose -344 = 50*o - 8494. Suppose -o = 2*x - 155. Are -32/7 and x equal?
False
Let j(w) be the second derivative of -w**4/12 - w**3/2 + 3*w**2/2 + w. Let s be (12/(-8))/((-2)/(-4)). Let b be j(s). Which is bigger: 0 or b?
b
Suppose 72 = u + 5*k, -13*u + 16*u - 3*k = 252. Let j = -177 + u. Is j greater than or equal to -96?
True
Suppose 5*h = -21*x + 16*x + 570, -x = 4*h - 450. Which is greater: 116 or h?
116
Let q = 69 + -22. Suppose 48*i = q*i + 84. Let r be 2/(-6)*1 - (-175)/i. Do 2 and r have the same value?
False
Suppose -15 = 9*y + 21. Let k be y + 0 + (-318)/(-3). Suppose 0 = -3*x - 3*x + k. Which is greater: x or 1?
x
Let c be 7 + -2 - 119/(-85)*-505. Do c and -700 have the same value?
False
Let t(h) = -27*h + 3. Let c be t(-1). Suppose -35*p = -c*p + 45. Let x = 14 + -21. Are x and p nonequal?
True
Suppose -77*u = -87*u + 570. Which is smaller: 1180/21 or u?
1180/21
Let q = -56899/180621 - 7/2867. Which is smaller: q or -1?
-1
Let g = 12 - -15. Let d be (-4)/(-10)*(14 + -4). Suppose -d*n = -g + 7. Is n at least as big as 5?
True
Let t = -820.9 + 716.9. Which is smaller: -0.08 or t?
t
Let x = -207 - -134.5. Let a = 81.27 - 1.27. Let r = a + x. Is -0.1 >= r?
False
Suppose g + 11 = 14. Suppose -2*b + 3*d = 2*b - 20, 0 = -5*b - g*d + 25. Suppose 6*v = b*v + 6. Is v > -4?
True
Let f(p) = 1 - 4 - 2*p**2 - 13 - 34*p + 10*p. Let r be f(-11). Let o be -17 - -6 - 2/(4/r). Which is smaller: -15 or o?
-15
Suppose -175*x + 7*x = -840. Which is smaller: -20 or x?
-20
Let n = 37061 + -28127. Is 8932 at most n?
True
Let v = 6183 - 7453. Which is bigger: -1271 or v?
v
Suppose -10 = 59*g - 64*g. Suppose c = 5*l + 47, 3 = l + g*l. Let n = c - 45. Which is greater: n or 4?
n
Let l(x) = 0 - 1 - 8*x**3 + 7 + 2 + x**2. Let j be l(3). Let r = j - -1398/7. Is 1 >= r?
True
Let v = -1.3 - -1. Suppose 55*j + 278 = -67*j + 888. Which is smaller: v or j?
v
Let q be 4*-2 - (-261954)/32886. Let y(z) = z + 4. Let h be y(-4). Is h greater than or equal to q?
True
Let p be (-1)/((-15)/20)*-66. Is -94 not equal to p?
True
Let u = 15535 - 31071/2. Let a = -44 - -21. Is u smaller than a?
False
Let g = 5.9 + 8. Let i = g - 13.788. Let z = 0.888 + i. Is z != -1/4?
True
Let k(l) = -3*l**2 + 9*l + 1. Let s be k(1). Suppose -s*o = 156 - 149. Which is greater: 2/349 or o?
2/349
Let c = -43776 + 1794648/41. Let m = c + 7818/287. Which is greater: 23 or m?
m
Let c = -209109 - -209226.061. Let s = -117 + c. Let h = s + -1.061. Is h greater than -5?
True
Let a(i) = -16*i - 56. Let l be a(-6). Suppose 4*q + 11*d - 7*d = -l, 2*d + 32 = -4*q. Is q at most as big as -8/15?
True
Let k = -9863 - -2021923/205. Which is smaller: k or 1?
k
Let n = 3525 - 3183. Which is smaller: 1027/3 or n?
n
Let f(l) = l**2 + 19*l - 842. Let q be f(-40). Which is smaller: -9/4 or q?
-9/4
Suppose 4*f = 4*g + 388, 3*g + 2*f = f - 311. Suppose 10 = 2*c - 5*y, 4*y + 18 - 19 = c. Let u be g/(-70) - (-6)/c - 1. Which is smaller: 1 or u?
u
Let q(u) = u**3 - 54*u**2 + 88*u + 916. Let l be q(52). Which is smaller: l or 113?
l
Let n = 1/39 - -73/195. Let d be ((-6)/7)/((-7)/49). Are n and d equal?
False
Let g be 16/6*(324/8)/9. Suppose -g*d - 19 + 31 = 0. Which is greater: d or -1/380?
d
Let b = 84 + -145. Suppose 124 = -2*u - h, -2*h - 153 + 401 = -4*u. Is u < b?
True
Suppose 19 + 190 = -2*q + l, 0 = q + 5*l + 88. Suppose -2*h = -3*x + 234, 2*h - h + 106 = -4*x. Let b = h - q. Are -10 and b non-equal?
True
Let g be 21 + (-9)/(63/35). Let o = -42 - -47. Suppose -3*z + 5 = -2*u - 27, o*z - 85 = -3*u. Which is bigger: z or g?
g
Suppose -1935 + 6940 = -11*c. Let f = c - -405. Is -49 <= f?
False
Suppose -2*q = -2*g, -3*g + 3*q + 2*q = 4. Suppose 0 = -g*m + v - 26, 23 = -m + 4*v - v. Which is greater: -7 or m?
-7
Let b(d) = -63 + 8*d - d**2 + 16*d + 7*d + 2*d. Let a be b(31). Are a and 293 non-equal?
True
Let f = 1709 - 8362/5. Which is smaller: 0.1 or f?
0.1
Let q = -222 - -215. Let l(a) = a**3 + 6*a**2 - 4*a + 21. Let f be l(q). Which is smaller: 3/17 or f?
f
Let c be -3 + (-7 + -7)/14. Is c != 3/253?
True
Let y(v) = v**3 + 24*v**2 - 26*v + 2. Let d be y(-25). Suppose 0 = -16*o + d + 5. Which is smaller: 3/5 or o?
3/5
Let d be (-12 - (-1079)/91)*0. Is d equal to -5/512?
False
Suppose -10*n + 7*n = -21. Let v be (-1)/n + 225/2205. Does v = 1?
False
Let j(z) = -2*z**3 + 66*z**2 - 229*z + 5. Let p be j(29). Let h be (1 - 0) + (2 - 2). Let i be -2 + 3 + p/(-44) + h. Are -1 and i non-equal?
True
Let m = 11 + -12. Let v(h) = -3*h + 5. Let u(b) = 6*b - 9. Let q(i) = -3*u(i) - 5*v(i). Let x be q(m). Is 5 less than or equal to x?
True
Let b(a) = -19*a**2 