= -2.85 - -0.05. Let a = v - 0.2. Let h = 0.07 + -0.17. Is a < h?
True
Suppose -g = -2*p, -4 + 16 = 5*g + 2*p. Let x = 0.02 + 2.98. Let s = 2.9 - x. Is g at most s?
False
Let b = -329/130 + 2/65. Suppose 4*q - 5 = 3*f + 40, 4*f - 40 = -3*q. Let p be ((-6)/(-4))/(q/(-32)). Is p at least b?
False
Let j be (184/60 + -3)*4/(-2). Let t = 7 - 4. Suppose f - 4*f - t = 0. Is j bigger than f?
True
Let m be 12/(-15) + 4/10. Let h(k) = -k**3 + 3*k - 2. Let a be h(2). Let p(y) = y**2 + 3*y - 3. Let n be p(a). Is m smaller than n?
True
Let k be 1/(-2) - 60/(-8). Let f be k/(-14) - (-2)/12. Let h = 1 + -2. Is h greater than f?
False
Suppose c + 3 = 2. Let o(m) = -40*m - 1. Let i be o(c). Let p = 233/6 - i. Is 1 less than or equal to p?
False
Let k = -0.96 + 1.96. Is k at most as big as 32?
True
Suppose -4*z + 3 = -5*g - 18, 4*z + 9 = -g. Let b(w) = w. Let s be b(z). Which is bigger: -2/3 or s?
-2/3
Let j = -13 - -12. Is 2/57 at most j?
False
Let a be ((-6)/8)/((-1)/4). Suppose -65 = -2*u - a*u. Which is smaller: 1 or u?
1
Let z = -9 + 10. Let n be (-1 + z)/(-4 + 5). Is n less than 1/9?
True
Let y(f) = -21*f + 11. Let c be y(1). Is c not equal to -26/3?
True
Let b be (3/(-43))/((-24)/16*1). Let a be 1*(0 + 1) + 0. Is b less than a?
True
Let v = 5/62 - 211/310. Which is smaller: v or -1?
-1
Suppose 3*f - 2 - 4 = 0. Let g(n) = 2*n**2 - 3*n + 2. Let t be g(f). Let v(i) = i**3 + 11*i**2 + 18*i + 2. Let z be v(-9). Does t = z?
False
Suppose -7*x = -2*x. Suppose 2*c + x = -6. Which is bigger: c or -4?
c
Let y be (-12)/42 + (-30)/(-7). Suppose 4*o + 2*n + 2 = 0, -n + 10 = y*o - 3*n. Let f be 9/(-20) + 2/8. Which is greater: f or o?
o
Suppose -5*m = -3*f + 13 - 3, 5*m + 10 = -3*f. Let i(a) = -3 - a + 2*a - 3*a. Let x be i(m). Is -1/3 not equal to x?
True
Suppose -7 = -5*w + 3. Let r be (-51)/(-9) + (-4)/6. Suppose 0 = 2*d - r*d + 9. Is d greater than w?
True
Let i = -0.5 - -0.3. Let p = i - -0.5. Let f(w) = -w**2 + 2*w + 4. Let q be f(3). Which is greater: p or q?
q
Let c = 0.3 - 0.2. Let r = -0.04 - 1.46. Let n = -1.3 - r. Which is greater: c or n?
n
Suppose 9 = 2*l - 3*b, 0 = -5*l - 2*b + 2 - 8. Let h be -2 + (60/33 - l). Are h and -1 equal?
False
Let b = 4.8 - 5. Let s = 1.92 - -0.08. Is b less than s?
True
Suppose -o + 6*o - 60 = 0. Let f = -57.9 + 58. Which is bigger: f or o?
o
Let w = 8 - 6. Let x be (7 + -2)*w/2. Suppose 0*k = -5*k - x. Is k > 2/7?
False
Let l(j) = j**3 + 3*j**2 + j + 4. Let o(c) = c. Let g be o(-3). Let d be l(g). Which is smaller: 1/5 or d?
1/5
Let n = -1909/4 - -478. Suppose -3*z + 4*y = 0, z + y = -z. Which is bigger: n or z?
n
Let v be 1/((10/20)/(2/(-4))). Which is greater: v or -11/7?
v
Let d = -13 - -12.9. Let u = -0.2 + d. Which is smaller: u or -0.1?
u
Let i = 0.4 + 1.6. Let h = 6 - i. Let a = 2 - h. Are a and 0.1 equal?
False
Suppose -g + 4 = -4*j - 21, -2*j + 2*g = 20. Let n = j - -5. Let f be n/(-3) + 2/(-10). Is -1 greater than f?
False
Suppose 7*a - 8*a = 0. Let l = a + -3. Which is bigger: -5 or l?
l
Let w be ((-22)/(-25))/(7/35). Which is smaller: 3 or w?
3
Let m(z) = z**3 - z**2 - z - 2. Let p = 4 - -1. Suppose 4*t + 12 = 4*l, 0 = -t - 0*l + p*l - 23. Let w be m(t). Which is smaller: 2/13 or w?
w
Let u be 14/(-70)*6/2. Which is smaller: u or -1/4?
u
Let g = 2/39 + 35/78. Let u = 32.62 + -0.62. Let w = u + -36. Is w less than g?
True
Suppose -3*u + 2 = 17. Let q be (-1)/((-2)/2) - -4. Let b = q + u. Is b less than 1?
True
Let k(u) be the third derivative of -u**5/60 + 5*u**4/24 - 2*u**3/3 - 4*u**2. Let x be k(6). Are -9 and x nonequal?
True
Let o(p) = -2*p + 6. Let r be o(4). Is -7/13 less than r?
False
Let y = 11/10 - 1/2. Which is greater: -1 or y?
y
Let v = -2582/1547 + 28/17. Which is smaller: v or 0?
v
Suppose 0 = -2*w + 3*w - 6. Suppose w = -r - r. Let q = r + 0. Is q < -2?
True
Let d be 4/10 + 504/(-585). Do d and 1 have the same value?
False
Let q = -1 - -1. Suppose -2*n - 5 = -1. Which is smaller: q or n?
n
Suppose 0 = -5*t + t. Let y be (-1)/((-1)/1) - t. Let b be (1/3)/((-8)/(-18)). Do y and b have the same value?
False
Let v be (3/(-2) + (-12)/4)/3. Suppose 0 = 2*y + 3 - 1. Is y <= v?
False
Suppose 4*t - 25 = t + 5*h, 4*h = 5*t - 20. Which is bigger: 2/13 or t?
2/13
Let h(y) = -y**2 - 4*y - 2. Let l be h(-3). Let v be -1 + 1 + l/(-4). Let g = -2 - -2.1. Which is bigger: g or v?
g
Let r = -4 + 8. Let s = r + -3. Let p = 0.03 - -1.97. Which is smaller: p or s?
s
Let t = 11 - 10.99. Let g = 0.09 + t. Let x = -632/7 + 90. Which is smaller: g or x?
x
Let c be 8*(-6)/81*84. Let w = -50 - c. Let q = 5 - 6. Which is smaller: w or q?
q
Let x be (-3)/(-43)*2/6. Let r = 39/172 + x. Let m = -9 - -8. Which is greater: m or r?
r
Let s be ((-2)/(-3))/((-4)/(-6)). Let u be s*(0/2 - 0). Let t = 91/102 + -5/6. Is u bigger than t?
False
Let y = 0.11 - 11.11. Let p = 48 - 46. Which is smaller: y or p?
y
Let l = -18 - -25. Let f(o) = o + 13. Let i be f(-7). Which is smaller: l or i?
i
Suppose -3*l - 2 = 4. Let h = -26 - -32. Suppose -8 = h*b - 2*b. Is b < l?
False
Let m = 78/5 + -16. Which is bigger: -1 or m?
m
Let o = -1/7 + -4/21. Let t(b) be the first derivative of -b**3/3 - 7*b**2/2 + 1. Let z be t(-7). Is o != z?
True
Suppose 1 + 5 = 3*m. Suppose 4*z + 4 = 2*o, -4*o = 3*z - m*o - 4. Let a = -2.6 + 0.6. Do a and z have the same value?
False
Let s = -14.12 + 0.12. Let z = 8 + s. Let c = 8 + z. Is 2 less than or equal to c?
True
Let p(y) = -y + 10. Let i be p(0). Let z be 2/(-4)*(-8)/i. Which is bigger: z or 0?
z
Suppose o - 2*g = -0*o - 13, 0 = 2*g. Is o != -13?
False
Let u(m) = m - 4. Let j be u(5). Let b = -0.5 + -1.5. Let q = b - -1. Which is smaller: j or q?
q
Let o = -44.2 - -44. Are -1/2 and o nonequal?
True
Let o = 1781615597/3488078 + -22/158549. Let s = o + -511. Let y = s + -14/11. Is -1 greater than y?
True
Suppose 0 = 2*b + 3 - 1. Let r be (b + -7)*(-1)/7. Is 1 greater than r?
False
Let h = 53/3 - 17. Suppose -i - 2*i + 6 = 0. Suppose c = i*z, 2*z + 3*c = -3*z. Which is smaller: h or z?
z
Suppose 0 = 3*d - 9, 2*j - 3 = -0*j + d. Let i(w) = 2*w**2 - 12*w. Let o be i(6). Suppose 5*k = -z - 14, o = j*z + 3*k + 9 - 3. Which is smaller: 1/2 or z?
1/2
Let b be ((-3 - -1) + 2)/1. Suppose 2*a - q - 2 = b, -5*q + 2 = -4*a + 6. Let n = 15/8 - 3/8. Is a less than n?
True
Let n be (-29)/(-28) - 14/49. Does n = 1?
False
Suppose -z - 4 - 7 = 0. Let a = -24 - z. Which is greater: a or -12?
-12
Let v be (1 - 9/3) + 4. Let f be v/(-3)*7/70. Do f and 1 have the same value?
False
Let c = -10.8962 + -0.1238. Let q = c - -11. Let o = 0.3 + -0.4. Is o bigger than q?
False
Suppose g = -5*r + 22, g + 2*r - 2 = 4*g. Let c be (14/(-3))/g + 2. Suppose -8 = b + 4*q - 23, 0 = 4*b + 3*q - 8. Which is greater: c or b?
c
Let j(m) = -m**3 - m**2 + 3*m + 3. Let u be j(-2). Let a(w) = -w**3 + w**2 + 2*w. Let g be a(2). Let v be (1 - 0)/(u - g). Which is smaller: v or -2/7?
-2/7
Suppose -4 = -n + 5. Let j = n + -6. Which is smaller: 4 or j?
j
Let z = -2.84 + -0.16. Which is smaller: z or 8/7?
z
Let b = 1 - -3. Suppose f = -s + 12, -b*s + 32 = s - 2*f. Suppose 4*i + s = -0*i. Is i <= -3?
False
Suppose -3*j - g = 10 - 0, -11 = 5*j - 4*g. Let v be (-8)/(-6)*3*-1. Let k be (6/v)/(6/8). Which is smaller: j or k?
j
Let a be 60/8 + 2/(-4). Let r be a/(-35) + (-42)/(-110). Let b = -6 - -4. Is b less than r?
True
Suppose 2 = 3*f - 4. Let i be f/8 + 1/(-4). Suppose i = -3*b - 15, -2*r - r = 3*b + 12. Is r smaller than 2/15?
False
Suppose 5*m = 3*m - 6. Let v = m + 3. Are 2/11 and v unequal?
True
Let j = 0.7 - 0. Let p = j + -0.6. Let h = -3 - 0. Is p >= h?
True
Let l = 12 - 6. Let x = l + -1. Is 4 < x?
True
Let g = -2 + 1. Let n be 1*1/7*-2. Which is smaller: g or n?
g
Suppose 6*c + 0*c = -264. Is c bigger than -44?
False
Let n(u) = 2*u**3 - 2*u**2 + u. Let y be n(2). Let f = 9 - y. Does f = -1?
True
Let o(k) = -k - 4. Let b be o(-3). Let p be ((-5452)/1365)/(-4) - 1. Let u = -2792/42315 - p. Is u > b?
True
Let l = 14.34 + -0.34. Let r = 14 - l. Is 3/5 at most as big as r?
False
Let n = -0.37 - 1.33. Let j = -2.8 - n. Let s = j - -0.1. Is s > 0.3?
False
Let s(d) = -d**3 + 8*d**2 + 9*d + 1. Let w be s(9). Which is bigger: w or 1/13?
w
Suppose 1 = 3*o - 4*o. Let u be o + (-1 + 0 - -2). Which is greater: u or 5/6?
5/6
Let t(c) = -5*c - 3. Let o be t(2). Is -11 at