
True
Let p(g) = -g + 4. Suppose -2*d + 6*d - 16 = 0. Let u be p(d). Is 1 at most as big as u?
False
Let o(g) = -g**3 - 3*g**2 - 2*g. Let q be o(-2). Let h = -172 - -1206/7. Does h = q?
False
Let s be ((-288)/(-45) + -6)*-3. Let z be ((-1)/6)/((-1)/2). Is s greater than or equal to z?
False
Let q = 1987/9 + -221. Which is smaller: -1 or q?
-1
Let j = 8.3 + -0.3. Which is greater: j or -1?
j
Let m = -51 - -52. Do -53 and m have the same value?
False
Suppose 3*q - 60 = -q + 4*y, 3*q = -2*y + 50. Let h = q - 11. Suppose -2*a = -h*a. Is -2/7 != a?
True
Suppose 3 = -3*y + y + 5*c, -3*y = -c + 24. Which is smaller: -6 or y?
y
Let p be (-6)/24 + (-23)/40. Let j = p + 9/20. Which is smaller: -1 or j?
-1
Suppose 3 = -9*t + 12. Does 2/37 = t?
False
Let k = -0.04 + 0.04. Let f = k - 3. Which is smaller: f or -0.1?
f
Let w = 2/1427 - 11450/24259. Which is bigger: 0 or w?
0
Let y(k) = 0 + 4*k - 3*k + 3 - 4. Let j be y(1). Which is smaller: j or 2/3?
j
Let c(b) = b - 2. Let h be c(-2). Let w be 16/40*5/h. Which is greater: -1/4 or w?
-1/4
Let z be -1 - -3 - (-13)/(-7). Suppose 3 = -2*d + 5. Let f = 0 + d. Is f bigger than z?
True
Suppose -4*l - 116 = 4*y, 5 = 3*y + 20. Which is smaller: -26 or l?
-26
Let m = -9 - -6. Let l be (2 + -1)/(m/18). Let z = -6 - l. Is -1 != z?
True
Let y = 71/23 + -1103/253. Which is greater: -1 or y?
-1
Let t be (2/(-6))/(8/(-6)). Suppose -5*k - 4*s = -5, -2*k + 5*s - 22 - 9 = 0. Let w be (-2 - -4)*-1 - k. Which is smaller: t or w?
t
Let w be 0 + -1 + 2/2. Suppose w = -n - 4*n + 65. Suppose 0 = -2*f + 4*x + 10, -3*f + 6*x + n = 2*x. Is f at most 2/3?
False
Let r(o) = -o + 24. Let g be r(31). Let z(a) = -a**3 - 7*a**2 - 5*a + 4. Let i be z(-5). Let h be 6/(-2)*i/(-9). Do g and h have different values?
False
Suppose -g = n + 2, -5*g + 3*n = -0*n - 30. Let p(u) = u**2 - u. Let s be p(0). Which is smaller: g or s?
s
Let m = -0.01 - 5.99. Let b = -6 - m. Which is smaller: b or 0.2?
b
Suppose 2*a = -a + 42. Suppose -g - g + a = 0. Is g greater than or equal to 6?
True
Let c be (4 + -19)*(-9)/(-3). Let j be ((-16)/5)/(18/c). Is j equal to 8?
True
Let s = 1031/7 - 147. Let u(p) = -p**3 - 2*p**2 - 2*p - 2. Let z be u(-2). Are s and z equal?
False
Let o = -265/69 - -11/3. Let m = -18/161 + o. Which is smaller: m or 1/3?
m
Let a(f) = -f**3 + 13*f**2 - 12*f + 4. Let r be a(12). Let p = 3 - r. Are -1 and p unequal?
False
Let j = -5.4 + 5. Let u = 0.5 + j. Is u >= 0.1?
True
Suppose 2*o = 4*c - 2, 3*o - 5*o + 3*c + 2 = 0. Do 10 and o have the same value?
False
Let k(u) = u**3 - 4*u**2 - u + 1. Let w be k(4). Let v be 0 - (-12)/(-9)*w. Suppose -5*p - 2*z - 13 = 0, -z - v*z - 19 = -p. Which is smaller: -2/11 or p?
p
Suppose 0 = -5*o + d - 86 + 17, -2*d = -o - 21. Which is greater: -2 or o?
-2
Let v(g) = g**3 - 7*g**2 - 9*g + 7. Let f be v(8). Are f and -0.09 non-equal?
True
Let w = 4 + -7. Let b be 3/(-6) + (-7)/(-2). Suppose 0 = -2*o - 3*o + b*k + 3, 4*o + 2 = -2*k. Which is greater: w or o?
o
Suppose -10 = l + l. Let k(a) = -2*a**2 - 13*a - 19. Let b be k(-5). Is b bigger than l?
True
Let j = -91 + 90. Let v = -10.99 - 0.01. Is v >= j?
False
Let r(z) be the first derivative of z**2/2 + z + 2. Let y = -6 - -3. Let v be r(y). Which is smaller: 0 or v?
v
Suppose -3*a + 4*x + 11 = 2*x, -8 = 2*x. Is 20/9 at least as big as a?
True
Let c be -8*(0 + (-3 - -2)). Let t be (14/280)/((-3)/c). Suppose 0 = -k + 5*f + 4, -4*k - 2 = k - 3*f. Are t and k unequal?
True
Let k = -0.14 - -0.04. Let y = 2.3 + -2.24. Which is smaller: k or y?
k
Let d be 8/6 - (1 + 1). Let h = 4 - 3. Let n be 2 + (-2 + 1 - h). Which is smaller: n or d?
d
Suppose 2*b - 2 = b. Let q = b - 5. Is -14/5 smaller than q?
False
Let y be 2/(-5) + (-8)/40. Suppose 2*c - 6 = -4*p, -2*p + 3*c + 18 = 3. Let t be 2/6 - 1/p. Is t at most y?
False
Let s = -370007/214 + 1729. Which is smaller: s or 0?
s
Let t be 1*(-2 + 1 - -1). Suppose t = 5*q - 10*q + 15. Suppose -5*l - 1 = -3*h - q, -9 = -4*l - 5*h. Are -1/6 and l equal?
False
Let f(s) = -s**3 + 3*s**2 - 2*s + 1. Let o be f(1). Which is greater: 2 or o?
2
Let v be (-1742)/22 - (-2)/11. Let u = 635/8 + v. Are u and 1/3 unequal?
True
Let k = 3.7 + -4.1. Which is smaller: k or 21?
k
Let h = 0.88 + -0.48. Is h equal to 2/7?
False
Let s be (3/(-2) + 1)*-8. Suppose 3*c + c - s = 0. Which is greater: c or 0?
c
Let t be (-1)/2*(-6)/3. Let b = -1 - -0.6. Which is greater: t or b?
t
Let u = -112 - -68. Let i be (-12)/10*(-20)/u. Is i < 0?
True
Suppose -4*d - 5*k = 0, 2*k - 6*k + 16 = 0. Is d > -2?
False
Let d be (3/9)/(2/6). Which is bigger: 0.17 or d?
d
Let g = 23 - 22.91. Which is bigger: -1/5 or g?
g
Let v be 2/4*(1 + -7). Suppose -g - 1 = -a, g - a - 5 = 2*a. Is v bigger than g?
True
Let m = -29 - -49. Suppose 8*g = 5*r + 3*g + m, 4*g = 8. Which is bigger: r or 5?
5
Let y = 0.05 + -0.35. Let a = 0.2 + y. Let x = 85 + -427/5. Is x bigger than a?
False
Let z be (-18)/8 - (-2)/8. Let g(n) = n**3 + n**2 - 3*n - 3. Let b be g(-2). Which is smaller: z or b?
z
Suppose -2*s = 4*q + q + 35, 3*s = 2*q - 5. Let b be ((-2 - -1) + 2)*s. Let y = -2 - b. Which is smaller: y or 4?
y
Suppose 49 - 44 = -5*x. Which is greater: x or 10/31?
10/31
Let s = 0.1 - 0. Let t = s + -0.1. Let g be 3*(-2)/(-45)*6. Is g < t?
False
Let o(h) = 12*h**3 + 3*h**2 - 5*h + 1. Let f be o(1). Is 10 at most f?
True
Let n = -4 + 7. Suppose -n*q = -0*q + 3*y, -4*y = 2*q - 2. Let b = q - 0. Which is bigger: b or 1/12?
1/12
Let t = -0.9 - 2.1. Let b = 1.1 - 1. Is t at least as big as b?
False
Let f(l) = -l**2 - 14*l - 17. Let j be f(-13). Let s be 4/18 + 58/(-18). Let o = s - j. Do o and 2/7 have the same value?
False
Let p = 1.1 - 1. Let n = 6.97 - -0.03. Let o = n - 6.7. Is p at least as big as o?
False
Let c = -24 + 23. Let s = 3 + -6. Is c > s?
True
Let h = -1/15 + -3/5. Let k be 0*((-12)/(-3) + -3). Which is smaller: k or h?
h
Suppose -6*l = -3*l. Which is bigger: 3 or l?
3
Let r be -1*6/(-105)*5. Are r and 2/7 nonequal?
False
Let v = 0.3 - 2.3. Let i = 4/15 - 1/60. Which is bigger: i or v?
i
Let u(z) = z**2 - 4*z + 2. Let k be u(3). Let a be (4 - (-1 + 3))*k. Are a and 0 equal?
False
Suppose -4*a = -2*i - 8, a - 2*i + 8 = -4*i. Is 7 greater than or equal to a?
True
Let d = -22 - -15. Let c = -4 + -3. Let i = d - c. Which is smaller: -2/3 or i?
-2/3
Let k(c) = c**3 + 4*c**2 + 3*c - 3. Let h be k(-3). Let x(b) = b**3 + 3*b**2 - 1. Let u be x(h). Is 2 > u?
True
Suppose -2*w - 2*i = 2*w - 12, 2*w - 5*i = -6. Suppose 3*b + 29 = -w*d, -b + 5*d = 1 + 3. Let l be 2/b - (-148)/180. Which is bigger: l or 0?
l
Suppose -23*k + 6 = -17*k. Is 17/9 equal to k?
False
Let v(k) be the first derivative of -4*k**3/3 + k - 1. Let j be v(1). Is j at most -5/2?
True
Suppose -3*n = -n + y + 3, -6 = 5*n + y. Let j = 921/7 - 132. Which is bigger: j or n?
j
Let f(y) = y - 6. Let c(v) = -2*v**3. Let a be c(1). Let q be (18/2 + a)*1. Let j be f(q). Which is smaller: j or -0.1?
-0.1
Let x = -7 - -12. Suppose 5*j + 4*k - 26 = 0, x*k - 16 = 4. Suppose j*r - 1 + 3 = 0. Which is bigger: r or -2?
r
Let g = -3 + 18. Which is greater: g or 14?
g
Let q = -6 + 6. Suppose -5*d + a + 50 = q, 65 = 5*d - 0*a - 4*a. Suppose d + 3 = 2*l. Which is smaller: 4 or l?
4
Suppose -2 = 5*v - 3*k, -4*v + 22 = v + 3*k. Suppose v*n - 10 = -4*b + 10, -10 = -2*b - 5*n. Is 4 less than b?
True
Suppose t + 4*w + 2 = -1, -3*w = 2*t - 9. Let x = t - 7. Suppose 0 = 5*o - x*o. Is o >= 0?
True
Let o = -19 + 20. Which is smaller: o or 3?
o
Let s be 4*(0/(-2) + 2). Let i = s - 7. Which is greater: i or 0?
i
Suppose g - 3*g = 0. Let z = 3 - 4. Which is smaller: g or z?
z
Suppose 0 = 3*d + 12, -2*u + 4*d = -26 - 30. Suppose 0 = 3*f - 4 - u. Let l be 26/f - 1/4. Which is smaller: 5 or l?
l
Let p = 11 + -32/3. Let w = -10 + 14. Let r be 1 - 1 - (-2)/w. Is p >= r?
False
Let s = 0.27 - 1.27. Which is bigger: -2 or s?
s
Let g be (-10)/(-15) + (-4)/(-3). Suppose -n + 21 = -3*k + 4*n, 2*k + 5*n = 11. Which is bigger: g or k?
g
Let t be (-1)/1*4 - (-1 - -18). Is -21 at most as big as t?
True
Let y(b) be the first derivative of b**3/3 - 5*b**2/2 + 4*b - 2. Let o be y(5). Which is greater: 1 or o?
o
Suppose f - u + 20 + 8 = 0, -53 = 2*f - 5*u. Is f equal to -31?
False
Let p(d) be the first derivative of 5*d**2 - 3. Let h be p(-2). Let n be 3/9 + h/36. Which is smal