
Let z be 0 - 4 - 20/(-5). Suppose -6 + 22 = -g. Let d be (-6)/(-28)*g/(-24). Which is bigger: d or z?
d
Suppose -4*t - 257 = 59. Which is greater: -81 or t?
t
Let b = -1413 + 1418. Let i be 2/21*3/(-1). Do i and b have the same value?
False
Let l = -1.3 - 4.7. Let b = l - -6. Let o be 0 + -2*(-4)/(-164). Is b less than o?
False
Suppose w - 3*k - 35 = -0*k, -3*k - 15 = 0. Suppose 0 = -w*r + 1401 + 439. Is 93 at least as big as r?
True
Let v(i) = 6*i - 40. Let c be v(7). Suppose 3*n + 0*n = 15. Does n = c?
False
Let f(c) = -2*c - 313 - 327 + 608. Let g be f(-13). Suppose -4*h + 0 + 8 = u, 2*h = 4*u + 4. Which is smaller: g or h?
g
Let c(k) = -5*k + 12. Let x(d) = 11*d - 24. Let s(n) = -13*c(n) - 6*x(n). Let u be s(-8). Which is smaller: -5/2 or u?
u
Let v = -5228/5 - -4939/5. Is -58 > v?
False
Suppose 19 = 5*o - h, -o - 27 = -6*o + 3*h. Suppose -5*j + 80 = -2*w - 2*w, -5*j + 45 = o*w. Which is smaller: j or 34/3?
34/3
Let n(a) = -a**2 - 25*a - 41. Let r be n(-18). Suppose -q + 9 = 2*q, 3*z - 243 = 5*q. Does z = r?
False
Suppose 4*v = -0*v - 112. Suppose -315 + 196 = -7*r - 322. Which is smaller: r or v?
r
Let u(b) = -b - 73. Let v be u(24). Is v at least as big as -97?
True
Let o(j) = -j**3 + 12*j**2 + 87*j - 25. Let h be o(17). Let c be (-87)/(-10) + 2/4. Which is bigger: c or h?
c
Let l be (11 - (-147)/(-14))*(-42)/(-351). Is l greater than or equal to 1?
False
Suppose 5*k = v + 8, -5*v = -k - 12 + 4. Let b be 90/v*(-1)/(-1). Let f be (-12)/(-54) - 37/b. Which is bigger: f or -1?
f
Let d be (-4 - -11)/(-2 - -3). Let a(m) = 14*m + 161. Let x be a(-11). Is x >= d?
True
Let n(a) = 2*a + 5. Let m be n(0). Suppose x + 12 = m*x. Suppose -2*s + x*s + 5 = 0. Which is greater: s or -4?
-4
Let i be 4/(-6) + (2034/(-27) - -12). Let a be 1 - (65/1 + 0). Is i at most a?
True
Let g = -180 + 4496/25. Let j be (-4)/26 + -3 + 224/104. Which is greater: j or g?
g
Let h(k) = -k**3 + 9*k**2 - k - 5. Let u be h(9). Let c = -192 + 192. Which is bigger: u or c?
c
Let z = -3 + 2. Let u be ((-3)/(-9))/((-1)/9). Let t(n) = -n**3 - 3*n**2 + 2*n + 7. Let l be t(u). Do z and l have different values?
True
Let m = 12 + -3. Let l = 3.16 + 4.84. Let p = l - m. Which is smaller: -2 or p?
-2
Let h = -628/19 + 17752/475. Which is smaller: h or 4?
4
Let r be (-4)/(-12) - (-2164)/(-12). Let v be ((-6)/r)/((-1)/4). Which is greater: 0 or v?
0
Let k = -43/7 + 44/7. Let w(i) = -i**2 - 11*i - 6. Let y be w(-10). Let r be (16/y - 3)/(-1). Is k equal to r?
False
Suppose -7 = -4*p + 17. Suppose 0 = -2*b + 5*q - 56, -59 = 3*b - 5*q + 25. Let f be (0 + p)/(42/b). Is -4 < f?
False
Suppose i - 1 = 2*u, 0*i - 5 = -4*u - 5*i. Let a be 15/6*12/130. Which is smaller: u or a?
u
Let s = 15.74 - -0.26. Let y = 1 - s. Let w = y + 15. Is -0.2 less than or equal to w?
True
Let u be (-3)/2*(-40)/6. Let f be u/35 - 74/14. Let k be f*((-2)/(-5) - 0). Which is smaller: k or -3?
-3
Let d(j) = -6*j**2 - 3*j + 3. Let k be d(-3). Let y be (-1069)/k + 4/6. Let z = -155/6 + y. Which is smaller: -2 or z?
-2
Let m be 2*(5 - (-44)/(-8)). Let q = 78 + -84. Which is smaller: m or q?
q
Let a = 153 - 146. Suppose 0 = -3*r - a + 19. Let o = -7 + 11. Is o at least as big as r?
True
Suppose -3*w - 3*n - 71 - 58 = 0, 5*w + 4*n + 216 = 0. Let m be (88/10)/((-390)/1950). Are w and m non-equal?
False
Let y be (-1)/(-4) - (3972/336 - 11). Is y > 3/2?
False
Let s = -48.22 + 48. Let t = s + 0.02. Which is greater: t or 2/9?
2/9
Let t(w) = -w + 14. Let r be t(-5). Let n = 11 + 6. Is n equal to r?
False
Suppose 0 = i - 177 + 71. Let w = i + -83. Is w less than or equal to 23?
True
Let g(o) = o**3 + 10*o**2 + 14*o - 22. Let l be g(-7). Are l and 14 unequal?
True
Let z = 12 - 10.3. Let u = -3.2 + z. Which is bigger: 2/7 or u?
2/7
Let x be 8/1152*12*3. Which is smaller: x or -12/155?
-12/155
Let z = -0.066 - 11.934. Are z and 3 unequal?
True
Let m be ((-30)/3)/(1 - 3). Let q be ((-4)/m)/(2/(-5)). Let a(k) = k + 8. Let s be a(-6). Are q and s non-equal?
False
Let z(w) = -w + 19. Let m be z(12). Suppose -4*x - 3*a + 51 = 6, 5*x + 4*a = 57. Which is greater: x or m?
x
Let d be 8/6 + (-156)/(-18). Suppose 0 = 3*k - 7 + d. Let t be (-4)/10 - 64/(-170). Is t equal to k?
False
Let d(s) = -s**2 - 88*s - 738. Let i be d(-11). Is i at most as big as 108?
False
Let q = 401 - 401. Is q at least as big as 2/229?
False
Let w = 13 + -16. Let f be (w - 6/(-3))/2*0. Which is bigger: f or -9?
f
Let m(j) = -2*j + 19. Let n be m(-2). Are 68/3 and n equal?
False
Let v be ((-1425)/6)/5 + (-3)/6. Let f be (v/(-7) - 6)*(-14)/(-3). Is f less than or equal to 27/5?
True
Let l(v) = v**3 - 10*v**2 + 30*v - 4. Let t be l(9). Which is smaller: 182 or t?
182
Let x(t) = t. Let n be x(0). Suppose 2*g + n*g - r = 1, -2*g = 5*r - 7. Let a be (-26)/(-88) - 6/(-24). Is g smaller than a?
False
Let t(f) = 3*f**3 - 5*f**2 - 20*f - 41. Let u be t(-4). Is -237 at least as big as u?
False
Let i = -1071 - -1165. Which is bigger: i or 92?
i
Let z be ((-3)/(-1) + -6)*-1. Suppose -4*r + q + 1 = 0, -3*r - 4*q + 18 = z. Which is bigger: 3/38 or r?
r
Let p = 686 - 714. Is p greater than -20?
False
Let m = 62.6 + 0.4. Let o = m + -53. Do 1/4 and o have different values?
True
Let h = 712.3 - 682. Is 3 equal to h?
False
Let u = 3 - 4. Let v = -46.44 - 0.56. Let s = -29 - v. Which is smaller: u or s?
u
Suppose 0 = -0*v + v - 5. Suppose -7 + 2 = -4*o - 3*d, v*d - 15 = 0. Let q be (4/13)/(-4 + 2). Is o <= q?
True
Let b = -694 + 689.52. Which is smaller: b or 0.1?
b
Let s(v) = v**3 - 4. Let u be s(2). Let r be (-3)/u + (-2)/(-4). Which is smaller: -4/9 or r?
-4/9
Suppose -4*a - 7*h + 8 = -3*h, -a - 4*h + 2 = 0. Suppose 1 = -d - 5*r, a = -5*d + r - 3. Suppose -i = 3*i + 12. Which is bigger: d or i?
d
Let c = -407 + 361. Which is smaller: -45 or c?
c
Let n = 1250/7 + -4237/28. Are n and 27 unequal?
True
Let x be (104*1)/2*(-85)/(-68). Let c = x - 22. Which is smaller: c or -1?
-1
Let u = -655 - -646.5. Which is greater: u or 1/5?
1/5
Suppose -4*o + 2 = -2. Let u = -9314 + 9316. Do u and o have the same value?
False
Let u = 20.051 + -0.051. Let b = -20.1 + u. Is b bigger than 0.07?
False
Let v = -4/1821 - -29212/34599. Is 0 greater than v?
False
Suppose 4*z - v + 17 = 0, 2*v - 6 = 3*z + 13. Let s = z + 10. Which is smaller: 8 or s?
s
Let x = 245 + -254. Which is smaller: -97/12 or x?
x
Let k be (-38)/(-8) + (-6)/8. Suppose 0*j + 4 = k*j + 2*p, -4*p - 19 = -j. Which is greater: j or -29?
j
Let u = -32 + 33. Suppose -4*t = -0*x - 4*x + 16, 3*x + 2*t - 2 = 0. Let q(m) = m - 2. Let j be q(x). Which is smaller: u or j?
j
Let q = -34.99 + 35. Let p = -0.27 + q. Let a be (-14)/(-8) + 2 + -4. Which is greater: a or p?
a
Let z(x) = 2*x**3 + 2*x**2 + 2*x + 4. Suppose -2*m + 4 = -5*s + m, s - 5*m = 8. Let p be z(s). Let a = p + 7. Which is smaller: a or 0.1?
a
Let f be 294/(-2040) + (-1)/(-10). Let i = f - -37/68. Which is smaller: -13 or i?
-13
Let t = 37 + -32. Let s = t + -17. Is -11 > s?
True
Let b = 0.7 - 0.65. Let j = b + -0.3. Let u = j - 13.75. Is 2/7 equal to u?
False
Suppose 13*j - 78*j - 65 = 0. Let w(b) = b**3 - 5*b**2 - 2*b + 5. Let i be w(4). Is i < j?
True
Let y(j) be the second derivative of j**5/20 + 5*j**4/6 + 4*j**3/3 - 3*j**2/2 + j. Let b be y(-9). Suppose -b*i = -47 + 5. Which is bigger: i or 15/2?
15/2
Let q be 11/5 + -3 + 576/(-105). Which is smaller: q or -6?
q
Let k be (6 - 4465/745)*-2. Let y(o) = o**3 - o**2 - 4*o + 3. Let d be y(2). Which is bigger: d or k?
k
Let s = -40 + 47. Suppose s*o = o + 192. Is o equal to 32?
True
Suppose 2*r - 37 = -4*f + f, 4*f + 35 = 5*r. Let h be 4*-1*9/(-6). Suppose -r*l - 5 = -h*l. Is l less than or equal to -1?
True
Let i = -2.6 - -2.42. Let n = i - -0.08. Which is smaller: -1 or n?
-1
Let l be 2*(-1 + (-9)/(-2)). Suppose -37 = -8*p + 3. Suppose 19 = 3*x - p. Which is smaller: x or l?
l
Suppose -8*j = -j - 189. Suppose -2*o - 3*h + 13 = 0, -2*o + 9*h = 4*h + j. Let c be 14/399*(-6)/(-2). Are o and c equal?
False
Suppose -t - 4*o = 19, o - 1 = -5*t + 5*o. Are -25/11 and t non-equal?
True
Suppose 62 + 46 = 4*v. Let s = 9 - v. Let u be s/(-552)*(-2 + -2). Which is bigger: -1 or u?
u
Let n = -39 - -72. Let y = n + -33.02. Is 2/7 at least as big as y?
True
Let v(t) = 2*t**3 + 24*t**2 - t - 13. Let b be v(-12). Which is smaller: b or -36/23?
-