?
True
Let q = -134 + 194. Suppose -2*j - q = j. Let x be (4/5)/((-8)/j). Are 2 and x unequal?
False
Suppose 2*l - 3*x - 2*x + 5 = 0, 5*x - 5 = -2*l. Let c = 219 - 138. Let m = c + -1051/13. Which is smaller: l or m?
l
Let o = -0.144 + -6.956. Let m = o + 7. Which is smaller: -2/9 or m?
-2/9
Let u = -7 - -8. Are 0.05 and u unequal?
True
Let y = 26 - 23. Let h = 1.1 + -0.1. Is h <= y?
True
Let h(w) = -2*w + 2. Let d be h(2). Let c = d - -7. Are c and 3 equal?
False
Let p be (3 + (-320)/108)*1. Which is smaller: p or -1?
-1
Let i(w) = 5*w - 4. Let f be i(2). Let t = 9 - f. Which is greater: t or 2?
t
Let n(h) = -h**3 - 6*h**2 - 2*h - 3. Let q be n(-6). Let o(s) = s - 10. Let g be o(q). Is g >= -3?
True
Let f = 70.8 + -71. Which is greater: f or -12?
f
Suppose -4*a - 2 = -0*c + c, -4*c - 5*a = -3. Which is greater: c or 1/2?
c
Let q = 12.2 - 11. Let o = q - 6.2. Let l = o + 5. Is -4 greater than l?
False
Let z(p) = 2*p**2 + 7*p + 6. Suppose 3*u - 3*t - t = -28, 3*u + 2*t + 4 = 0. Let x be z(u). Let c be (-4)/x + (-2)/(-10). Which is smaller: 0 or c?
c
Let m = -3 - -2. Let g = 11.2 + -10. Let t = m + g. Does -1/2 = t?
False
Let w = 0 + -3. Let p = w - -3. Which is bigger: p or 1?
1
Suppose -2*r + 7*r + d + 120 = 0, -5*r = -2*d + 135. Are r and -25 equal?
True
Let z(i) be the first derivative of i**3/3 + i**2/2 + 10*i - 7. Let y be z(0). Which is smaller: y or 9?
9
Let m = 3 - 5.7. Let b = 0.7 + m. Which is smaller: b or -0.1?
b
Let q(g) = 3*g**2 - 5*g - 3. Let v be q(3). Let f = 2.9 + -3. Which is smaller: f or v?
f
Let p = -14 - 1. Let g = 31/2 + p. Which is greater: 1 or g?
1
Let h = -0.7 - -0.8. Is h > -9?
True
Let k(x) = x**2 - 7*x + 6. Let z be k(6). Suppose -12*v = -11*v + 26. Let f = v + 27. Which is bigger: z or f?
f
Let s = -4.1 - -17.1. Which is smaller: s or -1/2?
-1/2
Let c(f) = -f**2 + f + 13. Let h be c(4). Is 1/38 greater than h?
False
Let q = -37 - -37.09. Let d = 13.91 - 14. Let k = q + d. Which is smaller: -0.1 or k?
-0.1
Let z = -1 - -1.2. Let n = z + 0.8. Are n and -11 equal?
False
Let f = -2 + -2. Let b = 892 - 897. Which is smaller: f or b?
b
Let j(g) = -4*g**2 - 15*g + 3. Let l be j(-11). Let w be (l/80 - -4)*-2. Is 0 less than or equal to w?
False
Let k = 10561/155 + -341/5. Is 1 greater than or equal to k?
True
Let t = 3 + 0. Let c be 0 - 3/(t/(-1)). Which is bigger: 1/4 or c?
c
Suppose -k + 15 = -31. Is k not equal to 44?
True
Let v be 15/4 - 2/(-8). Suppose v = -3*d + 1. Which is greater: -2/7 or d?
-2/7
Suppose 3*k + 29 = 2*k. Let z = k - -434/15. Which is greater: -1 or z?
z
Let f(c) = -11*c + 18. Let h be f(3). Do -27/2 and h have the same value?
False
Suppose -6*l + 2*l + 8 = 0. Suppose -2*v + 8 = l*v. Let a be 2/((-4)/(-3))*2. Which is smaller: a or v?
v
Let n(z) = z**3 - 4*z**2 - 13*z + 11. Let c be n(6). Are c and 3 nonequal?
True
Suppose 4*q + 5*n - 20 = 2, 5*q = -4*n + 23. Suppose q*o + 1 = -h, 3 = -4*o + 2*o - 3*h. Suppose 0 = -4*v - 4 - 4. Is v greater than or equal to o?
False
Let h be 13/21 - (-4)/(-14). Let t(m) = m**2 + 4*m - 4. Let x be t(-6). Let d be 6/x*(-10)/15. Is h > d?
True
Let r = 163 - 155. Is 10 greater than r?
True
Let f be 2 - (0/3)/(-1). Let d(k) = -k + 2. Let n be d(f). Let b(y) = y - 4. Let j be b(5). Which is greater: n or j?
j
Let c = -597628/268135 - -2/7661. Let z = 38/35 + c. Is 0 at most z?
False
Let y = -2 - 0. Let w = -5 - y. Let o = 0.2 - 0.2. Is o at least w?
True
Let l = 135 - 151. Is -16 greater than or equal to l?
True
Let n(p) = p**2 + 6*p + 3. Let y be n(-6). Suppose 3*f - 3 - y = 0. Suppose 3*u = 2*q + 5, 7*u - f*u - 13 = q. Are q and 2 unequal?
False
Let a = 11 - 6. Let r be -1 - (-7 + 2 - -1). Suppose 0 = r*b - a - 1. Is b at most as big as 1?
False
Let i be 2/(-3)*(-3)/(-2). Let l = 2.92 + -0.02. Let b = l - -0.1. Is i at most as big as b?
True
Suppose -5*n + 3*x = -12, -5*x + 4*x = -2*n + 4. Suppose n = i - 1 + 4. Let a = i - -4. Which is smaller: a or 3/2?
a
Suppose -5*s + 25 = 5*h, h - 11 = 3*s - 6. Suppose 0 = h*z - 0 + 5. Which is greater: 3/11 or z?
3/11
Let h = 106/23 + -1133/161. Which is bigger: -1 or h?
-1
Let j = -65701/12 - -20421/4. Let t = 371 + j. Is t > 2?
False
Let k = -2 + 6. Suppose 0 = -4*t + 4*x - 4, 4*t - x + 7 = 0. Let r be -6*1/k*t. Is 3/2 greater than r?
False
Suppose 5 = -t + 8. Let q(a) = a**2 + 2*a. Let h be q(-2). Suppose 0 = t*z - h*z. Which is smaller: -2/7 or z?
-2/7
Suppose 0 = -3*r + 4*r - 4. Let g = 4 - r. Let z(c) = -c**2 + c + 3. Let i be z(g). Is i < 3?
False
Let f = -7 - -4. Let c = f + 2. Which is smaller: -2/7 or c?
c
Suppose g = 3*g. Let t be g/5 + (-6)/(-2). Suppose 0 = -4*k + t*r - 9, 5*r - 1 = k + 14. Is k > 2/9?
False
Let y = 14 + -8. Let z(r) = -r + 10. Let t be z(y). Suppose w = f + t*w - 2, 3*w = 3*f + 6. Is -2 >= f?
False
Let b be ((-22)/33)/((-4)/(-30)). Is -5 at most as big as b?
True
Let o = 4/7 + -62/35. Is -2 at least o?
False
Let a = -2 - 13. Let y be 1 - 17/a - 2. Are 0 and y equal?
False
Suppose 5 = 3*g - 10. Let q be 0 - (g + -2) - -3. Is q equal to 3/8?
False
Let j = 33 - 34. Which is greater: 1/3 or j?
1/3
Let j = -151 - -1658/11. Let u be ((-4)/6)/((-4)/6). Which is smaller: u or j?
j
Let g be (-1)/(10/4) - 0. Let u = 3 + -5. Let q = 2.2 + u. Which is smaller: g or q?
g
Let d = -10 + 10.1. Let q = d + -1.1. Let b = -1.9 - 0.1. Is q smaller than b?
False
Let x = -15 - -25. Let t = x - 11. Is -2/9 greater than or equal to t?
True
Let g = -25 + 21.8. Let v = 0.8 - 3.8. Let w = g - v. Which is smaller: 2/3 or w?
w
Suppose 76 - 223 = -4*l - 5*z, 5*z = -2*l + 71. Let i = -341/9 + l. Which is bigger: 1 or i?
1
Let y be (-3)/7 - (-22)/(-14). Let b be 30/(-18)*y/10. Which is smaller: 3/7 or b?
b
Suppose -144 = -z - 7*z. Is z at least as big as 19?
False
Let m(q) = -q**3 + 6*q**2 + 2. Let c be m(6). Let x be (-2)/4 - (-37)/c. Let h = -160/9 + x. Which is greater: h or -1?
h
Let m be (-1)/4*(1 - -5). Which is bigger: m or -0.03?
-0.03
Let k = 1.1 + -0.1. Let i = k - 0.9. Let y = -5.018 - -0.018. Which is smaller: y or i?
y
Let q = -0.34 - 7.66. Is 2 less than or equal to q?
False
Let n = -6 - -15. Suppose 7 = -z - 4*y, -1 = -4*y - n. Let l be (3/(-18)*2)/z. Is -1 less than l?
True
Let u = 4 + -2. Suppose n = -r - 4*n + u, 0 = 2*n. Suppose -2*t + 0 + 6 = 0. Which is bigger: r or t?
t
Let y be 1*2/(-2) + 0. Let t = 0.079 + 0.021. Is y < t?
True
Let j = -20434/45 + 454. Is j equal to 0?
False
Let n(u) = 3*u**2 - 2*u - 1. Let r be n(-1). Suppose r*i - 3*i + 1 = 0. Is i at least as big as 1?
False
Let s(y) = -2*y + 22. Let c be s(12). Let l = -0.1 - -0.1. Is l != c?
True
Let f be -3 + -1 + 196/50. Which is bigger: f or 0?
0
Let q = -44 + 55. Is q less than or equal to 11?
True
Let b = 77 - 32. Let n be 38/(-60) + 27/b. Which is greater: 1 or n?
1
Let k(q) = q + 13. Let b be k(-10). Suppose -v = -2*o - 129, 77 = b*o - 2*v + 269. Let u = o + 529/8. Is -1 not equal to u?
True
Let b = -97427/15 + 6498. Let a = b + -16/5. Suppose -6*y + 4*y + 2*n - 8 = 0, 0 = -5*n + 15. Which is greater: a or y?
a
Suppose 3*w = -w - 5*h + 109, -h = 3*w - 79. Let u = w - 24. Which is smaller: u or 7/8?
7/8
Let k be (((-5032)/(-3))/4)/3. Let n = 140 - k. Is -1 >= n?
False
Let u = -27 + 23. Let n = -4 + 5. Let j = n + 0. Which is greater: j or u?
j
Let t be (4/310)/((-6)/140). Let l = -1/31 + t. Which is smaller: 1/3 or l?
l
Let g be ((-36)/66)/(-3 - -1). Are 0.1 and g equal?
False
Suppose -r = -2*r + 8. Let f be (1/(-18))/((-4)/r). Suppose -8 = 3*d - 4*m, 2*m + 4 = -d + 4*m. Is f at least d?
True
Let p = -1.05 + 0.19. Let l = -0.14 + p. Let r = -57 + 229/4. Is l equal to r?
False
Let h = -12.1 - -12. Let r = -0.9 + h. Do r and -1 have different values?
False
Let c = -0.23 + 0.09. Let i = 0.04 + c. Is 8/7 bigger than i?
True
Suppose -17 = -2*a - 5. Suppose p - j = -0 - 3, -2*j - a = 4*p. Let m = 52 + -53. Which is greater: p or m?
m
Let a = -1017 - -9167/9. Are a and 3 equal?
False
Let s be (-5)/25*10/(-24). Which is bigger: -3 or s?
s
Suppose 17 = -3*g - 1. Let h be (g/4)/((-6)/8). Which is smaller: h or 1?
1
Suppose -5*q = 4*j - 20, 15 + 5 = -4*j + 5*q. Suppose j*v = -v + 5. Suppose 3*t - 22 = -10*c + 5*c, -23 = -4*c + 3*t. Is v less than c?
False
Let k(w) = 2*w - 2. Let f be k(3). Suppose -4*m + f = -16. Suppose 5*j + 0*x = -2*x + 6, m*j - 4*x