
-440
Let m = 57 + -55. Suppose 5*j + 4*l + 121 = 0, 7*j - m*j - 2*l + 97 = 0. Which is greater: j or -39/2?
-39/2
Let s be 6/(-10) - (-74)/(-10). Let u = 12 + s. Suppose 4*k - 6*p - 7 = -p, -u*k + p - 5 = 0. Which is greater: k or -1?
-1
Suppose -4*k - 16 = -4*s - 3*k, 4*s - 8 = 3*k. Suppose x - 2*u = -2*x + 32, s*x - 5*u - 55 = 0. Which is greater: 9 or x?
x
Let x = 28.8 + -31.8. Let i = 22 + -13. Which is smaller: i or x?
x
Let j be 20*(1 - 0) + -1. Suppose 2*n + 9 = -j. Let b be ((-172)/(-12) - 6)*(320/(-25) + 11). Which is greater: b or n?
n
Suppose -3*i + 6*i - 105 = 0. Suppose z + 5*h = -z - i, 28 = -z + h. Is z greater than -25?
False
Suppose -1611 = -28*g + 2505. Which is bigger: g or 2?
g
Let m be (-506)/(-1)*-2*(-3)/(-24). Let s = 121 + m. Is -5 not equal to s?
True
Suppose -3*g = 3*b - 9, 2*b + 24 = 5*g - 5. Suppose 8*w - g = 3*w. Is w smaller than -1/6?
False
Let l = 224 + -317. Let w = l - -92. Are 31 and w unequal?
True
Let j be 60/24 - (-2 + -1). Which is greater: j or -1?
j
Let y be (3 - 11)*-1 - 2. Suppose -y = 8*a + 2. Which is greater: a or -1/9?
-1/9
Let k be (-99)/990 + 2459/(-10). Which is smaller: k or -244?
k
Let t = 1 + -2. Let v = -16 + -2. Let l = 10 + v. Is l less than t?
True
Let v(u) = 12*u - 5. Suppose -8*k = -9 + 1. Let x be v(k). Does 6 = x?
False
Let j = 9 - 13. Let v = j + 7. Suppose 4*x - 10 = p, -4*p + 10 = 5*x - 13. Which is greater: p or v?
v
Let b = -2.1 - -2.4. Let d = b + -0.4. Let l = 1.17 + -0.96. Which is greater: d or l?
l
Let w = -141 + 135. Let f be 102/(-14) + (-4)/(-14). Which is greater: f or w?
w
Let o = 93 - 109. Let u = -2 + -15. Let j = u - o. Which is bigger: j or 0.5?
0.5
Let d(g) = 3*g + 7. Let s be d(-7). Let j = -0.0078 + 1.0078. Is j at least s?
True
Suppose -9 = 3*y, x - 2*y - 11 = -0*y. Let w be ((-5)/(-10))/(1/8). Let q be (2/(-5))/(w/x). Which is smaller: 0.4 or q?
q
Let i = -1 - -1. Suppose i*z = -5*z - 75. Suppose -g + q - 15 = 0, 0 = -g + 3*q - 3 - 12. Do z and g have the same value?
True
Suppose 12 = 5055*n - 5049*n. Is n smaller than -1/100?
False
Let d = -2217 + 51006/23. Is d greater than 2?
False
Let s(j) = -j**2 + 12*j + 44. Let q be s(13). Are q and 29 nonequal?
True
Let q = -14/51 - -19/255. Let f = 6 + -7. Which is smaller: q or f?
f
Let w = 1.84 + -121.84. Let b = 117 + w. Which is smaller: -2.1 or b?
b
Let y be -8 + (-16)/4 + 0/2. Let s(j) = j**3 + 15*j**2 + 26*j - 10. Let p be s(-13). Is y > p?
False
Let i = 0.3 + 0.7. Let m = -4236.3 + 4240. Is m < i?
False
Let d(o) = -5*o + 1. Let i be d(-3). Suppose j + 10 = l, 2*j - 4*l + i = j. Let b be j/(-6)*(4 - 3). Is b less than or equal to 2?
True
Let r be ((-143)/(-13) + -9)/(2/(-47)). Is -51 smaller than r?
True
Let h(l) = -l**3 + l - 1. Let t be h(-2). Suppose -t*g + 11 = 21. Which is bigger: g or -6?
g
Let o = 55 + -265. Let h be (-122)/(-240) + 28/o. Which is bigger: 0 or h?
h
Suppose 3*f = 2*f. Let o be 8/(-48) + (-74)/(-21) - 3. Is f less than or equal to o?
True
Let z be (-2)/8*(-23 + 19). Which is smaller: -4/21 or z?
-4/21
Let d be (-378)/(-30) - 2/(-5). Let c be ((-4)/16)/(d/(-6)). Let u = 89/546 - c. Do u and -1 have the same value?
False
Let u = -280570/17 + 16510. Is u at most 7?
True
Suppose 2*v - 3*v - 15 = 0. Suppose h - 4 = 15. Let w = v + h. Which is smaller: 0 or w?
0
Suppose 15*v = 41*v + 26. Is -5/64 smaller than v?
False
Suppose 5*q + 8964 = -2*c, 4*q = -2*c - 6285 - 885. Is q smaller than -1794?
False
Let q = 345 + -283. Let k(p) = -3*p - 6. Let x be k(6). Let a be (-4)/x + q/(-84). Do a and -1 have different values?
True
Let y = 0.1091 - 0.2091. Which is greater: y or -1/219?
-1/219
Let j(y) = 1. Let c(m) = m**2 - 19*m - 20. Let n(r) = c(r) + 4*j(r). Let v be n(20). Suppose 0 = 2*o - 5 - 7. Which is smaller: v or o?
v
Suppose 6*r + 2*r = 24. Let k = r - -21. Which is greater: k or 26?
26
Let x = -0.8 + -1.85. Let i = x + 0.65. Which is smaller: i or -0.17?
i
Let q(n) = n + 7. Let r be q(-7). Let x = 28 + -45. Let g be (-30)/10 - 50/x. Is g at most r?
True
Let x = 334 + -334. Is x at least as big as 9?
False
Let j = 6.1 + 46.9. Let v = 53.1 - j. Which is bigger: -6/17 or v?
v
Let s(m) = 10*m - 576. Let g be s(60). Is 266/11 >= g?
True
Let a be (2 + 6 + -5)/(-15). Which is greater: a or 0.014?
0.014
Let o(i) = i**2 + 20*i + 21. Let t be o(-14). Are t and -57 nonequal?
True
Let g(u) = -u**2 - 10*u - 14. Let r be g(-7). Suppose -r + 5 = -2*c. Which is smaller: c or 3/13?
3/13
Let x = -224 + 154. Let a be (6/15)/(x/25). Suppose -4*l - 2*i = -3*i + 1, 23 = 3*l + 4*i. Is a at most as big as l?
True
Let g = -29/72 - -5/72. Which is smaller: -257 or g?
-257
Suppose 0 = 7*w - 28. Is -41 >= w?
False
Suppose -5*t + 5*v - 5 = 0, -8*t + v + 11 = -4*t. Suppose g - t = -5. Which is smaller: g or -1/15?
g
Let f(z) be the second derivative of -z**5/20 - z**4/3 + 2*z**3/3 - 4*z**2 + 3*z. Let w be f(-5). Which is smaller: w or 5?
w
Let a = -5.16 + 1.96. Which is smaller: a or -1/3?
a
Suppose -15 = -2*i - i. Suppose 22 = i*j - 13. Which is smaller: 6 or j?
6
Let y be (2/(-3))/(328/(-24)). Suppose 28 + 4 = -16*t. Is t >= y?
False
Suppose -3*t - 2027 = -98. Let k = 35364/55 + t. Which is greater: 1 or k?
1
Suppose 5*c = -0*c. Suppose -q = -5*k + 1 + 1, 10 = 2*q + 4*k. Which is smaller: q or c?
c
Let m = -1 - 8. Let i be m/2 + -3 + 3. Which is smaller: i or -6?
-6
Let u(w) = -4*w**2 + 38*w - 5. Let d be u(9). Is 0.4 bigger than d?
False
Let o(d) = d**3 - 7*d**2 - d + 20. Let l be o(7). Suppose k - 5*k + 48 = 0. Which is greater: l or k?
l
Suppose -4224 - 2972 = -28*d. Is 257 equal to d?
True
Let u(y) = y**2 - 14*y + 40. Let m be u(10). Which is smaller: -890 or m?
-890
Let u = -963 - -962. Is -17/8 less than u?
True
Suppose -243*v + 269*v + 52 = 0. Let t = 12.09 - 0.09. Which is bigger: v or t?
t
Suppose 4*y + 1145 = 3321. Let x = y + -4906/9. Let s = -911 + 911. Which is bigger: x or s?
s
Suppose 5 = t + m, 0 = 3*t - 24*m + 25*m - 5. Is -2/95 at most t?
True
Let s = -0.038 - -33.038. Let v = 31 - s. Which is bigger: 2/15 or v?
2/15
Let d(k) = -2*k - 12. Let j(z) = -4*z**2 + 2*z - 2. Let w be j(1). Let p be d(w). Is p != -12?
True
Let l(p) = -14*p + 84. Let o be l(6). Which is bigger: -21.6 or o?
o
Suppose 4*h - 76 = -2*k, 3*h - 2*k - 46 = 2*k. Let g be (0 + -1 - -1) + h. Let p(a) = a**3 + 5*a**2 - 8*a + 5. Let n be p(-6). Is g != n?
True
Let z(k) = 2*k**2 - 3*k + 2. Let g be z(-3). Let c = g - 29. Suppose c = -r - 6 + 5. Which is smaller: r or 2/67?
r
Suppose -2*o = -2*g - 3166, 3*o + 7*g - 4733 = 2*g. Which is smaller: 1582 or o?
o
Let v(n) = n**2 + 16*n + 29. Let h be v(-14). Is 3/13 less than or equal to h?
True
Let r be 6/15 + 3/(-5). Let y(s) = -s**2 - 9*s - 21. Let g be y(-5). Is r >= g?
True
Suppose 11 = 3*w - 10. Let t = w - 11. Suppose 27*g + 18 + 63 = 0. Is g at least t?
True
Let t = -3/133 + 4/57. Suppose 5*x + 4*d - 17 - 9 = 0, -2*x - 3*d + 16 = 0. Suppose f = -f + x. Which is smaller: f or t?
t
Let w(r) = 6*r**2 - 2*r - 2. Let b be w(2). Suppose -n = -4*p + 12 + b, 6 = 3*n. Suppose -p = 3*k - 7*k. Which is bigger: 3/5 or k?
k
Let s(y) = 2*y**3 - 59*y**2 - 29*y - 8. Let v be s(30). Let u = 15 + -8. Suppose h = z + 3, -v + u = -3*h + 5*z. Is h equal to 2/7?
False
Let w be 1/7*(-56)/(-12). Do w and 4.3 have the same value?
False
Suppose 12 = -2*s + 4*o, 2*s - 2*o - 3*o + 16 = 0. Suppose 7 + s = -w. Let g be (-1)/(2 - (-21)/w). Which is greater: g or 1?
g
Let n = -5 + 4.8. Let a = 15.2 - 14.9. Which is smaller: n or a?
n
Let y(p) = 3 - 5*p**2 - 2*p**2 - 5*p + 6*p**2. Let n be y(-6). Suppose 4 = -2*b + 2. Which is smaller: b or n?
n
Suppose -4*n = -0*n + 24. Let c be 72/(-144)*80/6. Is n less than c?
False
Suppose -5*a + 2*q + 17 = 4*q, 7 = 2*a + q. Suppose a*b = -b - 80. Suppose 7*f - 3*f - 5*g + 104 = 0, -3*f + 2*g = 71. Do b and f have the same value?
False
Let l(g) = -g**3 + 41*g**2 - g + 53. Let q be l(41). Which is bigger: 14 or q?
14
Let b = -2.18 + 2.2. Let c = -0.12 + b. Is 4/7 less than c?
False
Let v(k) = -14*k - 42. Let b(i) = -5*i - 14. Let h(s) = 17*b(s) - 6*v(s). Let n be h(12). Suppose 0 = -n*l - 0*l. Is l at least 2?
False
Let w be (4/(-3))/((-2)/(-3)). Let h = -5 + 4. Let x(m) = 3*m. Let i be x(h). Which is smaller: w or i?
i
Let i be (-7)/((-28)/(-16)) + 16. Let m = i + -12. Which is sm