n or equal to c?
True
Let m = 1 + -0.9. Let c = -4.7 + 0.7. Which is greater: c or m?
m
Suppose -2*f + 7 = -1. Let g = 3 - f. Is g bigger than 3/8?
False
Let a = -1454 - -1005. Let d = a + 446.99. Let r = d - -0.01. Which is bigger: r or 1?
1
Let h = 39 + -135/4. Which is bigger: 4 or h?
h
Suppose 5*z = a - 0*a + 6, -3*z = -3*a - 30. Which is smaller: -10 or a?
a
Let b be 0/(1 - -3)*-1. Suppose b = f + 16 - 14. Do f and -2 have different values?
False
Let w be 3 + 0 + (-52)/20. Is w greater than or equal to 0?
True
Suppose -5*z = 5*b + 40, -5*b - 1 = z + 23. Suppose t - 12 = -3*t. Suppose 3*p = -t - 3. Are b and p non-equal?
True
Let m be (-6)/(-27)*-1*1. Let w = 4.3 + -4. Let o = w + -0.3. Which is greater: o or m?
o
Let j be (-5 + 2)*4/(-112). Let m = 3698 - 931925/252. Let l = m - j. Is 0.1 greater than l?
True
Let g(f) = -f**3 - 2*f - 2. Let x(i) = -7*i**2 + 4*i + 1. Let t(y) = 3*y**2 - 2*y. Let l(b) = -5*t(b) - 2*x(b). Let a be l(2). Let m be g(a). Is 10 equal to m?
True
Let m be 7/5 + -1*1. Let s = 2 + -14. Which is smaller: m or s?
s
Let v(h) = -8*h + 22. Let l be v(4). Which is smaller: l or 0.2?
l
Let i = 3 - 3. Let k = 42/11 - 4. Is k at least i?
False
Let m = 11701/16 - 730. Let q = 263/176 - m. Suppose -4*h + 4*t - 12 = 0, -7*t = 4*h - 2*t - 24. Is q bigger than h?
False
Let q(k) = -11*k**2 - 4*k - 14. Let p(l) = 4*l**2 + l + 5. Let o(g) = -8*p(g) - 3*q(g). Let m be o(-4). Let c = 12 - 10. Is c at least m?
True
Let x = -132 + 103. Do -29 and x have different values?
False
Let v = -8 + 4. Is v < -4?
False
Let v = -51/2 + 25. Let q = v + 1. Let g = -0.7 + 0.7. Which is smaller: q or g?
g
Let r be (30/(-15))/(-4 + -2). Is r smaller than 0.2?
False
Let r = 22 - 23. Which is smaller: r or -5?
-5
Suppose -6*r - 44 = 10. Which is bigger: 2 or r?
2
Let f(w) = -w - 7. Let d = -4 - 4. Let t = -14 - d. Let n be f(t). Which is bigger: n or -4/5?
-4/5
Let i be (-5)/2795*6314177/(-9). Let g = -16311/13 + i. Let j = g + -6/43. Which is greater: 0 or j?
j
Let k = -3 + 7. Suppose d = -3*d + k. Which is smaller: 0 or d?
0
Let q = 2.19 + -1.19. Let v = -25 - -101/4. Is q not equal to v?
True
Suppose -5 + 0 = 5*l, -2*d + 2*l = 0. Is -1/139 < d?
False
Let n(z) = -z - z + 1 - 12. Let o be n(-6). Is -3/10 less than or equal to o?
True
Let k be 4/(-6)*(-6)/(-10). Suppose -4*w - 4*u = -w + 23, 0 = -w - u - 6. Which is smaller: w or k?
w
Let t = 4 - -5. Let p be (2 - -2)*30/(-8). Let b be 3/t + 8/p. Is -1 less than b?
True
Let q = 153 + -1375/9. Which is greater: q or -0.3?
q
Suppose 2 = -f, -k - 16 = -3*k + 5*f. Let m = -14 + 18. Which is greater: k or m?
m
Let o = -96 + 95. Which is greater: o or 2/77?
2/77
Suppose -4*i - 8 = -2*a, 5*a = 2*a - 3*i - 6. Let l be (-4)/(-15)*(-18)/(-12). Which is smaller: a or l?
a
Let r = -1.19 + 0.19. Which is greater: r or -1/3?
-1/3
Let z = -20 - -18.2. Let o = 8.8 + z. Is o equal to -0.1?
False
Let f = -7.9 + 8. Let h = 2.7 - 1.8. Let n = 1 - h. Is n greater than f?
False
Let k(p) = -2*p + 1. Let i be k(-1). Which is smaller: 4 or i?
i
Let w = 180 + -3422/19. Is 0 not equal to w?
True
Let x be 59/(-26) + 25/(-50). Which is greater: -4 or x?
x
Let l(a) = 7*a**3 + 3*a**2 + 6. Let v(c) = 8*c**3 + 4*c**2 + 7. Let w(i) = 7*l(i) - 6*v(i). Let r be w(3). Is 1 at most r?
False
Suppose -f = -17 - 5. Let i be 1/(-3) - (-599)/(-3). Let d be -2 - (i/f)/4. Which is smaller: d or 1?
d
Let y = 0.2 + -0.4. Let l = y - -0.3. Let r = 2.9 + -3. Is l not equal to r?
True
Let t = 99 - 99.1. Which is smaller: t or 4?
t
Let h(l) = -4*l - 47. Let n be h(-12). Let a be (6/(-15))/(21/(-5)). Which is greater: n or a?
n
Let v = -2 - -5. Let u = v + -2.6. Let f = 0.2 - u. Which is bigger: f or -1/3?
f
Let s = 52 - 52. Do s and 8 have the same value?
False
Let b = 3 - 3.1. Let m be 0 - (16/(-5) - -2). Let k = 136/105 - m. Which is greater: k or b?
k
Let y = 481 + -13947/29. Is y less than or equal to 0?
False
Let j = -2 - -1. Let w(z) = -z - 3. Let y be w(-3). Which is greater: y or j?
y
Suppose 8*c - 209 = 439. Is c at least as big as 81?
True
Let b be 5/1*(-32)/(-10). Is 15 at most as big as b?
True
Let n = 3 - 3. Let b be 0 - -2 - (n + 1). Let z be -1 + (10/(-6))/(-1). Which is smaller: z or b?
z
Let m be ((-1)/8)/((-3)/20). Let n be (-11)/(-13) + 4/26. Do m and n have the same value?
False
Let p = 3 + -3. Let i be (0 - 3/(-6))*p. Suppose -g + 0*g + d = i, -g = -2*d - 1. Is -2 <= g?
True
Let k(u) = -u**2 - 8*u + 11. Let d be k(-8). Let y = 8 - d. Let o = -3 - -1. Which is greater: o or y?
o
Let h = 25 + -24. Let f be -2*(-3)/42*3. Is h at least as big as f?
True
Suppose -2*m + d - 18 = 5*d, 4*m + 8 = -d. Suppose -52 = -5*k + 3. Let w = 21/2 - k. Is w less than m?
False
Let q = 2.02 + -2. Let z = 0.02 + q. Which is smaller: z or 1?
z
Let q = 0.03 - 0. Let x = -3.03 + q. Let o = -4 - x. Is o at most 0?
True
Suppose -3*u = 5*q + 76, q - u + 8 = 2*u. Let k be (-9)/7 - 4/q. Let d = -5 - -7. Is k bigger than d?
False
Let r be -4 - (-4)/6*-3. Let a be (r - -5)*(1 + -3). Let v be (-16)/(-6) - (-2)/6. Which is greater: a or v?
v
Let u = -30 - -29.88. Which is smaller: u or -4?
-4
Let w(t) be the second derivative of t**4/6 - t**3/2 + t**2/2 - t. Let i be w(2). Let b be 1/((-3)/(-12*1)). Which is smaller: i or b?
i
Let l(b) = b**3 - 14*b**2 + 22*b - 32. Let u be l(11). Are -153 and u equal?
True
Suppose -2*r + 5*m - 153 = -r, 5*m - 665 = 5*r. Is r greater than -128?
False
Let s be 1 - 0 - (-7)/4. Is s not equal to 3?
True
Suppose -2*d + 4 = -3*x - x, -3 = -4*d + 3*x. Suppose -3*q - 3 - 15 = d. Which is greater: q or -5?
-5
Let u = -538.04 - -551. Let g = 13 - u. Which is greater: g or 2?
2
Let i be 2/(-3) - ((-15)/18)/5. Let g be (1 + -4)/(1/(-3)). Let j be 3/g*(0 + -3). Which is smaller: j or i?
j
Let m be 7/(-22) + (-4)/22. Let v(f) = -f**2 + 8*f + 8. Let n(w) = -3*w**2 + 23*w + 24. Let q(x) = -3*n(x) + 8*v(x). Let o be q(6). Which is smaller: o or m?
o
Let u = 9 - 9.1. Which is smaller: -1.3 or u?
-1.3
Let w(d) = 2*d + 2. Let a be w(-4). Let x = -5 - a. Are -2/5 and x equal?
False
Let c be 2/(-7) - 816/(-2814). Which is bigger: c or -1?
c
Let i be -2 + (423/70)/3. Let y = i - -2/7. Are 1 and y nonequal?
True
Let l be ((-2)/2)/((-2)/4). Suppose 5*f + l*k - 6 = 0, 0*k - 14 = -5*f + 2*k. Suppose -v + 3*v = 6. Are v and f equal?
False
Let i(m) = 24*m**3 - m**2 + 2*m - 1. Let s be i(1). Suppose 5*y + s = 59. Let d = y + -8. Is -7 bigger than d?
False
Let p(u) = u**2 - 11*u + 2. Let a be p(11). Which is smaller: 11/3 or a?
a
Suppose -2*f - 3 = -5*h + 4*h, -3*f - 8 = 2*h. Which is greater: h or 2/23?
2/23
Let b = -40 + 44. Let i be -2 + 2/4*6. Is i at most as big as b?
True
Let z = -3.3 + 0.3. Let t = 3 + z. Let g = -0.2 + 0.3. Are t and g equal?
False
Let u(a) = a - 5. Let p be u(8). Let q = -4 + p. Let w be 3/(-9)*0*q. Is w > -2/7?
True
Suppose 11 = -5*c + 46. Let i = -2 + c. Is i greater than 4?
True
Let l be (-1)/6*3/(-3). Let t = 1 + -1.1. Which is smaller: t or l?
t
Suppose -4*b + 0*b - 2*l = -14, 2*b - 2*l - 4 = 0. Let m = b - 1. Is -1 at least as big as m?
False
Let o = -0.32 - -0.2. Let g = o - 4.88. Let f = 3 + g. Are 0.2 and f equal?
False
Let p = 12 - 12.1. Which is greater: 8 or p?
8
Let w = -102 + 513/5. Suppose 5*v + u - 16 = 0, -v - 3*u = -0*v - 6. Suppose 4*c - 3*c + v*l = -7, -3*c + 2*l + 12 = 0. Is w smaller than c?
True
Let o = 50 + -247/5. Suppose -2*c + 0 + 2 = 0. Is o at most c?
True
Suppose 4*q + 25 = -q. Let u(x) = -x**2 + 6*x + 3. Let n be u(6). Suppose -n*s + 2*s - 3 = 0. Which is smaller: s or q?
q
Let l = -0.16 - 0.74. Let c = l - -0.8. Let s be (4/(-10))/(9/(-5)). Is s bigger than c?
True
Suppose 2*w + 2*g = -6, -w + 2*g - 6*g - 9 = 0. Which is smaller: 1 or w?
w
Let f be ((-28)/10 - -3)*5/4. Is -0.1 smaller than f?
True
Suppose 0 = -12*n + 6*n + 168. Which is smaller: n or 27?
27
Let m be 8 + -8 - -1*5. Suppose -7 = -m*f + 8. Suppose 2*b - 3*a = -5, 5*a = 5*b + 2 + 3. Is b at least as big as f?
False
Suppose j + 3*k - 12 = k, 4*j = 4*k. Suppose j = 2*n + 6. Are n and 1/15 nonequal?
True
Suppose 0 = o - 2*o + 3*b - 4, -3*o - b + 8 = 0. Suppose 0 = o*d, d - 19 - 5 = -4*s. Suppose 0 = -u + 4, -m - s = -u - 2. Is m < 1/3?
True
Let j = -0.13 + -0.67. Let q = 0.2 - 1.2. Let t = j - q. Is t greater than 0.2?
False
Let h = 10 - 7. L