i = z - 28. Which is smaller: -25 or i?
-25
Suppose 3 = -11*t + 80. Suppose -2 = t*m - 8*m. Is 10/17 bigger than m?
False
Let d = -47 + 48. Suppose -8 = -2*j - 4. Let k(c) = 2*c - 1. Let m be k(j). Which is greater: m or d?
m
Let x(u) = u + 18. Suppose 16*k = 15*k - 17. Let y be x(k). Which is bigger: -6/13 or y?
y
Let c = -1374.74 - -1375. Which is greater: c or -1/5?
c
Let b = -0.017 + -36.983. Let d = -36.77 - b. Which is bigger: -1 or d?
d
Suppose 0*i - 60 = 5*i. Let x be (1 - (-14)/i)/(6/(-63)). Which is greater: x or -2/9?
x
Let y = 13 + -11. Suppose 1 = y*g - 3. Suppose i = -3*u, -5*i + g*u + 18 = -u. Which is bigger: i or 2?
i
Suppose 4*o + 222 = -5*p + 31, 0 = -4*p + 20. Let i be (-150)/o + 6/27. Is 3/2 less than i?
True
Let d(z) = 46*z**2 - 3*z + 12. Let o be d(4). Let q be o/77 + 16/(-56). Is 10 at least q?
True
Let v = 4501 + -4497. Let h = -7 - -3. Let j = h + 8. Is v not equal to j?
False
Let n = 0.038 + 15.062. Let k = n + -5.8. Is k smaller than -2/5?
False
Let s(n) = -n**2 - 10*n + 2. Let h be s(-13). Let m = h - -36. Is -6 bigger than m?
False
Suppose o - 34 = 3*u, -5*o - u - 2*u = -170. Suppose l - 68 = o. Let g = -512/5 + l. Which is smaller: g or 0?
g
Let o(u) = -u**2 + 28*u - 114. Let l be o(23). Let p(s) = -s**3 + s**3 + 2 + s**3. Let g be p(0). Which is smaller: g or l?
l
Suppose -11*g + 45 = -835. Suppose 6*u - g = 154. Is u greater than or equal to 39?
True
Let d = 3/217 - -87/434. Let w be 1/(-4) + 15/28. Let j = d + w. Which is smaller: 0 or j?
0
Let x = 1234 + -1234.14. Which is greater: -2 or x?
x
Let v = 0.34 - -0.16. Suppose 0 = -3*b + 6*b - 45. Let u be 1/3 + 4/b. Are v and u equal?
False
Let w(q) = -6*q - 4. Let j be w(9). Is -59 smaller than j?
True
Let c = -1.6 + 1.43. Is -0.06 smaller than c?
False
Let r be -1 + 928/924 + 0. Let j = -457/1155 - r. Are j and -9/2 equal?
False
Let y = -111 - -4883/44. Which is bigger: y or 0?
0
Let k be 3/(-5)*(-60)/(-90). Which is smaller: -82 or k?
-82
Let j = -626/19 - -33. Let t(o) = -3*o. Let p be t(-2). Suppose -p = -4*c - 2*c. Which is greater: j or c?
c
Let x be 6*(-11)/((-1)/((-4)/(-4))). Is x <= 1/3?
False
Let f = 128 + -242. Let a = f + 113. Let s(n) = -2*n - 3. Let c be s(-5). Which is bigger: c or a?
c
Let t = 0.572 - -50.428. Which is bigger: t or 1?
t
Let j = 6 - 2. Suppose -7*v + 2*v + 5*n + 35 = 0, -j*v = 4*n - 68. Let t = 10 - v. Is 0 != t?
True
Let c(s) = s**3 + 4*s**2 - s + 33. Let i be c(-4). Is i less than or equal to 0.9?
False
Let j = 2.04 + -1.99. Which is bigger: j or 2?
2
Let r = -26 - -29. Which is greater: 17/7 or r?
r
Let q(b) = b**2 - 5*b - 6. Let f be q(6). Suppose -3*i = -5*m - 14, 3*m + 10 = 5*m + 4*i. Are f and m nonequal?
True
Suppose 2 - 1 = -t - 2*q, 2*q + 2 = 0. Let u be (0 + t)*-29 + (-3 - -5). Are u and -27 equal?
True
Let f be 0 - (1 - 0/(-1)). Let j = 9 - 18. Let c be ((-6)/j)/((-25)/9). Which is smaller: c or f?
f
Let j(v) = v - 18. Let y(s) = 12 + 10 - s - 5. Let p(x) = 6*j(x) + 7*y(x). Let u be p(9). Which is smaller: u or 4?
u
Suppose 3*s + 13 = 2*v, 4*v + 30 = -v - 5*s. Is -5/8 bigger than v?
True
Suppose 0*j = 4*j + 12. Let s = 4.393 + 0.007. Let v = -4.5 + s. Which is smaller: j or v?
j
Let s(n) = -n**3 + 4*n**2 - n + 4. Let r be s(4). Let l be 3 + (2 - (4 - r)). Which is smaller: l or -2?
-2
Let t be -2*(-2 + (-10 - 3) + -1). Let o = 20 - t. Which is greater: o or -9?
-9
Suppose 5*o + 3*r = 5*r - 1, 4*o + 3*r - 13 = 0. Let y be 30/(-21) - (6 + -8). Let b = 3/7 - y. Which is smaller: o or b?
b
Let y be ((-35534)/327)/((-2)/21). Is 1141 >= y?
True
Let p(v) = 2*v**2 + 3*v - 9. Let f be p(6). Suppose f = 9*d - 0*d. Suppose -5 = -5*i - 2*q + d, 0 = 4*i - 4*q - 28. Which is greater: 7 or i?
7
Let s be (-2)/6 - (0 - (-2)/(-6)). Let p be 0 - 2*(-18 - s). Which is smaller: 35 or p?
35
Let p(m) = -2*m**2 + 4*m - 3. Let g be p(4). Let s = -0.0321 + -0.0679. Which is greater: g or s?
s
Let m = 125 - 124. Let y = -1.1 + 0.1. Which is smaller: m or y?
y
Suppose -5*g + 4*b = 2886, -2*g + 4*g + 1144 = -b. Is -574 at least g?
True
Suppose 0 = -0*d + d + 690. Which is greater: -691 or d?
d
Let v = 2084 + -448061/215. Which is smaller: -1 or v?
-1
Let g = 1228 + -818. Is 410 less than g?
False
Let k(a) = a**3 - 10*a**2 + 8*a + 5. Let p be k(9). Let u be 2 + 1 + p + -3. Which is smaller: u or -3?
u
Suppose 14*c - 18*c = 4. Which is smaller: c or -11/13?
c
Suppose -5*g = -5*q + 10, -q + 2*g + 19 = 4*q. Suppose -q*f = -4*c - 23, f = 2*c + 2*f + 15. Let d = 1 + c. Which is bigger: d or -5?
-5
Suppose 160 = l + 4*l. Suppose 18*u - 589 = -u. Which is smaller: u or l?
u
Let z = -1.2 + 1.41. Let i = z - 0.3. Is 2 greater than or equal to i?
True
Let i be 3/6 - (-42)/12. Let j(u) = 6*u + 2. Let v be j(i). Let o = 59 + -32. Which is smaller: o or v?
v
Suppose -11*i = -13*i + 10. Suppose 4 - 2 = -2*z - 2*m, -3*m = z + i. Is z > 2/117?
True
Let h be (-20)/(-6) + (-4)/(-6). Let w be 4/8 + (-2)/h. Suppose w = -5*t - 2*d + 1, d + 5 = 3*t - 0*t. Are 1/10 and t non-equal?
True
Let g(l) = l**2 - 10*l - 5. Let w be g(11). Let d be 10 - ((1 - 2) + 4)*-1. Which is smaller: w or d?
w
Let o be -9 - 3/(-3)*3. Let v be -2 + (-2)/o*6. Which is smaller: v or -2/235?
-2/235
Let u = 292 + -195. Let p = -96.9 + u. Which is bigger: 1/93 or p?
p
Let x be 4/(-2)*(-1 - 0). Suppose -3*g - o = -3*o - 5, x = g - o. Let i be (2/(-14))/(3 - (-20)/(-8)). Is g <= i?
False
Suppose -28*j - 4043 = -41*j. Which is smaller: j or 312?
j
Let s = 3547 + -3561. Suppose -2*y = -2*o + 2, 8 + 2 = 4*o - 2*y. Suppose 5*q + 81 = o*k, 3*k + 42 = -4*q + 2. Which is smaller: s or q?
s
Let n = -0.04 - -14.04. Let k = n + -11. Is -0.6 smaller than k?
True
Let v(r) = -r**3 - 5*r**2 - 4*r - 6. Let d be v(-4). Let u = 36 + -6. Let k = u - 38. Which is bigger: d or k?
d
Suppose -6*i + 4*i + 4 = 0. Let o be (-5)/4 - (-3 - 213/(-204)). Is i not equal to o?
True
Suppose -4*m + 20 = -0*m, 2*p - 2*m + 8 = 0. Which is greater: -7/50 or p?
p
Let b = -0.07 - 15.93. Let m = -1 - b. Let s = 12 - m. Which is smaller: s or -0.6?
s
Let f = -367.97 + 368. Is 4 >= f?
True
Let p be (-14)/5*30/(-48). Let d(x) = x**2 + 10*x - 4. Let r(z) = -z**2 - 11*z + 5. Let l(s) = -7*d(s) - 6*r(s). Let o be l(-3). Which is smaller: p or o?
o
Let x(y) = y**3 - 3*y**2 + 3*y - 3. Let m(g) = g + 5. Let o be m(-3). Let w be x(o). Let q be (-190)/20 - (-36)/4. Which is smaller: q or w?
w
Let y be (-2 - 44/(-16))/(-3). Is -0.252 greater than or equal to y?
False
Let r(z) = 26*z + 1. Suppose 0*o - 3*f - 16 = o, 3*o + 5*f + 28 = 0. Let c be r(o). Let u = -80 - -56. Which is bigger: u or c?
u
Let a be 3*3/(-15) + 132/(-55). Let o be 578/3 - (-4)/(-6). Let z be (a/(-2))/(o/4). Is z >= 0?
True
Let n(l) = -l**2 - 36*l - 290. Let j be n(-13). Do j and -114 have the same value?
False
Suppose 4*y = -0*y + 12. Let q be 36/(-63) - (-2)/((-140)/(-334)). Is y bigger than q?
False
Let d = -303 - -191. Let v = 108 + d. Which is greater: 2 or v?
2
Suppose 4*b = -4*m - 4, -18 = -2*m + 6*b - 3*b. Suppose 2*u + 30 = -m*u. Is u <= 3/7?
True
Let m be (-168)/(-60) - (1 - (-6)/(-5)). Suppose -d + 5*d = 16. Is d greater than or equal to m?
True
Let f = -49 + 52. Suppose 0 = -2*u + 4*d - 10, -d + 2 = 2*u - f. Is u at least -1/8?
True
Let p be 1/(-2)*0 - -121. Let a = -3023/25 + p. Let q = 9 + -10. Which is greater: a or q?
a
Suppose -q + 239 = 4*f, -491 = -2*q + f + 4*f. Let m be 2/(-7) - 56241/(-231). Let s = q - m. Which is bigger: s or 1?
1
Let r(m) = m - 25. Let t be r(6). Let o = -24 - t. Is o greater than or equal to -5?
True
Suppose 2*x + 2*x = -32. Let a be 147/15 + x/(-40). Suppose -5*j - a = 0, q - 4*j - 11 = -0*q. Which is smaller: q or 7?
q
Let k(m) = m**2 - m - 15. Let b be k(4). Let v be (-10)/(-104) + 13/(-52). Which is smaller: b or v?
b
Let b = 28/115 - -3/460. Let y = -1.5 + -13.5. Which is greater: y or b?
b
Let l = -58 + 173. Let v be (3/(-10))/(l/(-46)). Do v and 0 have the same value?
False
Suppose 557*f - 12 = 558*f. Which is smaller: 8 or f?
f
Let g be (10/6)/(4/72). Let j = g - 30. Does j = 1/3?
False
Let q(g) = -g**3 - 5*g**2 - 2*g + 6. Let r be q(-4). Let f(s) = 4*s + 5. Let k be f(-2). Which is smaller: r or k?
k
Suppose 11 + 4 = 5*f. Let z be (-4)/(4 + 0)*5. Let y be 3 + z + (-3)/(-1). Which is smaller: y or f?
y
Let i(f) = f**2 + 12*f 