 l. Let d = -28 + 28.1. Is u less than d?
False
Let y = 24 + -28. Let h be (-24)/2*-1*y/40. Which is greater: -3 or h?
h
Let i(v) = -v**3 + 4*v**2 + v + 3. Let y be i(4). Let h = y + -4. Suppose h*p + 5 - 2 = 0. Is p >= 1?
False
Let w = -67.1 + 80. Let i = w + -4.9. Is 3/4 < i?
True
Let f be (-282)/4*(-192)/(-180). Let t = f - -75. Which is smaller: t or -2?
-2
Let m(c) = -c**3 + 2*c**2 + 1. Let b be m(2). Let l be 500/4368 - (-3 + (-130)/(-42)). Which is greater: b or l?
b
Let y = -1081 + 5407/5. Which is greater: 0.64 or y?
0.64
Let j(h) = h**3 + 3*h. Let y be j(-3). Suppose 0 = -4*b + d - 147, -4*b = 4*d + d + 129. Is b > y?
False
Suppose -32*o = 3*o. Suppose -4*w = -a + w + 19, 4*w = -2*a - 4. Suppose -5*m + a*k = -29, o*k = -k - 1. Are 3 and m unequal?
True
Let c be -3 + 513/(-39) + 2. Let g = -1894/143 - c. Suppose -a - 20 = -4*l - 5, 0 = -4*l + 16. Which is greater: g or a?
a
Let w = 45 - 43. Suppose 5*y - 8 = w. Is y < 4?
True
Let f(g) = 33*g**2 + 296*g - 11. Let u be f(-9). Let x(b) = -b. Let r be x(-4). Which is smaller: u or r?
u
Suppose 2*k = 3*k. Let z = -1.31 - -0.4. Let a = -1.09 + z. Which is bigger: a or k?
k
Let n = 2704 - 18895/7. Let v = -1129/238 + n. Which is bigger: v or -1?
v
Suppose -5*b + 7*b - 4*r = 90, 4*r + 168 = 4*b. Is 44 greater than or equal to b?
True
Let r(b) = 7*b + 395. Let j be r(-49). Which is smaller: j or 213/4?
j
Let j = 0 - -2. Suppose -j*y + 6*y + 32 = 0. Let o(z) = -3*z - 129. Let x be o(-41). Is x less than y?
False
Let d = -13/4 - -11/4. Let c = -115 - -118.01. Let t = -0.01 + c. Is d equal to t?
False
Suppose 66 - 37 = 29*d. Is 2/29 != d?
True
Let s(y) = 13*y**2 - y - 1. Let x be s(-1). Suppose -x = 3*l + 2. Do -6 and l have the same value?
False
Suppose 15 = 5*a - 5. Let o = a - 4. Suppose 3*v + 0*b + b - 55 = o, v - 25 = b. Is v at least as big as 1?
True
Let z be (-120)/322 - 2/(-7). Let y be 21/(-14) + 1 - 1/(-2). Suppose 0 = -2*n - r - 3, 5*r + 5 + 0 = y. Which is smaller: n or z?
n
Let y be (31/8)/((-120)/2160). Which is bigger: -70 or y?
y
Let p = 8 - 13. Let u be 20/p + (5 - 2). Which is smaller: 0 or u?
u
Let q(v) be the third derivative of v**4/3 - 17*v**3/6 + 21*v**2. Let c be q(2). Which is bigger: -2/69 or c?
-2/69
Suppose -14*o + 13*o = -15. Let w(q) = q + 15. Let p be w(o). Which is smaller: 29 or p?
29
Let y(s) = -s - 1. Let r(l) = l**2 - 11*l - 12. Let k(w) = r(w) - 2*y(w). Let t be k(10). Which is smaller: 1/23 or t?
t
Let u be 2 + (2 - 4 - -1). Suppose 0 = 2*q + 2*m + 8, -q + 3*m + 9 = u. Which is smaller: q or 3/35?
q
Let j(g) = -8*g**3 + g**2 + 5*g + 6. Let u be j(-2). Let l = u + -78. Which is smaller: -25/2 or l?
l
Let y = 496 + -491. Let x = 10 + -5. Suppose -3*t - w = -2, 15 = x*t + y*w - w. Which is greater: -1/3 or t?
-1/3
Suppose 0 = -5*w - 0*w - 155. Let x be (-36)/(-45) - w/5. Suppose 2*h = h + 3, h + x = -5*i. Is -2 <= i?
True
Suppose -10*l = -6*l - 180. Suppose 4*g = -m + l, 0*m = -m + 5*g. Suppose 3*z + k + 5 = 0, -z - m = 2*z + 5*k. Is z greater than -2/15?
True
Let o = -22 - -18. Let p = 15 + -8. Let f = o + p. Is 5 > f?
True
Suppose 0*r = -r - 16. Let f(s) = -s**3 - 4*s**2 + 19*s + 27. Let z be f(-6). Let v = r - z. Do v and -1/21 have different values?
True
Let u(q) = q**2 + 4*q - 1. Let g be u(-4). Let a = -32/23 - -293/161. Is a <= g?
False
Let j = -464 + 353. Which is smaller: j or -1/4?
j
Suppose 3*t = 4*c + 975, -17 = -3*t - 14. Which is smaller: -244 or c?
-244
Let k = -7.3 - -7. Let q = 396 - 389. Is q greater than or equal to k?
True
Let y be (-7)/(-2) - 4/8. Let w be (-104)/(-12)*3 - y. Let p(k) = -13*k + 23. Let o be p(0). Is w < o?
False
Let v = -234 - -238. Are v and 34/13 non-equal?
True
Let z(w) = w**2 + 4*w - 1. Let a be z(-5). Suppose -4*i = -2*r + 8, 5*i - a*r + 9 = -4. Which is smaller: -6/7 or i?
i
Suppose 0 = 2*y - 7*y - p + 18, y + 9 = 4*p. Suppose 2*s - 5*s - 5*l = 5, -3*s = 3*l - 3. Suppose -s*k + 5 + 10 = 0. Is k at most as big as y?
True
Let r be 52/(-208) - (-1 + 1095/36). Is -31 >= r?
False
Let f = 48.77 - -0.33. Let s = f + -49. Which is bigger: s or 6/7?
6/7
Let i(p) = -p - 5. Let f be i(-8). Suppose 0 = -3*k - k + 20, f = 4*o - k. Is 3 at least as big as o?
True
Let o be ((-54)/(-45))/((-492)/(-40)). Do 1 and o have different values?
True
Let j = -51.9965 + 0.0965. Let d = j - -52. Is d less than or equal to 0.08?
False
Let f be (-34)/(-272)*2/(2 + -1). Let b(r) = r - 7. Let s be b(10). Suppose 4*x + 9 = 3*y - 0*y, -x - 9 = -s*y. Are f and x nonequal?
True
Let i be (-2)/8 + 90/8. Suppose -5*f = 2*o + 16, 2*f - o - i = 4*o. Let u = 59 - 541/9. Is f less than u?
True
Suppose -5*u + 3*c = -3*u - 970, -4*c = 3*u - 1472. Let v = u + -18058/37. Which is bigger: 0 or v?
0
Let q = 0.43 + -0.24. Let w = q - 2.19. Does w = 2?
False
Suppose 8*o = -120 + 64. Suppose -5*j - 3*l + 1 = 0, 0 = -3*j + 4*l - l - 9. Let v = -8 + j. Which is smaller: o or v?
v
Suppose 4*y - 12 = 0, 0*y - 3*y - 127 = p. Let u = 682/5 + p. Which is smaller: u or 6?
u
Suppose 0 = 5*b + 4*r + 79, -4*b + r - 40 - 40 = 0. Let a = -15 + -4. Does a = b?
True
Let l = 633 + -638. Which is smaller: l or -152?
-152
Let r = -1 + 2. Let g be -9*r + (-8)/12*-3. Which is smaller: g or -3?
g
Let t = -56 + 61. Is 8 less than t?
False
Let r be 0 + 5/((-10)/(-962)). Which is smaller: 482 or r?
r
Let k = 2 - -10. Let b = k - 4. Is 4 at least as big as b?
False
Let o be -2 + 0 - (4 + -6 - -1). Let y(x) = -4*x + 8. Let j(z) = -5*z + 8. Let u(c) = -5*j(c) + 6*y(c). Let v be u(-8). Which is greater: o or v?
v
Let c be (-9)/(-15) - (-9 - (-662)/20). Is -3 != c?
True
Let t be (2/(-678))/((-3)/(-9) - 0). Suppose -g - 9 = -10. Which is bigger: g or t?
g
Let n(x) be the first derivative of -x**4/4 - 4*x**3/3 + x**2/2 + 2*x - 8. Let t be n(-3). Are t and -10 non-equal?
False
Let q = 4.01 + -2.01. Which is bigger: 194 or q?
194
Let k be -2 - 7*(-4)/(-4). Which is smaller: 6 or k?
k
Let g = -4.2 - 5.4. Let j = g + 8.6. Which is bigger: j or -1/3?
-1/3
Let a = 4 + 4. Suppose 2 - a = -2*p. Suppose -p*h + 23 = 3*s - 2*s, -20 = -4*h. Is 7 equal to s?
False
Let o be (-13)/42 + 9/54. Let l(i) = i**2 - i - 1. Let n be l(1). Which is smaller: n or o?
n
Let s = -53 + 45. Let p be -3*s/36*-15. Which is smaller: -9 or p?
p
Let i(g) = -g**3 + 17*g**2 + g - 17. Let l be i(17). Which is smaller: -4 or l?
-4
Let y = 0.24 - 0.2. Let b = 6.94 - -0.06. Let w = b + -8. Which is smaller: w or y?
w
Let s(y) = y**3 - 11*y**2 - y + 8. Let c be s(12). Suppose 2*d = k + 53, -5*d - 4*k = k - c. Let f be 46/(-126) - (-6)/d. Do 0 and f have different values?
True
Let q be (-8)/(-208)*(-8)/10. Which is greater: q or 0.2?
0.2
Let f be (-2)/(-4) + 76/8. Suppose -f = -l - 7. Let w be (56/(-21))/((-2)/l). Is 4 less than or equal to w?
True
Let u be -42*(-2)/(-6)*-1. Let b(g) = -8*g**2 + g**3 + 3*g - 12*g + 13 - u. Let a be b(9). Is -5/7 at most a?
False
Let x = 12.575 - 0.575. Is x greater than or equal to -17/3?
True
Suppose -17*d - 44 = 41. Which is bigger: -148/41 or d?
-148/41
Let v = -452 + 435. Let z(x) = 17*x**2 - x - 1. Let r be z(-1). Let p = v + r. Does 2/13 = p?
False
Suppose 2*d = -6 - 8. Let z be 641/d - (-36)/63. Which is smaller: z or -90?
z
Let n(h) = 15*h - 494. Let u be n(33). Is u greater than or equal to 689?
False
Let n(g) = g + 7. Let l be n(-3). Let k(a) = -l - 4 - 5*a + 3 - a. Let h be k(-2). Is h smaller than 6?
False
Suppose 0 = 18*y + 199 - 883. Is 2/3 smaller than y?
True
Suppose -w + 27 = 40. Let h = -7247/10 - -1423/2. Which is bigger: w or h?
w
Let s = 437 + -438. Is 1/92 greater than s?
True
Let b(p) = p**3 + 2*p**2. Let a be b(-2). Suppose 0 = 4*j + 5*x - 16, 0 = 3*j - 2*x - 17 - 18. Suppose -9*d - 9 = j. Which is smaller: d or a?
d
Suppose -x - 10 = -6*x + 5*o, -8 = -3*x + 2*o. Suppose f = -4*n + 7 - 28, 0 = x*n + 12. Which is smaller: f or -15/2?
f
Let l = -12 - -12. Suppose -4*a + 90 + 34 = l. Which is smaller: 0.1 or a?
0.1
Suppose -4*c + b + 75 = -3*c, -5*b - 147 = -2*c. Is 79 at least c?
True
Let b be (-262)/(-30) + (36/(-10))/9. Which is smaller: b or 8?
8
Let a be (-48)/(-4)*(3 + -2). Let y be 625/a*16/840. Let p = 17/14 - y. Which is smaller: -1 or p?
-1
Suppose -3*f + 8 = -f. Let c(w) = 12*w**2 - 2*w**3 - f*w + 0*w**3 - 7*w - 1 + w**3. Let x be c(11). Is x at most as big as 2/19?
True