i?
t
Let c = 13.08 + -13. Let o = 0.72 + c. Let v = -4 - -3.9. Is v at least as big as o?
False
Let t = -1.8 + -5.2. Let k = t + 6. Is 0 bigger than k?
True
Let s = 46 - 30. Which is smaller: -1/4 or s?
-1/4
Let d = 4 + -2. Let x = 1.1 - d. Let c = x - 0.1. Do 1 and c have different values?
True
Let a(u) = u**2 + 4*u + 4. Let j be a(-4). Let l(m) = 4*m**2 + 1. Let t be l(j). Let s = -457/7 + t. Which is greater: 0.1 or s?
0.1
Suppose 5*b = b + 16. Suppose -3*h = b + 5. Let v = 4 + h. Which is smaller: 2/11 or v?
2/11
Let o = -35892 - -250226/7. Let d = 146 + o. Is -2 >= d?
False
Let x = -1.73 - -1.8. Let r = x + -0.07. Which is bigger: r or -3/7?
r
Suppose 0 = c - 2*k - 3, -4*k = 5*c + 10 + 3. Let a = c - -2. Is 1/5 not equal to a?
True
Let y = -509/323 - -25/17. Let p be (-10)/(-4)*(-6)/(-5). Suppose p = -3*i - 0. Is i equal to y?
False
Let i = 10 - 55. Let a be 2 - -2 - (-99)/i. Which is greater: 2 or a?
2
Let t be (-43 - -40) + (-44 - 1). Is t greater than or equal to 0?
False
Suppose -j + 0*j - 11 = -2*g, 4*g - 19 = -j. Is -2/15 less than j?
False
Suppose -f = 2*f - 48. Let l be (-18)/(-8)*f/3. Which is bigger: l or 0?
l
Let m(f) = f - 23. Let h be m(16). Which is smaller: -6 or h?
h
Let f(r) = 4*r - 1. Let q be f(2). Let s(u) = -u**3 + 7*u**2 + 2*u. Let x be s(q). Let h be (-4)/x + 48/21. Are h and 2 unequal?
False
Suppose -58 = -9*u + 14. Do 6 and u have the same value?
False
Let f be (-6)/2*(-8)/(-6). Let r(n) = n**3 + 4*n**2 - n + 1. Let u be r(f). Suppose 3*q + 4*p = 29, u*q + 2*p - 4*p = 5. Is 3 at least as big as q?
True
Suppose -v + 0*u = -5*u + 26, -4*v + 5*u - 29 = 0. Suppose 3*d = -2*d - 5. Let a be d/1 - (-2)/6. Which is smaller: v or a?
v
Let y be ((-7)/(-2))/((-3)/36). Let i = y - -292/7. Which is smaller: -1 or i?
-1
Let d = -28 - -16. Let q = d - -14. Is q < 2/3?
False
Suppose v + 4 = -11. Let y be 2 + 0 + 138/v. Let l = y + 303/40. Does l = 0?
False
Let n = 128 + -137. Is 2/11 smaller than n?
False
Let q = 47 - 42.96. Let p = q - 0.04. Is p at least as big as -1/2?
True
Let v be 0/((-12)/4 + 2). Let g = -1/7 + 25/28. Let a = -1/4 + g. Which is smaller: v or a?
v
Suppose p = -4*p - 5. Are 2/3 and p unequal?
True
Let b = 1028/5 - 205. Let q = 1 - 0. Is q at most b?
False
Let y = -178/3297 + 1/157. Which is bigger: 0 or y?
0
Let g = -7147/25 + 286. Which is greater: g or 0?
g
Let s be (-3)/2*15/9. Let d = 0 + -1. Which is bigger: s or d?
d
Let l = 20 + -20.9. Let v = l - 0.1. Let g = 0.058 - -0.042. Is g at least v?
True
Let m = 17 + -24. Let g be 0 + 4/20*m. Which is smaller: g or 0?
g
Let y = -0.12 - -2.12. Let a = y - -2. Are 0 and a nonequal?
True
Suppose 0 = 2*i - 5*v - 16, -4 = -3*i + 3*v + 2. Are 1 and i equal?
False
Suppose 4*b = -3 + 11. Suppose -8 + 0 = -b*o. Suppose -o*j + 3 = -9. Are j and 3 equal?
True
Suppose 4*i + 238 + 186 = -4*j, -2*j = 3*i + 320. Let l = 320/3 + i. Is 0 greater than l?
True
Let g(r) be the first derivative of r**4/4 + r**3/3 - r**2/2 + r - 1. Let p be g(0). Which is bigger: p or -1/8?
p
Let c(b) = -b**3 - 4*b**2 + 10*b. Let y be c(-7). Let m be 946/y + (-2)/7. Is 11 > m?
False
Suppose o = 4*o - 2*m - 13, o - m = 6. Let t be o + (0/(-1) - 1). Is -1/3 < t?
True
Let b be (1 - 1)/(0 + 1). Suppose 2*s + 0*s = b. Let z be 0 + -2 + 3 - 2. Is s bigger than z?
True
Let o be 18/(-12) + 13/14. Let r = o + 9/28. Is r < 0?
True
Suppose 5 - 1 = 2*u. Let j = -8 - -19. Let r be ((-2)/u)/(j/(-2)). Which is smaller: r or 1?
r
Let n = -28 + 60. Let a = 100/3 - n. Is 1 greater than a?
False
Let g be 0 + 3 + 0 + 2. Suppose -g*f - 3 = 2. Which is smaller: f or 4?
f
Let w be (-320)/(-224) + 8/14. Let n be 0 - (-1 - 1/(-4)). Is n greater than or equal to w?
False
Suppose 7*o = 3*o. Are o and 2/3 equal?
False
Let g = -14 + 24. Is 10 at least as big as g?
True
Let d be (0 - -1 - 1)*1. Let l(r) = 0*r**2 - 3*r + 6*r + 2*r**2 - r**3 + d*r - 1. Let j be l(2). Are j and 5 nonequal?
False
Let v(l) = l**3 + 5*l**2 - 6*l + 5. Let k be v(-6). Suppose 0 = -0*m + k*m - 10. Is m > 2?
False
Let b be 2 + 1 + -5 + 2. Suppose 5*o + 0*o = b. Suppose o = -3*t + 4*t + 3. Is t smaller than -4?
False
Let y = 443 + -442. Let f be (1/19*-2)/2. Is y less than f?
False
Let k = 2/89 - -263/178. Let b(u) = u**2 - 11*u + 13. Let v be b(10). Is k at least v?
False
Suppose 2*s + 49 = -7. Let x be (-8)/s + 19/7. Is x > 0?
True
Let s be (-14)/35 - 17/(-5). Suppose -s*o - x = -4, -5*o + 5*x = x - 18. Is 1/2 bigger than o?
False
Let p be (-9)/(-15) - 753/30. Let v = -24 - p. Let b = 0.2 - -0.8. Which is greater: v or b?
b
Suppose -4*w = x - 0*x - 7, 4*x = -5*w + 39. Let f = -6 + x. Suppose -4*c + f*c = -2. Are -3 and c unequal?
True
Let z be (-3)/5 + 696/(-40). Let b be (-22)/z + 13 + -14. Which is bigger: -2/7 or b?
b
Suppose -7*a = -3*a - 12. Suppose 30 = 2*q + a*q + 5*x, -5*x = -q - 12. Which is bigger: 4 or q?
4
Suppose 3*h - 1 = 5. Suppose 2*x = -5*d - 13, h*d - 3*d + 5*x = -19. Which is greater: d or 0.1?
0.1
Let r = -105 + 103. Which is smaller: 0 or r?
r
Let h = 7 - 6.7. Let i = h + -0.3. Let s = -1 - i. Is s equal to -2?
False
Suppose 4*u = -c + 4*c + 9, c + 8 = 3*u. Which is greater: -2 or c?
c
Suppose -5*f = -2*f - 2*y - 28, 4*f - 14 = -2*y. Is -0.1 greater than f?
False
Let j = 0.3 + 1.5. Let z = -0.2 - j. Which is greater: z or 0?
0
Let g = -4 - -9. Is 5 less than or equal to g?
True
Let g(m) = -2*m + 6. Let k be g(4). Let u = k - -4. Suppose -7 = -u*q - 1. Is q != 3?
False
Let b = -13 + 92/7. Let n be 0/(4*6/8). Is b less than n?
False
Let g = -0.02 - -0.06. Let n = 0.14 - g. Suppose t = 3 + 1. Which is smaller: t or n?
n
Let f(z) = z. Let u(t) = t - 2. Let g(c) = -2*f(c) - u(c). Let m be g(-6). Suppose 5*v = 3*k + 2*k - 20, -5*v - m = -2*k. Are k and 0 nonequal?
False
Let m(x) = -x - 4. Let k(u) = -u - 3. Let a(n) = -4*k(n) + 3*m(n). Suppose s - 16 = 4*g, 3*g + 2*g = 5*s - 20. Let f be a(s). Which is smaller: 1/4 or f?
f
Suppose 3*x + 9 = 0, 0 = -5*i - 4*x + 5*x - 2. Let t be -2 + (36/3)/3. Suppose -t*g - 5*c + 23 = 4, 2*c - 25 = 5*g. Is g at most as big as i?
True
Suppose -5*u = -0*u + 65. Let j = 18 + u. Suppose -8 = -4*q, q = 3*t - j*t - 8. Which is bigger: 1/3 or t?
1/3
Suppose -7 = -6*b + 11. Let y = -7/115 - -283/115. Which is smaller: b or y?
y
Suppose 0 = -9*h + 11*h + 2. Which is greater: 1 or h?
1
Let w = 7 + -8. Let h = -4 + w. Are h and -1/4 non-equal?
True
Let d be (-2)/3*(8 + -17). Which is smaller: 5 or d?
5
Let p = -33 + 43. Is 10 smaller than p?
False
Let i = -9 + 5. Let s = -4 - i. Let u = s - 1. Is 0.3 at most u?
False
Let n be ((-168)/(-330) - 6/10)*-1. Do -1 and n have the same value?
False
Let o = 210 - 3988/19. Is 1 greater than or equal to o?
True
Let r = -0.1 + 0.1. Suppose -5*y + 8*y + 18 = 0. Which is greater: r or y?
r
Let i be (2/(-8))/(1/(-20)). Is 5 less than or equal to i?
True
Suppose -q + 5*n + 25 = 0, 5*q - 3*n = -5*n - 10. Let t be 14/10 - (1 + q). Is 0.06 > t?
False
Let l = 58 + -43. Suppose 0 = -k + 2*k - 14. Which is smaller: k or l?
k
Let x be 44/52 + -1*1. Let l be (-3)/(-4)*(5 + -1). Let t = l - 2. Which is greater: x or t?
t
Let x be (9 - 6) + 5/(-2). Is x less than -7?
False
Let b be 3*(3 - 4) - -1. Let u = -131 - -908/7. Is u greater than b?
True
Suppose -11 - 15 = 4*f + 2*y, 4*f = 2*y - 6. Let h = 3.22 + -3.42. Which is smaller: h or f?
f
Let g = -7 + 5. Let p be 0 - g/3 - 0. Is p greater than -2/5?
True
Let r = -0.24 + -0.26. Which is smaller: -0.3 or r?
r
Let i = -53 + 74. Let c be ((-1)/21)/(7/i). Is 1 at least as big as c?
True
Suppose 0 = 3*v + 10 - 1. Let b = -3 + 2. Is b at least as big as v?
True
Suppose 5*p - 5*h = 0, 5*p + 2*h + 6 = 4*h. Is p <= -25/8?
False
Suppose 0 = -2*u - 6, 2*t - u = u + 4. Suppose -4*a = y + 2*y, 2*y = -4*a. Let k be ((-1)/(-1) + y)/(-1). Is k >= t?
True
Suppose 1 = -2*z + t, 0 = 2*z - 3*t + t. Suppose -5*j + 4*p - 6*p - 30 = 0, -5*j + 3*p = 30. Let b be (j/(-9))/(2/(-4)). Which is smaller: b or z?
b
Suppose -5 = 4*s + 5*x, s = -x - 3 + 2. Let k = 4 + -8. Let z = 4 + k. Is s less than or equal to z?
True
Suppose 2*v + 2*x = 4*x + 4, -11 = -4*v + 3*x. Suppose -v*y = 5*h - 30, -4*h + 7*h - 4*y + 17 = 0. Which is smaller: 1/15 or h?
1/15
Suppose 26 = 2*h - 4*m + 10, 0 = -m. Suppose 0 = -3*y - 2 + h. Does y = 2/3?
False
Let u = -81/20 + 24/5. Which is smal