/32. Is l equal to c?
False
Let m = -11.82 - 0.18. Which is smaller: 1/3 or m?
m
Let l = -4.9 + 5. Is 0 at least as big as l?
False
Let n = -37 + 55. Let w = n + -23. Which is bigger: w or -4?
-4
Let s be (39/(-5))/(18/212). Let a(i) = -5*i**2 - 6*i + 3. Let o be a(-5). Let y = o - s. Is 0 greater than or equal to y?
True
Let n = -20 + 4. Let x = n + 10. Let y = x + 4. Which is smaller: -1 or y?
y
Suppose q = 2 + 7. Let t = q + -8. Is -1/11 > t?
False
Let q = 12.89 - 13. Let l = q - -0.21. Is 0.1 > l?
False
Let o = -3 - 1. Let q = o + 5. Which is smaller: 3/4 or q?
3/4
Let s = -0.28 + -12.72. Let u = 11 + s. Which is greater: u or 2?
2
Suppose 0 = k + 3 - 1. Are -3 and k equal?
False
Suppose 0*i - 6 = -2*i. Suppose -i*j + 3 = -3. Which is bigger: 12/11 or j?
j
Let s = -5.21 + 0.11. Let m = -5 - s. Do m and -1 have different values?
True
Let s = -9 - -15. Which is smaller: -1 or s?
-1
Suppose -z - 29 = -4*v + 2*z, 5*z - 36 = -v. Suppose 19 = 4*t + 5*o, -2*o = 4*t - 53 + 19. Is v greater than or equal to t?
True
Let t = 202 - 196. Is t < 0?
False
Let n(g) = g**2 + 5*g - 3. Let t(k) = k**3 - 5*k**2 - 5. Let w be t(5). Let c be n(w). Is -3 at most as big as c?
True
Let t = 4.8 - 4.9. Which is smaller: -0.037 or t?
t
Let z = 0.09 - -6.91. Is z not equal to 0?
True
Let m = 0 + -5. Let a = 8 + m. Let s = -3 + a. Is -1/4 <= s?
True
Let y(o) = -o**2 - 2*o. Let w be y(-2). Suppose 3*m - 2*j - 2 = 10, m + 4*j - 4 = w. Which is smaller: 1 or m?
1
Let t(q) = -q - 2. Let r be t(-6). Suppose -4*j = -14 + 2. Suppose -r*p + j = -1. Which is greater: p or -1/5?
p
Let y = 51/4 + -13. Let u be (6/10)/((-8)/10). Which is greater: y or u?
y
Let c be 16 - ((-6)/2)/(-1). Which is greater: c or 14?
14
Suppose -5*y = 3*s - 33, -3*y - 17 = -4*y + 2*s. Let h = y - 11. Let l be 1*-2 + (-1 - h). Which is smaller: -2/5 or l?
l
Let n(m) = -m**2 - 6*m + 6. Let d be n(-7). Let t = 1 + d. Suppose t = -f - 4 + 1. Is f at least -1?
False
Suppose t + 0*m = 4*m + 2, -1 = 3*t - 5*m. Let o be 6/6 + 1/t. Let i = -0.3 + 0.2. Which is greater: o or i?
o
Suppose -v + 0*v - n - 6 = 0, -v - 11 = -4*n. Let y = v - -6. Let i be ((2 - 2) + 2)/(-2). Is i at least as big as y?
True
Let u = -19 + 19.1. Is u equal to -22?
False
Suppose -5*l + 56 = -29. Suppose 0 = -3*r - 2 + l. Suppose -16 = b + r*q, -q - q = 6. Is 1/6 >= b?
True
Let f(k) = -7*k - 1. Let i be f(-1). Suppose 2*n = -4*p + 4, 0*n = 2*p - n - i. Let h be p/(-8) - 6/(-72). Is h equal to 1?
False
Let k = -3/79 + -149/237. Let d = -11 + 12.6. Which is bigger: k or d?
d
Let d = -12 + 18. Let y be ((-18)/8)/(d/16). Let x be 2 - 5/((-15)/y). Is x greater than 2/11?
False
Let z(o) = 28*o + 5. Let h be z(-5). Let r = 677/5 + h. Which is bigger: 0 or r?
r
Suppose -3*y + 5*a + 21 = 4, -2*a = -2*y + 10. Let k = -0.1 + 1.1. Which is bigger: y or k?
y
Let p(r) be the first derivative of -r**5/120 + r**4/3 - 2*r**3/3 - 2. Let b(m) be the third derivative of p(m). Let j be b(6). Is j < 4?
True
Let h be ((-6)/(-9))/(4/18). Suppose h*d - 27 = -o, 2*o - 28 = -3*d - 4. Which is bigger: d or -1?
d
Let z(b) = -b - 5. Let k be z(-4). Let i = 2/21 - 17/105. Which is greater: k or i?
i
Let v be 4/(-14) - 1*(-12)/42. Which is bigger: v or 1/8?
1/8
Let j = -7/10 + 31/30. Let y(f) = -f - 5. Suppose -5*x - 3*u - 2*u - 55 = 0, 4*u + 8 = 2*x. Let a be y(x). Is a at least j?
True
Let w be 2*(6/(-12))/(3/2). Suppose -21 = -u - 3*u - 5*x, -u = 5*x - 24. Is u not equal to w?
True
Suppose 3*a = w + 6 - 3, -4*w + 2 = -5*a. Suppose l = 4*l - w. Let f be 2/(-9) + 1 + -1. Is l greater than or equal to f?
True
Let z = -4 - 1. Which is smaller: z or -2?
z
Let n = -5 + 5. Let j = n - 0.1. Which is smaller: j or -3?
-3
Let u = 1481 + -54803/37. Which is greater: 1 or u?
1
Let f be (-3)/(-4) - (5 - 5). Is f at least as big as 0?
True
Let j = 41 + -39. Is j at least as big as 1?
True
Let w = 439/290 - 2/145. Is 3 at least as big as w?
True
Let y be 45/(-4) - (-5)/20. Let p = -7 - y. Are p and 2 equal?
False
Suppose 0 = -6*x + 3*x - 18. Is -6 != x?
False
Let b = 37.3 - 37. Which is bigger: 2/3 or b?
2/3
Let c = 19.03 + -19. Which is smaller: -1/12 or c?
-1/12
Let q(z) = -z + 10. Let v be q(11). Which is greater: -2/3 or v?
-2/3
Let v = 0.2 - 0.3. Which is bigger: v or 3?
3
Let d be 5/78*(-6)/(-15). Which is bigger: d or -1?
d
Let q = 1 - 3. Let l be (16/(-20))/(q/(-10)). Let w be -2 - (1 - (-1 - -1)). Is w > l?
True
Let k = 5283/7 - 757. Which is bigger: k or -3?
k
Suppose 0 = -43*r + 44*r + 32. Which is bigger: -33 or r?
r
Suppose 1 = -2*s + 11. Suppose 0*g = 4*g - s*j - 19, g - 16 = 5*j. Let c be 0 + 4/2 + -1. Is c less than or equal to g?
True
Let y be (-2)/(-4)*-3*24/(-9). Which is greater: y or 6?
6
Let s = 18 - 18.07. Do s and -5/4 have the same value?
False
Suppose -6 - 3 = -3*p. Suppose 5*t + 2*z = -0*z + 5, -z = -t - 6. Let q be 1/(t/(p - 2)). Which is smaller: 0 or q?
q
Suppose 2 = -6*i - 4. Let z be (0 - (-3)/(-2))*2. Which is smaller: i or z?
z
Let y = 61 - 673/11. Let m = 64.7 + -65. Is m bigger than y?
False
Let b(a) = -a**3 - 3*a**2 - 2*a. Let f be b(-2). Suppose 2*z - z - 4 = f. Suppose -z*i - 2*t - 2 = -6*i, -2*t = 3*i + 12. Is i at most as big as -2?
True
Let d(p) = p**2 - 5*p + 4. Let z be d(4). Suppose z = i + 3*i - 8. Let b = 817/7 - 117. Does b = i?
False
Let q be (2/(-4))/(0 - 1). Let a be (4/(-33))/((-12)/18). Is q equal to a?
False
Let g = 5.3 - 5. Let s = -0.1 - 0.9. Which is greater: s or g?
g
Let b = -22.411 - -22.3. Which is greater: b or 0?
0
Let w be 23/92 - (-1 + (-26)/(-8)). Which is smaller: -0.4 or w?
w
Let n = 0.03 - 0.08. Let q = n - 0.05. Let o = -0.9 + 1. Are o and q equal?
False
Suppose -3*y + 2*y + 3*a = 15, -a + 5 = y. Suppose y = -w + g + 4, -3*w - w + 9 = 3*g. Which is bigger: 1 or w?
w
Let n be 0/((-3)/(3/(-2))). Let m be (-1 + -3)*1/2. Which is greater: n or m?
n
Let a(i) = -i + 4. Let d be a(5). Let t = 51/4 + -249/20. Let n = t - 7/10. Which is greater: n or d?
n
Suppose -3*k - 2*z = -2*k + 3, 3*k + 3*z = -3. Which is smaller: 0 or k?
0
Suppose -2*k + 3*x = 44, -k - x + 68 = -5*k. Is -14 at most k?
False
Suppose 3 + 3 = 2*n. Suppose n*v - 6*v - 3 = 0. Is -1/8 smaller than v?
False
Let t be (8 + 4)/2*-2. Let n be 28/(-4) - -3 - t. Is 8 <= n?
True
Suppose -3*g + 0 = 3. Suppose -3 = -5*o - 23. Let b be (-2 - 0) + (-4 - o). Is b less than g?
True
Suppose 5 = 3*t + x, 3*x = -t - 2 + 1. Suppose 2 = -t*g + g. Is g greater than -2?
False
Let b = 3.52 + -3.3. Which is greater: b or 0?
b
Suppose -4*c = -5 - 19. Let n be (1 - 8/c)*-73. Let f = n + -25. Is f smaller than -0.1?
True
Let b = -2594/15 + 173. Are -1 and b nonequal?
True
Let p(q) = -q**3 + 4*q**2 + 3*q + 4. Let l be p(5). Let h = -4 - l. Suppose -3*y - h = 19. Which is smaller: -8 or y?
-8
Suppose 4*v + 23 = l, 2*v - 5*v = -4*l + 27. Suppose 4*m + 4 = -4. Let n be m + 7 - (-6)/(-2). Which is smaller: l or n?
n
Let k be -12*2*3/(-12). Suppose k*m - 4 = 2*m. Suppose 3*b - 7 = -5*j + 6, -2 = -2*b. Is m not equal to j?
True
Let a = 29 + -44. Are a and -1 non-equal?
True
Let f(m) = -4*m**2 + 10*m - 5. Let o(x) = -7*x**2 + 19*x - 11. Let b(q) = 5*f(q) - 3*o(q). Let h be b(6). Which is bigger: h or 5/6?
h
Let i be (33/6)/(24842/(-8)). Let k = i - -24705611/136631. Let j = 181 - k. Which is bigger: j or 1?
1
Let w = 110 - 110. Is w > -25?
True
Let w be (-16)/2*(-10)/(-4). Is w at most -20?
True
Suppose 3*q + 8 = -4*y, 2*q = -y + 3 - 0. Suppose q*i = 5*i + 1. Let w = -4 - -10/3. Do i and w have the same value?
False
Suppose 0 = 18*x - 17*x. Is 4 greater than x?
True
Suppose 15*o - 6 = 13*o. Suppose 2*w - 1 - 1 = k, -3 = -3*k - o*w. Which is smaller: k or 2?
k
Let r be (-30)/(-3*2/9). Suppose r - 17 = 4*d. Suppose d = -5*s - 8. Is s != -3?
False
Let x be 13 + 3 + 4/(-4). Let i = 59/4 - x. Which is smaller: i or 0?
i
Let l(k) = k**3 - 3*k**2 - 4*k - 1. Let f be l(4). Which is greater: f or -3/5?
-3/5
Suppose -4 = -2*i + 10. Let l = -5 + i. Suppose -4*j - 20 = 5*c, -3*c = -l*c + 4. Are -2/11 and j non-equal?
True
Let f be -1 + -1 + -1 + 2. Suppose 4*l = -2*z + z - 17, 3*l = 5*z + 39. Let y be (4/(-7))/(z/7). Which is smaller: y or f?
f
Let s = 14 - 4. Which is smaller: s or 11?
s
Let c = -102.2 + 90.2. Let w = -0.4 - -0.3. Is c greater than w?
False
Let j(b) = -b**2 + 2*b. Let k be j(1). 