 w be 0/(-2) + (-4 - -4). Let l = w - h. Is -1/3 greater than l?
True
Let b = -1 + 1.04. Let h = 0.1 + -0.26. Let d = b - h. Which is smaller: 0.1 or d?
0.1
Suppose -6*m + 9*m = 30. Let c = 22 - 12. Do m and c have the same value?
True
Let u = -51.8 + 52. Which is greater: u or -10?
u
Let p(g) = -g**3 - 4*g**2 + 6*g + 4. Let r be p(-5). Which is smaller: -2/5 or r?
r
Suppose -4*z + 1 = -23. Let h be -3 + (-16)/(-2) - 1. Which is bigger: h or z?
z
Let v be (-1 + 0)*0 + -123. Let s be -7*1/22*386. Let t = s - v. Are 1 and t unequal?
True
Let s(f) = -f**3 - f**2 - 2*f + 3. Let b be s(-3). Let x = 24 - b. Are x and -3 nonequal?
False
Let m(h) = -6*h - 14. Let a(j) = j + 3. Let s(f) = 11*a(f) + 2*m(f). Let y be s(4). Let o(l) = 7*l - 26. Let r be o(4). Which is greater: y or r?
r
Suppose 5*f = -3*n - 1, -4*n - 2*f - 2*f - 12 = 0. Which is smaller: 1 or n?
n
Let b = 17 - 19. Which is smaller: b or 1?
b
Let a be 63064/1012902 - (4 + -3). Let t = -2966/1133 - a. Let w = 2/149 + t. Do -2 and w have the same value?
False
Suppose 30*c = 33*c - 27. Do c and 9 have the same value?
True
Let f = 20.6 + -21. Is -1 not equal to f?
True
Suppose -5*x + 0*x - 15 = 0. Let i = 6 + x. Suppose i*o - 2*o = 0. Which is bigger: o or 3?
3
Let p = -566/15 - -112/3. Let b(r) = -r**2 - 6*r - 6. Let c = -1 - 3. Let s be b(c). Which is greater: p or s?
s
Let h be ((-3)/(3/17))/(-3). Let y = h - 5. Let j = 3 + -1. Is j >= y?
True
Let d = 25 - 41. Let a be 5*(d/110)/(-4). Let n = -7 + 7. Is n greater than or equal to a?
False
Let g = -1/587 - 1059/67505. Which is greater: 1 or g?
1
Suppose 8 = -4*c + 32. Suppose 8*d = 5*d - c. Let f(r) = -r**2 - r + 4. Let o be f(-3). Are d and o nonequal?
False
Let b = 184477/5 + -36770. Let t = b - 125. Is t not equal to 2?
True
Suppose 2*q + 36 = 2*c, -3*c = 3*q - 8*c + 58. Let p be ((-6)/4)/(9/(-93)). Let d = q + p. Is -1 greater than d?
False
Let g = -12 - -61/5. Let r = 5 + -3. Let a = 3 - r. Is g bigger than a?
False
Let o = 3/17 + 11/34. Let m = 0.71 + 0.29. Is m bigger than o?
True
Let j = 17.974 - 0.174. Let w = -18 + j. Which is greater: w or 5?
5
Let n(t) = -t**2 - t + 1. Suppose 4*p - 16 = 0, 0 = 2*x - 6*x - p + 4. Let l be n(x). Which is smaller: l or -1?
-1
Let v(p) = p**2 - 4*p - 5. Let q be v(5). Is -3/4 bigger than q?
False
Let l = -12 - -13. Suppose -2*y + y - r - l = 0, -2*y + 4*r + 16 = 0. Is 0 > y?
False
Let y = -7/19 - -75/152. Let d(r) = -r - 2. Let i be d(-3). Let u = i - 2. Is y < u?
False
Let k = -18 - -19. Are k and -12/11 non-equal?
True
Suppose 2*v - 4 = v. Let k(g) = g**2 - 3*g. Let j be k(v). Let i = 4 + -2. Which is smaller: j or i?
i
Let x = -3.051 - -0.051. Is -1/4 less than or equal to x?
False
Let y be ((-17)/(-17))/((-1)/(-22)). Let k = y - 12. Is 10 greater than k?
False
Let v = -6 + 5. Let b = v + 38. Let f = b - 184/5. Are f and -0.2 nonequal?
True
Let t = -25 + 31. Let q be (-27)/(-18) + t/(-4). Which is smaller: -2/7 or q?
-2/7
Let s(f) = -f - 7. Let o be s(-8). Let b be (-1 + (-2)/(-2))*o. Let k(m) = m**3 - m**2 + 1. Let i be k(1). Which is smaller: b or i?
b
Let j = 56 - -24. Let p be j/(-15)*(-6)/(-4). Which is bigger: p or -7?
-7
Let y be (-2 + 2)/2*(-1 + 0). Let t(q) = q - 3. Let j be t(-5). Let o be j/6 + (-2)/(-6). Is o at least y?
False
Suppose -f = -w + 3 - 4, 2*f - 3 = w. Suppose 2*x + w = 7. Suppose -c + 2 = x. Is c at most -1/3?
True
Let g be (1 - -9)/1*1. Let v be ((-6)/g)/(90/(-100)). Which is smaller: -1 or v?
-1
Suppose -5*q - 2*u + 25 = -0*q, -5*q + 25 = 4*u. Suppose 0 = -q*v - 0*v - 40. Let k be 12/v*(-8)/90. Which is smaller: k or -1?
-1
Let p be (0 - 3)/(27/(-12)). Which is smaller: -2 or p?
-2
Let z = -111/2 - -56. Are -0.09 and z equal?
False
Let s = -40/17 - -1914/799. Which is greater: s or 1?
1
Let d be 2*(-4)/8*-1. Let j = 5 - 8. Let u be (j + 2)/((-2)/4). Are d and u nonequal?
True
Suppose 0 = 4*c - 2*k - 56, -2 = -5*k - 22. Is 13 not equal to c?
True
Let v = 0 - 3. Let l = v + 3. Let z = 6 - 9. Do l and z have different values?
True
Suppose -15 - 6 = 3*a. Let w be 0 + 1 + 0/a. Which is smaller: 3 or w?
w
Let l = 9 + -6. Suppose -3*x - 15 = -6*x. Is l greater than or equal to x?
False
Let z = 3.9 - -1.1. Is z at least as big as -0.2?
True
Let o = 6/5 + -1. Suppose 0 = -4*u + 2*r + 4, -r - 2 = 5*u - 0*u. Is o less than u?
False
Let g = 507/23 - 9165/253. Which is greater: g or -15?
g
Suppose 0 = 3*f + 3 - 0. Let r(w) be the first derivative of w**3/3 - 2*w**2 + w - 2. Let d be r(3). Which is bigger: f or d?
f
Let w = -6 + -7. Is w at most as big as -13?
True
Let t = -17 - -19. Let p be (-105)/196 - t/(-7). Is 1 bigger than p?
True
Let v = -49/3 + 44/3. Let q be (-4)/14 + 10/(-14). Which is smaller: q or v?
v
Let h = 13.97 + 0.03. Let y = 22 - h. Which is smaller: 1 or y?
1
Suppose 5*z - 2*z - 12 = 0. Let k = z - 3. Suppose x + 0*x + k = 0. Which is smaller: -2/9 or x?
x
Let d = 3 + -2. Let y = 101/2 + -50. Which is bigger: y or d?
d
Let l be (-2)/6 + 5084/24. Let t = -216 + l. Is -6 at most as big as t?
True
Let s = 91 + -92. Which is bigger: 1 or s?
1
Suppose 0 = 4*k - 5*f + 27, 0*f = 3*k + 4*f + 28. Is -9 at least k?
False
Let y be 0 - (1 - 1/1). Let d be (-4 - 2)*(-3)/9. Which is smaller: d or y?
y
Let y be -2 + ((-2)/3 - 822/(-315)). Are y and 1/3 equal?
False
Let i be (-4)/(-2) + (-2 - -2). Is i bigger than 3?
False
Let h(q) = -9*q + 4. Let k be h(-4). Suppose -4*a - a = k. Is -1 < a?
False
Suppose -6*q - 12 = -2*q, -2*f + 3 = -q. Suppose 3*z + f*z = 0. Suppose z = -w + 2*w. Is w bigger than -3/5?
True
Let d(s) = 2*s - 18. Let w be d(8). Let x be (-1 - w)/((-6)/(-4)). Which is bigger: x or -2/9?
x
Let k be (-10)/(-2) + (-4 - -2). Suppose -t = 2*x - 7, -2*t - 15 = -4*x - k*t. Let z be (-3)/x*(-16)/78. Which is bigger: z or -1?
z
Let g be 2/(-1*2)*3. Suppose -5*i + 11 = -b, 0*b = 4*i - 3*b. Let k = g + i. Do 1 and k have the same value?
False
Let l be (1 + -8)/(-6 + 5). Suppose -8 = 2*v - i - i, -v + 2*i - l = 0. Let t be (v/4)/((-30)/(-16)). Is t less than or equal to 0?
True
Suppose -5*t - 5*f + 85 = -0*f, -t - 2*f + 13 = 0. Which is smaller: 20 or t?
20
Let t(u) = u**2 + 6*u. Let q be t(-6). Which is bigger: -1 or q?
q
Suppose -q - 15 = p - 6, -4*q - 3*p - 33 = 0. Are q and -5 equal?
False
Let n = 18 - 28. Let t = 9 + n. Which is greater: t or 1/3?
1/3
Suppose 4*i + 11 = 3. Let d = -2 - -3. Suppose 0*r - r - d = 0. Is r equal to i?
False
Let u = 7 - 4. Let l = u + -4. Which is smaller: l or -3?
-3
Let f be (24/20)/((-2)/(-5)). Let s be (-2)/f*6/(-26). Is s at least 1?
False
Let f be (-3*(-8)/(-12))/2. Is f greater than -2?
True
Suppose -4*w + 0*h = h + 44, 0 = -4*h + 16. Let x = -12 - w. Which is bigger: x or 11?
11
Let r be ((-2)/4 + 0)*0. Suppose r = -3*t + 1 + 2. Which is bigger: t or -2/19?
t
Suppose 24 = -d - 47. Which is smaller: -72 or d?
-72
Suppose -3*t + 9 = -0. Suppose -7 = 4*s + 3*r, 4*s + 28 = r + t*r. Let y = s + 7. Which is bigger: 6 or y?
6
Let j be (-5 + (-25)/(-5))/(-1). Do j and -3/70 have the same value?
False
Let z = -37322/255 + 732/5. Is 0 at most z?
True
Suppose -5*o + o - 20 = 0. Let w(q) = q**2 - 7*q + 1. Let a be w(6). Is a greater than o?
False
Let z(q) = q**3 + 6*q**2 - 5*q - 3. Let f be ((-63)/(-9))/((-2)/2). Let j be z(f). Which is smaller: -18 or j?
-18
Let l be 2 - (54/(-28))/(-1). Let j = 11/7 - l. Suppose -15 = -2*d - 3*d. Which is greater: j or d?
d
Let u be 1/(18/8 + -2). Let k(c) = c**2 + 4*c - 7. Let q be k(-6). Suppose -z = -5*z - 2*r, u*z = q*r. Are 1/7 and z nonequal?
True
Let w(n) = 3*n + 2. Let c = 19 + -22. Let p be w(c). Is 0 bigger than p?
True
Let c = 90 + -40. Suppose 0 = 2*t - 3*y + 3, -2*y = 5*t + 2*y - c. Let h(g) = -g**2 + 5*g + 7. Let u be h(t). Which is bigger: u or 2/7?
u
Suppose -2 + 8 = 2*u. Suppose 0 = u*o - o. Which is bigger: -1/2 or o?
o
Let z be -1 + (7 - 0)*77/(-7). Is z < -79?
False
Suppose 0 = -u + b - 7, -u + 23 = b + 4*b. Let s(z) = z**2 + 5*z + 4. Let j be s(-5). Suppose 0 = -3*v + 1 - j. Which is smaller: v or u?
u
Let f be (-23)/(-4) - 4*(-3)/48. Is f less than 8?
True
Let t = 10 - 5. Suppose t*c - c = 0. Is -2 smaller than c?
True
Let q = 0.09 - -0.91. Is -2 < q?
True
Let l be 2/(-1) + (4 - -77). Let j = l + -551/7. Which is smaller: 1 or j?
j
Let b be 2 + -23*(-2)/(-2). Let y be b/(-12) + (-3 -