be (-2 - j) + 3 + -2. Which is smaller: c or 1?
c
Let g(q) = -q**2 + 4*q - 2. Let o be g(4). Let n be 72/(-27) + 2*1. Which is bigger: o or n?
n
Let w = 2445 - 46467/19. Is -2 less than w?
True
Let y be 19/1 + 0/5. Suppose -y = -4*n + 13. Suppose -6*x = -2*x + n. Is x at least -3?
True
Suppose 3*c + 5 = 2, -4*a - 4*c = 8. Let g be (a + -1*3)/(-2). Let b be -2 - (-2)/4*g. Which is bigger: -2/9 or b?
-2/9
Let n = -5 + -3. Is n greater than -9?
True
Let c be 38/8 - (-3 - 66/(-24)). Which is smaller: 1 or c?
1
Suppose -4*s = -4*z, 2 = 2*z - 6. Suppose 1 + 3 = -s*h. Let w be -1 + -3 - (0 + -2). Are w and h nonequal?
True
Let o = -0.48 + 4.48. Is o less than -2?
False
Suppose 0 = 2*m - 5*y - 21, -2*m + 5*y = -3*m - 12. Let o be (m + 1)*(-20)/16. Which is greater: o or -6?
o
Suppose 2*p - 2*g + 8 = g, -4*p + 3*g - 4 = 0. Suppose 2 = 4*s + 4*z - p, 0 = 2*z - 2. Let k be 32/(-8) - (1 + -3). Which is smaller: s or k?
k
Let x = 10 + -7. Let c be 1/(1/(20 - x)). Is 18 < c?
False
Let f(x) = -4*x**2 + x + 5. Let h(o) = o**2 - 1. Suppose 0 = -k + 2*i + 3*i + 20, i + 25 = -4*k. Let p(a) = k*h(a) - f(a). Let d be p(-1). Is d bigger than 1/6?
False
Let k = 84 - 37. Suppose -5*t + 50 = -o - o, 4*t - 3*o - k = 0. Suppose 4*u + 18 = 5*h, h + 0*h - 3*u = t. Is 4 at least as big as h?
True
Suppose 3*l - 3*k = 4*l + 6, 2*k = -4. Is -1 < l?
True
Let k be ((-6)/(-27))/((-12)/63). Which is greater: k or -2?
k
Suppose -3*c = -k + 10, -3 + 10 = -5*k - 4*c. Which is smaller: k or -1/9?
-1/9
Let b be (-2)/(-4) - (-72)/(-16). Is -1 at most b?
False
Let r(g) = -6*g - 60. Let b be r(-18). Is b not equal to 47?
True
Let f = -10 + 17. Let p = f - 6. Are 0 and p nonequal?
True
Let f be 6/(-5)*3*35. Let m = -11 - -15. Let p be m/18 + (-44)/f. Do 1 and p have different values?
True
Let w(d) = -2*d**2 + 15*d - 7. Let q be w(7). Are q and -1/11 non-equal?
True
Suppose 5*f + 0*f - 10 = u, 0 = 5*f + 3*u - 10. Is f >= 6?
False
Suppose 4 = 2*o + 3*m + 3, 5*m + 30 = 3*o. Suppose 5*d - 9 - 6 = 5*h, -o*h = -d - 5. Is h >= 1?
True
Let y be (-2)/(9/((-27)/6)). Is y greater than -4/19?
True
Let h be -4 + 0 - (-12 + 8). Are 4/17 and h equal?
False
Let j = 0.01 - 0.41. Let l = -0.3 - j. Let n be (2/4)/(10/8). Are n and l nonequal?
True
Let p(y) = y**2 + 9*y - 3. Let x be p(-10). Let i be (-3)/x*(-2)/(-3). Suppose 0 = d + 4*k + 20, 17 = 5*d - 3*k + 2. Which is smaller: i or d?
i
Let n be 90/(-5) - (0 - -3). Let w = 31 + n. Is w > 10?
False
Suppose 2*k = -k + 9. Let b = -5 + k. Let y = 0.4 + -0.3. Is y at least b?
True
Suppose 3*i = 4*n + i + 16, -n - 4*i + 14 = 0. Let z = n - -2. Let g be ((1/(-2))/(-1))/(-1). Is g greater than z?
False
Suppose -5*h = -0*h - 5. Let b(s) be the third derivative of s**4/24 + 7*s**3/6 - s**2. Let j be b(-6). Is h equal to j?
True
Let g = -0.15 - -10.15. Are g and -2 non-equal?
True
Let m(o) = o**2 + 6*o - 8. Let c be m(3). Is 19 smaller than c?
False
Let d be (-78)/24 + (1 - -1). Let b(j) = j - 9. Let u be b(7). Is d at least u?
True
Let i be ((-4)/6)/((159/9)/1). Is -2 <= i?
True
Let t = -29/95 - -2/19. Is t less than -1/5?
False
Let c(z) = z**3 - 4*z**2 - z + 4. Let q be c(4). Suppose q + 1 = -s. Is -7/6 at least as big as s?
False
Let g be (-6)/33 + (-2)/(-374). Which is bigger: 0 or g?
0
Let m be 0 - 12/42 - (-2)/(-28). Which is greater: -1 or m?
m
Suppose 5*d + 20 = 0, -5*l = 5*d + 9 + 6. Let v = -3.3 - 1.7. Which is greater: l or v?
l
Let y = -200/651 + 2/93. Let k = 1 - 0.5. Let p = 0.3 - k. Is p at least as big as y?
True
Let c be (-162)/39 - (-2)/13. Let t = -7 - c. Does -3 = t?
True
Let h = -34 - -24. Let n(c) = c + 2. Let k be n(h). Which is greater: k or 1/4?
1/4
Suppose 0 = 3*f, -4*f + 1 = -2*s + 7. Let o be 6/2 - 5 - 0. Let j = s + o. Which is greater: -2/7 or j?
j
Let d = -0.1 - 6.9. Let q = d - -9. Is q < -1/2?
False
Suppose q - 3*q - 6 = 0. Let m be (1/(-2))/(q/6). Let x be (m/3)/(5/6). Which is smaller: x or 2?
x
Let v = 6 + -6. Let a be 206*((-5)/(-6) - 1). Let l = a - -34. Which is greater: v or l?
v
Let t be (-1)/2*(4 + 2). Which is bigger: t or -11/4?
-11/4
Let a = 18/229 + 99579/458. Let v = a - 205. Let r = v + -12. Which is smaller: 0 or r?
0
Let g = 16 + -10. Let o = 5 - g. Do -4/7 and o have the same value?
False
Let y be 1 + ((-2943165)/(-66))/(-5). Let p = 8915 + y. Let h = -13/11 - p. Which is smaller: h or 1?
1
Let j = -6/61 - 7546/183. Let q(i) = -i**3 - 5*i**2 - 2*i - 7. Let n be q(-6). Let v = n + j. Are 3/7 and v equal?
False
Let l = -4 + 3. Let f = -0.8 - l. Let i = 0.4 + -0.2. Is i <= f?
True
Let q(i) = i**2 - 15*i + 3. Let j be q(14). Is -11 smaller than j?
False
Let r = 83/6 + -14. Which is smaller: 0 or r?
r
Suppose 4 - 2 = -q. Let h be 27/(-9)*1/5. Which is bigger: q or h?
h
Let v(a) = -a**3 - 2*a**2 + a + 3. Let j be v(-3). Is j less than 1/3?
False
Let i = 1173/2 + -615. Do -28 and i have the same value?
False
Let x = 0.78 - -0.22. Is x less than or equal to -3/17?
False
Let k be -1*(-6)/153*3. Is k < 2?
True
Let i be -5 + (-15)/10*28. Is i greater than or equal to -46?
False
Suppose -5*v + 25 = -10*v. Let j(r) = r**3 + 4*r**2 - 4*r + 6. Let b be j(v). Is 1/8 less than or equal to b?
True
Let v = -9 + 0. Which is smaller: v or 1?
v
Let c = 0 + 3. Let p be (-2)/c - 609/(-90). Let b = -13/2 + p. Which is greater: 1 or b?
1
Let x = -1627/740 + -1/740. Let r = 5 + -4.9. Is r equal to x?
False
Let f be -8*(3/(-12) + 0). Suppose 3*v + 5 = 4*l, 3*v - 8 = -f*l - v. Is l != 2?
False
Let m = 5.2 - 5. Let h = m + -0.3. Let q be (-2)/(-12) + (-8)/12. Is h bigger than q?
True
Let x be ((-1)/(-3))/((-3)/9). Is 2/197 equal to x?
False
Let c(w) = w + 9. Let k be c(-5). Is k > 3?
True
Let d = -0.07 + 14.07. Which is smaller: d or 1?
1
Suppose -4*b + 2 = -2*t - 2, -4*t = 3*b - 3. Let u be 0*((-1)/(-2) - b). Which is bigger: u or 1/4?
1/4
Let r = -9 + 5. Let z = 1 + r. Let f = 0 - 1. Is f greater than z?
True
Let q(y) = 3*y**2 - 29*y - 6. Let h be q(7). Is h > 2?
False
Suppose -6*s + 40 = -c - 2*s, 3*c - 2*s = -170. Which is smaller: c or -59?
c
Let p(d) = 2*d + 1. Let z be p(-3). Suppose -2*k - 12 = k - 3*g, -5*g - 34 = k. Let c = k - z. Is c < -4?
False
Let s = 7 - 6.94. Let p(q) = q**2 + 3*q - 5. Let o be p(-4). Which is bigger: o or s?
s
Let q = -1.3 - -0.7. Let x = q + -0.4. Is -2 greater than or equal to x?
False
Let h(l) be the second derivative of 0 + 3/2*l**2 + 1/6*l**3 - l + 1/20*l**5 + 1/12*l**4. Let m be h(0). Is m >= 3?
True
Let y be ((-6)/(-12))/(1 + -3). Suppose 0 = b - 5*b + 16. Suppose b*v - 6*v = -2. Which is smaller: y or v?
y
Let a = -121 - -120. Which is bigger: -13/3 or a?
a
Suppose 0 = -4*n + 25 + 3. Suppose 0 = 5*z + 25, -2*z = g - 4*g + 10. Suppose g = -3*u + n*u. Which is bigger: u or 2?
2
Suppose -r + 7 - 6 = 0. Let h = r - 11. Let n be h/(-15)*6/(-4). Which is smaller: -1/15 or n?
n
Let o = -14 - -18. Is o >= 9/2?
False
Suppose 4*w + 12 = 3*n - 3, -4*n = 12. Which is smaller: w or -8?
-8
Let n be -1*5*(-2)/(-10)*-2. Which is smaller: 4 or n?
n
Let s be 50/(-6) - (-2)/6. Let c = 9 + s. Is -0.2 < c?
True
Let k = 3 + 0. Let i be -2*(1 + (-2)/k). Is 0 greater than or equal to i?
True
Let b be (2/(-6))/((-2)/(-9)). Let w be 11/3 - (-4)/(-6). Suppose -w = 4*m + 9. Which is greater: b or m?
b
Suppose 5*x + 17 = 4*z - 3, 3*x + 3*z = 15. Let k = -16/17 + 271/306. Is k at most x?
True
Let d be 4/(-20) + 33/90. Which is bigger: d or -1?
d
Suppose -4*u - 16 = -5*s + 17, 5*u = -3*s + 5. Is u at most as big as 10?
True
Let q = -7 - -4. Let r be (15/(-24))/(q/12). Which is bigger: r or 1?
r
Let k be 8/36 - (0 - 0). Which is greater: 0.4 or k?
0.4
Suppose -9*f + 3*f + 18 = 0. Which is smaller: f or 7/4?
7/4
Suppose 4*c + 48 = -3*z, 3*c + 5*z + 58 = 22. Let o = 10 + c. Which is smaller: -1 or o?
o
Let r(l) = -l**2 - 2*l - 2. Let x(j) = j - 8. Let v be x(6). Let q be r(v). Let m = -3 + 1. Is m at least as big as q?
True
Let h be 30/(-4)*(-4)/(-6). Let c = h + 7. Is 1 > c?
False
Let w be ((-8)/340)/(2/10). Which is smaller: 0.1 or w?
w
Let p be 3/(-9) - (-1)/3. Suppose 3*x - 1 - 8 = p. Suppose 2*r = -5*m - 14, -4*m - 4 - 6 = 2*r. Are x and r nonequal?
False
Let p = -35/2 - -17. Which is smaller: 0 or p?
p
Let i = 0.05 - 0. Let s = -1.2 + 3.15. Let z = s + i. Do 2 and z have the same value?
True
Suppose 0 = -4*u + 4*b - 424, 163 