.7. Is o greater than 0.03?
False
Let d be ((-2)/3)/((-2)/6). Let l be (d/(-6))/(1/(-3)). Let g = -2/83 - 152/581. Which is smaller: l or g?
g
Let b = -28/33 + 2/11. Suppose 12*t = 13*t. Which is bigger: t or b?
t
Let h be 1212/(-35) - (-2)/(-1). Let j = -206/7 - h. Let o = j + -118/15. Which is smaller: o or -1?
-1
Suppose -4*u + 4 + 0 = -3*q, -q + 4 = -4*u. Let g be q/(-10) + (-48)/20. Let v be ((-2)/g)/1 + -2. Are v and -2 unequal?
True
Let f = 3 - 2.6. Which is bigger: f or 0.2?
f
Let l = 71 + -141/2. Which is smaller: l or 1?
l
Let o be 2/(-4)*-2 - 1. Suppose o = i + 5*h, 7 - 15 = 2*i + 2*h. Suppose -m = -3*w - 1, 0 = -4*m - 0*w + 2*w - 16. Is i at most as big as m?
True
Suppose s = 2*s - 2*g + 3, 7 = -4*s + 3*g. Is s less than -41?
False
Suppose -5 = 2*j + 1. Suppose -4*a = -0*a + 8. Are a and j non-equal?
True
Let g be (-16)/60 + (-4)/10. Let a(j) = -j**2 - 3*j - 1. Let k be a(-3). Which is bigger: g or k?
g
Let l be ((1 - -3) + -6)/4. Is l at least 28?
False
Let z = -3 - -18. Let v = -43/3 + z. Are v and 1 nonequal?
True
Suppose -2*x + 2*f = 0, 4*f - 1 = 5*f. Which is bigger: -14/11 or x?
x
Let l be (-6)/8 - 333/132. Is -3 bigger than l?
True
Suppose 4*l + 20 = -3*h, l = -3*h + 2*h - 4. Let w = l + 10. Do -0.4 and w have the same value?
False
Let n(v) be the second derivative of v**4/12 - v**3/3 + 4*v. Let l be n(4). Let x(g) = g**2 - 9*g + 3. Let d be x(l). Is -6 greater than or equal to d?
False
Let i be (-74)/(-14) + (-2)/7. Let g = 1 + i. Is 4 equal to g?
False
Suppose 0 = 5*b - 4*b - 8. Suppose 5*u + b - 27 = -z, -3*z = -4*u + 19. Are z and -2 nonequal?
True
Suppose 8*p - 5*p - 3 = 0. Let n be -7*1*(p - 2). Suppose 0 = 3*u - 4*z - n, -3*z - 2 = 2*u + z. Is u equal to 1/3?
False
Suppose 4 = 4*c - 0. Let n be ((-3)/(-51))/(c/4). Let o = n - -73/51. Is o at least as big as 2?
False
Let m = -19 - -19.1. Let y = 3.4 - 0.4. Let l = -2.5 + y. Which is greater: m or l?
l
Suppose 2*c = 5*c. Let t be 88/10 - (-4)/10. Let y = t - 128/15. Are y and c nonequal?
True
Let x(v) = v**2 + v + 2. Let z(h) = -h**2 + h + 4. Let y be z(3). Let r be x(y). Suppose -r*m + 3*m = 1. Which is smaller: m or 1?
m
Let o = 3 + 7. Are o and 2 unequal?
True
Let x(y) = 2*y - 3. Let u be x(2). Let o(p) = -1 - p + 2*p**2 - 2*p + 5*p. Let m be o(u). Is 3 >= m?
True
Suppose 3*i = -i + 36. Are i and 9 equal?
True
Let f(h) = -3*h**2 - 6*h - 2. Let z(c) = -4*c**2 - 6*c - 3. Let m(y) = 5*f(y) - 4*z(y). Let q be m(7). Suppose -3*t = 3 - q. Is t > 1?
True
Let a be (-11)/6 + (-3 - (-11)/3). Let k(r) = r**2 + 6 - 2*r**2 + 2*r**2 - 9*r. Let f be k(8). Which is bigger: f or a?
a
Let q = -0.15 - -0.04. Let b = -0.01 - q. Let i be (4/(-10))/(2*1). Which is greater: b or i?
b
Let o be (-15)/(-135) + 2/(-9). Let z(j) = 3*j + 1. Let h be z(1). Suppose -1 = -h*s + w, -2*s + 3*w = -s - 14. Which is smaller: o or s?
s
Let p be 2 - (-2)/(0 + -1). Suppose s - 4*s - 2*t = -3, p = -t. Which is bigger: s or 2/9?
s
Suppose -4 = 49*f - 47*f. Let z = 10 - 14. Let k be z/(-3)*3/(-5). Is k != f?
True
Let v = 25 - 24. Is 2/17 less than or equal to v?
True
Let j be 0 - 4 - 147/(-28). Let c be 2 + (1 - 1)*-1. Are c and j nonequal?
True
Let i be (1 - 2) + (-16)/(-10). Let p = -17 - -25. Let u = p + -8. Which is bigger: i or u?
i
Let d = 2.9 - 0.7. Let t = d + -2. Let z = t - 0. Are 2 and z non-equal?
True
Let y = 14 - 20. Which is smaller: y or -2?
y
Let b = -2/7 + 1/28. Which is bigger: b or 1?
1
Let m(a) = a**2 - 7*a - 44. Let h be m(-6). Is 34 at most as big as h?
True
Let c be 180/(-59) + 2 + 1. Let a = -103/295 + c. Is a at least -0.06?
False
Let i be 4/(-6) - (-4)/5. Let c = -2 - -1. Does i = c?
False
Suppose 2*x = -0*x + 50. Suppose 2*j + 3*j = x. Suppose -j*n = -n + 4. Is n < -1?
False
Suppose 0 = -6*o + 11*o - 30. Which is bigger: 1 or o?
o
Let p = 20 + -13. Suppose -p = -4*l + 1. Let x be 1 - (1/(-4) + l). Is -2 bigger than x?
False
Let d(n) = n**2 - n. Let w be d(0). Let s be -2 - (2 + 3 - 6). Which is smaller: s or w?
s
Suppose 4*k - 2*k + 2*n + 2 = 0, -4*k + 41 = -5*n. Let y(c) = -3*c**2 - 4 - c**3 + 2 + 2*c**3 - 4*c. Let o be y(k). Which is bigger: o or -2/3?
-2/3
Let k be -1*(-2)/(-4)*1. Let w be (-10 - -10)/(1*2). Suppose -2*y - 2*y = w. Are y and k equal?
False
Suppose -c - 5*h + 29 = 0, 2*c = 2*h - 5*h + 23. Suppose 22 = c*z - 10. Let y be 3*2/108*z. Is -1 not equal to y?
True
Let s = 2.2 - 2.4. Let k(r) = -r**3 + 5*r**2 + 5*r. Let z be k(6). Let v(g) = g**3 + 5*g**2 - 6*g + 2. Let a be v(z). Do a and s have different values?
True
Suppose v = 4*p - 3 - 40, p = -5*v - 5. Let d = -3 + p. Is d less than 5?
False
Let j = 2/5 - 13/20. Is 2/7 at most j?
False
Let h(p) be the second derivative of -p**4/12 + 2*p**3 - 15*p**2/2 + p. Let w be h(11). Is w at least -2/5?
False
Suppose 3*b + 174 = 606. Do b and 144 have different values?
False
Let n be 38/(-30) + (-8)/(-12). Is 0.3 bigger than n?
True
Let b be (0 - -1) + -30 - -2. Let t = 18 + b. Let v be (-6)/(-4)*(-6)/t. Which is greater: 3/4 or v?
v
Let g = 18 - 29. Which is bigger: g or -1?
-1
Suppose -5*y + 10 = r + 4*r, 4*y = 3*r + 8. Do r and -6/37 have different values?
True
Let m(y) = y - 2. Let t be m(4). Suppose -t*g - 3 = x, g = -2*g - 5*x - 8. Is g bigger than -1?
False
Let h(g) be the first derivative of -g**2/2 - 5*g + 4. Let j be h(-4). Is 0 less than j?
False
Suppose 5*r + 3 = 3*n + 2*r, 2*n - 6 = r. Suppose 3*g = 2*g - 3*x + 7, 5*g - 5*x + n = 0. Let y be 2 + 0*(-1 - -2). Are y and g non-equal?
True
Let x be 7/2 - (-2)/(-4). Suppose -22 = f - 2*h, -4*f - h = 2*h + 33. Let d be f/(-8)*(-2)/x. Do 2/7 and d have the same value?
False
Let j = -12/7 + 31/14. Let s(m) = m**3 + 4*m**2 - 6*m - 2. Let z be s(-5). Suppose -4*g = -g + z. Is g smaller than j?
True
Let p be ((0 + 1)/(3 + -4))/(-1). Which is smaller: -8 or p?
-8
Let s = 4 - 8. Let j = 3.9 + s. Let r = 0.2 + -0.1. Is j less than r?
True
Suppose 0 = q + 5*k - 28, -2*q - 4*k + 41 = 15. Let p be 48/(-28)*2/q. Are -2 and p non-equal?
True
Let k be (-3)/(-6)*2 + -85. Let v = 339/4 + k. Is -1 bigger than v?
False
Let f be (-1)/6 + 635/(-150). Is f < -5?
False
Let g be (3 - 2)*4/(-1). Let s = g + 7. Suppose -4*o + 26 = -s*d, 4*d - 17 = -o - 1. Are o and 8 equal?
True
Let k = -9 - -8.96. Let g = 18.46 + -18. Let u = g - k. Which is greater: u or 0?
u
Let z be 9/4 + 3/(-12). Suppose 0 = -5*b + 2*b. Suppose b = p - 3 - 0. Which is greater: z or p?
p
Let l = -6 - -3. Let s = l - -4. Let p = s - 2. Which is smaller: 2 or p?
p
Let b be (-1)/2 - 198/(-12). Let o = 16 - b. Let p = 0.09 + -0.1. Which is greater: o or p?
o
Let q = -92 + 105. Suppose 5*x - 63 = -5*n + 2, 3*n = -5*x + 39. Is q < n?
False
Let m = 1731/28 + 19/28. Let p be (-1742)/(-28) + 4/(-14). Let b = p - m. Is b <= 0?
True
Let s = -1.2 - 9.8. Let q = s + 7. Let b = q + 3. Which is bigger: 1/2 or b?
1/2
Let m be (4/40)/((-8)/(-20)). Which is bigger: 1/14 or m?
m
Suppose -30 = 5*a - 0*a. Suppose 5*x + 5*r = -30, -26 = -0*x + 5*x + r. Let l = x - a. Is -1/4 smaller than l?
True
Suppose -2125 = -4*c + i, 1 = -3*i - 2. Suppose -197 = -4*m + c. Let g be -2 + (m/(-12))/(-7). Do 1/4 and g have the same value?
False
Suppose -12 = -4*l - 64. Which is greater: -12 or l?
-12
Suppose 3*p - 5*p + 12 = 0. Let h = 7 - p. Is h at most -0.3?
False
Let x = -228 - -228.2. Is x >= -4.7?
True
Suppose -o + 111 = -4*o. Which is smaller: o or -38?
-38
Let k be (-505)/3*5/3. Let x = k - -281. Are x and -1 non-equal?
True
Let d be (2/(-12))/((-5)/(90/(-4))). Which is smaller: d or -1?
-1
Suppose -2*x - 7 = -1. Are x and -5/3 equal?
False
Let i be ((-18)/6)/(1 - 2). Is i >= -16/7?
True
Suppose 0 = 4*c - r + 220, -3*c + r = -0*r + 166. Is -55 bigger than c?
False
Let s be (2 - 1)/(-3)*(-18 + 0). Which is smaller: s or 5?
5
Let l(y) = y**3 - 5*y**2 + 2. Let w be l(5). Is 3 < w?
False
Let g = -3.731 - -0.031. Let n = 0 + -4. Let h = g - n. Is h at most as big as -0.2?
False
Let i = -3 + 4. Suppose -9 - i = -5*x. Is 7/3 not equal to x?
True
Let c(d) = 2*d - 7. Let u be c(6). Let j = -4 + u. Let f be 1*(0 + j + -2). Which is bigger: -3 or f?
f
Let x = 0 + -0.03. Let y = 0.43 + x. Let h = y - 0.1. Which is smaller: h or -1/4?
-1/4
Let h = -229/4 - -62. Let q = 205/44 - h. Does q = 0?
False
Let q(u) = -u**3 - 7*u**2 + 2*u - 8. Let n be q(-6). Let r be n/