 + 2. Which is smaller: c or -3/2?
-3/2
Let s(u) = -u + 2. Let r be s(0). Let g be 1*r*6/12. Is 2/13 at least g?
False
Suppose 135*o - 10 = 140*o. Is o smaller than 0?
True
Let s be (2 + 1)/(18/6). Let x be (-2)/(-3)*3/s. Let n be (10/4)/(1/x). Is n equal to 6?
False
Let z be 1*-3*1/(-18). Let b = -5 - -7. Which is smaller: b or z?
z
Let k(y) = y + 5. Let j be k(-17). Let o(v) = 6*v. Let h be o(-2). Is j at most as big as h?
True
Let n be -10 + 11 + (-2)/2. Suppose 2*a - 1 + 3 = n. Does a = -3?
False
Let d(l) = -l**2 + l + 15. Let n be d(-7). Which is bigger: -42 or n?
n
Suppose -57 - 18 = 5*c. Let h be 16/c + (-6)/(-15). Is -0.02 > h?
True
Suppose 65 + 57 = u - 3*o, 4*u - 4*o = 456. Which is smaller: u or 111?
u
Let s(o) = o**3 - 8*o**2 - 2. Let u be s(8). Is u at most 3?
True
Let i = -3 - -4. Let t be -4*(i + 4/(-8)). Is -1/4 less than t?
False
Let o be (-2)/(-10)*(-28)/14. Which is bigger: 1 or o?
1
Suppose 0 = -5*l - 650 - 200. Let t be 1/136 + (-20)/l. Are t and -1 non-equal?
True
Suppose 3*v = 57 + 21. Suppose -2*k = 2*y - 16, -3*y - y - 2*k + v = 0. Let h = -3 + y. Which is smaller: h or 1?
1
Let b = -14/255 - 1658/765. Which is bigger: b or -2?
-2
Let y = 8.2 - 8. Let j(l) = l**2 - 5*l + 3. Let h be j(4). Let w = 0 + h. Is w bigger than y?
False
Let s = -13.3 + 14.1. Is -3 != s?
True
Suppose -5*r + 55 + 95 = 0. Which is greater: -0.1 or r?
r
Let q = -14 - -23. Let k be (13 - q)*1/4. Let v(g) = -2*g**3 + g**2 + g. Let u be v(-1). Which is smaller: u or k?
k
Let q be (40/6)/((-2)/(-6)). Suppose 4*t - 5*t = 2*s + q, 3*t + 52 = -4*s. Let v be 6/56*t/(-3). Which is smaller: 1 or v?
v
Let n be (6/(-9))/(4/(-3)). Let p be -1 + (-2)/(2 - 3). Suppose -p = -g - 0. Which is smaller: n or g?
n
Suppose 2*u - 25 = -3*u. Suppose 0 = 4*m - 1 + u. Let k be (-1 + 14/10)/2. Is m at least as big as k?
False
Suppose -4*y = -8, -2*f = -2*y + y. Which is bigger: 5 or f?
5
Let t = 13/23 + 1/161. Suppose -12 + 42 = 5*v. Suppose -5*q = -m - v, 0*q = 2*q - 3*m - 5. Which is greater: q or t?
q
Let u be (3 - (-21)/(-6))*0. Is -2 smaller than u?
True
Suppose -13 = 2*j - 11. Which is smaller: j or 0.24?
j
Let v(j) = -j**3 + 4*j**2 + 4*j. Let y be v(5). Let d = -36 + 21. Let q = d - -14.9. Which is greater: q or y?
q
Let o(w) be the first derivative of -w**4/4 - w**3 + w + 1. Let i be o(-3). Suppose a = -0*a + i. Is a not equal to 2?
True
Let a = -6879/17 - -405. Which is smaller: 0 or a?
0
Let p = 0.013 - 0.213. Is 12/11 greater than or equal to p?
True
Suppose -2*h - 28 = 2*h. Let c(z) = -z**2 - 8*z - 4. Let m be c(h). Suppose -9 = 4*p - 5*j, 8*p + 6 = m*p + j. Which is smaller: 0 or p?
p
Let v = 5.5 - 2.9. Do v and 0.1 have different values?
True
Let s be (-68)/(-3)*(-10 - -7). Which is greater: -67 or s?
-67
Let k be -2*3/(-6)*1. Let o = k - 0. Which is smaller: 3/7 or o?
3/7
Let m be -3 + 2 + 10/2. Let c = 6 - m. Suppose -s - c*h + 3*h = 8, -2*s - 4*h + 8 = 0. Is -5/2 != s?
True
Let a be (-31659)/(-16) - 6/3. Let z = 1976 - a. Let x = z + 87/80. Is -2/11 greater than x?
False
Let u = 0.4 - 0.2. Let w = 7.9 + 0.1. Let p = -8.2 + w. Which is smaller: u or p?
p
Let y be 3/(-2)*4/(-6). Let l(x) = -x - 77. Let n be l(0). Let c = -386/5 - n. Which is bigger: c or y?
y
Let u = -10 - -10. Let z = -130 + 653/5. Which is greater: u or z?
z
Let n = -8 - -6. Suppose j = -3*k + 33, -52 = 2*k - 6*k - 4*j. Let m be (-3)/(-4) - 15/k. Is m greater than n?
True
Suppose 1 = 2*f + 7. Let w be 1/((3/(-2))/3). Which is smaller: f or w?
f
Let u be 1 - (4 + -1) - 371/(-175). Do 1 and u have different values?
True
Let x = -688081/7 - -98471. Let p = x + -174. Which is greater: 0 or p?
0
Let b = -8 + 9. Let z be (-2)/4*b*-2. Are -1 and z nonequal?
True
Suppose g + 12 = 3*g. Does g = 6?
True
Let x(o) = o**3 + 5*o**2 + 4*o - 2. Let h be x(-4). Let n be (h - -1)*-4*1. Let c be (-2)/8 - 21/(-4). Which is greater: c or n?
c
Suppose -7 = 3*y - 1. Let n = 1 - y. Let g be 3 - 1/4*0. Is n not equal to g?
False
Let n = 2/5 + -13/45. Let q = 2 - 1. Is q at least n?
True
Let z be (-10)/35 + (-3196)/(-14). Let x be 128/z + 2/(-3). Let h = -8 - -7. Is x smaller than h?
False
Let o(w) = -w**3 - w**2 - 16. Let p be o(0). Is p less than -15?
True
Suppose 0*m = 5*m + 3*d + 2, 0 = -3*m - 2*d - 2. Let a(o) = 1 - o**2 - 2 - m*o + 7*o. Let b be a(5). Which is bigger: 0 or b?
0
Suppose 3*m + 3 = -z, -m - 1 = 4*z - 9*z. Let y = 2.2 + -2.7. Is y at most m?
False
Let y(b) = -7*b + 3. Let i be y(-1). Which is smaller: 7 or i?
7
Let r(j) = -3*j**2 - 3*j - 2. Let w be r(-2). Let m = -3 - w. Let k be 12/m + (-2)/1. Is k at least 1?
False
Let y = -86/5 - -428/25. Is y smaller than 0?
True
Let o = -5 - -13. Let k = -7.904 - 0.096. Let b = k + o. Is b less than or equal to 0.2?
True
Let i be 150/(-9) + 4/6. Let f = i + 17. Is f less than -1/4?
False
Let i(u) = 20*u**2 + 2*u + 1. Let l be i(-2). Suppose 0 = -q - l - 185. Let t = q + 1314/5. Which is smaller: 1 or t?
t
Let a be (-28)/(-3) - 8/6. Let n = a - 8. Let k = -8/13 + 53/65. Which is smaller: k or n?
n
Let m = 6 - 3. Let t be 8*m/6*-1. Which is bigger: -3 or t?
-3
Let v = -13/9 + 25/9. Is v >= 0?
True
Let k = -0.01 + -4.99. Let f = k - -3. Let s = f + 3. Are s and -2/7 unequal?
True
Let s = -443/2 + 238. Is 18 at least as big as s?
True
Let w = -91.29 + 91. Which is smaller: w or -2?
-2
Let x = -28 + 19. Is 0 greater than or equal to x?
True
Let o(j) = -j**3 - 9*j**2 - 9*j - 2. Let a be o(-8). Suppose -4*r + 4*f - 12 = 0, 3*r - 2*f + 0*f = -a. Is 9 at least as big as r?
True
Let j = -525/1027 + 10/79. Is -1 at most j?
True
Let l = 35/12 - 9/4. Is 62 < l?
False
Let o be (-2)/((-2)/(-5)) + (-2 - 1). Does o = -12?
False
Let p(z) = -z**3 + 3*z**2 - 2*z - 1. Let s be (-4)/10 + 48/20. Suppose -g = 4*d - 3*d - 4, -2*g + s*d = 0. Let l be p(g). Is -1/3 >= l?
True
Let z be (-3)/(-2 - (-28)/8). Let g be (-15)/60 - z/(-88). Are 0 and g unequal?
True
Let b be 3 + (-3)/((-48)/(-50)). Which is greater: -1 or b?
b
Suppose 2*s - 33 - 13 = -4*j, 5*s - 7 = 2*j. Are j and 33/4 nonequal?
True
Let z(c) be the third derivative of -c**4/24 + c**3/2 + 5*c**2. Let a be z(-3). Which is smaller: a or 5?
5
Let d = 498/5 - 99. Let k be ((0 + -46)/(-2))/30. Let w = d - k. Which is smaller: w or -2/9?
-2/9
Suppose -2*u - 3*u + 5*g = 0, -4*u + 5*g + 2 = 0. Is 0 >= u?
True
Let j(r) = -r - 4. Let f be j(2). Let q be 6/(-3)*f/(-4). Let h = -41/6 + 16/3. Is h bigger than q?
True
Let k = 155/2 - 76. Are 3 and k nonequal?
True
Let i = 21.9 - 22. Which is smaller: -2/9 or i?
-2/9
Let t = -40 + 362/9. Let h(x) = x - 4. Let g be h(3). Is g at least as big as t?
False
Suppose 0 = -2*x - 4*k + 1 + 23, 0 = -5*x - k + 24. Let z be (-1)/(-5) - x/45. Is z smaller than -1?
False
Let c = -0.53 - -0.03. Let h = 4 - 4.4. Let d = c - h. Is -2/3 > d?
False
Let h = 7 + -25/4. Is h != 2?
True
Suppose -6 = -4*h + h. Suppose 0 = -h*w - w. Which is greater: w or -2/9?
w
Let d(g) = 2*g + 6. Let k be d(-4). Let z be 10/(-16) - k/4. Let y(q) = -q - 8. Let b be y(-7). Which is smaller: z or b?
b
Suppose 0 = -11*q + 7*q. Is -6/13 >= q?
False
Let l = -2 - -0.4. Which is smaller: l or -2/9?
l
Suppose 4*b - 2*b = 0. Suppose -4*t - 31 = s - 8, -2*s + 5*t - 7 = b. Let f be s/(-3) + -2 - 2. Which is greater: 1 or f?
1
Suppose 0 = -5*w - 2*k - 34, 3*w + 17 = -2*k - 1. Which is smaller: w or -31/4?
w
Let n be 0/3 + 1 + -2. Let z = -187/4 - -46. Which is bigger: z or n?
z
Suppose 0 = 3*q + q - 3*i + 10, i + 18 = -4*q. Let c be 9/(-60)*q*5. Is c bigger than 4?
False
Let s = 28 - 26. Which is smaller: s or 8?
s
Let z = -1/100302 + -1560231/2240078. Let n = -2/67 - z. Which is smaller: n or 1?
n
Let o be ((-1)/(-105))/((-1)/(-6)). Is o smaller than -1?
False
Suppose 30 = -4*d - d. Let b be ((-2)/d)/(10/(-6)). Is -1 <= b?
True
Let z = -352/2715 - 2/543. Let s(y) = y**3 - 4*y**2 + y. Let u be s(4). Let n be u/8*1*0. Are z and n equal?
False
Let u(n) = n**2 + 7*n - 1. Let r be u(-5). Let j = r - -8. Is -5 >= j?
False
Let d = -6 + 32. Suppose d = 4*g + 10. Which is smaller: 7 or g?
g
Let s be (-26)/3 + 6/9. Let i be s/15*3/(-2). Which is smaller: i or 1?
i
Let g(t) = 8*t + 1. Let h(n) = -4*n. Let q(s) = 2*g(s) + 5*h(s). Let m be q(-2). Which is bigger: m or 9?
m
Let d = 1.95 + -0.96. Let i = d - -0.01. Are -4 and i non-equal?
True
Suppo