et l be v(-22). Which is greater: 2 or l?
2
Let x = 0.05 + 0.89. Let l = -0.3 - x. Let k = 0.24 + l. Do 0.3 and k have the same value?
False
Suppose 5 = -h + 2*c, 3*h - 5*c + 20 = 6*c. Let o = -4549/11 - -413. Which is bigger: h or o?
o
Let w = 2405/63 + -275/7. Do -2 and w have the same value?
False
Let l be (27 + (-153)/6)*(0 - (-104)/60). Suppose 0 = -0*c - 3*c. Let a be (-3)/(-4) - (c - -1). Which is bigger: l or a?
l
Let y be (22/(-6))/(355/(-426)). Is 19 bigger than y?
True
Let c be ((-2)/(-20))/((-5)/(-2)). Let u = 0 - c. Is 1 not equal to u?
True
Let l = 1 + -63. Let z = 61.8 + l. Which is greater: 2/21 or z?
2/21
Let q = -897 + 957. Which is smaller: q or 49?
49
Let k = 4.6 + -4.8. Let b = 0.8 - k. Which is greater: -0.2 or b?
b
Let w be 1/(1788/162 + -11). Is w > 79/3?
True
Let d be -4 - -2*(-3 + 8). Suppose 5*i - t = 14, -d = -2*i + 5*t - 5. Let n be (1 - 4)/i*1. Is -1 at most n?
True
Let u(x) = x - 2. Let p be u(0). Let z be (-29 - (2 + 4))*p/(-5). Is -27/2 less than or equal to z?
False
Let q be ((-10)/(-25))/(2/10). Suppose -35*m + 34*m - q = 0. Is -10/17 < m?
False
Suppose 2*g + 6 = 4*u, 5*u = -0*u + 4*g + 9. Let s = u + -1. Suppose 6*j = -57 + 59 + 46. Which is smaller: s or j?
s
Let n be (6/(-8))/((-21)/56). Suppose n*k + 15 = 7*k. Suppose -6*p - k = -3*p. Which is bigger: p or 1?
1
Let x be 14/(-3)*3/2. Which is smaller: -15 or x?
-15
Suppose 34 + 22 = 7*k. Which is smaller: k or -0.15?
-0.15
Let a(j) = -18*j + j**2 + 5*j + 10 + 10 - 14 - 5*j. Suppose 7*m - 4*i - 66 = 4*m, 3*m - 63 = 3*i. Let f be a(m). Which is smaller: f or -1/4?
-1/4
Let l be (39/(-52))/(29/(-8) + -2). Let i(y) = y**2 + 4*y - 3. Let p be i(-5). Let h be (-3)/(-6)*p/(-5). Is l != h?
True
Let r(m) = -m**3 - 16*m**2 - 15*m + 15. Let y be r(-15). Suppose y = -5*k, -2*k - 3*k - 16 = -t. Which is greater: t or -24?
t
Let w(y) = -y**3 + 10*y**2 + 9*y + 13. Let k be w(11). Which is greater: k or -19?
k
Suppose 5*r - 10 = 0, 32 = 2*w + 5*r - 2*r. Let f(h) = -h**2 + 13*h - 4. Let n be f(w). Do -25/9 and n have different values?
True
Let c = 113 + -106. Let n = c + -10. Are n and -1 non-equal?
True
Let n = 508 - 366. Is n at most 1?
False
Suppose 13 = 5*z + 48. Suppose -1 - 19 = -c. Suppose 4 = -3*k - c. Which is greater: k or z?
z
Let u = -183 + 298. Let f = -116 + u. Are f and -29 equal?
False
Let u(m) = 2*m + 17. Let z be u(0). Let l = 116/7 - z. Let w(p) = p + 6. Let b be w(-7). Which is greater: b or l?
l
Suppose 0 = 4*k + 2*h + 18, 3*k - 3*h - 21 = 7*k. Suppose 0 = 4*x + 8, -3*g = -6*g - 3*x + 9. Let v be (6/g)/(1 + k). Which is greater: 0.1 or v?
0.1
Let q be -5 - (-1 + 2) - (-2 + 7). Which is bigger: q or -32/3?
-32/3
Let a = 0.1 - 0. Let x = -4.9452 + -0.0548. Is a at most x?
False
Suppose -2*v - 5*n = -122 + 22, -v + 3*n + 61 = 0. Is v != 55?
False
Let t = -16 - -22. Suppose b = -t*b - 21. Let l(h) = h**3 + 2*h**2 - 3*h. Let d be l(b). Which is bigger: d or 3/16?
3/16
Let o be -2 + 3 + 1*2/(-6). Which is bigger: o or -2120?
o
Let d = 5 - 3. Let i(b) = -3*b - 10. Let x be i(-5). Let p be (-6)/(d - x) + -3. Which is smaller: p or 0?
p
Let r = 55/3 + -163/9. Suppose -2*d + 7*d - 20 = 0. Suppose 0 = -6*v + d*v - 2. Which is bigger: r or v?
r
Let i = 0.06622 - -0.03378. Let x = 2/2073 + 3952/201081. Is x != i?
True
Let m be (-56)/(-6)*(4 - (-9)/(-9)). Is m < 24?
False
Suppose 5*o - 3*m - 1 = 0, o = 3*o - 5*m - 8. Let k be 0/(-2 - 2) + o. Which is smaller: k or 2/61?
k
Let k = 451.1 + -451. Let b = -1 + 3. Which is greater: k or b?
b
Suppose -2*c - 3*c - 2385 = 4*h, -5*h - 4*c = 2979. Let s be 15/2*(h/200 - -3). Which is smaller: 0 or s?
0
Let r = -0.0533 + 0.0593. Which is smaller: r or -1/6?
-1/6
Let p = -2065 - -55762/27. Which is smaller: 0 or p?
0
Let d = 70 - 85. Let b = -9 - 3. Let v = d - b. Which is smaller: 1 or v?
v
Let r = 2/689 + -881/66144. Is r <= 1/2?
True
Suppose 2*p - 2*s = p - 14, 4 = p + 4*s. Suppose -5 = -n + 3*n - 5*k, -4*n = k - 45. Let w = p + n. Which is bigger: w or -3?
w
Suppose 0 = 9*b + 2*b - 187. Let o be ((-9)/(9/(-8)))/((-2)/b). Do -69 and o have the same value?
False
Let r(v) = -2*v**2 - 10*v. Let q be r(-5). Are 6/35 and q nonequal?
True
Let q(u) = -5*u + 0 - 4 + u**2 - 1. Suppose 4*b - 11 - 13 = 0. Let z be q(b). Is z at least as big as -1/9?
True
Let p = 1126 + -1063. Let a be 12/(2*(-2)/(-12)). Let r be (p/a)/(2/(-4)). Is -5 less than r?
True
Let x = -1 - -0.9. Let g = -0.0888 - -0.0188. Are x and g equal?
False
Let q = 665 + -609. Which is greater: 59 or q?
59
Let u be ((-21)/(-9) + -3)*-6. Suppose -3*b - u + 4 = 0. Let a be 1 - (-1)/((-2)/8). Which is greater: a or b?
b
Let k(h) = -h**2 + 8*h - 14. Let i be k(7). Let n = 0 - i. Let s = n - 6. Which is bigger: s or -0.12?
s
Let m = 6 + -8. Let w = 3/944 + -3431/2832. Let n = w - 1/24. Which is smaller: m or n?
m
Let s(a) = 26*a - 5. Let w be s(1). Suppose -6 = -2*m + 3*j, -16*m - 4 = -w*m + 2*j. Is 12/17 equal to m?
False
Suppose -216*k - 4 = -212*k. Is -1/242 not equal to k?
True
Suppose f + 61 = -0*f. Let w be f/(-5)*1 - (-36)/45. Does 9 = w?
False
Suppose 2*q - y = 4, -2*q + y + 4 = -q. Suppose q = -8*l + 26 - 306. Is -35 at most as big as l?
True
Let v = -4 - -2. Suppose 4*r + 17 - 7 = -6. Which is greater: v or r?
v
Let u = 21 + -19. Suppose 4*m = 6*m + u. Which is greater: 1/4 or m?
1/4
Let j(a) = a**2 - 6*a + 2. Let l be j(4). Let o be (3/(-15))/(3/l). Suppose 5*q = 5*d + 15, -6*q + 8 = -2*q - 3*d. Which is greater: o or q?
o
Let y be -4*(1 + -2)*11. Let w = -30 + y. Let r = w + -5. Is r != 9?
False
Suppose 3*m - 4*z = -6, 6*m = m - 2*z + 16. Let w be ((-33)/(-44))/(15*m/16). Is w at least 0?
True
Let v = -18 - -35. Let h = -9 + v. Which is bigger: h or 9?
9
Let l(t) = 11*t - 17 - 22 + 13 + t**2. Let w be l(2). Is w smaller than -2/349?
False
Let u = -7.07 + 7. Let m = -7 + 7. Is u != m?
True
Let i = 59.08 - 59. Let v be (36/8 - 4)*1. Which is bigger: v or i?
v
Let m(z) = -2*z**2 - 4*z - 5 + 6 + 0*z**2. Let t be m(3). Let n = t - -28. Which is smaller: -1/56 or n?
n
Suppose 5*o - 10*o = 2*j + 28, -8 = j + o. Let d be (-2)/j*(-1 + 5). Suppose d*p - 5*w = 0, -2*w - 23 = -5*p - w. Does p = 1?
False
Let t = 13 - 18. Let o(c) = c**2 + c - 12. Let y be o(t). Suppose -r + y = 3*r. Which is smaller: 4 or r?
r
Let g be 0 + -1 - (2 - 7). Let y be ((-6)/g)/((-12)/80). Let v = y - 12. Are -2 and v nonequal?
False
Let n be (1/11)/((-2)/(-6)). Let h = 119 - 104. Let l(r) = r**2 - 12*r - 46. Let m be l(h). Is m < n?
True
Let h = -719 - -718. Is -2/397 <= h?
False
Let d = -6.6 + 52.6. Let z = d - 51. Let x be ((-4)/10)/(7/5). Which is greater: z or x?
x
Let h = -458 + 460. Which is bigger: 0.4 or h?
h
Let s = 69 + -90. Let t be (21/(-49))/(4/s). Let v(w) = w + 9. Let d be v(-7). Which is smaller: t or d?
d
Let x(g) = g - 5*g + g. Let s be x(6). Let w(p) = 2*p**2 - 59*p + 165. Let d be w(26). Are s and d equal?
False
Let u = -16 + 5. Let y(r) = 12*r - 201 + 194 - 16*r**2 + 6*r**2 - r**3. Let w be y(u). Are w and -18 equal?
True
Let a be 24870/260 + (-5 + -3 - -3). Let u = -6875/2 + 3347. Let t = u + a. Which is greater: t or 5?
5
Let h = -11 + 13. Suppose -15 = -h*w - 43. Let v = w - -11. Is v equal to -2?
False
Let q(l) = -2*l - 2. Let p(b) = 3*b + 3. Let z(h) = 4*p(h) + 7*q(h). Let m be z(-21). Which is bigger: m or 38?
m
Let i = 22 + -26. Let c be i*1 - 72/(-9). Is 4 greater than or equal to c?
True
Let f = 1239 - 1199. Which is smaller: f or 20?
20
Let u = 2278 + -113899/50. Let t be (1 + 0 - 1) + 1. Which is smaller: u or t?
u
Let c(f) = f**3 + 7*f**2 + 7*f - 9. Let m be c(-4). Are -5 and m equal?
False
Let u be (-3*(-1)/(-12))/(175/28). Suppose 5*w = -2*d + 3*d + 21, -3*w = 5*d - 7. Which is bigger: u or d?
u
Let v be (5 - -1083*(-2)/3)*-1. Which is greater: v or 718?
718
Let t = 43 - 40. Suppose -2*h = -5*w - 15, -9 = -0*h + 3*h + t*w. Is 2/11 > h?
True
Let a = -548 - -558.14. Let o = a - 10. Is o at least as big as 2/7?
False
Let v be 364/12*3*2. Which is greater: 183 or v?
183
Let b(v) = -v + 3. Let q be b(-7). Suppose -59*u + q = -54*u. Is 1/9 less than u?
True
Let v = -467/5 + 94. Let z be ((-6)/(-698))/(6/(-4)). Let r = 708/1745 + z. Which is bigger: v or r?
v
Let w = 414 + -384. Which is greater: w or 28?
w
Let x be (-26781)/(-84) + (-2)/8. Let y = x - 318. Is y at le