2. Let k be h(4). Let q = -0.8 + -3.2. Let c = 3.9 + q. Is k != c?
True
Let i = 0.008 - -0.092. Let f be 11/(-12) + -1 + 2. Which is bigger: i or f?
i
Let f = -108.08 - -110. Let r = f - -0.08. Do r and -3 have different values?
True
Suppose m + m - 378 = 0. Suppose 0*x = -4*x + 28. Let t be (12/m)/(6/x). Which is greater: -1 or t?
t
Let s = -5 + 6. Which is greater: s or 2/5?
s
Let d = 302/3 + -103. Suppose 0 = 6*q - q - 4*g + 13, -5*g = -5*q - 15. Is d equal to q?
False
Suppose 84 = 6*c - c - 2*x, -3*x + 58 = 4*c. Suppose -u - u - 2*s = -16, -3*u = -5*s - c. Let j = -10 + u. Which is bigger: -4 or j?
j
Let h(r) = r**3 - 5*r**2 - 11*r + 13. Let n be h(6). Suppose 23 + 41 = -4*z. Which is greater: n or z?
z
Let a be (-32)/(-10)*(-135)/(-6). Is a less than 71?
False
Let z(n) = n**2 - 8*n + 9. Let r(a) = 3*a - 5. Suppose i + 2 = 5*m + 16, -2 = m. Let l be r(i). Let u be z(l). Which is smaller: u or 1?
1
Let d = -173238/35 + 4950. Which is bigger: 0 or d?
d
Let d be (-255)/50 - -4 - 1/2. Which is greater: d or 0.3?
0.3
Let s(t) = -2*t**3 - 2*t**2 - t. Let p be s(-1). Let u be -2*p/2*0. Let b = -140 + 557/4. Are u and b non-equal?
True
Suppose f + 3 = 2. Let v be -2 - (f + (-10)/8). Is v at most as big as 5?
True
Let m = -9 - -3. Let g = 2 + m. Let l = g - -3.8. Which is smaller: -2/5 or l?
-2/5
Let a be (-2)/2*(2 - 0). Is -3 less than or equal to a?
True
Let v(y) = -4. Let x(q) = q + 5. Let n(d) = -3*v(d) - 2*x(d). Let t be n(2). Is t > -3?
True
Suppose -2 = -v - 4. Suppose -21 = -5*d - 0*z - z, 4*d = 3*z + 32. Suppose 2*a - 4*s = -s + 13, 0 = -d*a + 3*s + 10. Which is smaller: v or a?
v
Let g = 1 + 2. Let m = g + -1. Let d be m/10 + (-12)/(-15). Is 2 <= d?
False
Suppose -2*b - 3*u = 31, 2*b = 5*u - 37 - 34. Which is smaller: -24 or b?
-24
Let d(b) = -b**2 - 5*b + 5. Let x be d(-5). Suppose -3*z + 5 = -x*q, -2*z - q + 2*q = -8. Do 1/3 and z have different values?
True
Let i = -6 - -4. Let n be (5 + (-2)/i)*-1. Which is bigger: n or -11/2?
-11/2
Suppose 0 = -10*d + 28*d + 1800. Is d bigger than -100?
False
Suppose 3*r = 2*n - 5*n + 12, -5*n = r - 20. Suppose -f - n*j - 2 = -15, -3*f + 6 = j. Which is smaller: 2 or f?
f
Let y(b) = b**2 + 6*b - 3. Let j be y(-7). Suppose 2*i + j = -2*i. Let r be ((1 - 1) + -1)*-1. Is r not equal to i?
True
Let h = 2395/8 + -300. Let s = -1 + 1. Which is bigger: h or s?
s
Suppose -1 = 5*x - 2*k, 4*x + k = 4*k + 2. Is -1/2 less than x?
False
Let h(c) be the first derivative of c**2 + 2*c + 1. Let i be h(-1). Let m = -1 - 1. Is i < m?
False
Let a be 0 + 0 - 11/22. Let y be 1/(-10)*(-1 + -1185). Let d = -119 + y. Is d less than or equal to a?
False
Let t(w) = w**2 - 4*w + 3. Let p be t(4). Suppose 4*b + 6*j + 3 = j, -2*j = -3*b + 15. Let c be (p/15)/((-2)/b). Which is smaller: -0.1 or c?
c
Let b be ((-5)/155)/(-3 - 21/(-6)). Are 1 and b non-equal?
True
Let z be (6/2 - 4)*-2. Let m be 28/6 + z/(-3). Let k be -2*(1 + (-2)/m). Which is smaller: k or -3?
-3
Let s be (-10)/(-4)*(3 - 1). Suppose -s - 3 = -2*x. Is x smaller than 3?
False
Suppose -q - 2*u = q, 2*q - 4*u = 30. Let s = 104 + -99. Is s at least q?
True
Let n = 6 - 6. Let y = 10 - 7. Does y = n?
False
Let o = -3398895187 + 210737686687/62. Let s = o - 99757. Let p = s + -2/31. Is 3 >= p?
True
Suppose 7*u - 3*l - 6 = 2*u, -3*l = 2*u + 6. Which is greater: -3/76 or u?
u
Let c = -7/10 + -9/5. Is c smaller than -4?
False
Suppose 0 = 4*t - 2*x - 8, -2*t = -t - 2*x - 8. Let j be (-1)/(-1) - 4/6. Which is greater: t or j?
j
Suppose 7*r + 8 = 3*r. Let u(v) = -v**2 - 6*v - 4. Let t(k) = 4*k**2 + 19*k + 11. Let q(c) = r*t(c) - 7*u(c). Let h be q(5). Are 4/7 and h non-equal?
True
Let b be -3 - (-8 - (-3 + 0)). Let m be 17/5 + (-6)/15. Is m greater than b?
True
Suppose -5*t - z + 4*z - 28 = 0, -24 = 4*t - 4*z. Let q = 5 + t. Suppose 2*j = -2, 2*i + q*j = j - 1. Which is smaller: -2 or i?
-2
Let c = -7 + 6.9. Let u = 10 - -2. Which is greater: c or u?
u
Let n = -29 + 25.7. Which is greater: n or 1?
1
Let o = 33 + -41. Is 2/11 < o?
False
Let t = 53495/41 - 1305. Which is smaller: -1 or t?
-1
Let i = 22 + -21.9. Which is greater: i or -0.09?
i
Let o = 6 - 5. Suppose 4*p - d + 0*d = -o, 0 = -2*p + 3*d + 7. Does p = -1?
True
Let s be 1/2*(1 - 4/(-4)). Let m = -5882 - -2170558/369. Let f = 2/41 - m. Which is smaller: s or f?
f
Let w = -65 - -131/2. Is w < -0.2?
False
Let m = -3 + 5. Suppose m*b - 3*b = 1. Let w be ((-2)/(-5))/(b/10). Which is greater: w or -3?
-3
Let u = 34 - 11. Which is smaller: u or 25?
u
Let a be ((-6)/9)/((-2)/(-3)). Let f be ((0/2)/(-1))/a. Suppose -4*c + 3*w - 14 = 0, f*c = -5*c - w - 27. Is c <= -5?
True
Suppose -r - 24 - 18 = -2*n, 5*r + 78 = 4*n. Are 21 and n non-equal?
True
Suppose 4*l + 23 - 7 = 0. Let t = l - -8. Is t bigger than 4?
False
Suppose f + 1 = 0, w + 5*f = 4*w + 10. Which is smaller: -48/11 or w?
w
Let f be (2/4)/(1/2). Let w = -6 + 10. Suppose w*a = a + 6. Are f and a nonequal?
True
Suppose -4*b - d = -8, 4*b = -0*b - 4*d + 20. Which is smaller: b or 0?
0
Let h = 0.15 - -0.15. Is h >= 4/7?
False
Let m = -16/913 + 20806/41085. Let g = m - -1/9. Is 1 less than g?
False
Let n = -1.6 - -1.3. Which is bigger: 5 or n?
5
Let y(z) = -z - 2. Let f be y(-6). Which is smaller: f or 5?
f
Suppose 9*z + 40 = 4*z. Which is greater: -7 or z?
-7
Let f = 8.1 + -13. Let p = -0.13 + -4.87. Let o = p - f. Is 1 not equal to o?
True
Suppose 3*q = 4*x + 14 - 4, 4*x + 12 = 4*q. Let c = 0.31 - 0.2. Let r = -0.09 - c. Which is smaller: q or r?
r
Suppose f = 14*f + 13. Let d = -1649/1185 - 2/237. Is f equal to d?
False
Let w = 0.09 - 4.09. Let j = w - 0. Let c = 3 + j. Is -1 at least as big as c?
True
Let c(k) = 2*k**2 - k. Let h(p) = -p**2 + 6*p - 4. Let y be h(5). Let d be c(y). Are 3/2 and d equal?
False
Let p = 16.027 + -0.027. Which is smaller: p or 2/7?
2/7
Let z(m) = -m + 2. Let i be z(4). Let q be 2/(-36)*(-8)/i. Let y = 8 + -8. Is y smaller than q?
False
Let y(w) = -w**3 + 5*w**2 + w - 4. Let h be y(5). Let u(n) = -n**3 + 5*n**2 - 2*n - 6. Let j be u(4). Which is smaller: h or j?
h
Let b = -5 - -5. Let g = 0 - b. Which is smaller: g or 0.1?
g
Suppose -2*k + z = -28, 6*k - 4*k - 2*z = 28. Suppose 5*u = k + 6. Suppose 3 = -p + u*p. Which is smaller: p or -1/4?
-1/4
Let u = 25.36 - 25. Let t = u - 0.26. Which is greater: 8 or t?
8
Suppose l = 5*g - 26, 0 = 4*g - 2*l + 3*l - 28. Let c(z) = -z**2 + 6*z - 2. Let f be c(g). Suppose -4*r - 5*u + 17 = -r, 3*r + u - 1 = 0. Are f and r equal?
False
Suppose 5*t - 20 = 0, -8 = f + f - 3*t. Suppose 2 = 4*b - f. Let o = 202 + -1820/9. Do b and o have the same value?
False
Let z = -6.86 + -0.14. Let y = -6.9 - z. Let s = -5/3 - -7/6. Is s at most y?
True
Let x be ((-339)/(-156) + -2)*32/(-3). Which is greater: x or -2?
x
Suppose u = -3*r + 47, 2*u - 29 = -5*r + 49. Let w be (-2)/r*(-1 + -1). Are -3 and w nonequal?
True
Suppose 0 = -z + 2 + 1. Let t = z + 1. Which is smaller: 3 or t?
3
Let j(z) = z**3 - z**2 + 39. Let k be j(0). Let l = -113/3 + k. Are l and 1 non-equal?
True
Suppose 2*p - 7*p + 35 = 0. Is 8 less than p?
False
Suppose 4*d + 28 = -0*d. Let f(z) = -z**2 - 8*z. Let u be f(d). Let g = u + -10. Which is greater: g or 2/5?
2/5
Let y = -30 + 31. Let x = -10 - -6. Let h = x - -2. Which is bigger: y or h?
y
Suppose 0 = 2*r + 2, b + 0*b - 4*r - 11 = 0. Let y be 14/b*(-2)/(-14). Suppose -6 = -4*z - 2*v + 4*v, v = -z - 3. Is z at most as big as y?
True
Suppose -165 = 2*r - 5*b - 0*b, -335 = 5*r + 3*b. Let c be (-12)/20 - 22/r. Which is smaller: 0 or c?
c
Let m(t) = t**3 - 5*t**2 - 5*t - 8. Let a be m(6). Let s = -4 - a. Is s > -2?
False
Let f be (2 - 0) + (-133)/28. Is f less than -3?
False
Let z be 22/33*40/(-22). Let a be (-1)/1*(-6)/(-11). Let w = a - z. Which is bigger: 2 or w?
2
Let r = -5.8 + 5. Let g = r - -1. Let b = -0.3 + g. Do b and 1 have different values?
True
Let m = -0.7 + 0.1. Let f = 0.43 + -0.03. Let o = m - f. Which is greater: o or -2/7?
-2/7
Let j = 12 + -9. Which is smaller: 0 or j?
0
Suppose 0*y = -y + 11. Let z = y + -5. Let i be (2/(-4))/((-3)/z). Is i greater than 1?
False
Let p(o) = -o + 16. Let b be p(12). Suppose 2*h + 2 + b = 0. Does -3 = h?
True
Let k = -27/8 + 17/8. Which is greater: k or -2?
k
Suppose b = 2*b - 3. Which is smaller: b or 4?
b
Let b(r) = -r - 2. Let o be b(-4). Let m be