is greater: c or d?
d
Suppose 0 = 3*f - 5*o - 7, 4*f - 7 = 5*o - 1. Do f and -14/9 have the same value?
False
Let d be (-3 - -2) + 78/74. Is 0 equal to d?
False
Let r(i) = -2*i + 6. Let l be r(9). Which is greater: l or -14?
l
Let s(r) = r**3 + 2*r**2 + r - 1. Let u = 5 + -7. Let b be s(u). Is b != -2?
True
Let z be (-5 - -9)*1/(-122). Is z <= 1?
True
Let h be (-2)/(-6) + (-12)/9. Let g = -1 - h. Let m(u) = -u**3 + 8*u**2 - 8*u + 5. Let i be m(7). Is i < g?
True
Let k = -535.1 - -535. Let m = -1 + 0.97. Which is bigger: k or m?
m
Let c = 16 - 38. Let r = 20 + c. Is r at least -4/9?
False
Let d be 2/5*(-5)/(-1). Suppose d*a - a = -15. Do -16 and a have the same value?
False
Let a(o) = o - 3. Let f = 3 + 2. Let y be a(f). Let k be -2*((-30)/(-14) - y). Are k and -1 unequal?
True
Let h be (-43)/(-5) + 14/35. Suppose -w + 4*w - h = 0. Which is smaller: w or -2?
-2
Let g = 0.5 - -0.4. Let s = 0.1 + g. Let c = -185 + 1667/9. Which is smaller: s or c?
c
Let b(g) = 13*g**2 + g. Let p be b(-1). Suppose 5*i - i = p. Suppose -4*u + 28 = j + 4*j, 5*j + i*u = 26. Which is smaller: j or 5?
j
Let t be (4 + -7)/(3/(-4)). Suppose 0 = -t*s + s + 15. Are s and 1 nonequal?
True
Let r be 1/4 - 6/(-8). Which is bigger: -4/17 or r?
r
Suppose 0 = g - 2 - 0. Let i be 9*g/(-8) + 3. Is -1 less than or equal to i?
True
Let l(y) = y**2 - 7*y - 3. Let u be l(6). Let k(s) = s**3 - 6*s**2 + 2*s + 7. Let w be k(5). Is u bigger than w?
False
Let a(f) = -f**2 - 4*f - 3. Suppose 0 - 12 = 3*u. Let m be a(u). Suppose 2*k = 4*k + 4. Which is smaller: m or k?
m
Let g(w) = w**3 + 5*w**2 + 5*w + 2. Let v be g(-3). Let f be ((-2)/v)/(4/(-5)). Let n = -85/3 - -28. Which is smaller: f or n?
n
Let s be ((-6)/(-4) - 1)*-1. Suppose 0 = -2*y - 17 + 15. Which is bigger: s or y?
s
Let a be 12/(-8)*320/(-54). Let l = -542/63 + a. Which is greater: -0.2 or l?
l
Let h(q) = -2*q**2 - 3*q. Let p be h(-2). Are -16/7 and p non-equal?
True
Let k be -17*(-3 - -4) + 3. Is -13 less than or equal to k?
False
Let w be (-3)/(-9)*9*1. Suppose w*u - 3*k = 48, 3*u = 4*k - 7*k + 72. Let m be 3/u - (-2)/(-5). Which is greater: m or -1?
m
Let a = 10.43 + -10.6. Which is greater: -0.1 or a?
-0.1
Suppose 16 = b + 3*b. Suppose -1 = -o + b. Suppose -2*x - o = -s, -3*x - 3*s - 1 = -16. Which is greater: -2/17 or x?
x
Suppose 3*p = 7 - 22. Let r(h) = -h - 1. Let c be r(-4). Let i = p + c. Is -0.1 >= i?
True
Let g be (6/(-8))/(7/(-28)). Suppose -6*k = -g*k. Is 6/11 less than k?
False
Suppose 11 + 2 = 2*c + 3*v, 4*v - 18 = -2*c. Let a(k) = k**3 + 6*k**2 - 7*k - 2. Let i be a(-7). Which is smaller: i or c?
i
Let t be ((-9)/6)/((-6)/(-16)). Let i be (-8)/20 - (34/(-10) - -2). Is i < t?
False
Suppose 0 = 5*u + 4*r - 41, -2*u - 4 = -3*r - 2. Suppose -u*v = -v. Let x = 47 + -798/17. Which is smaller: x or v?
v
Let a = -3 - -5. Let l be (a - 0) + (-243)/12. Let f = 18 + l. Is -1 at least as big as f?
False
Suppose 2*l - 4*l + v = 3, 3*l = -2*v + 13. Let t = 3 - 4. Is l at most t?
False
Suppose -4 + 0 = -2*j. Let p(l) = -l + 8. Let g be p(8). Suppose 10 = 5*z - g. Is j >= z?
True
Suppose 0 = -2*d + 4*l + 4, 6*d + 5*l = 8*d - 9. Which is smaller: d or -10?
-10
Let u = -73 + 291/4. Which is smaller: 0.01 or u?
u
Let y(q) = q + 1. Let w(a) = a + 1. Let u(r) = -w(r) + 2*y(r). Let i be u(0). Let l(m) = m. Let j be l(i). Which is smaller: -0.2 or j?
-0.2
Let y be (30/63)/(-2) - -1. Let u = y - 10/7. Which is smaller: u or -2?
-2
Suppose 3*q - q = -8. Does q = 0?
False
Let l = -111/35 + 25/7. Which is smaller: 15 or l?
l
Let a = 12 - 14. Let f = -1 + -1. Let l = f - a. Are -1/3 and l non-equal?
True
Suppose -3*w + 5 + 5 = 5*x, 0 = -3*x - w + 10. Which is bigger: x or 9?
9
Suppose -26 = -5*p + 49. Let o be (-10)/p*(4 + -1). Is -2 greater than o?
False
Suppose o = -5*k - o - 30, 0 = 4*o. Let r be ((-4)/(-3))/((-4)/k). Suppose q + 9 = 5*u, 4*u - r*u = 4*q. Is u greater than or equal to 2?
True
Suppose 2*f + 35 = 7*f. Which is bigger: f or 6?
f
Let p = -1 + 1.1. Let c = -4 + 4.03. Which is bigger: p or c?
p
Suppose 30 = 2*m + 3*m. Suppose 5*u - m = 4*u. Is 5 >= u?
False
Suppose 7*f - 2*f - 30 = 0. Let u be 5/3 - (-2)/f. Suppose u*h + 6 = -6. Is h greater than -5?
False
Let s = -193/4 + 48. Let c be (3 + 0)*(-9)/27. Are c and s non-equal?
True
Suppose -6*x + 2 = -4*x. Which is smaller: x or 14?
x
Let i be 2 - 1 - 0/2. Let y be -2*(i - 56/(-2)). Let a = -521/9 - y. Is a smaller than -1?
False
Let n(b) = b**2 - 1. Let c be n(-3). Suppose -4*d + c = -4. Suppose 0 = -2*p + 3*h, 0 = -p - h + 4*h. Is d bigger than p?
True
Suppose -55 = 4*b - 163. Let x = 38 - b. Is 1 greater than or equal to x?
False
Let x = 37 - 36. Suppose -2*d = 2*d + 320. Let a = d + 238/3. Which is smaller: x or a?
a
Suppose -l + 5*s + 9 = 3, -3*s - 6 = -3*l. Suppose -d = -4*r - 20, -4*r - 4*d - 43 = -3. Let q = 8 + r. Is q less than l?
False
Let h = 1 - -4. Let m be (-10)/16*(-2)/h. Is m less than or equal to -1?
False
Let j = 2 - 3. Let a be 2 + 0 + -1 + j. Suppose 0*l = -w + 4*l - 11, -3*l = 5*w - 14. Which is smaller: w or a?
a
Let g be 1/(5/(-10 + 5)). Let z = -4 + 3. Is z > g?
False
Let h be 1*2 - 122/61. Let s = 236203/1834 - 506/131. Let l = 125 - s. Which is smaller: l or h?
h
Let g = -0.9 + 0.6. Let u = g + -0.1. Let c = u - -2.4. Which is bigger: 1 or c?
c
Let f be 4/14 + 2/(-7). Suppose -5*g - 7 - 23 = f. Which is bigger: g or -8?
g
Let l be (1 + 11)*(-7)/(-28). Let p = 2 - l. Let a be -1 - (p - (-2 + 2)). Is 0 > a?
False
Suppose 0 = 7*j + 18 - 25. Which is smaller: j or 2/105?
2/105
Let m be ((-8)/(-46))/(-2 + 4). Which is greater: m or 0?
m
Suppose -6*k = -k - 4*s - 21, 0 = k + 5*s + 19. Let b(u) = -u**2 - 5*u. Let f be b(-5). Let m be -1 + (-10)/(-8) - f. Which is smaller: m or k?
m
Let q(p) = p**3 + 4*p**2. Suppose -3*v = -v + 8. Let r be q(v). Which is greater: -1 or r?
r
Let d = -127.8 + 105. Let u = -26 - d. Let n = u - -3. Is n != 2/5?
True
Let u be (-4)/(-14)*(-14)/(-24). Let q be 2/(-2)*(3 - 3). Which is greater: q or u?
u
Let h(p) = p + 10. Let y be h(-7). Suppose 93 - 11 = 4*l + 2*a, 0 = -3*l + 2*a + 65. Suppose -5*z - 6 = -l. Is y < z?
False
Let k be (-1)/(-1 + (-68)/(-8)). Which is smaller: k or 1?
k
Let z(i) = -i**2 + 6*i + 6. Let g be z(7). Let a be 2/(-6) + (-22)/(-3). Suppose -5 = a*l - 2*l. Is l equal to g?
True
Suppose 0 = -8*x + 12*x. Is 3/4 greater than or equal to x?
True
Let z(k) = 0 - 11*k + 4 - 7. Let f be z(-3). Suppose 5*b - f = -0*b. Is 4 >= b?
False
Let m(v) be the third derivative of -v**4/24 + 7*v**3/6 + 8*v**2. Let g be m(13). Does g = -6?
True
Let u = -5 + 18. Let o be u/8 + -1 + -1. Is 0 at most o?
False
Let w(p) = p. Let k be w(1). Let n be (k/3)/((-2)/(-3)). Let b = 17 + -16.9. Are n and b unequal?
True
Let y = -14677/25 - -587. Is y != -0.1?
True
Let c be (-172)/(-20) + 1*4/10. Let r = 17 + -9. Is c > r?
True
Let c = 10 - 10.2. Let s = -0.1 - c. Which is smaller: s or -3?
-3
Let w be ((-18)/(-392))/(72/84). Is -1 < w?
True
Let o = 20 + -21. Which is bigger: o or 1?
1
Let v = 0 + -3. Let a be ((-4)/(-20))/(v/5). Which is smaller: a or 0?
a
Let k be (6/9)/(6/9). Let u = 2 - k. Which is smaller: 5/7 or u?
5/7
Let m = 3 + -5. Is -2/3 smaller than m?
False
Let a be (0 - -7)/(3 + -2). Is a greater than 6?
True
Let m be 5/((-525)/(-10))*-6. Let d = 3 + -4. Is d at most m?
True
Let d = -32 + 18. Let w be d/21 + 2/3. Is 1 less than or equal to w?
False
Suppose -4*c + 2 = 2*s, 5*c + 34 - 5 = 2*s. Let u = s - 11. Which is bigger: u or -13/4?
-13/4
Suppose 4*i + 2*j = 6, -8*i + 3*i + 13 = -3*j. Let h = 6 - 6. Suppose h*q = 5*q - 15. Which is smaller: i or q?
i
Let q = -5 - -6. Which is greater: -3/8 or q?
q
Let g = -51/2 + 25. Which is smaller: 0 or g?
g
Let h(d) be the first derivative of d**2 + 4*d - 6. Let r be h(-3). Which is smaller: r or -5/6?
r
Let r(b) = -3*b**2 - 11*b - 3. Let y be r(-3). Is y > 1?
True
Suppose 4*s - s + 3 = -3*u, 5*s + 8 = -2*u. Let r be 0 - (1 + s) - -5. Suppose 4*b - r - 2 = 0. Which is greater: -2/3 or b?
b
Let q = 35 - 35. Is -3 greater than q?
False
Suppose -4*i + 13 = -j - 92, 2*i - 57 = 5*j. Is 26 < i?
False
Suppose -3*k + 42 = -0*y - 3*y, 5*k - 70 = 2*y. Let g = k + -57/4. Let z = 4 + -3. Is g <= z?
True
Let m = -1 + 0.8. Suppose 0 = 6*d - 10*d. Suppose d = -4*u - 12 - 0. Which is smaller: m or u?