22 + 20. Which is smaller: -4 or c?
-4
Suppose 0 = f + 4*u - 10, -47 = -5*f - 3*u - 14. Is 7 less than f?
False
Let c = 40 + -36. Let m(v) = v**2 - 7*v + 9. Let s be m(6). Is s less than or equal to c?
True
Suppose 2*h - 20 = -0*r + 2*r, -5*r = 25. Suppose h*g - 2 = -22. Is -4 greater than or equal to g?
True
Let x be 6/33 - (-202)/(-22). Which is greater: x or -1/3?
-1/3
Suppose o = 3*d - 0*d - 20, 0 = -d - 3*o + 10. Is 7 <= d?
True
Let o(s) = -s**2 + 5*s + 5. Let t be o(6). Let n be 1 - (-1 + 1 + 1). Is t smaller than n?
True
Let s(k) = k**2 - 4*k + 2. Suppose 35 = 5*w + 3*n, -5*n + 37 = w + 2*w. Let c be s(w). Is c less than or equal to 1/2?
False
Suppose -4*q + 5*v - 35 = -9*q, 4*q = 5*v - 8. Let a be (4/(-6))/(11/q). Suppose -94*p - 1 = -95*p. Which is smaller: a or p?
a
Suppose r + 5 = 6*r. Do r and 2/187 have different values?
True
Let h be (14*141/(-17646))/1. Let g = 1/173 - h. Is -1 equal to g?
False
Let h be ((-3)/(-9)*-1)/(2/12). Do -16/9 and h have different values?
True
Let c = -0.4 + 0.6. Let d = c + -0.3. Is d != 0.2?
True
Suppose 0 = -3*u + c + 4, 3*c = 7 - 1. Let k be -2 - (3 + -2*u). Which is smaller: k or -1/2?
k
Let d = 36 - 25. Which is smaller: 12 or d?
d
Let j be (4/(-1))/1*5/1770. Do j and 0 have different values?
True
Suppose -3*n + 40 = 10. Let d be (-3)/9 - (-84)/9. Does n = d?
False
Let r(y) = -y**3 + 10*y**2 + 6. Let d be r(10). Suppose 2*v + 6 = -b, -d*b + 5*v + 6 = -4*b. Which is smaller: -3/4 or b?
b
Let h = -504 - -499.09. Let m = -0.09 + h. Is m at least -1?
False
Let k = 394 - 1159/3. Is 0.1 greater than k?
False
Suppose 10 + 0 = -j. Let u be (j/(-45))/(4/30). Which is bigger: 3 or u?
3
Let c be 2 + -1 + -1 - (-10)/14. Is 2 greater than or equal to c?
True
Let w = -178 - -106. Let h = -50 - w. Let g = 45/2 - h. Which is greater: g or 2?
2
Let n be (-245)/212 + (-9)/(-36) + 1. Do 1 and n have the same value?
False
Let v = 10 - 9.87. Let n = v + 0.07. Which is smaller: -1 or n?
-1
Let r = 2.2 - 1.5. Let n = 2.3 + r. Let l = 5 - n. Is 4 less than l?
False
Let w(d) = 3*d + 3. Let m be w(6). Suppose -5*h - o - 23 = -3, -2*h - 3*o - m = 0. Is -1 < h?
False
Let c be (-4)/(-6)*(46/(-4) - 2). Let d(m) = -2*m + 6. Let b be d(7). Is c at most as big as b?
True
Let y = 18/11 - 140/99. Let p(o) = -6*o. Let x be p(-1). Suppose -3*w - 18 = -3*r, -3*r + 14 - x = -w. Is y at most as big as r?
True
Let s be (34/66)/(4/15). Let i = 10/57 - 439/228. Let n = s + i. Which is greater: -1 or n?
n
Let o = 0.9 + 10.1. Are 1/3 and o non-equal?
True
Let r = 1.94 + -0.04. Let x = 20 - 22. Let q = x + r. Is q bigger than 0.2?
False
Suppose 3*i = -479 - 121. Let x = -5401/27 - i. Are 1 and x nonequal?
True
Let a be 60/(-357) - (-2)/(-17). Are a and -16 unequal?
True
Let l be (0/2)/(-5 - -7). Is l >= 2/63?
False
Let d = 1/77 + 129/1925. Suppose 4*l + 1 + 1 = -2*m, -1 = m - 2*l. Which is smaller: m or d?
m
Let x = 48 - 143/3. Let a = 204/19 - 5725/627. Let h = a + -14/11. Is h < x?
False
Let a = 1895 + -5636/3. Is a < 16?
False
Let y be 166/(-18) + 2/9. Let s = y - -1. Let c be (-6)/(-8) + (-2)/s. Is -1 greater than or equal to c?
False
Let d be (4/16*-6)/(-24). Let k = -5/16 + d. Are 2/11 and k nonequal?
True
Let r = -94 + 94. Is r greater than or equal to 0?
True
Let g = 19/2 + -9. Suppose 57 - 9 = -4*z. Let c be z/(-8)*(-2)/(-3). Which is bigger: g or c?
c
Let m be ((-3)/8)/(1302/56). Which is bigger: -1 or m?
m
Let n be -6*3/738*-3. Let q = 67/205 + n. Which is greater: 0 or q?
q
Suppose -306 = 3*y - 3*a, 3*y + a = -0*a - 298. Let j be (-2)/(-87)*y + 2. Let u = -1/29 + j. Do 0 and u have the same value?
False
Let w = -3865/7 + 553. Is w less than 0?
False
Let n = -100 - -97. Is n >= -2?
False
Let z be 2/(-8) - (-42)/8. Let o = -8 + z. Which is smaller: -5 or o?
-5
Suppose -2*g - 30 = g. Which is bigger: -9 or g?
-9
Let s be -4 + ((-320)/36)/(-2). Which is smaller: 0 or s?
0
Let s(l) = -9*l. Let h be s(-2). Which is bigger: -0.1 or h?
h
Let a(w) = -11*w - 67. Let v be a(-6). Is -21/16 not equal to v?
True
Let c(p) = -p - 1. Let y be c(-6). Is y <= 4?
False
Let c be 2/(-5) + 58/70. Let n = -1270/1379 + -3/394. Let h = c + n. Which is smaller: 0 or h?
h
Let w(o) = o**3 - 5*o**2 + 3*o + 1. Let k be w(3). Is k smaller than -4?
True
Let j = -1.2 + 1.24. Is 0 at most as big as j?
True
Let k = 30 + -119/4. Let b = 10 + -7. Suppose 0 = b*u - 3. Which is bigger: u or k?
u
Let s = -329 - -7241/22. Which is bigger: s or -2/9?
s
Let g be (2/4)/((4/(-872))/(-1)). Which is bigger: g or 110?
110
Suppose 2*v + 1 = 3*v. Suppose c - z = -v, -4*c + 2*z + 1 - 9 = 0. Is -2 bigger than c?
True
Suppose -w + 0*s = 2*s + 1, -5*s + 58 = -3*w. Let c = w - -11. Do c and 1/6 have different values?
True
Let t(c) = c**2 + 9*c + 12. Suppose 0 = -3*q + 2*p - 20, -q + 5*p = -6*q - 50. Let n be t(q). Suppose l - n*f = 10, 3*f - 2 + 13 = -l. Is l greater than -2?
False
Let n be 6/4*20/15. Suppose -n*a = 2*a - 8. Let p be 1 + -3 - (-6)/a. Which is smaller: 3/2 or p?
p
Let l(y) be the second derivative of y**4/12 - 4*y**3/3 + y. Let c be l(7). Do -8 and c have the same value?
False
Let p(z) = -4*z**3 - z**2 - 3*z - 2. Let l be p(-1). Is 17 greater than l?
True
Let o = -9 + 5. Suppose q - 10 = 3*q. Is q at most as big as o?
True
Let i = 98 + -92. Which is smaller: 5 or i?
5
Suppose 5*l - 24 = t - 3*t, 0 = -4*t - 2*l + 16. Suppose 5 = t*n - 3*a, -2*a = 5*n + a - 2. Suppose 0 = r - n. Which is bigger: r or 2?
2
Let m be (-3)/1 - 4/(-4)*2. Which is bigger: m or -3/28?
-3/28
Let z = -0.106 + -0.194. Are z and -21 nonequal?
True
Let z be 21/(-12) - (-12)/16. Let h be (z - 2) + (-143)/(-39). Which is bigger: 4 or h?
4
Let y = 7 + -9. Let l = 3 + y. Which is greater: -1 or l?
l
Let o be 5 - 3*112/63. Let y(h) = -h + 8. Let d be y(6). Suppose -2*p + d = -2*r - 4, -3 = 3*r - p. Do r and o have different values?
True
Let v = -3 + -1. Let c be v/22 + (-38)/154. Let q = -3 + 3.2. Is c at most as big as q?
True
Let o = -1.4 - -0.4. Which is smaller: o or 12?
o
Let y(n) = 10*n - 86. Let t be y(8). Let a = 7 + -12. Which is greater: t or a?
a
Suppose d - s = 3, 4*s = -2*d - 0*s - 24. Suppose v + 1 = -0. Which is greater: v or d?
v
Let p = -30 - -6. Let m = p - -15. Are -9 and m non-equal?
False
Let j be (-384)/1098 - (-1)/3. Which is greater: j or -1?
j
Let w = 247/14 + -37/2. Let a = -1 + -1. Is w at least a?
True
Suppose -2*z - 3*m + 0*m = -11, z = -2*m + 7. Let h be (12/20 - z)*5. Do -2 and h have the same value?
True
Let l be (2/6)/((-2)/4). Let c be (-6*(-12)/(-8))/(-3). Is c bigger than l?
True
Let o = -33.6 + 34. Which is smaller: o or 4/11?
4/11
Let t = 42.63 + -43. Let i = -8.97 + 9. Let y = t - i. Which is smaller: y or 0?
y
Let d = 0.02 - 0.01. Let n = -0.21 + d. Which is smaller: 1 or n?
n
Let r(s) be the third derivative of -s**4/12 - 2*s**3/3 + s**2. Let q be r(-4). Let a be 2/q*(-4 + 2). Does -2 = a?
False
Let o be 1/(-4) + (-15)/144. Let r = 1/48 + o. Which is smaller: r or -1?
-1
Let w be (12/5)/(6/20). Let y = 6 + -2. Let c = y - w. Which is smaller: c or 0.1?
c
Suppose 20*x = 21*x. Is -9/16 less than x?
True
Let o(f) = f - 1. Let l be o(3). Suppose -3 = 4*m - 2*m - 5*a, 3*m = -l*a + 5. Let q = 2.7 + -0.7. Which is smaller: m or q?
m
Let p(s) = 2 - 5 - s**2 + 4. Let t(r) = 4*r**2 + 5*r - 1. Let j(c) = -3*p(c) - t(c). Let n be j(-4). Which is smaller: n or 2/3?
2/3
Let g be (-12)/(-66) - (-16942)/231. Let m = g - 566/7. Is -7 != m?
True
Let o(k) = k + 7. Let a be o(4). Does 34/3 = a?
False
Suppose 0 = -2*k + 27 - 25. Suppose -8 = -0*x - 4*x. Do x and k have the same value?
False
Let i(q) = -q + 9. Let a be i(4). Let v = -4 + a. Which is bigger: v or 1/7?
v
Let r = 14 + -13.96. Is r > 0.1?
False
Suppose -6*k + 9 = -5*k. Let c = -25 + k. Which is smaller: -17 or c?
-17
Let v = 11 - 8. Suppose 5 = -v*k + 4*q, -2*q = -4*k + q - 2. Let u be 1/3 - k - -1. Which is smaller: u or -1?
-1
Let w = 1.42 - 0.02. Let d = w + -0.4. Let r = 0.9 - d. Do 0.2 and r have the same value?
False
Suppose 4*k + 3*d + 50 = 0, 3*k - 7 = 5*d - 30. Let v = k - -7. Let q be (-4 + 6)/((-2)/v). Which is smaller: q or 8/3?
8/3
Suppose 3*j = 2*j - 7. Let m = -5 - j. Suppose 6*c - 4 = 2*c. Does m = c?
False
Suppose -5*w + 21 = -74. Suppose -2*i = 5*f + 26, -5*f + 2*i - w = 15. Let g(q) = -q**3 - 6*q**2 