u(6). Is o <= z?
True
Suppose -4*k = -4*c - 11 + 75, 0 = -5*c + 2*k + 77. Let q be (-1)/5*c/9. Is 0.4 bigger than q?
True
Let p be (17 - 20) + (-152)/(-51). Which is smaller: p or -1?
-1
Let p be (6/(-15))/((-1)/10). Suppose -2*l = -l - p. Which is smaller: 3 or l?
3
Suppose 4*s + 4 = -4. Let i be 9/12 - 114/(-8). Suppose -3*r + 5 = -k, -2*k - 5*r = -7*k - i. Is s equal to k?
True
Let h = 218/5 + -44. Which is greater: 0 or h?
0
Let s = -129 - -905/7. Let m = -17/14 - s. Is m <= -1?
True
Suppose -21 = -4*h - 3*v, -2 = -2*v - 12. Let m be 40/6*18/15. Which is smaller: m or h?
m
Let q = -199 - -1587/8. Suppose 3*h + 6 = 3*j, -3 + 1 = -2*j. Which is smaller: h or q?
h
Let y = 25 + -49/2. Is y equal to -2/25?
False
Let a = -128 + 20. Let u be (1/9)/((-90)/a). Is -0.2 not equal to u?
True
Suppose 0 = -13*t - 10*t + 28*t. Which is greater: 5 or t?
5
Let p(b) = -b**2 + 7*b - 12. Let m be p(5). Which is smaller: m or -9/5?
m
Let q = 27 + -26. Let f be 3/(-6)*-1*1. Which is greater: f or q?
q
Let g(n) = n**2 - 6. Let f be g(0). Let x(v) = v**2 - 16*v + 10. Let c be x(15). Which is bigger: c or f?
c
Suppose 4*f - 5 = 11. Suppose -2 = 3*x - l, -3*x - 22 = f*l - 0*l. Is -2/3 at least x?
True
Let d(s) = s**3 + 6*s**2 + 2*s + 9. Let x be d(-6). Is x != -9?
True
Let x = 2 + -1. Suppose -r - 13 = 3*j - 6, 3*r + 3*j + 3 = 0. Suppose -t = -r*t. Which is smaller: t or x?
t
Let f be 4/6 - (-6)/(-9). Suppose -5*x + i + i + 15 = 0, -i = 4*x - 12. Suppose -2 + 5 = -x*c. Which is greater: f or c?
f
Suppose -x + 0*x = 3. Let a be (-6)/10*(-6 + 1). Suppose -a*b - 13 = b - y, 2*b + 5*y = -1. Do x and b have the same value?
True
Let b = 5.15 + -7.2. Let a = b - -0.05. Let t = 2 + a. Is -0.1 != t?
True
Let t = -17 + 19. Are 2 and t nonequal?
False
Suppose 60 = 4*o - 0*o. Let l = o + -15. Which is greater: l or 1/2?
1/2
Let x(f) = -6 - f - 2*f**2 + 7*f**2 + f**3 + 1 - 1. Let u = 4 + -9. Let g be x(u). Which is smaller: g or -2?
-2
Let l = -0.85 - -0.45. Does l = -6?
False
Suppose 0 = -12*t + 14*t + 20. Let r be (-50)/t*18/(-5). Is -19 bigger than r?
False
Let o = 0 - 0. Let y be 4/((-144)/(-68)) + -2. Which is greater: y or o?
o
Let z(y) = -y**2 - 3*y. Let j be z(3). Let t be 64/6 + 12/j. Which is smaller: 9 or t?
9
Let u be 1/1 - (2 - 2). Let t be (2 + 0)*1 - u. Is 1 at most as big as t?
True
Suppose 0 = -0*t - 5*t. Is 0 < t?
False
Let x be ((-9)/(-6))/(9/150). Suppose 0 = -2*o + 7*o - x. Is o less than 3?
False
Suppose -3*s + j = -3, -2*s + s = 2*j + 6. Suppose s = -3*n + 6. Is n >= 2?
True
Suppose 3*k - 3*f + 11 = 4*k, -4*f = -2*k - 8. Does 9/4 = k?
False
Let a(l) = 2*l**2 - l - 1. Let j be a(-2). Let m = j - 10. Is -1/5 != m?
True
Suppose 3*d = -16 - 5. Let y(s) = -s**2 - 8*s - 5. Let o be y(d). Let v = 2 - o. Is v smaller than 2?
True
Let c = 34 - 443/13. Is c greater than -1?
True
Suppose 3*t + 4*m - 13578 = t, -t + 3*m + 6764 = 0. Let a = -26931/4 + t. Let p = a + -46. Which is bigger: -1 or p?
p
Let g be 2 + 3 + -5 + -4. Which is smaller: g or -3?
g
Let r be (0 + 4)*2/(-4). Suppose 12 = g - 5*g. Let l(m) = -m - 2. Let t be l(g). Which is smaller: r or t?
r
Let d(a) = -a + 14. Let o(y) = -7. Let n(x) = 2*d(x) + 5*o(x). Let p be (-1)/(1 - 2) - 6. Let w be n(p). Is w != 3?
False
Suppose -12 = 2*s + s. Let x = 7 + s. Let p(u) = u**2 + 6*u + 7. Let j be p(-5). Is x at most j?
False
Suppose 0 = 3*k - 0*k + 96. Let o be (-8)/36 - k/(-18). Which is smaller: o or -3/2?
o
Suppose 3*b + 37 = -4*t, 0 = 4*b - b + t + 25. Which is bigger: b or -5?
-5
Let a(p) = 2*p**2 + 4*p - 4*p - 3*p - 2 - 3*p**2. Let b be a(-2). Suppose -4*k = u + 12, 2*k + 3*k + 5*u + 30 = b. Is k > -1?
False
Let o = 120 - 2759/23. Which is smaller: 1 or o?
o
Let r(d) = -d**2 - 7*d - 1. Let n be r(-7). Let u be 0/((-2)/(4 + -2)). Let j be u*(-3)/3 - n. Is 2 greater than j?
True
Let z be (3 + -22)/((1 - 1) + 1). Which is bigger: -18 or z?
-18
Let c be ((-2)/(-6))/(8/24). Is c greater than 1/19?
True
Let w be ((-3)/(-13))/((-15)/10). Which is greater: 0 or w?
0
Suppose -2*w - r + 29 = 0, w = r - 0*r + 10. Suppose -17 - w = 5*v. Let i be (1/14)/(1/v). Are -1 and i equal?
False
Suppose 0 = -0*a + 2*a - 2*i + 10, 7 = -3*a - i. Is a at most as big as -4?
False
Let u = -16 + 2. Let g = -10 - u. Let c = 7 - g. Is 0.1 smaller than c?
True
Suppose 6 = 4*i - 18. Let c be ((-4)/i)/(1/(-6)). Is c < 4?
False
Suppose -q - 5*i - 2 = -20, 4*q + 4*i = 8. Let u(h) = h**3 - 3*h**2 - 5*h + 1. Let l be u(4). Which is greater: l or q?
q
Suppose 16 + 4 = -5*m. Let o = -4 - m. Suppose -1 = -f - o. Is f < 0?
False
Let n = 7 + -17. Is -0.2 <= n?
False
Let n = -386/27 + 16328/1161. Let x = 19/473 - n. Is 0 equal to x?
False
Let i be 18/(-42) + (-1)/(70/12). Is 5 greater than or equal to i?
True
Let x(r) = -2*r**2 - 5*r + 3. Let c(g) = -3*g**2 - 9*g + 5. Let s(y) = -3*c(y) + 5*x(y). Let d be s(2). Is 3/2 != d?
True
Let d = -137 + 137. Let j be 1 - 3 - (-2)/2. Is j > d?
False
Let j be (-3)/(-2) - (-2)/4. Suppose -j*f + 0*f - 6 = 0. Which is smaller: f or -4?
-4
Let g(q) be the third derivative of -q**4/12 + 2*q**3 + 4*q**2. Let h be g(8). Let s be h/(-20) - 19/(-5). Is 3 at most as big as s?
True
Let u = 67 - 61. Suppose 2*a - 4*q = 4*a - 36, -2*q - 2 = -a. Let t = u - a. Which is greater: t or -5?
t
Let z = 76 + -78. Is 1 less than or equal to z?
False
Let t(n) = 5*n + 20. Let m(p) = 3*p + 13. Let f(r) = -8*m(r) + 5*t(r). Let l be f(4). Is -1 smaller than l?
True
Let a = 189/1751 + 1/103. Suppose 0 - 3 = 3*f. Which is smaller: a or f?
f
Let c be (-1 - -3) + 14/(-2). Let b = 125 + -130. Is c smaller than b?
False
Let d = 17/2 + -9. Which is smaller: -2 or d?
-2
Suppose -5*o = -3*f + 2 + 3, 0 = 4*o - 3*f + 7. Which is greater: 3/4 or o?
o
Suppose 0*l = -8*l - 144. Which is greater: l or -16?
-16
Let x(m) = -m**2 + 3*m + 4. Let s be x(4). Suppose w - 2*q + 7*q = -22, -3*q = -3*w - 30. Let j = w + 13. Is j greater than s?
True
Let z be (12/(-16))/((-66)/(-160)*-2). Which is bigger: z or 1?
1
Let p be (-8)/14 + 1 + (18 - 15). Which is smaller: 4 or p?
p
Let h = 0.19 + -1.19. Let k = 0.02 + -0.02. Is h smaller than k?
True
Suppose 1 = 4*a - t + 5, -2*a = -4*t - 12. Suppose -4*n + 1 - 6 = -5*h, -2*h + 2 = n. Which is smaller: a or n?
a
Let i = 5.4 - 5. Let q = 2 + -3. Which is greater: i or q?
i
Let g = 9 + -4. Let m be (-26)/22 + g + -4. Which is greater: -0.1 or m?
-0.1
Suppose -2*x + 9*x - 2*x = 0. Is 0 at most x?
True
Let q = 3 - 2. Do -3 and q have different values?
True
Let y = -321/5 + 64. Which is smaller: y or -1.3?
-1.3
Suppose -10*a = -a - 27. Let n = -4 - -7. Is a greater than n?
False
Let i be 1*1*(2 - 6). Is 1/3 > i?
True
Suppose -2 = -4*t + 3*t. Suppose -r - 2 = t. Let l be (9/(-6))/((-3)/r). Which is smaller: l or 0?
l
Suppose z - 2 = 2. Suppose -y = z*y. Is y > 2/11?
False
Let w = 1/21 + 2/7. Let p = 0.08 + -4.08. Let g = p + 7. Which is bigger: w or g?
g
Suppose -2*f + 0*f = -384. Let b = f + -1342/7. Suppose 2*t + 18 = -2*m, 0*m = t + 4*m + 21. Is b bigger than t?
True
Let v = -7 + -12. Let c = 19 + v. Is 1/12 at most as big as c?
False
Let f be (-9)/6 + 1/(-2). Let h be 2 - (1 - 0 - -10). Let n be 1/(6/h*3). Is f > n?
False
Let q be -1*1 + 1/1. Let d = 135 - 134. Which is greater: q or d?
d
Suppose -z = 3*t - 13, 3*z = -2*t + 3 + 8. Suppose 0 = -5*o + 3*u - 21 + 96, 2*o + 5*u = 30. Let x be (-10)/t*(-24)/o. Is 3 less than or equal to x?
True
Let o = -4 + 3. Let n = -1 + o. Is n at least -2?
True
Let o = -0.21 - -1.81. Let n = -0.6 + o. Which is smaller: n or -7?
-7
Suppose 3*d - y + 0 = 1, 0 = -2*y + 10. Is 8/7 greater than or equal to d?
False
Let n be (-52)/(-84) - (-4)/(-14). Suppose -2*h - 1 = -d, 3*h + h = -2*d + 2. Is h > n?
False
Let u = -136/21 + 15/7. Which is bigger: -3 or u?
-3
Let k(v) = v + 2. Let j be k(-3). Let a be -2 - (j + 14/6). Let q = a - -8/3. Is q less than -1?
False
Let b be -3 + 52/(-48) + 4. Which is smaller: 1 or b?
b
Let p be -11 + 3 + 0/5. Which is greater: 2 or p?
2
Let f = 1.1 - 0.1. Let v = 51.6 + -37. Let d = -15 + v. Is d >= f?
False
Let z = -1.97 + -0.03. Let a = 4 + z. Does a = -1?
False
Let i(b) = 5 + 3*b + b**2 + 5*b - 7*b. Let t be i(0). Which is smaller: 4 or t?
4
Let q = 3 - 4. Let p = -151/1615 + -1/85. Are q and p nonequal?
True
Let c(m) = -m. Suppose 5*p = 3*y - 29, -y = 3*p 