 3*l = -3*o - 399. Let g = -829/6 - o. Let h = g - -1. Is 0 at least as big as h?
True
Let m = 1.28 + -1.4. Let f = m - -0.02. Which is smaller: f or 0.1?
f
Let j(z) = z**2 - 17*z + 61. Let h be j(4). Let u(p) = p**2 - p - 4. Let b be u(4). Which is smaller: h or b?
b
Suppose -5*v = -3*d + 136, -v = -3*v - 2*d - 48. Let m = v - -128/5. Let y = -6 - -4. Is y > m?
False
Let q(v) = 4*v**3 + v**2 + v - 1. Let y be q(1). Let s = 7 - y. Is 2 bigger than s?
False
Let u be (-9)/4*8/3. Let z be (-652)/u*(-2)/(-8). Let a = -79/3 + z. Does a = 1?
False
Let c = 3 - -2. Let m(x) = x**3 + 6*x**2 + 4*x - 7. Let l be m(-5). Let a be c/3 - l/(-3). Which is greater: 4 or a?
4
Let n be (96/56)/4 - 2/14. Do n and -0.14 have the same value?
False
Let z(h) = -h**3 - 5*h**2 - 4*h + 4. Let j be z(-5). Let v = -73/3 + j. Is -3 equal to v?
False
Let r = -2/109 + -200/981. Which is smaller: r or 3?
r
Suppose 2*k - 3*k = 0. Let d = -335 - -336. Which is bigger: k or d?
d
Let t(g) = -4*g + 5. Let k be t(4). Which is smaller: -10 or k?
k
Suppose 0*n + 36 = 3*n. Let p be n/42 + 19/7. Which is smaller: 4 or p?
p
Let z be 2 + ((-22)/6 - -1). Let j = -15 - -15.1. Which is smaller: z or j?
z
Let a be (-1)/(7/((-42)/(-9))). Let g = 350/3553 - -4/209. Which is smaller: g or a?
a
Let u(o) = o + 21. Let r be u(-22). Is r equal to -3/95?
False
Suppose -6*n - 9 = 5*p - 3*n, n + 3 = -3*p. Is -3/37 > p?
False
Suppose 4*a + 54 = 42. Suppose -3*l - 12 = -0. Is l smaller than a?
True
Let l be 203/4 - (-5)/(-20). Let n = -49 + l. Suppose 11*c + c = 36. Do n and c have the same value?
False
Let i = -137 + 961/7. Which is greater: 38 or i?
38
Let g(s) = -9*s**2 + 6*s + 2. Let k be g(-4). Let v = -1164/7 - k. Let j = -71/4 - -18. Which is bigger: j or v?
j
Suppose -7*x + 6*x = 0. Are -8/17 and x equal?
False
Suppose n = -772 + 250. Let r = 12008/23 + n. Which is smaller: 0 or r?
0
Let h = 0.63 + -0.73. Which is smaller: h or 9?
h
Suppose -18*y = -4 - 14. Are y and 2/83 nonequal?
True
Let o = 2 + -3. Let u = 2 - 5. Let a be (6/10)/(u/2). Which is smaller: o or a?
o
Suppose 5*b - 10 = -5*a, -6*a - 46 = -5*b - 2*a. Suppose b*f = 4*f. Is 2/15 at least f?
True
Let k(u) = 3*u + 44. Let y be k(-14). Let i(b) = 4*b**3 - 2*b**2 + b. Let j be i(1). Is y <= j?
True
Suppose -4*f = -5*i - 28, 0 = -4*f + 5*i - i + 24. Let w = 519/5 + -502/5. Let p = 61/15 - w. Which is greater: p or f?
f
Let c = -214 + 212. Let q be -3 - -1 - (-1 - 0). Which is smaller: c or q?
c
Let o be 1 + 8/4 + -1. Let l be ((-2)/81)/(o/6). Let v(w) = w**2 + 4*w - 4. Let b be v(-5). Which is smaller: l or b?
l
Let z = 8 + -13. Let w = -6 - z. Let p = 1 + w. Which is smaller: p or -0.1?
-0.1
Let n be 0 + -2 - -2*3. Let m be 14/(-7)*(-2)/n. Let w be (2/12)/((-2)/3). Is m not equal to w?
True
Let k = 17 - 16. Which is bigger: k or 10/17?
k
Let g = 0.14 + -9.14. Which is bigger: -1 or g?
-1
Let d = 6 - 4. Suppose -3*w + 8 = -d*w. Which is smaller: 9 or w?
w
Let m be (4 + -5 + -5)/1. Let v be (-5)/((-260)/m)*2. Is v > 1?
False
Let r = 1 + -3. Let n(d) = -d**2 + 2*d + 3. Let x be n(r). Let h = -6 - x. Which is bigger: h or -2/9?
-2/9
Let g(q) = -q**3 + 3*q**2 - 2*q + 1. Let a be g(1). Suppose -2*z = -13 - a. Are z and 6 nonequal?
True
Suppose -v - v = -16. Suppose 5*t - t = v. Let x = 4.9 - 5. Is t less than x?
False
Let j be 0/1 - (5 - 4). Which is bigger: j or -2/63?
-2/63
Let p = -27 + 26. Are p and 2 equal?
False
Let y = -35 - -36. Are 1/66 and y non-equal?
True
Let s be (-4)/2 + 6/6. Which is bigger: s or 2/31?
2/31
Let u be (4 - -1)*8/(-10). Let o be (-18)/20 - 2/u. Is 0 less than o?
False
Let c be (3 + (-8)/4)/(-1). Which is greater: c or -2?
c
Let o = -6383/42 + 152. Which is bigger: 0 or o?
o
Let a be 3 + 5/(15/(-9)). Suppose a*o = -2*o. Which is bigger: o or -2/7?
o
Let x be (-1)/((4/(-8))/1). Let z be 66/(-78) + x/(-13). Let q = 0 - 0. Which is bigger: q or z?
q
Let n be 3*(1 + -2) + -13. Let i be 1/(-4) + (-4)/n. Is 0 greater than or equal to i?
True
Let b = -9 - -9. Is -1/32 greater than b?
False
Let i = 41/20 + 6/5. Is 3 equal to i?
False
Let l(c) = c**2 + 3*c - 3. Let h = -6 + 3. Let x be l(h). Which is bigger: -2 or x?
-2
Suppose -4*b - 21 = 5*c, 1 = -c - 0*c. Let a be (b - -2) + 0 + 1. Let v be 0/(a/(-2)*2). Which is greater: 3/7 or v?
3/7
Let k(d) be the second derivative of d**3/6 + 4*d**2 - 4*d. Let w be k(-8). Which is smaller: -7 or w?
-7
Let u = 35/2 - 17. Let s = -5 - -12. Which is smaller: s or u?
u
Suppose 3*g = 3*v + 15, v + 20 = 5*g + 3. Which is smaller: -3/4 or v?
v
Suppose -3*w - 116 = -3*j + 4, 0 = 4*w + 4*j + 152. Which is bigger: w or -1?
-1
Let y(r) = r**2 - 5. Let c be y(-4). Let h be 105/(-33) - (-2)/c. Let l be (h/2)/(12/(-16)). Is 1 > l?
False
Let j = -17 + 7. Is j >= -4/5?
False
Let u = 239 + -239. Let b(o) = 4*o - 5. Let m(v) = 3*v - 4. Let p(c) = -4*b(c) + 5*m(c). Let l be p(0). Is u less than or equal to l?
True
Let a(y) = 3*y + 1. Let v(m) = -m. Let u(g) = -2*a(g) - 7*v(g). Let b be u(2). Which is bigger: 2 or b?
2
Let y be (-3)/(-2) + 2/4. Suppose w - x + 4*x + y = 0, -4*x - 16 = -2*w. Suppose -c + 15 = 5*i, -c - 13 + 1 = -w*i. Do i and 3 have the same value?
True
Let z = -17 + 19. Let i(h) = 3*h - 5. Let c be i(z). Is c smaller than 6?
True
Let m(l) = l**2 - 6*l + 3. Let x be m(5). Let u = -1 - -1. Let k be 0 - 0/(1 - u). Which is smaller: x or k?
x
Suppose -y - 34 = -3*y. Let v = y - 17. Let i = 1 + 0. Which is bigger: v or i?
i
Let l = -1616/55 - -146/5. Is l greater than or equal to 1?
False
Let w be ((-2)/(-10))/(8/(-10)). Is w <= 1?
True
Suppose 0*b = 5*i + 5*b - 25, 4*b = -3*i + 20. Suppose i = -0*x - 4*x + 16. Suppose 0 = -0*t + x*t + 8. Do -3 and t have different values?
True
Let y = 71 - 425/6. Which is greater: y or 0?
y
Let s = 5 + 0. Suppose -5*u = s - 20. Is u smaller than 3?
False
Suppose -5*z = -0 - 5. Suppose -3*f = -2 - z. Is 1/18 <= f?
True
Let t = 7 - 5. Do t and 10 have different values?
True
Let b be -2 - (-2 - (1 - -1)). Suppose 3*g - g = b. Let y be (-38)/(-40) + 3/(-15). Are g and y unequal?
True
Let n(u) = 6*u**3 - u. Let m be n(1). Is -0.3 less than or equal to m?
True
Suppose 0 = -3*f + 7*f - 4. Which is bigger: 0 or f?
f
Let i = 4601/11 + -418. Let b be 111/(-12) + (-3)/4. Let n be (-4)/b - (-8)/(-20). Which is smaller: i or n?
n
Let k = 0.04 + 2.96. Let f = -47/2 + 23. Is k equal to f?
False
Let t(a) = -a - 1. Let l be t(2). Let y be 3/((-81)/l)*3. Let k be 0 - (-2)/6*-3. Which is greater: k or y?
y
Let g = 16317/19 + -859. Is g <= 2/5?
True
Suppose 2*u + f = -232, u + 35 = 4*f - 63. Let w = u + 568/5. Is w not equal to 2/13?
True
Suppose -7*m + 2*m - 40 = 0. Are m and 2 equal?
False
Let t be (2/(-6))/(3/(-30)). Are t and 3 equal?
False
Suppose 0 = -3*c + 2 + 37. Suppose -c + 33 = -5*r, 5*x - 2*r = 8. Are x and -2/7 unequal?
True
Suppose -2*m + m + 5 = 0. Does m = 2?
False
Suppose 36 = 3*t + 3*m, 5*t - 3*m + m - 81 = 0. Let w be (10/t)/(4/(-6)). Which is greater: -2 or w?
w
Let d(w) = 2*w**2 + 6*w + 3. Let y be d(-4). Suppose 7*c = y*c - 8. Let k = -1 + c. Do 1 and k have the same value?
True
Let c(z) = z + 1. Let s be c(3). Suppose s*f = -1 - 3. Is f < -2?
False
Suppose -4 = 3*j - 10. Suppose -4*q = -j*w + 8, w + 2*q - 1 = 3*q. Let t = 1 - w. Is t at least as big as 3?
True
Let f = -0.46 + 2.46. Let q be (-38)/30 + (-2)/(-3). Which is smaller: f or q?
q
Suppose -2*v - v - 3*s = 0, 0 = -2*v + 4*s. Suppose 2*x + 5*d = 4*x - 27, v = -x + 3*d + 16. Let b be ((-1)/(-3))/(2/(-1)). Which is smaller: x or b?
b
Let j = 11216 - 11154.59. Let m = j - 62. Let r = 0.09 + m. Which is smaller: 0 or r?
r
Suppose -2*x = x - 9. Is x > 12?
False
Let k = -3 - 0. Let y be k/(-9) - (-28)/6. Let w be 7/5 + (-2)/y. Is -3/7 at most as big as w?
True
Let p be -8 + (-3 + 2)/(-1). Let c(r) be the third derivative of r**4/24 + r**3/2 - r**2. Let f be c(-10). Are f and p equal?
True
Suppose 22*s - 27*s - 10 = 0. Is s at most -7?
False
Let u be 1/((2*-1)/(-4)). Suppose -5*p + 23 = l, l - u*p = 5*l - 2. Suppose 0 = q + 7 - 5. Is l at least q?
True
Let l(o) = o**2 + o + 1. Let j be (-2)/1 + 0/(-4). Let b be (-1 - 3/(-2))*j. Let c be l(b). Which is bigger: c or 1/2?
c
Let l = 4 + -13. Let y(j) = j**2 - 5*j - 9. Let r be y(5). Do r and l have the same value?
True
Suppose -2*z + 6*z - 132 = 0. Is 