s + 5, -3*s - 3 = -5*w. Suppose -3*c - 278 - 39 = -q, 2*c = -5*q - 183. Let m = -310/3 - c. Which is smaller: m or w?
w
Let y = 199 + -72. Let c = y + -117. Which is smaller: -1 or c?
-1
Let t be (-24)/(-14) + (-1)/(35/(-10)). Let y be ((-11)/264)/(t/(-20)). Which is bigger: 0 or y?
y
Suppose m = -4*z - 15, -16 - 34 = -5*m + 5*z. Suppose 0 = -m*n - 5*l - 105, 2*n = -2*n + 5*l - 57. Which is bigger: -17 or n?
-17
Let f = 35/124 + -1/31. Let b be (-6*1 + -3)*-1. Suppose -j = 5*g + b, 2*g + 6 = -0*g - j. Which is greater: g or f?
f
Let x = 5 + 7. Let t be -24*x*4/3. Let h = t - -7298/19. Is 0 smaller than h?
True
Let c = -0.15 - -0.208. Let l = c + -0.018. Is -5 < l?
True
Let n be ((-40)/30)/((-28)/231). Let x(b) = -b + 7. Let h be x(3). Suppose 4*g - 2*g - 24 = -h*y, 3*g - y - 36 = 0. Which is greater: g or n?
g
Let k(p) = -p**2 + 72 + 6 - 13 - 12*p - 16*p. Let i be k(-30). Are 3/8 and i equal?
False
Let g be 2 + -3 + (-119 + -1)/(-6). Is g at most 18?
False
Suppose 4*l - 2*w = -1 + 5, -5*l + 4*w = -2. Suppose l*x + 46 = -4. Is -25 less than x?
False
Let b = -2.394 + 0.394. Is b greater than -0.014?
False
Let b = 1447 - 1430.14. Let l = b + -17. Let t = l + 6.14. Which is smaller: t or -1/3?
-1/3
Let s(h) = h**3 - 14*h**2 - 14*h + 15. Let k be s(15). Suppose o - 47 = k. Is o < 77?
False
Let l be 46/16 + (-1)/(-8). Suppose 4 = -2*k - 3*q, 2*k + 2*k + 8 = l*q. Let x be k/15 - 55/150. Is -2.4 less than x?
True
Let p be -2 + 18/42 + (-6)/14. Let j = 4 + p. Are 17/5 and j unequal?
True
Let p = -89 + 93. Let a be 2/p*(201/(-183) - -1). Are -1 and a unequal?
True
Let y = -4 + 3. Let m = -18.531 - 0.469. Which is smaller: y or m?
m
Suppose 5*y - 5 = -4*t, -3*t + 4*y = 7 - 3. Suppose t = -2*a + 8 + 2. Which is greater: 4 or a?
a
Let y = 93 - 93. Let a be 2*2/70*(-308)/(-1188). Which is bigger: a or y?
a
Suppose 0 = 3*z - 0*z + 15, 20 = k - 4*z. Let o = -3/1643 - 3247/21359. Which is smaller: k or o?
o
Let d be 4/(1/((-2)/2)). Let z be 24*(-1)/d*-2. Let a = -616 - -604. Is z not equal to a?
False
Let h = -0.5 - 0.7. Let i = 7.419 + -0.219. Let o = i + h. Is o > 0.2?
True
Let x be ((-8)/(-3))/(-2)*3/2. Let h = -2 + -4. Let p(i) = i**2 + 7*i + 5. Let u be p(h). Which is smaller: u or x?
x
Let p be (-8)/3 - 115/(-23). Let d be 15/6*6/5. Suppose -d*s + 9 = -0*s. Is p at least as big as s?
False
Let z = 101 + -135. Let s = 28 + z. Which is smaller: 1 or s?
s
Let q be 20/(-160) + 2 + 62/(-16). Suppose n + 2*n - 12 = 0. Suppose 2*i - 18 = n*i + 2*v, i + 18 = -4*v. Which is greater: i or q?
q
Suppose -27 + 6 = -3*q. Suppose 0 = -q*g + 15*g - 80. Are 1 and g unequal?
True
Suppose 5*n + 3 = 4*n, -z = 2*n + 22. Which is greater: 5 or z?
5
Let d be (-8)/(1/((-4)/8)). Suppose 3*u = -u + 12. Suppose 1 = 4*s + 5*y, -2*s + 5*y + 35 = u*s. Is d >= s?
True
Suppose b = -2*b. Let p be 4 + b - (14 - 14). Suppose -q = -p*q. Does q = -1?
False
Let q be 5/(-15)*-1*33. Let d = 2.6 + -3.6. Which is smaller: q or d?
d
Suppose -4*p + 10 = -p + 5*t, -35 = 3*p - 4*t. Are -10 and p equal?
False
Let t = -1.462 - -21.552. Let k = t + -20. Let x = -0.21 - k. Are 0.1 and x equal?
False
Let b(p) = 2*p + 9. Let z be (-1)/(15/6 - 2). Let w be ((-15)/(-6))/(1/z). Let j be b(w). Are j and -2/21 nonequal?
True
Let k = 0.3 - 0.31. Let g = 963 - 953.99. Let x = g + k. Which is bigger: 2 or x?
x
Let m(d) = -2*d**2 - 13*d + 6. Suppose b - 4*n = 4*b + 25, 2*b + 15 = -n. Let k be m(b). Is k < 2/167?
True
Let f = -67 - -81. Suppose -f = -2*c + 5*w + 40, -w - 4 = 0. Is c > 16?
True
Suppose 0 = 32*j - 38*j - 3552. Is -592 less than j?
False
Let j = -273 + 265. Suppose c + 4*n = -8 - 1, -c - 2*n = 9. Which is smaller: j or c?
c
Let u = 236 - 270. Which is bigger: -33 or u?
-33
Let k(m) = 3*m**2 + 27*m - 59. Let f be k(3). Suppose 136 + 8 = 3*u. Is f at most as big as u?
False
Let n be ((-20)/6)/(28/84). Which is smaller: -7 or n?
n
Let n = -2/388645 + -2196621526/2720515. Let c = 814 + n. Which is smaller: c or 6?
6
Let m be 112/16 - (-40)/(-6). Which is greater: m or 28?
28
Suppose -2*m = 5*v - 42, 4*v + 3*m - 5 - 30 = 0. Suppose g = v*g. Is g < 2/29?
True
Let g = 43 + -51. Let u be 4/(-8)*g/26. Let o(q) = q**2. Let f be o(1). Is u greater than f?
False
Suppose 3*i + 3*x = -45, 11 = 4*x - 5. Let c be (i/(-76))/((-10)/(-24)). Which is greater: c or -1?
c
Let w = -91 + 99. Is w < 64/9?
False
Let d = 21 - 21.167. Let a = 0.067 + d. Are a and -0.09 non-equal?
True
Let z be (-4 - (-4 + 4)) + 26. Let t = 275 + -257. Is z > t?
True
Let a = -1 - 3. Let s = 35.056 - 35. Let w = s - -0.044. Which is smaller: a or w?
a
Let q be 175/75*164/(-42). Which is smaller: q or -8?
q
Suppose 0 = -25*k + 128 - 1253. Which is bigger: k or -177/4?
-177/4
Let p(x) = x + 9. Let g be p(-5). Suppose -g = -0*f + f. Which is bigger: f or -5/2?
-5/2
Let g = 621/2 - 63959/206. Suppose -2*r - 2 = -2. Suppose 5*f - 4*f + o = 0, 4*f + 5*o = r. Which is smaller: g or f?
f
Let y be 3/(-12)*0 + -1. Let u be y*3 - (-13 + -5). Let a be (-4)/(-6)*(-9)/u. Is 7 at most as big as a?
False
Suppose 4*v - 62 = -82, 3*w = v + 662. Is 4 smaller than w?
True
Let o(k) = k**2 - 12*k - 23. Let a be o(-2). Suppose a*y + 71 = -2*m - 2*m, 5*m = -20. Is -13 at least y?
False
Let u = 310 + -311. Is u < 1/154?
True
Suppose 5*t + 3*w - 5 = -3, 10 = 3*t + 4*w. Is -72/71 at most t?
False
Let g be 1/5 + 4108/560. Let h = -29/4 + g. Let p = -0.08 + 9.08. Is p greater than h?
True
Suppose 146 = 8*x + 154. Let k(b) = -b**3 + 0*b - 6*b**2 + 0*b - 1. Let p be k(-6). Do p and x have different values?
False
Let k(u) = -u**3 - 23*u**2 - 76*u + 1. Let h be k(-4). Which is smaller: h or 531?
h
Let p(w) be the second derivative of 5*w**3/6 + 3*w**2/2 - 30*w. Let f be p(-10). Which is smaller: f or -48?
-48
Let h = 19.3 - 15.3. Which is bigger: -4/5 or h?
h
Suppose -51 = 3*g - 3*r, 3*r + 5 = 5*g + 80. Suppose -d + 37 = -3*c, 3*c - 2*d = -3*d - 35. Is g greater than or equal to c?
True
Let m be -2*3/(-44)*2. Suppose -5*c - 3*h + 2 + 3 = 0, -c + 2*h + 14 = 0. Suppose 5*s = 5*r + 30, c*r + 3*s + s - 16 = 0. Which is smaller: m or r?
r
Suppose 4*n + 5089 = -3*c, 3*n + 11*c = 15*c - 3798. Is -1270 at least as big as n?
True
Let l be (-1)/5 - 11473347/615. Let j = l - -18661. Let o = j - 5. Are 1 and o unequal?
True
Let k be 8/((-2)/2*1). Let x be (-2260)/k*(-31)/11. Let l = -796 - x. Is l at most as big as -1?
False
Let u be (6 - 4 - -2)*-18. Is -71 not equal to u?
True
Suppose u + 10 = 3*r, -3*u + 2*r + 25 = 4*r. Suppose 4*q = 7*q + u*q. Which is smaller: q or 2/127?
q
Suppose -1353*j = -1344*j - 9. Do j and 5/16 have different values?
True
Let t(w) = -w + 5. Let p(b) = -b**3 - 5*b**2 + 6*b + 5. Let x be p(-6). Let f(d) = d - 5. Let j(i) = x*f(i) + 6*t(i). Let m be j(-4). Is -1 bigger than m?
False
Let c(t) = 3*t + 9. Let g be c(-11). Let y = g - -15. Suppose 26*i + 70 = 19*i. Which is smaller: y or i?
i
Let u(s) = 3*s + 13. Let q be u(-5). Let m(k) = k**3 + 3*k**2 + 2*k. Let a be m(q). Is 2 equal to a?
False
Let h(n) = n**3 - 9*n**2 + 12*n - 23. Let y be h(8). Suppose -3*r - 9 = 3*c, 0*c = 5*c - r - y. Which is smaller: 2/83 or c?
2/83
Let y be (1*-2)/(8 + (-1522 - -5)). Which is smaller: y or 0?
0
Let k(n) be the second derivative of -n**3/2 - 19*n**2/2 - 4*n. Let l be k(-6). Is 1/27 at least as big as l?
True
Suppose 0 = -2*r + 2 + 28. Let s = -5 + 15. Let f = s - r. Are f and -0.2 equal?
False
Let b be (4/48)/((-1)/(-12)). Let x be (-1)/2 - (-90)/196. Which is greater: x or b?
b
Let k be (6/4)/(2/6). Let g be (7 + (4 - 6) - 0) + 0. Which is greater: g or k?
g
Suppose -w + 5*k = 7 - 5, 4*k + 53 = 5*w. Which is greater: w or -0.9?
w
Let p be 2*(4/4)/2. Suppose -10*g = -7*g - 9. Suppose -q + 0*q = 5, -5*r = g*q + 20. Which is bigger: p or r?
p
Suppose -1047 - 669 = -52*g. Is g <= 44?
True
Let x = -1119 + 863. Is x greater than or equal to -254?
False
Let g(k) = k + 1. Let f be g(-1). Suppose 4*z - 12 = f, 21 = 4*d - 2*d + 5*z. Let a be -4 + 3 + -1 - (-1 - 3). Which is smaller: d or a?
a
Let d = -49084/17 - -2886. Which is greater: d or -2?
d
Let p = -28 - -16. Let m(i) = 0*i**3 + 3 + 1 - 2 + 5*i - i**3 + 6*i**2. Let a be m(7). Is a <= p?
True
Suppose -4*s + 4 = -36*u + 31*u, 4*s - 4 = -3*u. Do u and 281 have different values?
True
Let v be ((-597)/12)/(-1)*1. Which is smaller