smaller: 36 or j?
j
Let f = 22 + -29. Which is smaller: f or -9?
-9
Let d be 1*2 + (-3 - -5). Suppose h - 2*h = -d. Suppose c = h*w - 9*w + 36, 0 = -2*w + 2*c + 12. Is w less than or equal to 7?
True
Let q = 113.5 + -113. Is 0.18 >= q?
False
Suppose -2*y - 5 = -3*y. Suppose y*c + 0*c = -z + 16, -3*c + 14 = 5*z. Let t be (-1)/(-3) + (-10)/21. Which is greater: t or z?
z
Suppose -5*b + 5*t - 10 = 0, 2*b + 4*t = -0*t - 22. Suppose -3*h - 2*h - 24 = -2*j, 2 = h + 3*j. Is b less than h?
True
Let c = 49.051 - 0.051. Let f = -51.7 + c. Let k = 0.7 + f. Is 0 at least as big as k?
True
Let x = 277 + -275. Suppose 0 = 5*h - 20, 2*c + 2*h - 14 = -0*c. Which is greater: x or c?
c
Let b be (-38)/34 + (-1 - -2). Suppose -3*n - n + 20 = -x, 2*x - 4*n = -20. Suppose 0 = 2*v + 3*f - 14, f - 1 = 3*v - x*f. Which is smaller: b or v?
b
Let x(k) = k**2 - 5*k - 10. Let t be x(7). Suppose 5*i = i - 4*z + 36, -2*i + t*z + 18 = 0. Which is bigger: i or 10?
10
Let r(d) = -d**3 - 2*d**2 + 6*d + 7. Let u be r(-3). Is u bigger than -2?
False
Let g = 0.1 + 4.9. Let b = 0.058 - 1.058. Is g >= b?
True
Let f = -367/1773 - 3/197. Suppose 7*v - 11*v = 4. Is v less than or equal to f?
True
Let h be (-16)/6*144/(-64). Suppose -h*y + y = 40. Is y > -9?
True
Let j = 100 - 84. Which is bigger: 14 or j?
j
Let r be -13*(1 + -2 + 2). Let t be (4 - (-111)/12) + -1. Let n = t + r. Do 0 and n have different values?
True
Let p be (-1515)/18 - (3/2 - 2). Suppose -k = 3*w - 86, -3*k - k + 5*w + 327 = 0. Let q = p + k. Is q at most as big as 0?
True
Let n = 1 + 0. Let k = 3 - 3. Let g = -0.2 - k. Is g greater than n?
False
Suppose -5*j = -35 + 10. Suppose -h + 1 = 2*i - 8, i + 1 = j*h. Suppose -6 = -4*v - 2. Is h at most v?
True
Let t be -3*-10*3/(-6). Let s be (-126)/t - (-6)/10. Which is smaller: 8 or s?
8
Let y = -26393/352 + 10373917/139744. Let v = y + -2/397. Is 0 less than or equal to v?
False
Let t = 0.22 + 8.78. Let j = t - 8. Is 0.2 less than or equal to j?
True
Let q(w) = -w**2 - 9*w - 38. Let d be q(-5). Is d at most as big as -15?
True
Let b be -2 - (-1 + 1/1). Let v = -17924/5 + 3560. Let o = 25 + v. Is b != o?
True
Let r = 6 + -5. Let d = 2407/11 + -219. Do d and r have the same value?
False
Let o = -1.6 + -58.4. Which is greater: 2/3 or o?
2/3
Let g = 0.2 - 0.3. Suppose 0 = -4*f + f - 60. Let w be (-15)/f*(-16)/(-30). Which is smaller: g or w?
g
Let r = -199509/11 + 18155. Let d = 18 - r. Which is smaller: d or 1?
d
Let f be 12/78 + 22/26. Is f > 1?
False
Let b(i) = 3*i - 2. Let u be b(9). Let k = 2311/2 + -1178. Let j = u + k. Is 4 >= j?
True
Let q(y) = 15*y + 6. Let t be q(-4). Let l be (-16)/t*12/(-16). Which is smaller: 0 or l?
l
Let y = -106 - -100.4. Is 1 less than y?
False
Suppose x = -2*x + x. Which is greater: 2/121 or x?
2/121
Let d be (-16)/20 + 1/(-5). Which is smaller: 3/26 or d?
d
Let n = 30.9 - 29. Let c = -2 + n. Which is greater: c or 4?
4
Let o = 237/62 + -10/31. Let z = 17 + 6. Let m = z - 18. Which is bigger: m or o?
m
Let q = 0.2 - 1.7. Let n = -1.3 - q. Is n at least -0.2?
True
Suppose w + 2 = 2*g, -2*g - w = 3*g - 5. Suppose 0 = 2*r + 6*b - 2*b - 22, -5*b = 3*r - 29. Is r less than g?
False
Suppose 0 = -4*u - v - 2*v + 55, 3*v - 15 = 0. Suppose 8*f - u = 3*f. Is 0 < f?
True
Let b(o) be the first derivative of -o**2/2 + 2. Let g be b(2). Suppose 20 = -2*k - 4*x, k + 4*x - 3*x + 6 = 0. Is g >= k?
True
Suppose -4*u + 4*y = 2*y + 28, -y - 21 = 3*u. Let c(t) = t**3 + 6*t**2 - 6*t + 9. Let l be c(u). Is l bigger than 5?
False
Let w be 1*-12*(-18)/12. Let c = w + -13. Suppose 8 = c*m + 3. Is m at least as big as 0?
True
Let t = 16 + -34. Let p be t/(-14) - 2/7. Let b(z) = -z**3 + 6*z**2 + 3. Let d be b(6). Are d and p equal?
False
Let f = 5/32 + 23/160. Which is smaller: 0 or f?
0
Suppose -4*m + 34 = 2*o, -2*o - 33 = -5*m - 4. Let i = -19 - -27. Which is smaller: m or i?
m
Let q = 4 + -3.9. Let u = -0.2 - q. Let z = 0.3 + u. Is 0 < z?
False
Let i be ((-34)/(-3))/(16/114). Let d = i + -80. Is d less than 2?
True
Let l = 18 + -13. Let b(w) = -2*w**3 + 1. Let d be b(1). Let n = d + 7. Which is smaller: l or n?
l
Let r = 4.2 + -4.4. Which is bigger: 1 or r?
1
Let c be 2/(-6) - 29/3. Is -9 at least as big as c?
True
Let o(d) = -d**3 - d**2 + 2*d + 1. Let w be o(-2). Let y be (3/(-4))/(6/(-10)). Which is smaller: w or y?
w
Let s = 10 + -11. Let h be 6/(-2) + s/(-1). Which is bigger: 0 or h?
0
Let h be 9/(-5)*(-4)/12. Is h > 0.04?
True
Let s = -69 + 33. Is 2 at least s?
True
Let u = 39289/6461 - 406/71. Let k = 1/13 - u. Is k greater than -4?
True
Let i = -303 - -3937/13. Which is smaller: 0 or i?
i
Let m = 5 - 35. Let y be 5/(-2)*(-36)/m. Is y greater than 0?
False
Let m(j) = 4*j**2 - 5*j - 5 - 4*j**2 - j**2 - 1. Let f be m(-4). Let k be (-6)/(-4)*f/12. Which is smaller: k or -0.2?
k
Let y = -0.5 - 0.9. Let l = y + 1. Are l and 1/2 nonequal?
True
Let c = -105 - -153. Which is smaller: 47 or c?
47
Let q = 25 - -15. Suppose f - q = -f. Suppose -w - 12 = -5*r, 2*r + 3*r - f = 5*w. Is r at least as big as 0?
True
Suppose s + s = -4. Let t be 2/(-1) - 21/(-9). Is s < t?
True
Suppose 0*i - 48 = -4*i. Let w be (-21)/i - 3/12. Let x be (-68)/72 - 1/w. Which is bigger: 0 or x?
0
Suppose 5*x = 2*x + 18. Is 5 equal to x?
False
Suppose 87 - 30 = n + u, 5*n = 2*u + 264. Suppose -a + n = a. Let r be (-1)/a*2*3. Is -0.1 equal to r?
False
Let s(j) = j**2 - 6*j + 2. Let o be s(5). Let h = 14 + -12. Let f = o + h. Is f less than or equal to 0?
True
Let i = 1 - 0. Let t(b) = -3*b**2 - 2*b + 1. Let o be t(i). Let w = 5 + o. Is 1/6 less than or equal to w?
True
Suppose -214 = -2*h - 40. Let u be (-10940)/126 + (-4)/14. Let r = u + h. Is r less than 1?
True
Suppose m + 4 = -3*m. Let d be ((-4)/25)/((-6)/(-15)). Do d and m have the same value?
False
Let l be (8/20)/(4/10). Let x(c) = c**2 + 1. Let y be x(0). Let h be 1/(y - (1 - l)). Is h greater than or equal to 2?
False
Let s(r) = r**2 + 3 - 3*r**2 + 2*r**2 - 3*r + r**2. Let g be s(2). Is 1 > g?
False
Let h be (34/4)/(3/6). Let j = -12 + h. Suppose -5*y + 4*y + 3*x = -10, -5*y - j*x = 10. Is y at most 2/5?
False
Suppose 0 = -4*y + 2*y + 4. Suppose z + y*x - 11 = -0*x, 3*z + 3*x - 21 = 0. Suppose 4*v = z - 7. Which is smaller: v or -1/4?
v
Suppose 2*i + 12 = 4*i. Let o(v) be the second derivative of -v**4/12 + 5*v**3/6 + 2*v**2 + 5*v. Let k be o(i). Are k and -1 equal?
False
Let b = -38555/63 - -612. Which is bigger: b or -1?
b
Let a = -5 - -4. Let v be 1/(-1 + (a - -3)). Suppose -3 - v = 2*q. Do q and -2 have the same value?
True
Suppose -2*l + 4*v = 2 - 22, v + 5 = -4*l. Which is greater: l or -4/107?
l
Let d = 0.74 + 0.26. Which is bigger: d or -5?
d
Let h = 47 - -19. Let j be (h/(-77))/((-5)/(-7)). Is -1 at least j?
True
Let c = -18 - -11. Let d = c + 7.05. Is d less than -1?
False
Suppose j = 8*j. Which is bigger: 2/29 or j?
2/29
Let w be (-26)/20 - (-1)/(-5). Let s be (-2)/(-5) - 6/(-10). Let f be ((-6)/(-8))/(s/(-4)). Is w at most f?
False
Let v = -59/8 + 869/120. Let k(y) = y**3 - 9*y**2 + 7*y + 8. Let f(d) = d**2 + 8. Let i be f(0). Let x be k(i). Which is bigger: x or v?
x
Let n be 20/(-3)*3/(-2). Let u(j) = j**2 - 3*j + 10. Let l be u(0). Is n at least as big as l?
True
Let v be (-6)/28 - (-1)/(-2). Suppose p - 3*k = -16, p - 18 = -p - 4*k. Is v at most as big as p?
False
Suppose -3*n = 4*g - 15, 6*g - 10 = 2*g - 2*n. Which is smaller: -1/3 or g?
-1/3
Suppose 2*a = 7*a. Let d(l) = -l**3 + l. Suppose 0*s + 9 = -s - 4*y, 5*y + 10 = 0. Let z be d(s). Do z and a have the same value?
True
Let b(a) = a**2 + 10*a + 6. Let n be b(-10). Suppose -n*y + y = 0. Which is bigger: -2/21 or y?
y
Suppose -5*a = -18 - 12. Suppose -x = 2*x + a. Let n be 2/4 + (-9)/2. Are x and n unequal?
True
Let t be 1 + -6 + 7 + -3. Which is smaller: -0.15 or t?
t
Let h = -7.5 + 9. Is h equal to 0.2?
False
Let l = 31 - 20. Suppose 3*g - l = -5*x, -2*g + 1 = -4*x + x. Is 0 greater than g?
False
Let g = 0.6 + -0.3. Which is smaller: -1 or g?
-1
Let j(g) = g + 12. Let y be j(-10). Let c be ((-3)/9)/(y/(-36)). Are c and 4 non-equal?
True
Let l = 160.9 - 164. Which is smaller: l or -1/2?
l
Let z(s) = s - 4. Let l(o) = -o**3 - 10*o**2 + 10*o - 5. Let h be l(-11). Let v = h + -3. Let x be z(v). Is 3/8 > x?
True
Let a = 6.8 + -7. Which is smaller: a or -2/65?
a
Le