t c be 78/(-30) + (-4)/10. Which is greater: -2 or c?
-2
Suppose 4 = -5*b - 1. Is -0.1 smaller than b?
False
Suppose -4*u + 0*u + 5*n = 2260, u - 3*n = -558. Let r be (-2)/8 - u/(-24). Let c be (-2)/r - (-5)/20. Is c at most 1?
True
Let f = 176/9 - 4084/207. Is -1 at least as big as f?
False
Let v(r) = -3*r**2 - 32*r - 1. Let p be v(-10). Is 3 <= p?
True
Let i(a) = -4*a**2 + 2*a + 5. Let h(m) = 7*m**2 - 3*m - 9. Let d(y) = 3*h(y) + 5*i(y). Let r be d(0). Is -4/5 > r?
True
Let x = 12 - 6. Suppose 4*h - x = -g + 5, 2*h + 3*g = 13. Which is smaller: 1 or h?
1
Let c be (0 - -1)/((-26)/8 - 0). Suppose 3 + 0 = -3*l. Do c and l have different values?
True
Let f = 92307/5 + -18369. Suppose 4*n - 5*u - 393 = 0, -2*n - 2*u = -u - 179. Let j = n - f. Is -0.07 not equal to j?
True
Suppose w = o + 2*o - 1, 3*w - 5*o - 9 = 0. Let c(g) = 2*g**2 - 2*g + 2. Let k be c(2). Let b = w - k. Which is greater: 0 or b?
b
Let k be (-1360)/(-56) + 2/(-7). Suppose -2*r + k = 2*r. Which is smaller: r or 7?
r
Let m(i) = -72*i - 4. Let w be m(4). Let x be w/(-18) + 4/(-18). Let l be (-12)/x + 2/(-8). Which is smaller: -3/4 or l?
l
Suppose -y + 5*d - 13 = 0, 2*d + 21 = 5*y - 29. Suppose 5*l - x = 3*l - 9, 0 = 5*l + x + y. Let u = -15 - -13. Which is greater: u or l?
u
Suppose -w + 2 = j, 4*j - 3*j = -4*w - 7. Suppose j*i - 15 = -0. Suppose -2*v + 4 = -0*v. Which is greater: v or i?
i
Let s = -255/4 - -64. Are s and -3 nonequal?
True
Let p = -0.7 - 0.1. Let f = 0.2 - p. Let w = 6 - 6.1. Which is smaller: w or f?
w
Let w be (-6)/(4*4/16). Is -3 < w?
False
Let b be 4/((-12)/(-9)) + 0. Suppose -5*h + 6 = -b*h. Is h < 4?
True
Let z(n) = 8*n**2 - 6*n + 6. Let g(s) = s**2 + 1. Let j(u) = -5*g(u) + z(u). Let v be j(4). Let o be ((-2)/(-2))/(v/(-10)). Which is greater: o or 0?
0
Suppose 4*s - 7 = 13. Suppose -n + q = 11, -s*n - 38 - 17 = q. Do n and 1/4 have different values?
True
Let f be 3/6*-2 + 5. Let w(d) = d**3 - 5*d**2 + 5*d. Let p be w(f). Suppose -5*m - a + 7 + 1 = 0, -3*m - p*a + 15 = 0. Which is bigger: 1/2 or m?
m
Let h = -12 + 12.6. Let p = h - 0.8. Which is bigger: p or 2?
2
Let o = -1662/11 - -151. Let t(d) = -d**3 + 2*d**2 + 2*d - 3. Let z be t(2). Do o and z have different values?
True
Let x be 240/25 + (-3)/5. Suppose -4 - 11 = 5*m - 5*n, 0 = -3*n - x. Let f = m + 5. Which is smaller: -4/5 or f?
f
Let r be (-6)/(-9) - (-2)/6. Let x be r/(-2 - (-17)/2). Which is smaller: -1 or x?
-1
Let m = 0 + 0. Let o = -2.97 - -6.97. Is o greater than m?
True
Suppose 70 = 4*h + h. Suppose -2*c - 16 - h = 0. Let r be 16/42*c/(-20). Which is smaller: 1/7 or r?
1/7
Let u = -12 + 86/7. Let l be ((-2)/(-28))/((-2)/6). Let c = u - l. Is c greater than or equal to 1?
False
Let o be (2 - 2 - -2) + 0. Suppose 2*p = 4*p + 3*d - 11, 2*d - 22 = -5*p. Let h be 2/(3*p/9). Are o and h non-equal?
True
Let s = -28 - -28.04. Is 0.02 less than s?
True
Let o = -4022/27 + 149. Is o greater than or equal to 0?
True
Let l = -6.7 - -7. Let j = l - 3. Let y = j - -0.7. Are y and 0 unequal?
True
Let u(k) = 3*k**2 + 45*k - 5. Let r be u(-16). Does r = 42?
False
Let g = 0 - -0.1. Let b = 0.34 - 2.34. Which is greater: b or g?
g
Let p(k) = 0*k**2 + k**2 - 3*k + 1 + 1 + 0*k**2. Let r be p(2). Do 0 and r have different values?
False
Let z = -8 - -9. Let o = 0 - 0.1. Is o less than or equal to z?
True
Let i = -18 + 16. Let a = 0.9 - -0.1. Do i and a have the same value?
False
Let t(w) = -w**2 - 7*w - 4. Let i be t(-8). Are 0.2 and i equal?
False
Suppose 2*p + v = -11, -3*v + 23 = -2*p - 0. Is p at least as big as -1?
False
Suppose -2*u = w + 13, 4*w - 27 = 5*u + w. Do -4 and u have the same value?
False
Suppose 0 = 3*h + 3*c - 34 - 5, -5*c = 4*h - 54. Let y = -8 + h. Suppose -2*p = m, -m = 3*p + y*m - 5. Is -3/2 <= p?
True
Let k be -1*(-3 + 0 + -1). Suppose -h = -3*h - k. Suppose 2*m = -1 - 1. Is h not equal to m?
True
Let w = -44 + 397/9. Are -0.1 and w nonequal?
True
Let c(m) = m**3 - m**2 - m + 1. Suppose 0 = -9*w + 4*w. Let s be c(w). Let n = s - 1. Which is smaller: 3/5 or n?
n
Let u(x) = -x**2 + 16*x - 19. Let j be u(15). Which is bigger: j or -5?
j
Let a = 19 - 28. Let g = 13 + a. Is g smaller than 10/3?
False
Let t = -1.3 - -1.3. Let o(m) = -m**2 - 5*m - 3. Let w be o(-4). Is t >= w?
False
Let t(r) = 110*r**2 + 2*r + 1. Let c be t(-1). Let f = c + -760/7. Is f bigger than -0.1?
True
Let z = 33 + -13. Is z >= 19?
True
Suppose 14 - 6 = -8*z. Let j be 16/30 - (-2)/(-3). Which is smaller: z or j?
z
Let c(r) = r + 15. Let n be c(-8). Is 7 > n?
False
Suppose -2*z + m = 3*m + 36, m = 2*z + 30. Is -16 smaller than z?
False
Let g(t) = t**2 + 3*t - 4. Let h be g(3). Let a = h - 18. Is a <= -3?
True
Let r be -1 - (-2 - -2) - -1. Let j = 3 - r. Let n = j - 2. Which is greater: n or 1/12?
n
Let g be ((-4)/7)/((-460)/70). Do -7 and g have different values?
True
Let n(u) = -u**2 - 6*u. Let j be n(-6). Suppose p + p - 2 = j. Which is greater: -3/8 or p?
p
Suppose 0 = -4*f - f + 25. Let u = -9 + f. Let k be 6*2/((1 - -1)*-2). Which is smaller: u or k?
u
Suppose w - 80 = -0*z - 3*z, 5*w - 5*z = 400. Is w not equal to 80?
False
Let s(z) = -1 + 3*z**2 + 4*z + 7*z**2 - 8*z**2 - z**2. Let f(m) = m**3 - 4*m**2 + 3*m - 4. Let r be f(3). Let y be s(r). Does y = -1/2?
False
Let v = -187 + 186. Let u(k) = 2*k - 10. Let l be u(7). Let a = 2 - l. Which is smaller: a or v?
a
Suppose 0 = x - 4*x. Suppose v + 3*v = x. Is v equal to -1/23?
False
Let c be -2*(1/2)/1. Let o = 341/9 + -38. Which is greater: o or c?
o
Let g(s) = -s - 3. Let i be g(-7). Let u = i - 2. Suppose -u*b = 2*b + 4. Are 2/7 and b equal?
False
Let h = -2/109 + 232/763. Let s = 4 + -2. Suppose m - 1 = g, s*g - 3*m + 7*m = 4. Is g < h?
True
Let b = -1.8 + 0.8. Let r = 5 + b. Let v = r - 2. Is v at most 2/3?
False
Let d = 603/5 + -121. Which is smaller: 5 or d?
d
Let j(k) = -k**2 - 8*k + 3. Let x be j(-8). Suppose -x*n = -0*n. Is n != 1?
True
Let k be ((-25)/(-10))/((-3)/(-6)). Suppose 3*h - 4*b + 4 = 0, 0*b = -h - 5*b + k. Is -4/13 smaller than h?
True
Let y = -0.01 + -0.09. Which is smaller: y or -2?
-2
Let z = 9.99 + -10. Let r = 0.09 - z. Is r not equal to -2?
True
Let n(z) = -2 + 3 - 3 + z + 1. Let a be n(1). Is a not equal to 1/40?
True
Let l = 2 + -2. Let p be (-3)/(1 + 0)*24/1332. Which is greater: p or l?
l
Suppose x = 158 - 159. Are -1/51 and x equal?
False
Let n = 105 - 286. Let r = -908/5 - n. Which is smaller: -1 or r?
-1
Let i = -4 + 4.2. Let o = -21.83 - -22. Let l = o + 0.03. Are l and i equal?
True
Let s(y) = -2*y**2 + 31*y - 15. Let d be s(14). Is 28 at least d?
True
Let w(f) = -f**2 - 6*f - 4. Let v be w(-5). Which is greater: v or -3?
v
Suppose -47 = -11*p + 41. Let j = -1/66 + 281/33. Which is smaller: j or p?
p
Suppose -5*q = -4*s + 3*s - 182, 680 = -4*s + 4*q. Let m = 1171/7 + s. Do m and 2/9 have different values?
True
Let q = 3.8 - 3.8. Is q less than 4/9?
True
Let a = 0.11 + 19.89. Let r = -19 + a. Is r greater than or equal to 0.4?
True
Let t = 3 + -1. Which is greater: -2 or t?
t
Let w = 6 + -15. Let k = -5 - w. Suppose k*x + 8 = b, 4*x - 5 = 4*b - 25. Which is smaller: 3 or b?
3
Let o(q) = q**2 - 7*q. Let f be 19 + (4 - 2) + -2. Let j = f - 12. Let l be o(j). Is 2/17 less than l?
False
Let j = 669.8 - 670. Let r = -2 + 1.95. Let s = 0.35 + r. Does s = j?
False
Let i(d) = -d**2 - 5*d - 6. Let b be i(-4). Suppose 45 = -0*g + g. Let q be 10/(-15)*g/6. Which is smaller: b or q?
q
Let r = -2083/824 - -700347/455672. Let c = -12/79 + r. Let v = c + 17/21. Does 0.1 = v?
False
Let r = 177/2 + -87. Suppose -4 = -5*l - v, -4*l + 2*v = 1 - 7. Let z = 2 + l. Is z at most as big as r?
False
Let g(r) = -r**3 - r**2 + r + 12. Let m be g(0). Let c be (-2)/42 + 4/m. Which is bigger: c or -6?
c
Let p = -0.9 - 0.1. Let q = -13 - -6. Let d = -7 - q. Do d and p have the same value?
False
Suppose -3*u + 4 = -2. Suppose -2*g = -5 + 1. Is g < u?
False
Let c be (-1)/(24/26 - 1). Let t = c + -14. Which is smaller: -3/8 or t?
t
Let g be (-6)/(-14) - (-2444)/(-329). Is g >= -9?
True
Let c = -26.58 + 26.6. Suppose 0 = -y + 2 - 1. Let x be 4/(-6)*(y + -2). Is c less than x?
True
Let n = 257 - 2831/11. Let u = n + 23/33. Which is smaller: u or 1?
u
Suppose 5*x = -3*h + 11 + 13, -15 = -x - 4*h. Suppose -1 = -0*y - y. Let k be (-4 + x)*(y + 2). Which is bigger: 0 or k