/(-2) - 18/(-17). Which is greater: n or s?
s
Suppose 2*k + 1 = -4*a - 3, 0 = 5*k - 5*a - 5. Let i = -89/295 + 1/590. Which is bigger: i or k?
k
Let l be (12/(-18))/(2/12). Let h be 24/(-135)*10/l. Which is smaller: 1 or h?
h
Let k = -19.08 + 14.1. Let j = k + -0.02. Let b = -5 - j. Is b at least as big as 2/13?
False
Let h be (0 - (-9)/(-2))/(7 + -3). Is h not equal to -2?
True
Suppose 3*s = 2 + 4. Suppose -s*a = -4*a - 4. Which is smaller: a or -1?
a
Suppose -3*s = -3 + 3. Which is greater: 1 or s?
1
Let q(f) = -2*f**2 + 14*f + 18. Let t be q(8). Suppose -2*r + c = -6, -1 = -3*r + c + 6. Let v be -1 + t + r + -4. Is v equal to -3?
False
Suppose 0*j = 4*j + 80. Let i be 15/j - (-2)/(-8). Let t = 217/6 - 36. Is t at most i?
False
Let p = 6.4 + -11.4. Is p bigger than 2/29?
False
Let s = -5 + 1. Let k(f) = 2*f + 4. Let l be k(s). Which is greater: -5 or l?
l
Let r be -3 + 69/20 + (-1)/4. Suppose 5*p = p + 4. Which is smaller: r or p?
r
Let f = -1.7 + 1.6. Is -1/29 greater than f?
True
Suppose 3*h + 2*h - 3 = -2*w, 5*w + 7 = 2*h. Let p be -1 - (-9)/(h + 2). Suppose -s = p*s - 15. Which is smaller: 6 or s?
s
Let w(j) = j**3 - 10*j**2 + 3*j - j + 13 - j. Let d be w(10). Let y = d - 93/4. Are 0 and y unequal?
True
Let u(k) be the second derivative of k**3/6 + 7*k**2/2 - 4*k. Let x be u(-9). Is x at least -1?
False
Let l = -1.1 - -1. Let s = -5.9 + 5. Let t = 1 + s. Which is greater: l or t?
t
Let f(h) = -h**3 + 4*h**2 - 4*h - 1. Let u be f(3). Let y be u/(-14) + 374/14. Let m be ((-12)/y)/((-2)/(-3)). Which is smaller: -0.2 or m?
m
Let w = -0.233 + 0.033. Let s = -0.1 - 0.4. Let h = w - s. Which is greater: 1/2 or h?
1/2
Let w be 126/28 + 1/(-2). Suppose -i + 14 = -4*f + 3*f, w*i + 4 = -2*f. Which is bigger: f or -9?
-9
Let m(f) = -2*f. Let t be m(-5). Let h be ((-8)/t)/(7/(-5)). Let k be (-2 + (-35)/(-15))*3. Are k and h nonequal?
True
Let x(h) = -h**3 + 3*h**2 + 4*h + 2. Let z(o) = -1. Let d(p) = x(p) + 4*z(p). Let c be d(4). Which is smaller: -1 or c?
c
Let b(u) = u - 3. Let a = 7 + -4. Let q be b(a). Let n be (1 - -2)*(-5)/(-25). Which is smaller: q or n?
q
Suppose 8*a = 3*a + 10. Let o be (a/4 + 0)*2. Let z = o - 2. Which is smaller: -2/7 or z?
z
Let p be 45/(-25) - 2/10. Let i be 60/16*p/(-20). Which is smaller: -1 or i?
-1
Let u(q) = q + 5. Let b be u(-6). Let v(d) = -d**3 + d**2 + d + 1. Let s be v(b). Let l(n) = -n**3 + 21*n**2 - 54*n. Let j be l(18). Which is bigger: s or j?
s
Suppose -36 = -2*y - y. Let g be 2/4*(-16)/y. Which is smaller: -2/7 or g?
g
Let j be (-4)/24*3 - 38/4. Which is smaller: -9 or j?
j
Let c be (3/(-6))/(1/4). Let p = 122 + -860/7. Which is bigger: c or p?
p
Let t be ((-60)/250)/(2 + -3). Which is smaller: 0 or t?
0
Suppose -p - 3*j + 26 = 4*p, p = 2*j + 13. Let m be 2/(-3) + p/(-3). Let g be (-2)/(-6)*2*m. Is -2 smaller than g?
False
Let t be (-3)/(-7)*(-7)/(-10). Let z(i) = i**3 - 3*i**2 + i + 1. Let x be z(2). Does x = t?
False
Let k(l) = l**2 - 5*l. Let v be k(5). Let b be -1*(-1 + v/1). Let r be (4*(-2)/(-20))/(-2). Which is bigger: r or b?
b
Suppose -s + 1 = -1. Suppose s*l = 4*l. Let r be (-5)/(-2)*(-4)/25. Is l != r?
True
Let l(w) = w**2 - 3*w + 2. Let p be l(1). Let v be (1 - (-12)/(-8))*p. Which is smaller: v or 2/29?
v
Let n(j) = -j + 9. Let a = 4 + 0. Let r be n(a). Suppose 2*p + 4 = 0, 0*l + 13 = -r*l - 4*p. Are l and -2/11 non-equal?
True
Suppose -2*p + 72 = -4*g, 3*g + 3*p = 2*g - 4. Let v = g + 16. Which is smaller: v or -1/5?
-1/5
Let p = 5 - -3. Which is greater: p or 3?
p
Let c be 3/4 + (-8)/(-32). Which is greater: c or -9?
c
Let g be (28/12 + -3)*-3. Suppose 0*u + g*p = 3*u - 43, -3*u + 58 = -5*p. Is u less than -1?
False
Let r(p) = -9*p - 8. Let y(a) = -5*a - 4. Let n(j) = -4*r(j) + 7*y(j). Let v be n(-5). Which is greater: -2/13 or v?
-2/13
Let t = 19/124 - -3/31. Let d = 2.2 - 2. Let c = 0 + d. Which is greater: c or t?
t
Let u = 27 + -14. Suppose 1 = 3*m + 3*k + k, 3*m = 2*k + u. Which is greater: 3/2 or m?
m
Let i = -0.02 + -0.88. Let s = 0.1 - i. Do s and -2 have the same value?
False
Let r be 5/7 - (-3)/(-7). Which is greater: -9 or r?
r
Suppose -j + 6 + 0 = 0. Which is smaller: 3 or j?
3
Let s be ((-6)/(-9))/((-28)/6). Suppose -4*q - l + 5 = -0*q, -3*q + 25 = 5*l. Let m be (q - -3) + 5 + -7. Is m less than s?
False
Let p = -50 + 49.9. Which is smaller: p or -7/3?
-7/3
Let n = 6 + -5.6. Let a = -0.4 + n. Let i = -41 - -40. Which is greater: i or a?
a
Let a = 5 - 5. Suppose a = -w + 2*w. Which is smaller: w or 4/3?
w
Let b be ((-3)/5)/(6/(-30)). Suppose 4*n - 37 = 5*j, -b*n = -6*n - 4*j - 11. Let y = -9 + n. Is -6 <= y?
True
Let b = 7.2 - 6.5. Are b and 1 unequal?
True
Suppose -2*x - 7 = -x. Let z be (3/(-6))/(x/(-2)). Is z greater than or equal to -1?
True
Suppose 0 = 3*q + 9, -3*q - 3 = -2*o + 10. Is -0.2 greater than o?
False
Let a be (-18)/(-14) + 8/(-28). Suppose -5*l = a - 6. Let d = -143/3 - -48. Which is greater: d or l?
l
Let p(f) = -3*f**3 + 14*f**2 + 5*f - 1. Let c be p(5). Suppose -n - 3*b = -4, -3*n = -b + 2*b - 12. Suppose n*m = -7 - 5. Is m bigger than c?
False
Let z be (1*-2 - -1)*-1. Suppose 4*u - u = 3, 5*n = -2*u + 12. Suppose -z + n = i. Which is greater: i or 0?
i
Let i = 7.8 - -1.2. Let w = i - 9. Which is bigger: 1 or w?
1
Suppose -12 = 3*t - 5*t. Let o be (-2)/t + (-121)/(-12). Let g = -10 + o. Which is greater: 0 or g?
0
Let i = 42 - 30. Let h = 8 - i. Suppose -7*v = -4*s - 4*v - 9, -5*s - 2*v = 17. Which is smaller: h or s?
h
Let s be 3 + -3 + (-4)/(-1). Let o be s/(-3)*30/20. Let r(c) = -c**3 + c**2 + 4*c - 3. Let y be r(2). Is o less than y?
True
Let s be 80/105 + (-2)/6. Suppose -5*j + 4 = -9*j. Which is bigger: j or s?
s
Let j = 440/3 - 26834/183. Are j and 0 equal?
False
Suppose -10*c - 3*c + 52 = 0. Is c greater than or equal to 5?
False
Let m be 1 - 2*(-4)/(-4). Let x = -0.02 + 0.02. Which is bigger: x or m?
x
Let x = -0.07505 - 91.98495. Let a = -95 - x. Let q = a + -0.06. Is 1 equal to q?
False
Let s(w) = -52*w**3 + w**2 + w. Let x be s(-1). Is x greater than or equal to 52?
True
Suppose 4*t - 2*m = 12 + 24, -2*m = -5*t + 45. Which is smaller: t or 10?
t
Let y = 14 + -10. Let t(w) = y + 0 + 5 - w. Let s be t(8). Which is greater: -1 or s?
s
Let f = 4 + 22. Let l = f - 24. Is 2 >= l?
True
Let s be 282/(-20)*(2 + 16/(-6)). Which is bigger: s or 9?
s
Let x be 2 - ((-120)/14)/(-3). Do x and -2 have the same value?
False
Let o be (-3 - -2)/((-3)/(-21)). Which is smaller: -6 or o?
o
Let s be -5*(2/(-7) + (-44)/(-105)). Is s at least -1?
True
Let l(b) be the second derivative of -b**3/6 - b**2 - 3*b. Let r be l(-6). Let a be 40/(-15)*1/r. Are a and 4 equal?
False
Let i be (61 + -58)*3/((-18)/4). Do i and -2 have the same value?
True
Suppose 32 = -2*n - 3*a + 3, -2*a = 6. Is -28/3 greater than n?
True
Let b(w) = 0*w + 0 - 6*w + 2 + w**2. Let m be b(6). Let g be (6/4)/((-6)/(-8)). Are g and m nonequal?
False
Suppose -5*y - 9 = 26. Which is smaller: -2 or y?
y
Let y = 5 + -1. Let w = y + -4. Suppose w = 5*q - 2*q. Is -3/4 <= q?
True
Let d be ((-2)/(-3))/(2/84). Is d less than or equal to 28?
True
Let c be 0 + (0 - -2) - 17484/8711. Is 0 at most as big as c?
False
Suppose -3*x - 3*i = 6, 2*x = -3*x + i + 14. Suppose 0 = -0*y - 3*y - x*u + 11, -17 = -y - 4*u. Which is smaller: 1/4 or y?
1/4
Let z = 2 + 0. Let y = z - 2. Is y <= -1/4?
False
Let f(y) = -y + 22. Let n be f(7). Is 16 greater than n?
True
Suppose 4*h - 3*m - 25 - 15 = 0, 2*m = -8. Which is smaller: 10 or h?
h
Let n = -112 - -775/7. Which is bigger: -2 or n?
n
Let s be 1 + -3 + 8/3. Is s != 2?
True
Let q = 0 + -0.1. Let m = 34 + -51. Let z = m - -17.4. Is q <= z?
True
Let g be 5/2*32/(-5160). Let x = g - -292/2193. Do 0 and x have the same value?
False
Let d(j) = j**2 - 2*j + 1. Let c be d(1). Let k(m) = -m**2 - 1. Let v be k(c). Which is greater: 1/3 or v?
1/3
Suppose u + 4*r - 7 = 0, 3*u + 5 = 5*r - 8. Let j be 0/1 - (0 + u). Let v be ((-14)/42)/((-4)/6). Which is bigger: j or v?
j
Let u be (18/21)/((-5)/630*-3). Which is smaller: 37 or u?
u
Let h = -7 + 29/4. Which is bigger: h or 2/45?
h
Suppose 0 = -7*o + 3*o - 4. Let h be (-34)/(-4) + o/2. Let z be (18/h)/((-15)/(-5)). Which is smaller: z or 1?
z
Let d be 2/(-4)*-2*0. Let w be ((-3)/15 + d)/1. Which is smaller: 0 or w?
w
Let r = 33 + -35.01. Let 