 - -1). Is 3 less than or equal to o?
True
Let v = -7 + 7.6. Let b = -0.5 + v. Let a = 0 - b. Which is smaller: a or 0.3?
a
Let o be ((-2)/(-4))/((-1)/(-34)). Suppose o = 5*f - 3. Is f equal to 5?
False
Let r be (-3 - 55/(-9)) + -2. Which is bigger: 0 or r?
r
Let v = -0.5 + 1.5. Let j = -2.7 - -4. Let h = j + -0.3. Is v equal to h?
True
Suppose -4*v - 27 = -5*y, -2*y + y + 31 = -4*v. Suppose 4*k + 43 = -3*p - 2*p, -p - 4*k = 15. Does v = p?
False
Let q be (2 - (20 + 0))/(-1). Let m = -184 + 403/2. Let j = m - q. Which is smaller: j or -0.1?
j
Suppose -3*u - 3*z = 474, -3*z - 18 + 6 = 0. Let l(h) = -13*h**2 + h. Let i be l(2). Let o be u/i - (1 + 2). Are 1 and o equal?
False
Suppose -17*t = -22*t. Which is bigger: -2/45 or t?
t
Let t be (1 + -5)/(4/2). Is -11/4 > t?
False
Let n be ((-24)/(-9) + -2)/((-6)/(-9)). Which is smaller: 12/41 or n?
12/41
Let i(n) = -n**2 + 2*n - 3. Let u(m) = 4*m - 1. Let h be u(1). Let c be i(h). Let d be ((-2)/c)/(1/3). Is d less than -2/15?
False
Suppose -100 = 4*m - 388. Let f be (-8)/36 + (-38)/m. Is f >= -2?
True
Let h(y) be the first derivative of -y**4/4 - y**3 + 5*y**2/2 + 3*y + 1. Let n be h(-4). Let t = 1 - 3. Which is smaller: n or t?
t
Let a be (-116)/12 - 2/6. Let c be ((-4)/a)/(4/(-15)). Which is greater: c or -1?
-1
Let x = 4 + -2. Suppose 8 = -4*j - 16. Let t be 2/j - 7/(-3). Is t < x?
False
Let n = -4 + 2. Let w = n + 2. Is w at most as big as 1/9?
True
Let b = 3 + -8. Let k = -8 - b. Is k greater than or equal to -3?
True
Let b be ((-4)/6)/(2/3). Let o be b/(-1)*(2 - -3). Suppose o*j - 5*x - 5 = 0, 2*j + 3 + 1 = -4*x. Is -2 >= j?
False
Let u(i) = -i**2 - 4*i + 7. Let j be u(-6). Let b = j - -6. Let p = -5/4 - -13/12. Is b smaller than p?
False
Suppose -l = -5*l + 40. Let o be 10/12*(-2)/l. Which is smaller: o or 0?
o
Suppose -3*l + 14 = -0*l - 2*g, 5*l - 22 = 2*g. Suppose -3*i - 11 = -l*i. Which is bigger: 10 or i?
i
Let k = -4 + 4. Let d be 2/(-3 + -1)*k. Which is smaller: 2/43 or d?
d
Let o = -159 + 162. Which is smaller: o or -1?
-1
Let q(f) = -f - 20. Let g be q(-16). Let v(p) = p**3 + 4*p**2 - 2*p + 3. Let h be v(g). Which is bigger: h or 12?
12
Let a be -2 + 3 + (-4)/2. Is a < 1/102?
True
Let r(g) = -g + 7. Let o be r(0). Let y = o - 4. Do 5 and y have different values?
True
Let t = 11 + -12. Let i(v) = v**3 + 2*v + 1 + v - 4*v. Let m be i(0). Which is greater: t or m?
m
Suppose -4*h - 4 = -3*a, a = -4*h + 9*h - 6. Let j be 0*(2 + -3 + h). Does j = -1/11?
False
Let w(i) = 5*i + 1. Let s be w(1). Let h be (2/s)/((-4)/(-24)). Let d be (-3)/h*5/60. Which is smaller: d or 1?
d
Let q = 1.59 - 0.09. Let t = 1.42 - q. Are t and -0.1 nonequal?
True
Let k = -37 + 35.3. Let p = -1.7 - k. Which is smaller: p or 1?
p
Let y = 1.999 + 0.001. Let c be (-1)/(-4) + 22/(-24). Which is bigger: y or c?
y
Let s = 23 - 25. Is -13/5 greater than s?
False
Suppose -y + 5*w = 1, 4*y + w + 2*w + 4 = 0. Is y >= 0?
False
Let n = 8/7 + -2. Is n < 2/5?
True
Let g(o) = o**2 + 14*o + 15. Let l be g(-10). Let s be (10/l)/((-12)/10). Is s greater than or equal to -1/6?
True
Let k = -2.9 + 3. Is k at least 9?
False
Let h(k) = -k - 7. Let l be h(-9). Suppose 0 = n - 9 - l. Suppose -j + 11 = 2*y, y = -4*j + 4*y - n. Are 1 and j unequal?
False
Let g = 109 + -90. Is 18 smaller than g?
True
Suppose 0*p - 4*p + i + 28 = 0, 3*p - 5*i - 38 = 0. Which is smaller: p or 2?
2
Let j = -3 - -10. Let r = 3 - j. Let p = r + 3. Which is smaller: p or 3?
p
Suppose -9 = -4*d - u + 4, -2*u = -5*d. Suppose -4*l + d*l + 62 = 0. Let f = 247/8 - l. Which is smaller: -2/5 or f?
-2/5
Let g = 0.08 + -0.14. Let l = g - 0.04. Is 2/7 at most l?
False
Let h be 6/(-10) + 4/10. Let c(a) = -a**3 + a**2 + 1. Let o be c(0). Suppose 2*u - o = 3*u. Which is smaller: u or h?
u
Let w = -29 + 45.4. Let r = w - 18. Let g = r + 0.6. Are g and -0.3 non-equal?
True
Suppose 4*l + 10 = -s, 5*s + 0*s + 4*l = -2. Suppose s*m = -0*b + b - 10, -5*b - 3*m = 2. Suppose 0*v = -2*v + 6. Is v less than b?
False
Let c = -0.65 - -0.6. Which is greater: c or -1?
c
Let t = -57/2 - -86/3. Suppose 0 = -5*u - 2*r - 10, 0 = -u + 3*r - 0*r + 15. Are u and t equal?
False
Let v = 0.059 - -8.941. Let o = -0.07 + 0.17. Is o > v?
False
Let c = -0.01 + 0.05. Let n = 0.06 + c. Which is bigger: n or 0?
n
Suppose -16 - 9 = -5*r. Suppose 3*y - 7 = 4*h, 2 - 4 = -3*h - r*y. Do h and -4/3 have the same value?
False
Let o = -10 + 11. Which is bigger: o or -1/3?
o
Let g = 0 + 2. Let j = g - 1. Which is bigger: -1 or j?
j
Let m be 12/(-3) - ((-3 - -4) + -4). Which is bigger: -2/59 or m?
-2/59
Suppose -2*a + 3 = -7. Suppose 2*o = -a*v + 12, o = -4*v + 15 - 6. Let c = -1 - -1. Does v = c?
False
Let k be (-1 + 2 + 0)*5/10. Is k at most 1?
True
Let h = -2.9 - -3. Let a = h + -1.1. Is -1 > a?
False
Suppose 4*g = -c + 10, 0*g - 2*c + 8 = 2*g. Which is greater: g or 8/7?
g
Let z be (8/(-5))/(3/15). Let n = 5 + z. Let a = -4 - n. Is 2/7 <= a?
False
Let v be (-8)/(-12) + (-26)/(-6). Suppose -2*h - c - v = -h, 2*c = -h - 10. Is h bigger than 1?
False
Suppose 14 = -2*d - 0*o - o, 0 = -3*d + 5*o - 8. Let r be (-3)/d*0 - 3. Let q(y) = y**3 + 3*y**2 + 1. Let w be q(r). Is w at least as big as 1?
True
Let x(t) = t**2 - t - 4. Let y be x(3). Suppose -5*n = -2 - 3. Suppose -y*m = -m - n. Which is greater: 2 or m?
2
Suppose 5*g = 2*g - 258. Let k be (-8)/(-36) - g/18. Suppose -k = -m - 2*q, 5*q = -5*m - 8 + 18. Is m < -1?
False
Suppose -4*g + 9 = -3*b, -4*g + 2 = -b - 1. Let a be 14/(-4)*44/(-77). Is a smaller than g?
False
Let o = -2 - -1. Let d be (-3)/(-54)*(-16)/24. Which is smaller: d or o?
o
Let d(o) be the second derivative of -o**4/12 - 5*o**3/6 - o**2/2 + o. Let p be d(-5). Let l(s) = -5*s. Let z be l(p). Which is bigger: z or 4?
z
Let q(i) = 0*i - i - 4 + 3 - i**2. Let h be q(-1). Let p = 71 + -72. Is h bigger than p?
False
Let g = 1.42 + -1.42. Is 110 at most as big as g?
False
Let w be (36/(-15))/((-9)/30). Let f be (w/30)/(24/(-20)). Let b = -5 - -5. Does f = b?
False
Let y be (4/(-6))/(16/(-72)). Let w be 3*1 + -3 + 3. Are w and y unequal?
False
Let g = 11.7 + 3.3. Which is bigger: 0 or g?
g
Let o(z) = -z**3 - 4*z**2 - 4*z + 3. Let d be o(-4). Which is bigger: d or 20?
20
Let r = 55 + -33. Suppose -3*j - 8 = -j, -r = -2*x + 4*j. Let q be 0/(x + (-4)/2). Is 0 less than or equal to q?
True
Let l be -1*2*45/(-10). Do 9 and l have the same value?
True
Suppose 5*l + 7*q - 2*q - 120 = 0, l + 4*q = 39. Let r = l - 2. Suppose b + r - 2 = 3*f, -5 = -f. Which is smaller: b or -2?
-2
Let d = -9 + 7. Let a = -6 - -3. Let t = d - a. Is t < -3?
False
Let w(c) = -2*c**3 + 2*c**2 + 3*c**3 + 3*c + 1 - 6*c. Let v(y) = -y. Let s be v(3). Let t be w(s). Are 1 and t unequal?
False
Suppose -o + 5*r - 6 = 2*o, -30 = -5*o - 5*r. Suppose -o*x + 2*x = 0. Which is smaller: -4/9 or x?
-4/9
Suppose 0 = j - 10. Let k = 68 + -60. Let n = j - k. Is 1/2 smaller than n?
True
Let c = -15 - -21. Let i be 0/2*3/c. Is i equal to -1?
False
Let y be 40/(-15)*(2 + 52/(-8)). Which is smaller: y or 21/2?
21/2
Let p(t) = t + 20. Let j be p(-11). Suppose -5*n + j*n = 0. Is 3/5 not equal to n?
True
Suppose -2*j - 18 = -0*j. Let f = 19 - -11. Let o = f + -40. Is j less than or equal to o?
False
Suppose -3*v + 2*v + 11 = 5*c, 2*v + c = 13. Suppose -3*t + v = -9*t. Is t <= 3/10?
True
Let k = 12 + -16. Is -2 smaller than k?
False
Suppose 39 = 4*q - w, 0*q - 5*q - 2*w + 52 = 0. Is q greater than or equal to 10?
True
Suppose 0 = 2*b - 4*a - 12, -4*a + 0*a - 26 = 5*b. Is b > -10/7?
False
Let v be -36 + (1/1 - 1). Let u be v/165 + (-4)/(-10). Let j = -438/5 - -88. Which is greater: j or u?
j
Let f be (30/(-18))/(1/3). Let j be 3/f + 10/(-25). Is j at least 1/4?
False
Let r be -1*(1 + 3 + -6). Suppose -2*j = r*m - j - 13, 2*m = 3*j - 7. Which is smaller: 2 or m?
2
Let s = 8.83 - -0.17. Let d = -1.9 + -7.2. Let y = s + d. Does y = 1/5?
False
Let l be (45/(-6) - -3)/(-6). Which is smaller: l or -19?
-19
Suppose -10 = 2*c + 4*q, 3*c - q = -19 + 4. Let o = 0 - c. Suppose o*d - 15 = -r, 3*d + 0*d - 1 = r. Which is bigger: d or 3?
3
Let o(l) = -2*l. Let w be o(-1). Suppose -w*a = -6 - 8. Let c(v) = v - 7. Let x be c(a). Which is smaller: x or -1?
-1
Let v be (-4)/(-6)*6/2. Suppose 4*k - 1 = -3*u, -2*k - 1 = u + v*u. Which is bigger: k or 0.05?
k
Suppose -3*z - 45 = -2