be 60/8*(-48)/(-9). Suppose -f = 12*s - 7*s. Which is greater: -6 or s?
-6
Let j = 18022/9 + -2000. Is 1 less than j?
True
Let t be 1*((-3)/(-1) - -4). Suppose -v = 2*b + t, -v + 3*b + 13 = -0*v. Is 3 at least as big as v?
True
Let s(i) = i**2 + 12*i + 5. Let b be (-2)/4 - (-42)/(-4). Let u be s(b). Are -6 and u nonequal?
False
Let z = 13 - 6. Let x = 8 - z. Which is smaller: 1/2 or x?
1/2
Let k = 50 - 62. Which is smaller: -13 or k?
-13
Let y = 15 - 25. Let s be (-4)/y - 458/585. Let v = s + -2/117. Is -1 less than or equal to v?
True
Let x(c) = c**2 - 3*c - 2. Suppose -3*n + 8 = 2*v, 3*v - 2*v - 3*n = 4. Let m be x(v). Let l be 20/(-28) + 2/(-7). Which is smaller: m or l?
l
Let x = 21 + -1. Let y = x + -23. Are y and -2 non-equal?
True
Let n = -1/128 - -135/896. Are 1 and n unequal?
True
Let h = 6 - 23. Is -16 bigger than h?
True
Let x be 12/(-2) + 4/(-12)*3. Suppose -4*w = 4*n - 1 + 5, 5*w - 49 = 4*n. Is x <= n?
True
Let f = -12 + 8. Is f greater than or equal to -6?
True
Let w be 14/(-4)*6/(-21). Let q(y) = -7*y**3 + y**2 - 1. Let r be q(w). Is r less than -8?
False
Suppose 24*f = 15 + 9. Are 2/29 and f equal?
False
Suppose -2*d - 75 = -5*d. Let j be d/(-3) - 44/(-33). Is -7 > j?
False
Let k be (-2 + 1)*(-1 + -1). Suppose 2*t - 5 = g - 0, -5*g + k*t = 25. Let p = g + 10. Do p and 5 have the same value?
True
Let s = -1.4 - -8.4. Is 2 smaller than s?
True
Let u = -2 + -4. Let q be 1*(u/(-3) - 0). Does q = 2?
True
Let v(u) = -2*u - 2. Let f = 0 + -3. Let y be v(f). Let h be (2/8)/((-3)/y). Is -0.2 not equal to h?
True
Let g = 7.9 - -0.1. Which is smaller: 2 or g?
2
Suppose -12 = -x + 4*u, 4*u + 6 = -x + 2. Let f = x + 1. Let z(t) = t - 3. Let w be z(f). Is 2 at most as big as w?
True
Let w = 18 + -16. Which is smaller: 4/7 or w?
4/7
Let a(d) = d**3 - 3*d**2 + d + 1. Let v be a(3). Suppose -3*t - 2*x + 31 = 0, -3*t + 21 + v = -x. Is 10 smaller than t?
False
Let x = 13 - 16. Let r be (-28)/x + 14/21. Is 10 greater than r?
False
Let f be (-5 - -7) + 2484/(-39). Let n = -62 - f. Are 0 and n nonequal?
True
Suppose 0 = 3*b - 0 - 3. Let g = -4.4 - -8.4. Are g and b equal?
False
Let r = 41 + -50.9. Let z = r - -10. Which is bigger: z or 0.14?
0.14
Let z = 19/182 + -1/7. Let k = -2 - -2. Which is bigger: z or k?
k
Let p be (-1)/(-5) - (-405)/(-25). Let y be (10/8)/((-4)/16). Let w be (y/(-10))/((-14)/p). Which is smaller: 0 or w?
0
Suppose 0 = 4*j - j + 9. Let z = -7/10 + -4/5. Is j greater than z?
False
Let s be 4/18 - 25/(-90). Let g = -66 - -68. Is s > g?
False
Suppose -10 = -5*j + 20. Let b = -5 + 3. Let z be b/4 + j/(-4). Is z not equal to -3?
True
Suppose 63 = 3*g + 24. Do g and 13 have different values?
False
Let y(b) = b**2 - 7. Let d be y(0). Which is bigger: d or -8?
d
Let b = -5 + 7. Let o(p) = p**2 + p**b - 4 + 3. Let y be o(1). Are y and 2/5 unequal?
True
Let r be (-8)/32 + (-3)/4. Which is smaller: 3/8 or r?
r
Let u be (536/5)/(9/15). Let p = u - 177. Let w = -19/15 + p. Is w greater than or equal to 1?
False
Let y = 8 + 1. Let s = 10 - y. Let t be (-1 - s)/(-2 - 0). Which is greater: t or -1/10?
t
Let l(x) = -15*x**3 - 7*x**2 + 5*x - 1. Let q be l(2). Which is greater: q or -140?
q
Let n(v) = 2*v + 34. Let s be n(-10). Is 13 greater than s?
False
Suppose -3*q + 9 - 3 = 0. Let z be 14*3/3*1. Let g be 4/(-8) - z/(-12). Which is smaller: g or q?
g
Let p = -2/99 - -1/9. Let a(v) = -v - 3. Let d be a(-5). Let m be -1 + d + (1 - 1). Which is bigger: p or m?
m
Let s(i) = i**3 + 7*i**2 + 5*i - 5. Let c be s(-6). Let p be -12*c*-1*1. Suppose 0 = 5*m - m - p. Which is bigger: 4 or m?
4
Let x be 6/(3 + 3)*(5 - 0). Do x and -3 have different values?
True
Suppose -5*m = -2*i - 270, 153 = 3*m - 3*i - 0*i. Which is bigger: 55 or m?
m
Suppose -x = -6*x + 30. Suppose -x = -s - 1. Which is greater: 3 or s?
s
Let m(u) = u**3 + 7*u**2 - u - 2. Let w be m(-7). Let a = 9 - w. Suppose -2 = 6*g - a*g. Which is smaller: -5/4 or g?
-5/4
Suppose 2*j = -0*j. Let t = -861588 + 305863978/355. Let l = 5/71 - t. Which is smaller: l or j?
l
Let d be (-2)/(-4)*(-3 + 1). Let f be (-1)/1 - (5 - 8). Let c = d + f. Which is smaller: c or -1?
-1
Let j = 22 + 1. Let g(a) = -2*a**3 + a**2 + 4. Let n be g(-2). Which is smaller: j or n?
j
Suppose 4*z - 4 + 0 = -4*b, -4*z - 5*b + 4 = 0. Let c = 95 - 161. Let u be (-1 - 68/c)*6. Is z smaller than u?
False
Let q = 0.1 + 0. Which is smaller: q or -2?
-2
Suppose 2*s + 2*s + 24 = 0. Let w = s + -39. Let o = 136/3 + w. Is 0 less than o?
True
Suppose 4*v - 2 + 24 = 2*j, -10 = v + 4*j. Let m = -8 - v. Is m > -1/3?
False
Let h = 2 + -2. Suppose -5*r - 7 = -s, r + 4*s + s + 17 = 0. Let f be 10/15 - r/(-3). Is h greater than or equal to f?
True
Let i = 8 + -3. Let r = 5 - 1. Which is bigger: r or i?
i
Let l = 6 - 8. Let p = -1 - l. Let k = 2 + p. Is -1/2 at most as big as k?
True
Suppose 5*g = -0*g - 55. Let d be (-18)/(0 - -2) + -2. Is g at most as big as d?
True
Let p(i) be the second derivative of i**3/6 - 3*i**2/2 + 3*i. Let z be p(-5). Is z equal to -9?
False
Let w = 14.5 - 17. Let u = 14.5 + w. Which is bigger: 1 or u?
u
Let o = -1 - -2. Let l(m) = -m**3 - 3*m**2 - 3. Let x be l(-3). Let k = x + 4. Is k greater than o?
False
Let k be (-4)/(-5) - 5/(-25). Let c be 2/(-42) - (-10)/(-35). Which is greater: c or k?
k
Let g = 334.86 - 341. Let p = g - -0.14. Is -2 at most as big as p?
False
Let w = 2.94 + 0.06. Let k = w - 0. Let q = k - 2. Are 1 and q unequal?
False
Let v(p) = -p**2 - 8*p. Let q be v(-8). Let u(z) = z**3 + 4*z**2 + 2*z. Let w be u(-2). Let m(i) = -i**2 + 4*i. Let x be m(w). Does q = x?
True
Let j be (4/6)/(2/15). Let v be 9/((27/(-6))/3). Let a = j + v. Are a and -2 unequal?
True
Suppose 26 + 10 = -3*w. Let o be 1/5 - w/(-15). Is o > -2?
True
Let x = -19 - -66. Suppose -a + 4*y + 18 - 4 = 0, 5*a = -3*y + x. Which is smaller: a or 0.1?
0.1
Let v be (16/(-10))/(-9*(-16)/360). Is v less than -4?
False
Let q be (-186)/45 + 4 + 167/15. Let d(l) = -l**3 - 2*l**2 + l + 4. Let g be d(-3). Which is smaller: g or q?
g
Let r be 21/(-2)*(-6)/(-9). Let w = 8 + r. Are 0 and w nonequal?
True
Let o be 3/(-3)*4/(-9). Is 1 at most o?
False
Let u be (-3)/6*(-1 + -1). Let p be 3 + -1 - (-13)/(-6). Which is bigger: u or p?
u
Let z(o) = o**3 - o**2 - 2. Let h be z(2). Is h bigger than 3/5?
True
Let g be -2 - 2*2/(-2). Let b = 0 + g. Let r = -78 + 315/4. Which is bigger: r or b?
r
Suppose 2 = -r - 6. Which is smaller: -7 or r?
r
Let w(a) = -4*a - 1. Suppose -3 = 5*b + 17, g + 4*b = -14. Let r be w(g). Which is smaller: r or -10?
-10
Let q(s) = s**3 - 4*s**2 + s - 7. Let c be q(4). Is c <= -3?
True
Let y be (1 - -5) + (3 - 4). Let j = y - 4. Suppose -5*u = 4*r + 8, -3*u + 0*u = 12. Which is smaller: j or r?
j
Let x = 6 + -6. Let m = 0.38 - -9.62. Is x bigger than m?
False
Let w be 1*(-3)/(-9)*-3. Which is greater: 2/5 or w?
2/5
Let a = 3 - 0. Let h be -3*(1 + 21/(-9)). Which is smaller: a or h?
a
Let l = -2 + 8. Is 6 greater than l?
False
Let n(x) = -x**3 + 12*x**2 - 12*x + 8. Let b = 39 - 28. Let r be n(b). Do r and -9/5 have different values?
True
Suppose 3 = 3*c - 2*c + w, 4*w = c - 13. Let j = -3 + c. Which is bigger: j or 4/5?
j
Suppose -4*y - 32 = -0*y. Is y >= -47/6?
False
Let o = -2 - 3. Let k = 3.1 + -1. Let x = k + -2. Which is smaller: x or o?
o
Let m be (-12)/8*(-14)/(-6). Is -3 less than or equal to m?
False
Let k(c) = c - 12. Let s be k(12). Which is bigger: -2/287 or s?
s
Let f be (-6)/(-315)*-73 + 1. Let s = 4/21 + f. Suppose -3*c - 15 = -5*l, l - 3 = -4*c - 0*l. Which is smaller: c or s?
s
Let d = -1.8 - -3.1. Let a = -0.3 + d. Let o = -20.1 + 20. Is a >= o?
True
Suppose 0 = g - 6*g + 4*k - 25, -5*g - 25 = 2*k. Is 0.19 greater than g?
True
Let y = -1.7 + 1.65. Let g = y - 0.05. Which is bigger: 3 or g?
3
Let t = 6 - 5. Let s be (0 - -1)*0/(-3). Let k = 0 - s. Is t at least as big as k?
True
Suppose -2*u = -2 - 0. Let j = 67/2 - 403/12. Is j at most as big as u?
True
Let k = -3/59 - -139/413. Which is greater: 7/9 or k?
7/9
Let h be (0 - 1) + (-3)/(-2). Suppose i - 12 = -i. Let q be (-1)/(-3) + i/9. Which is smaller: h or q?
h
Let p = -1.9 + 0.9. Let q = -1.8 - p. Which is smaller: q or -0.1?
q
Let a = -4.3 + 0.4. Let m = a + 4. Let x = m - 0. Which is smaller: 0 or x?
0
Let z(u) = -u**2 - 10*u - 10. Let n = 8 + -18. Let b b