al to f?
False
Let a(t) = -t**2 - 6*t + 10. Let c be a(-7). Is c smaller than 1?
False
Let t(n) = n + 8. Let d be t(10). Suppose -3*i + 3 + 6 = 0, -i = -3*a + d. Which is smaller: a or 8?
a
Let o = 0.5 + -0.9. Let y = o - -0.1. Let r = y + 0.1. Which is smaller: r or -0.1?
r
Let a = -106 + 110. Is 1 != a?
True
Let y = 1349/5 - 271. Is y greater than or equal to -2?
True
Let z(w) = -w**2 - 11*w + 40. Let h be z(-14). Let s be (1 + 0)/((-2)/6). Which is bigger: s or h?
h
Let m(h) be the first derivative of -1/2*h**2 - 1 + 12*h. Let n be m(13). Are 4/9 and n non-equal?
True
Let i = 4.88 - -0.12. Let f = i + -4.8. Let r = 0.23 - -0.07. Is r at most f?
False
Let o be (-2)/10 + (-246)/(-5). Let v be (-2)/(-7) - (-84)/o. Suppose -5 = v*t + 5. Are -5 and t unequal?
False
Let t(j) = -j**2 + 9*j - 1. Let l(w) = w**2 - 4*w - 12. Let f be l(7). Let r be t(f). Which is smaller: r or -10/9?
-10/9
Let i(z) = 3*z**2 + 1. Let o be i(-1). Suppose 0 = w - 5*w - o. Let j = 3/106 + 197/530. Is j at least as big as w?
True
Let s = 3519/16 - 220. Are 1 and s unequal?
True
Let i = -7 + 7.1. Let l = -0.2 - -0.2. Let f = i - l. Which is bigger: f or -1/4?
f
Let r = -3.9 + 3.9. Let o = -62 + 247/4. Which is greater: r or o?
r
Let a(k) = k**3 + k**2 + 10. Let i be a(0). Suppose 4*t = -t + i. Is t < 1/2?
False
Let d be (1*-3)/(5 + -6). Suppose -4*m + d*m + 1 = 0. Is m <= -2/25?
False
Suppose 3*h - 5*u - 64 = 0, -5*u + 0*u = -2*h + 46. Let n = 20 - h. Which is smaller: n or 0.3?
0.3
Suppose 74*j = 67*j - 413. Is j < -61?
False
Let t be 34/(-17) + (2506/(-180))/(-7). Which is bigger: t or -1?
t
Let o = -1 + 1.1. Let q = o + -0.1. Let g = 0.3 - 0.2. Is q != g?
True
Let q = 13 - 25. Suppose -4*c + 2*g = -8 - 6, -4*g + 14 = -c. Let u be (-22)/q - c/3. Is u > -1?
True
Let l be 3/((-3)/2) - 4. Let u = l + 9. Is u less than or equal to 2?
False
Let q = 0.2 - 0.3. Let i = -3.96 + -0.04. Is q less than or equal to i?
False
Let y be 3 + 15/20 + 2/8. Which is bigger: y or 18/7?
y
Let u be (-2)/3 - (-141)/9. Suppose -i - u = 2*i. Let v = -6 - i. Which is greater: v or 1/7?
1/7
Let x be 266/(-63) + 4/18. Let u be x/8*(-1)/(-2). Is 3 less than u?
False
Let l be (-91)/(-35) - 6/10. Let i be 8/20 - (-8)/5. Suppose 0*z + i*z - 2 = 0. Are z and l equal?
False
Let u(g) = -31*g - 14. Let c be u(-3). Is 79 bigger than c?
False
Let w = -6 - -6.5. Let t = -1.4 - -3.4. Do w and t have different values?
True
Suppose 0 = 3*f + 2*f. Which is bigger: f or 6/13?
6/13
Let y(z) = z**2 + 2*z - 3. Let u be y(-4). Suppose q - u*b - 9 = 17, b + 5 = 0. Are -2/13 and q equal?
False
Suppose -4*z + z = 0. Which is smaller: z or -1?
-1
Let v = -11/56834 + -446885665/397838. Let s = v - -1121. Let a = -122/35 - s. Do a and -2 have the same value?
False
Let l = -3 - -8. Suppose -l*i + 2 = -3. Which is smaller: 1/5 or i?
1/5
Let n = -9 + 15. Let o = -7 + n. Which is bigger: 1/6 or o?
1/6
Let q = -1/608 + -1185/18848. Which is bigger: 1 or q?
1
Let w = -325 + 324. Let s be (-3)/(1*(-2)/10). Let u be (-6)/s + 19/35. Which is smaller: w or u?
w
Let m be (2*1/(-2))/(19*5). Is m > -1?
True
Let t be (-1)/(-1)*11/1. Suppose f = 2*f + u + 3, 0 = f + 5*u + t. Are 0 and f equal?
False
Let l(a) = a**2 - a + 5. Let m be l(3). Is 1 less than m?
True
Let n be (1 - 1)/1 - -6. Let y(w) = -4*w - 11. Let k be y(-4). Is k at most as big as n?
True
Let r = -3.94 + -0.06. Which is smaller: r or -3?
r
Let l(s) = s - 7. Let x be l(5). Let z(q) = q**3 + 2*q**2 - q - 1. Let g be z(-2). Let v be (g/(-3))/(10/15). Which is smaller: x or v?
x
Let f(j) = j**3 - 6*j**2 - 7*j - 1. Let y be f(7). Is y <= 1/3?
True
Let v(u) = -u + 3. Let c be v(5). Let h be 24/(-30)*(-1)/c. Is h > 0.1?
False
Suppose 3*s + 2*u = -53, u = s + s + 26. Is s greater than or equal to -14?
False
Let d = -0.4 + -1.6. Let m = d - 0. Is -2/7 at least as big as m?
True
Let w(z) = z + 23. Let c be w(-13). Is 12 greater than c?
True
Let y be 40/(-50) - (-506)/645. Do -1 and y have different values?
True
Suppose 0 = 5*j - 2*i + 2, -2*j + 0 - 3 = -3*i. Which is greater: 2/73 or j?
2/73
Suppose l = 23 - 21. Suppose -2*g + 3*g = 5*w, 3*w = 0. Which is bigger: g or l?
l
Let t = 3 + 2. Let j be (2/12)/(t/(-20)). Is j at most as big as 5?
True
Let l = 6 + 9. Which is smaller: 13 or l?
13
Let p be 1 + (-5)/((-50)/(-6)). Which is smaller: 10 or p?
p
Let y = 6347/40 - 50741/280. Let v = 117/5 + y. Let o(n) = -n**3 + 3*n**2 + 3*n + 4. Let q be o(4). Do q and v have the same value?
False
Let q be (110/33)/((4/18)/(-1)). Is q at most as big as -71/5?
True
Let h = -0.2 - -0.3. Let y = -0.24 - -0.14. Which is bigger: y or h?
h
Let f = 7 - 10. Let d be -2 - 5*f/12. Which is smaller: d or -2?
-2
Let w be (-32)/(-6) + (-3)/9. Suppose 2*j + 2*h = 4*j - 2, w*j + 5*h - 45 = 0. Is j > 4?
True
Let l be (-7)/84*-28*(-4)/(-126). Which is bigger: l or 0?
l
Let k = -2791 - -728450/261. Which is smaller: 1 or k?
k
Let v = 1.03 - 1.1. Let n = v + 0.27. Suppose 4*i + 3*u - 8 = -u, -4*i - 3*u = -7. Do i and n have the same value?
False
Suppose 3*i + h - 8 = 0, h + 20 = 5*h. Is 1 less than i?
False
Let v = 65 - 46. Suppose 0 = 5*k - 3*z + 30, -3*k + 0*k + 2*z = v. Suppose -6 = 2*b + 2. Is b not equal to k?
True
Let t be (-110)/8 - 1/4. Which is smaller: t or -13?
t
Suppose -b - 23 + 2 = 0. Is -21 at most b?
True
Let b = 0.2 + -0.3. Let x = -6.2 + 6. Is x smaller than b?
True
Let u = 0.04 - 0.04. Let h = 0.1 - u. Which is smaller: 0.2 or h?
h
Let u be (4/(-10))/((-2)/10). Suppose -5*f + 0 - u = -2*r, 3*r + 14 = -f. Which is smaller: f or -2/3?
f
Suppose -4*p - 2*t = 2 - 4, -11 = 2*p - 3*t. Are p and 1/32 nonequal?
True
Suppose 2*o - 7 = -5*n - 36, -3*o - 3*n = 21. Which is greater: -27 or o?
o
Suppose 3*i - 9 = 3. Let q be (-1)/(-4) - (4 - i). Which is greater: 0.1 or q?
q
Let i be 3*(42/9)/2. Let c = -21 - -15. Let s = i + c. Which is greater: s or 4?
4
Suppose 0 = -6*y + 7*y. Are y and 6/11 unequal?
True
Let l = 17 - 23. Is l at most -10?
False
Let k = -15/104 + -905/936. Which is smaller: -1 or k?
k
Let v = -24 - -24. Is -1/14 at most v?
True
Suppose 4*u - 4 + 2 = 2*i, -4*u = -12. Let z be 5/1*(1 + 0). Do i and z have different values?
False
Let r(f) = -2*f + 1 - 2 + 0. Let v be r(-1). Which is smaller: 2 or v?
v
Suppose -11 = j - 53. Let p be j/10 - (-4)/(-20). Suppose p*n + 3*l = 17, -4*n + 1 = n - 3*l. Which is smaller: n or 3/2?
3/2
Let o = -50 - -48.9. Which is greater: o or -2?
o
Let q(t) = -t**3 + 13*t**2 + 13*t + 12. Let k be q(14). Let g = -5 + 7. Suppose -2*i = g*i. Are i and k equal?
False
Suppose x - 3*z = -27, x - 97 = 6*x + 4*z. Which is bigger: x or -22?
x
Let t be (-2)/21*((-1017)/(-540) + -2). Is 0 >= t?
False
Let c = 11 - 13. Does c = -1/2?
False
Suppose 0 = -4*c - 3*c - 28. Which is greater: -11/3 or c?
-11/3
Let c be 2/20*(-8)/(-10). Is c at least as big as -1?
True
Let i(a) = -a + 5. Let s be i(0). Suppose -m - 4*x + 7 = 0, -12 = 4*m + x - s*x. Is -1/9 at least m?
True
Let z = 7 - 2. Suppose 0 = -z*v + 16 - 301. Let r be 6/(-21) - v/126. Which is bigger: 1 or r?
1
Suppose -2 = 2*s, -4*a + 10 + 1 = -3*s. Are -1 and a unequal?
True
Let h = 109 + -96.3. Let m = h + -13. Which is greater: m or 4?
4
Let a = 2.04 + -2. Let g = -0.26 - a. Which is bigger: g or 1?
1
Let v = -11.1 - -0.1. Which is smaller: -1 or v?
v
Let j be 63/77 - 4/(-22). Let a be ((-8)/(-14))/4*5. Which is smaller: a or j?
a
Let c(b) = -4*b**2 - 4*b - 2. Let n be c(-2). Which is smaller: -9 or n?
n
Let z = -7 - -8. Suppose 3*k = 2 + z. Is -3/16 at least as big as k?
False
Let j be 7/(-14)*(1 - 1). Let y(a) = a**2 + 7*a + 7. Let q be y(-6). Is q at least as big as j?
True
Let i(u) = -6*u**2 - 2*u**3 + 3*u**3 + 5*u**2 + 5. Let r be i(0). Suppose -n = r - 2. Which is greater: -2 or n?
-2
Let b(h) be the second derivative of 0 - 2*h + 13/12*h**4 + 2*h**3 - 9/2*h**2 + 1/20*h**5. Let w be b(-12). Which is smaller: -8 or w?
w
Let g(h) = -h**2 - 3*h + 8. Let w be g(-6). Which is smaller: -8 or w?
w
Suppose 4*g - 8*g = 20. Which is smaller: g or -9/2?
g
Suppose 4*l + 30 = -4*h + 6, 3*h = l - 10. Let z be 154/21 + 4/6. Suppose -a = -5*a + z. Is l less than or equal to a?
True
Suppose -6*y + 3 = -3*y. Let z be 0/2 + (-2)/18. Which is smaller: z or y?
z
Let m be 1/8 + 27/(-24). Do m and 77 have the same value?
False
Suppose 11 = 