e
Let z = -4.9 - -5.88. Let t = -0.14 - -0.12. Let d = t - z. Which is bigger: d or 3?
3
Suppose -37*j = -39*j + 104. Which is bigger: 53 or j?
53
Let z = 344 - 675/2. Which is smaller: 6 or z?
6
Suppose 0*m - 148 = 5*t - m, 0 = t + 3*m + 36. Let l = -71 - -17. Let h be l/t*(-1)/3. Which is smaller: 1 or h?
h
Suppose 7*q = 3*q + 24. Let d = q + -7. Do d and 0 have different values?
True
Let w = -40 - -83/2. Is w less than 3?
True
Let s(j) = j**2 + 2. Let p be s(2). Let z(k) = -2 + p + k + k**3 + 6*k**2 + 0*k. Let y be z(-6). Which is greater: y or 1?
1
Let v = -6 - -8. Let j = v + -1.9. Let s be 8/4*3/(-15). Which is smaller: j or s?
s
Suppose -202 = -19*l + 17*l. Which is bigger: 100 or l?
l
Suppose -6*x + x = 0. Suppose b + 3 = -x*b. Which is smaller: -4 or b?
-4
Let l = -93/4 + 70/3. Which is smaller: 1 or l?
l
Let a be 24/(-45)*15/(-25). Which is bigger: -1 or a?
a
Let b = 4.58 + -1.58. Let i = -101/3 - -34. Which is bigger: i or b?
b
Suppose -2*x = 2*q + 5 + 15, 2*x = q - 5. Let c(f) = -f**3 - 6*f**2 - 6*f - 4. Let v be c(x). Which is smaller: 1/2 or v?
1/2
Let o = 10 + 15. Are 2 and o equal?
False
Suppose -4*p = -4*n, 4*p + n = -0*n + 20. Suppose -y + 5 = p. Which is greater: 1/5 or y?
y
Let p = 4.6 - 4.5. Are 54 and p unequal?
True
Suppose -3 = 3*f + 3. Let l be (8/15)/(f/(-3)). Suppose -4*m + 7*m = -5*t - 5, -4*m - 2*t - 2 = 0. Is l <= m?
False
Suppose -10*r = -3*r + 7. Let j = 6 + -9. Is r at most as big as j?
False
Suppose -4*o - o = -90. Which is smaller: 19 or o?
o
Suppose 0 = 3*c + 23 - 8. Let g be 2 - (-4 - -1 - -10). Is c at most as big as g?
True
Let x = -11 - -11.3. Which is greater: x or -2?
x
Suppose 5*y - 4*d + 24 + 17 = 0, d + 6 = -2*y. Let v be (-2)/y - (-72)/(-130). Which is bigger: v or 0?
0
Suppose 3*d + 18 = 3*u, 2*u - d = 20 - 9. Is 6 < u?
False
Let p = 95/203 - -3/29. Let i = -1 - -1. Which is smaller: i or p?
i
Let f be ((-1)/(-2))/(1 + 0). Let n = -3 + 3. Which is bigger: n or f?
f
Let w = -1 - -4.1. Let z = 3 - w. Let q(s) = 2*s**3 + s + 1. Let x be q(-1). Which is smaller: x or z?
x
Suppose 0 = t - 2 - 0. Suppose -2*p = g + 4*g - 8, -4*p - 32 = -t*g. Suppose -5*u - 12 = -3*u. Is u at most as big as p?
True
Let a(l) be the first derivative of -l**3/3 + l**2/2 + l + 1. Let r be a(0). Let s be 3/7 + 21/(-49). Is s >= r?
False
Let i = -133/344 + 1/86. Which is greater: i or 2/7?
2/7
Let y(f) = -2*f + 12. Let n be y(8). Let a be 10/n*(-8)/10. Suppose -2*d = 4*l - 5*d - 8, 2*l + a*d = 4. Is 2 less than l?
False
Let u be (-15)/(-5) + -3 + 2. Let a be ((-2 + u)/3)/1. Do 2/59 and a have the same value?
False
Let q(g) be the first derivative of -g**3/3 + 9*g**2/2 + 4*g - 5. Let w be q(9). Which is bigger: w or -1?
w
Let r = 42 - 42.1. Which is smaller: r or -0.22?
-0.22
Let w = -13 + 19. Let g be 2/w + 49/(-21). Is g greater than 0.1?
False
Let k be 126/26 + (0 - 5). Is k less than 1/12?
True
Suppose -o = 5*q - 3, 5*o - 19 = -3*q - 4. Is o at most 23/6?
True
Let p = -2 + 1.8. Let f = 0.044 + 0.156. Which is smaller: p or f?
p
Suppose -b = -5, -2*i + 55 = 4*b - 33. Let q be 6/27 - i/18. Let y be -4*-3*(-4)/24. Which is bigger: y or q?
q
Let y = 181/159 - -3/106. Is 0 > y?
False
Let k = 26 - 20. Suppose 3 = k*i - 3. Is i less than 2/15?
False
Let j = 31/204 + 1/68. Which is smaller: 0 or j?
0
Suppose -3*q + 4*p + 10 = -4*q, 0 = -q + 2*p + 8. Suppose -3*g + q*w = -13, 4*g + 4*w - 4 = -0. Which is smaller: g or -2/7?
-2/7
Let n = -0.5 + -0.1. Let i = 2.4 - n. Is 0.3 < i?
True
Suppose 6*m = m + 5. Is 1 equal to m?
True
Suppose 7*t = 3*t. Let k be ((-2)/1)/(2/(-1)). Let f be (k + -1)/(2*-1). Is t >= f?
True
Let r = 21 - 16.5. Let p = r - 4. Let y = p - 0.6. Is -2/3 >= y?
False
Let t = 179.1 + -179. Are 0 and t equal?
False
Let g be (10/(-6))/((-100)/40). Which is smaller: 0.1 or g?
0.1
Suppose -4*p + 33 = -p - 5*s, -2*s = -6. Is p greater than 16?
False
Let o = 255 - 150. Let u be 12/(-1)*(-42)/9. Let c be (-6)/8*u/o. Which is smaller: c or -6?
-6
Let d be 1*-2 + 1 - -2. Let i = -6 + 8. Let b be (4/i)/(1/1). Is b greater than or equal to d?
True
Suppose -4*p - 2 = -2*p - m, 2*p + 10 = 3*m. Let n be (0 + 1)*(-1 - -5). Let o be 18/n*1/6. Is o smaller than p?
True
Let p be 1/(-5)*-2*-5. Let g be (1/(-2))/(3/(-30)). Suppose -4 = -u + g*u. Which is bigger: u or p?
u
Suppose -2*r = 4*v - 6*v + 164, 0 = -r - 4*v - 57. Let s = r - -236/3. Which is smaller: 1 or s?
1
Let g = 0.1 - 9.1. Which is smaller: g or 0.2?
g
Let v = -0.2 + 0.3. Suppose 6*f + 25 = f, 4*d - 3*f - 31 = 0. Let l be (-1)/d + 1/4. Is v less than l?
False
Let v = 3 - -0.2. Let a = -0.6 + -2.4. Let k = v + a. Which is greater: k or 2/3?
2/3
Suppose 4*h + 3 = 5*h. Let k = -1 - h. Is -4 < k?
False
Let f be 1/5*(9 + -4). Is 2/45 at most as big as f?
True
Let g be (-116)/(-14) - (-2)/(-7). Suppose -1 + g = j. Is 7 < j?
False
Suppose -5 = -5*k + 10*k. Let g be (2/5)/(2/(-10)). Let c be 2*(-1 - (g - -2)). Which is smaller: c or k?
c
Let y be (-6)/((1*-2)/2). Let a be (-38)/y + 1/3. Let r(h) = -h**2 - 2*h + 2. Let u be r(2). Are a and u non-equal?
False
Let c be (41 + 9)*6/(-5). Let z be (-175)/c + -3*1. Which is smaller: z or 1?
z
Suppose 3*a + x + 39 = -2*x, 5*a - 3*x + 25 = 0. Which is greater: a or 2/5?
2/5
Let q be 3 - (1 + -2 + -3 + 7). Which is bigger: q or -19?
q
Suppose 8 = -h + 4. Let p = 8 + h. Let k = 3 - p. Which is greater: k or -1/3?
-1/3
Let v(f) = f**3 + f**2 - 3*f + 8. Let k be v(-3). Which is smaller: k or -1/15?
k
Let w = -95/2 + 46. Is -1 less than or equal to w?
False
Let x = -0.03 - 1.97. Let z = -2.02 - x. Which is smaller: z or 0.1?
z
Let g = 945 - 172933/183. Is g at least as big as 0?
True
Suppose 3*g - 4*b = -2*b + 9, 2*g = 2*b + 4. Suppose -18 = -0*w - 6*w. Does w = g?
False
Let k be 2/34*(3 + -2). Which is smaller: 1 or k?
k
Suppose 3*d - d - 2 = 0. Is d at most -4/9?
False
Let o = -127 + 761/6. Which is bigger: -26 or o?
o
Let m be 31/11 + (-16)/(-88). Is m at most 5/2?
False
Let j = -444 + 5775/13. Let r be (6 + -7)*(-2 - -3). Which is smaller: j or r?
r
Let m be (2 - -13) + -3 + -2. Is m not equal to 9?
True
Let h = 15.1 + -15. Which is smaller: 3 or h?
h
Let u be -1 - (2 + 2*-3). Let y be (u/6)/(46/(-8)). Let q(h) = -h**2 + 7*h - 7. Let g be q(6). Is y smaller than g?
False
Suppose 7 = k + 2. Let q(i) = -i**2 + 6*i - 5. Let s be q(k). Is s at least as big as -3/11?
True
Let a = 3/2 - 2. Which is smaller: -1 or a?
-1
Let r be 5/4 + -2 - 394/(-504). Which is greater: -1 or r?
r
Suppose 2*k + 3*i + 17 = 0, 3*k + 24 = -k - 4*i. Let a(v) = -16*v. Let l be a(k). Let b be 10/(-15) + l/15. Is -1 greater than b?
False
Let z = -6 - -3. Let n(g) = -g + 1. Let x(f) = f**3 + 4*f**2 - 2*f + 7. Let m(p) = -6*n(p) + x(p). Let u be m(z). Is u <= -2?
True
Let b = -3 + 5. Suppose -a + 3 = -g, g + 4*a - 3 = b*a. Let x be (-3)/(-12) - 50/136. Which is smaller: g or x?
g
Let t be (1 - 0) + -4*2/(-4). Suppose 0 = -i - 2*f + 8, i - 2*f + 2 + 2 = 0. Which is bigger: t or i?
t
Let c be -3*(1 - (-22)/(-30)). Suppose -r + 8 = 3*r. Suppose r*u - 1 = -3. Is u at most c?
True
Let a = 34212/35 + -4661/5. Let c be (-267)/(-6) - 2/(-4). Let i = c - a. Is -2 greater than i?
False
Let b be (-1 - (-38)/14)/(17/357). Which is bigger: b or 35?
b
Let y = 1 - 4. Suppose 0 = 4*l + 5*n - 27, -2*n = -7*n + 15. Suppose 5*m + 3*q + 0*q = -12, -14 = l*m - 5*q. Is y < m?
False
Suppose 0 = -3*r - r + 5*v + 2, 6 = -4*r + v. Let u(c) = -c**2 - 2*c + 7*c - 2*c + 3 - c**3. Let n be u(r). Is 1 greater than n?
False
Suppose 0 = -0*n + 4*n. Let x(r) = -4*r**3 - 2*r**2 + r. Let a be x(1). Let v = 7 + a. Are n and v equal?
False
Let c(l) = -l + 6. Let q be c(-3). Is 8 at most q?
True
Let n = -1 - -0.9. Let h be ((-3)/(-10))/((-6)/8). Is n less than or equal to h?
False
Let f = 0.1 + -0.22. Let s = 0.1 + f. Let l = 0.28 - s. Which is bigger: -0.1 or l?
l
Let r be -2 + 2 + (-17)/(-9). Let v = 853/3 - 282. Let d = v - r. Which is greater: d or 1?
1
Suppose 9 = -6*i + 3*i. Is -11/4 at least as big as i?
True
Let r be 32/48 + (-2)/(-6). Which is smaller: r or 0?
0
Let u be 9/54*(-2)/15. Is u > -1?
True
Let s be 34/(-255) + (-806)/30. Which is smaller: -29 or s?
-29
Let p be (-38)/(-5) + (-6)/(-15). Suppose p = -o + 3, -a = -4*o - 23. Suppose 2*q - q = s, -a = -3*q + 4*s. Is q at most as big as 0.2?
Tr