5*u - 33 = -3. Let r be 2/(9/u - y). Is 3 > r?
False
Suppose 0*n = n + 3, 2*j + n = -11. Let s be (-6)/((-1)/(-10)*j). Which is bigger: 14 or s?
s
Let q be -2 + (-2283)/(-21) + -3. Let c = -104 + q. Which is smaller: c or 2/3?
c
Let o = -92.2 + 92. Are o and 15 non-equal?
True
Let c = 0.56 + 0.16. Let s = c + 8.08. Let i = 9 - s. Which is smaller: -0.2 or i?
-0.2
Suppose -4*z = f + 3*f + 12, -4*f = -2*z - 18. Let k be 3*(f - 1)/3. Suppose n - k = -0. Is n less than 3/5?
False
Let s be (-10)/(-50) + (-63)/65. Which is bigger: s or 0?
0
Let p = -24 + 45. Let a = 488/3 - 162. Is a != p?
True
Suppose i - 2 - 2 = 0. Suppose -424 = i*w - 0*w. Let a = w + 528/5. Are 0.1 and a unequal?
True
Let s be 2*(-2 + 207/102). Let f(r) = r**3 + 8*r**2 + 7*r. Let u be f(-7). Which is smaller: u or s?
u
Let f = 1.2 - 1.1. Is f at least -8?
True
Let b = -0.17 + -0.03. Are -2/9 and b nonequal?
True
Let w(l) = l**2 + 2*l + 3. Let a be w(-3). Suppose 17 = 2*z + 3*u, -a*u + 4*u = 5*z - 15. Suppose 0 = 3*r - r - 4. Which is smaller: r or z?
z
Let k(b) = -b - 1. Let g be k(-6). Let o be (-276)/(-14) - (-6)/21. Suppose g*p = -t + 4, -o = -0*p - 2*p - 5*t. Is p less than or equal to 1/2?
True
Let u(k) = k**2 + 17*k + 15. Let t be u(-16). Is t > -2/19?
False
Let c = 14 + -29/2. Let t = -32 + 36. Which is bigger: t or c?
t
Let d be (-45)/(-15)*(-2)/(-6). Which is greater: d or -1/4?
d
Let g(w) = w**2 - 2*w + 2. Let d be g(1). Is d smaller than 4/29?
False
Suppose 2*w + 3*r + 267 = 0, 3*w - 3*r - 135 = 4*w. Let t be (-4)/14 - w/609. Which is smaller: t or 0?
t
Let o = 0.6 + 0.4. Let s = 17/4 - 9/2. Is s <= o?
True
Let p = -4.1 + 0.1. Let s = -3.9 - p. Let v = s + -0.2. Which is smaller: 3 or v?
v
Let s be 2 - (-3 + 1 - -1). Let x be (1 + 3 - 2) + s. Suppose x*j = -54 + 19. Is -7 > j?
False
Let d = -2 + 2.2. Let k = -23 + 24.8. Let s = d + k. Are 0 and s non-equal?
True
Suppose 25 = -2*h + 5*p, 2 + 3 = -5*h + p. Suppose -u + 3 = -z - 2*u, -5*u - 25 = -5*z. Which is bigger: h or z?
z
Let s = 0 + 2. Which is bigger: 1/2 or s?
s
Let l be (2*5/(-10))/11. Suppose -y = 5*i + 1, y = 3*i + 9 - 2. Which is smaller: l or i?
i
Let d be (3/(-30))/((-1)/(-6)). Is -0.2 <= d?
False
Let s(r) = r**2 - 8*r + 4. Let a be s(8). Is a greater than 0?
True
Let c(n) = -2*n - 14. Let d be c(-9). Let b = -0.4 - 0.6. Is b >= d?
False
Let t(d) = d**2 - d - 3. Let x be t(3). Let j be ((-34)/(-6))/((-2)/6). Let v = -13 - j. Do x and v have the same value?
False
Let l = 24 - 49/2. Which is greater: 2/3 or l?
2/3
Suppose g = 2*o + 3*g + 2, o + 4 = -4*g. Let v = -53 + 264/5. Is o at most v?
False
Let r = 5 + -5. Suppose -3*n = n - 124. Let z = 154/5 - n. Which is bigger: z or r?
r
Let l be -3 + (-3)/2*-2. Let a = l - 3. Is -4 >= a?
False
Let a be -4 + 1 - 72/14. Let o = a - -53/7. Is o bigger than 1/2?
False
Suppose 0 = -3*p - p + 16. Suppose -p*i + 25 = 5*f, -4*f + 2*i - 11 = -i. Let d be 7/9*(-4)/(-14). Is d less than f?
True
Let l = 3 + -3.4. Let r = 13 - 14.4. Let t = r - l. Which is bigger: t or -2?
t
Suppose -4 = o - a, -5*a - 25 = 5*o - 5. Which is smaller: o or 0.05?
o
Let w(z) = 16*z**3 + 2*z - 2. Let v be w(1). Which is greater: v or 15?
v
Let i(s) = -2*s + 89. Let b be i(13). Which is smaller: 64 or b?
b
Let w = 1413/17 + -83. Is 1 >= w?
True
Let x be (-1)/(-2)*(-50)/(-1). Let y = x + -18. Do 7 and y have the same value?
True
Let t = 0.06 + 2.94. Let y = 2.3 + 0.7. Let c = t - y. Is c at most as big as -3/7?
False
Suppose 1 = 3*b - 4*t, -4*t + 2*t = 2*b + 4. Let p = 0 + b. Which is smaller: -2 or p?
-2
Let o(j) = -2*j - 13. Let r be o(-9). Which is bigger: r or 6?
6
Let q = -0.3 + 0.1. Let k = -0.7 + q. Let u = 0.1 - k. Are u and 2 unequal?
True
Let d(p) = -7*p**3 + p**2. Let f be d(1). Are -2 and f equal?
False
Suppose 5*o + 30 = p + o, -o + 120 = 4*p. Suppose 5*w + l - 20 = -0, w - 5*l - p = 0. Let h be 33/(-45) + 2/w. Is -1 bigger than h?
False
Let q(g) = 4*g**2 + 12*g - 51. Let m be q(6). Is m smaller than 164?
False
Suppose -i = 3*u - 8, i + 2 = u + 6. Let v be (-26)/30 + (-2)/(-2). Which is smaller: v or u?
v
Let s = -5 + 6. Let j be (1/s)/(5/(-2)). Is 1 at least j?
True
Let o = 6688 - 33324/5. Let n = o - 23. Which is smaller: 1 or n?
n
Let s = 30267/46 - 658. Let c = s - -99/322. Is 1/4 less than or equal to c?
True
Suppose 4*m - 6 - 2 = 0. Suppose -s = -3*l, -3*s = m*s - 5*l. Is 0 greater than s?
False
Let k(t) = t**2 + 8*t - 7. Let i(v) = 4*v**2 + 24*v - 20. Let l(p) = -2*i(p) + 7*k(p). Let o be l(6). Suppose -o*w + 5*x = -2*w - 1, 5*x = 0. Does w = 4/3?
False
Let b be 68/120 - 2/3. Let t(l) = l + 7. Let m be t(-5). Suppose m*w - 2 = -0. Which is bigger: b or w?
w
Suppose 2*a = 10, -f - 4*a + 25 = a. Let w = 47 + -26. Let l be 4/(-14) + (-36)/w. Do f and l have the same value?
False
Let c(a) = a**3 + 5*a**2 + 4*a - 3. Let m be c(-4). Suppose -k - 15 = 4*k. Is m smaller than k?
False
Let u = 25 - 21. Which is bigger: u or 3?
u
Let o(r) = r - 6. Let f be o(10). Let b = 5 - f. Let t be (-1 - -1)/((-2)/b). Are -1/5 and t nonequal?
True
Let p be (4 - 0 - 2)*(-4)/8. Which is smaller: p or 12/17?
p
Suppose -4*d + 8*d = 0. Which is bigger: d or -9?
d
Let k = -56 - -98. Which is smaller: k or 41?
41
Suppose -5 - 7 = 2*c. Let d = 5 + c. Let g be d/(-2)*2/13. Which is bigger: 1 or g?
1
Suppose 0*l - l - 2 = 0. Suppose -2*y + q - 1 = 0, 0 = 5*y - q - 0*q + 10. Is l at most y?
False
Let z(u) = u - 22. Let a be z(20). Which is bigger: a or 2?
2
Suppose -2*q + q = 0. Let o be -2*((-4)/(-210) + q). Let c = -26/105 + o. Which is bigger: c or -0.2?
-0.2
Let f(y) = -3*y + 1. Let n be f(-3). Suppose -5*r + n = -315. Let s = r - 713/11. Are s and -1 unequal?
True
Let j be (-18)/5 + 12/(-30). Which is greater: j or -1?
-1
Let i(p) = -p**2 + p + 1. Let a be i(-1). Let s = 573/4 - 144. Which is bigger: a or s?
s
Let z = 2.046 - 0.046. Which is smaller: z or 1/2?
1/2
Let u = 0.019 + -0.019. Is -16 < u?
True
Let b(c) = 2*c**2 - 6. Let f be b(2). Let w be 3/f - (-3)/6. Is 1 at least w?
False
Suppose -2*s - 3*x + 63 = -2*x, -5*s + 4*x = -190. Do s and 36 have the same value?
False
Let y be 84/15 - 4/(-10). Let n be (y/(-4))/(15/40). Is -2 at least n?
True
Suppose -37 = -6*d + 89. Is 21 greater than d?
False
Let d = -40 + 39. Is d greater than or equal to 0?
False
Let n = 2 - 3. Let f = 0 + n. Let m = 12 - 49/4. Is f at least as big as m?
False
Let t be 2/11 + (-6)/33. Let b(g) = -g + 4. Let s be b(8). Let j be (-22)/70 + s/14. Is t at most j?
False
Suppose 3*z - 6 = 2*s + 7, -2*z - 18 = 4*s. Is s >= -12?
True
Let x(p) = p**3 + 3*p**2 + p + 2. Let w be x(-2). Is w equal to 6?
False
Suppose 3*x + v - 20 = -0*v, 15 = 3*v. Suppose 0 = -x*n + 3*n - 6. Let t be (2/n)/(6/9). Is -3/8 equal to t?
False
Let g = 11/13 - 103/91. Let h be 25/(-80)*(-4)/10. Which is smaller: g or h?
g
Let w = 2.05 - 0.05. Let c(s) = -2*s**2 + 11*s - 13. Let x be c(4). Is w greater than x?
True
Let l = -0.1 - 0.1. Let h = 0.3 + l. Suppose -k + 4 = -2*g + k, 4*g + 14 = -2*k. Which is greater: h or g?
h
Let a(z) be the second derivative of -z**3/6 - 5*z**2 + 2*z. Suppose h + 4*h + 40 = 0. Let n be a(h). Is -2 less than or equal to n?
True
Let v = -23.972 - 0.028. Let h = v - -22. Let l = -868/2145 + 2/429. Which is bigger: h or l?
l
Suppose 6 = 4*b + 10. Is b at most as big as -2?
False
Let q = -3 + 5. Which is smaller: -2/3 or q?
-2/3
Suppose 2*q + 27 = 5*b, -b = -5*b - 20. Let c be q/(-56) + 6/(-8). Is -3 > c?
False
Let s = 37 - 25. Suppose 4*p = s, 9 = 3*g - p + 3*p. Let a = -177 + 178. Is g less than or equal to a?
True
Let n = 65/1564 - -9/68. Which is greater: 0 or n?
n
Let f be (18/12)/(129/4). Let k = f - -37/129. Let h(t) = t**2 + 4*t - 6. Let b be h(-5). Which is smaller: b or k?
b
Let n be (-12)/16 + (-6)/(-8). Which is smaller: 2 or n?
n
Suppose a = 5*r + 15, -4*a - a + 4*r = -33. Are a and 3 nonequal?
True
Let l = 1010921641/885 + -1142285. Let x = l + -2/295. Is x <= -5/2?
False
Let m(z) = 5 - 2*z - 5 + 4 + z. Let h be m(4). Is -1/2 >= h?
False
Let m be (-3)/2 - 23/2. Is m at most as big as -0.1?
True
Let c = 9.48 - 0.48. Let m = 7 + -17. Let d = m + c. Is d greater than 4/3?
False
Let l(v) = -4*v - 46. Let y be l(-10). Which is greater: -9 or y?
y
Suppose 2*f - 9 = w + 2*w, 0 = -3*f + 4*w + 12. Is 3/113 > f?
True
Let v = 117 + -