 be 2/3 + (-65)/39. Is -1 bigger than t?
False
Let s be (1/(-6))/((-2)/30). Is s at most as big as 2?
False
Suppose 104 + 48 = 4*y. Are 39 and y unequal?
True
Let z be (3/(18/4))/4. Let k be -2 + 4/(-1 + 3). Let o be k/2*(-6)/(-6). Which is smaller: o or z?
o
Let q(k) = -k**2 + 9*k - 4. Let y be q(8). Suppose y*f - 3*f = -1. Let d be ((-2)/4)/((-4)/(-2)). Which is greater: f or d?
d
Suppose -2*q + 15 = -1. Let b = -9 + q. Let h = -4 + 4. Which is greater: h or b?
h
Suppose -4*g = -2*g. Are 2/9 and g nonequal?
True
Let r(q) = -q**3 - 8*q**2 - 8*q - 3. Let n be r(-7). Let w = -25 - -46. Suppose -5*k + 25 = n*m, w - 7 = -k + 3*m. Is -1 not equal to k?
True
Let u(d) = 4*d - 4 - 2 + 4 + 2*d + d**2. Let n be u(-6). Is -2 not equal to n?
False
Let j = 0 - -4. Which is smaller: 1 or j?
1
Suppose -q + 26 = p, 4*p + 0*p = 3*q + 69. Is p at least as big as 21?
True
Suppose 5*z - 1 = 3*p + 12, -p = -z + 3. Let q be (-192)/99 - (-3 - p). Let l = -29/66 - q. Is l at most 0.1?
True
Suppose 0 = -8*b + 3*b + 5. Let i = 1 - b. Is i not equal to 1?
True
Let d = 0.7 + -0.2. Let h = -0.1 + d. Let r = -0.2 - -0.3. Is h bigger than r?
True
Let d = 14 - 25. Let h = 6 + d. Let m be 3/(-18) + h/24. Which is bigger: m or 1?
1
Suppose 0*p + 5*p = 10. Let h be 1 + (1 - (-1 + p)). Let y be (-63)/28 - (-2 - h). Is 0 less than y?
True
Let i = -2/115 - 44/115. Is i != -1?
True
Suppose 0 = 10*q + 5*q - 180. Do q and -2 have the same value?
False
Suppose 2*l + 4 + 0 = 0. Let j(t) = t**2 - t - 4. Let g be j(5). Suppose 2*y + 16 = -0*u - 3*u, 2*y - g = 5*u. Are l and y unequal?
False
Let p be 78/36 + (-2)/12. Is p at most 0?
False
Let i(t) = -t + 0*t + 22 - 10. Let a be i(0). Let l be (2 + a/(-5))/2. Is l at least as big as 2/9?
False
Let v = 1 + -0.97. Let s = v + -0.13. Is s greater than 0?
False
Let a = -3 + 4. Suppose -5*c = -a - 4. Let x be (-2)/8 + -1 + 2. Which is greater: c or x?
c
Let b = -0.6 + 1. Suppose 3 = -5*w - 12. Let y = w - -3. Which is smaller: b or y?
y
Let u be (-1222250)/(-99) + (-6 - -4). Let f = -12346 + u. Let s = f + 20/9. Is 1 equal to s?
False
Let b = 0.7 - 1. Suppose -2*r = -3*r. Is r > b?
True
Let f be 6/(-2 + 4) + -2. Let c = 21 + -61/3. Which is greater: f or c?
f
Let h = -11/30 - -83/390. Which is smaller: h or -0.1?
h
Let y be (2 - -1) + -5 + 1. Let g = -1 - -3. Let z be 2 + ((-12)/14 - g). Which is bigger: y or z?
z
Suppose -81 = -11*i + 282. Which is smaller: i or 1?
1
Let y(a) = -a + 2. Let i be y(6). Let b(n) be the first derivative of n**2/2 - 1. Let u be b(-4). Is u at most as big as i?
True
Let p be (30/9)/(2/(-3)). Let h = p + 3. Let a = 11.7 - 12. Which is smaller: h or a?
h
Let g = -38 - -39. Is g greater than 10?
False
Let n be (-3)/(-2)*(-4)/(-3). Suppose 3*b - n*i = -2*b + 7, -3*b - 2*i = -1. Let r be 7/3 - (b - -1). Which is smaller: -1 or r?
-1
Let n = 0.18 - -0.02. Is -3 greater than or equal to n?
False
Let w = 7 + -4.3. Let b = 0.7 - w. Let d be 4/(-10)*5/3. Which is greater: d or b?
d
Let j be (0 + 3/(-2))*(-32)/72. Which is bigger: 16 or j?
16
Let v = 1.88 + -2. Let a = -4.22 - v. Let k = a + 4. Which is greater: 1 or k?
1
Let k be (2/(-4) + 165/242)/1. Which is smaller: k or -1/8?
-1/8
Let g be 1/(-4) + 3/(-4). Let o = -4 + g. Suppose 0 = -0*k + k + 3. Which is smaller: k or o?
o
Suppose 0 = -5*j + 11 - 6. Let t = -0.05 + 1.05. Are t and j unequal?
False
Let n(l) = 10*l**3 - l**2 - l + 1. Let z be n(1). Suppose -4*b = -z*b + 50. Suppose -s = b - 5. Which is smaller: s or -4?
s
Let w(k) = -k**3 - 4*k**2 + k + 2. Let g be w(-4). Let d be (-2)/7 - (-222)/(-7). Let f = 129/4 + d. Is g not equal to f?
True
Let a be (-4)/(-36)*24180/14. Let x = a - 192. Which is greater: x or 1?
1
Let k = -8.17 + 0.17. Let c = k + 8.2. Which is bigger: -2 or c?
c
Let s(b) = -b**3 - 6*b**2 + b + 3. Let w(r) = -r**3 - 8*r**2 + r + 2. Let k be w(-8). Let d be s(k). Which is bigger: d or -2?
-2
Let o(r) = r**3 + 4*r**2 - 3*r - 2. Let m be o(-5). Is -12 > m?
False
Let w = -0.08 - 2.92. Let x = 2.9 - 5.9. Let n = w - x. Which is smaller: -1 or n?
-1
Let j = 21 - 30. Let o be 15/(0 + 6/(-4)). Which is smaller: j or o?
o
Let d(a) = a**2 + 10*a - 23. Let w be d(-12). Which is bigger: 3/11 or w?
w
Suppose -4*y + 2*d - 3*d - 11 = 0, -5*d = y + 17. Let g be 0 - y/3 - -2. Let q = -19/6 + g. Is -1 bigger than q?
False
Let d be 3/(-2)*(-8)/12. Is d < 1?
False
Let f = -105/22 + 189/22. Is f > 3?
True
Suppose 3*u + 5*x = 0, -8 = -4*u - x + 9. Suppose -4 = -w + 3. Are u and w equal?
False
Let i = -23/2 - -10. Which is greater: i or -2/5?
-2/5
Let w be -2*(-1)/(-3)*-1. Suppose -5 = -3*k + 4. Suppose -k*s - 3 + 1 = -2*d, 4*s - 1 = -d. Which is bigger: d or w?
d
Let k = -11 + 11.7. Let j be (48/18)/(4/6). Suppose 2*u - 5*u + 2 = 4*d, 0 = -j*d + 5*u - 14. Is k at least as big as d?
True
Suppose u - 2*u - 3 = v, 3 = 4*v - u. Suppose -5*t + t = v. Is t equal to 2?
False
Let w = -538/5 - -108. Which is smaller: w or -1?
-1
Let o = -1142/17703 - -2/1967. Which is smaller: 0 or o?
o
Let t = 0.1 - 0.2. Let z be (4/(-16))/(1/2). Which is bigger: z or t?
t
Suppose -2*o + h = 13 + 40, -121 = 4*o + h. Are o and -29 equal?
True
Let w = 1.96 + -0.9. Let z = 0.06 - w. Let h = z + 0. Is -4 greater than h?
False
Let j = 0.3 + 0.7. Let s = 4 + -10. Let d = s - -8. Which is smaller: d or j?
j
Let b = 8793 + -44199/5. Let i = b + 47. Is i smaller than 0?
False
Let v = 6 - 5.94. Let d = v - -0.94. Let j = -2 + d. Are j and 0.1 equal?
False
Let j = -6 - -5.8. Let z = j - -1.2. Which is smaller: 0.3 or z?
0.3
Let k be ((-3)/(-12))/((-111)/(-23228)). Let q = -157/3 + k. Let r = q + 248/1443. Which is smaller: 0 or r?
0
Let z(s) = s**2 + 6*s + 5. Let f be z(-5). Suppose o + 3 + 1 = f. Let g = o - -3. Which is bigger: 4/11 or g?
4/11
Let v = 0.3 + -0.4. Is 1.3 bigger than v?
True
Let p be 2 - ((-2 - 3) + 62). Which is smaller: p or -54?
p
Let n be (2/18)/((-2)/4). Suppose 0 = d + 3*p + 10, -1 = 2*d - p - 2. Is d >= n?
False
Let u = 0.04 + 0.06. Let z = -2 - -4. Is z <= u?
False
Let w(z) = z - 13. Let v be w(16). Which is greater: v or 15?
15
Let g be 0 - (0 + 3 - 1). Let b = 197 - 198. Which is smaller: b or g?
g
Suppose 2*m = -9 - 13. Is 2/5 greater than m?
True
Let x be 2 + 1 - 828/156. Which is bigger: -2 or x?
-2
Let c = -223 - -225. Let q(o) = -o**3 + 7*o**2 - 5*o - 4. Let s be q(6). Is c less than s?
False
Suppose 0 = -j - 1, 2*j = -4*f + 2*f. Which is greater: 1/20 or f?
f
Let x = 10 + -9. Which is bigger: 0 or x?
x
Let t = 1 - -1. Suppose -u = -t*u + 3. Suppose 0 = -0*n + n + u. Is -1 > n?
True
Let m(d) = -d + 5. Let h be m(-3). Which is smaller: 4 or h?
4
Suppose -16*j + 21*j + 120 = 0. Let c = j + 23. Suppose -40 = 4*s + 4*v, v - 15 = 4*v. Is c > s?
True
Suppose p = 3*q + 1 + 14, 0 = -2*q - 2. Are 11 and p equal?
False
Suppose 0 = 7*h - 8*h. Is h bigger than -1/36?
True
Let r = -3.4 + 2.4. Which is bigger: r or -13?
r
Let t = 2.5 + -2. Let m = -1 + 0.5. Let u = m - t. Which is greater: -0.1 or u?
-0.1
Let n = 20 + -16. Suppose -n*h + 5*h = 12. Is h less than or equal to 1?
False
Let y(t) = 6*t - 2*t - 2*t**2 + 4 - 3*t + 3*t**2. Let u be y(-3). Is 9 not equal to u?
True
Let v = -205247/828 - 490/207. Let m = -249 - v. Which is smaller: 0 or m?
0
Let c be (-4)/14 - 24/(-35). Suppose 4*a = -3*d - 32, d + 0*d - 15 = a. Let l = -11 - a. Is c >= l?
True
Let x(v) = v**2 - 6*v + 2. Let y be x(6). Let c(b) = -b**2 - 1 - b**3 + 2*b**3 + 2*b**y + 4*b - 6*b. Let t be c(-2). Which is greater: 0 or t?
0
Let q = -18 + 17.8. Is 1 != q?
True
Let u = -1.1 + 0.1. Let d = 0 - u. Is 0.1 >= d?
False
Let f(r) = r**3 + 12*r**2 - 14*r - 14. Let c be f(-13). Do -1 and c have the same value?
True
Suppose -x - s = 3, -1 = 4*x - x - s. Let f = -3/59 + 71/236. Are f and x nonequal?
True
Let r be 6 - 6*5/10. Does 5 = r?
False
Suppose i = c + 2, 4*i - 5 = 3*c + 3. Let u be ((-2)/4*0)/i. Let m be (6/30)/(6/10). Which is smaller: m or u?
u
Let w = 9/34 - -4/17. Which is bigger: 1 or w?
1
Let u(w) = -w + 1. Let m be u(0). Suppose 9 = -2*a + m. Let v be 4/3 - a/6. Is 3 less than or equal to v?
False
Let z = -1/37 - 109/74. Suppose 6*n - n + 5 = 0. Which is greater: z or n?
n
Let k = 2.181 + -0.181. Which is bigger: k or -32?
k
Let d be 5 - -3*65/(-60). Let r be (-2)/2*1*-1. Which is smaller: r or d?
r
Let m(a) = 2