Which is bigger: q or z?
q
Let o = 6 + -9. Let g be 1*o*(-1)/(-3). Which is smaller: 0 or g?
g
Let j be (-492)/(-390) + (-1)/(-5). Let i = j - 134/65. Which is greater: i or 0?
0
Suppose 5*w + 33 = -17. Let r = 13 + w. Is r greater than 3?
False
Let j = 5.54 + -1.5. Let c = 0.04 - j. Is 1/4 at most c?
False
Let c be (-3)/(-35) - (-2)/10. Let d be 10/(-15)*(-3)/(-2). Let l = d + 0. Is c at least as big as l?
True
Let n(x) = x**3 - 4*x**2 - 5*x - 3. Suppose -t + 4 + 1 = 0. Let k be n(t). Let z be (-3)/3 - 6/k. Do -1/3 and z have the same value?
False
Let s = -10 - -25. Let u be 2 - (-1)/s*-22. Let p = 1/5 - u. Which is greater: p or -0.1?
-0.1
Let n(z) = z**2 - 5*z - 5. Let b be n(6). Suppose -2*s = -13 + b. Are s and 5 unequal?
True
Suppose -9 = -2*z - 3*s - 2, -2*s + 7 = -z. Let v(f) = -2*f**2 - 1 - 3*f - 2*f + 3*f. Let c be v(z). Is -2/5 <= c?
False
Let c = -208/15 + 14. Let j(u) be the third derivative of u**5/60 + u**4/12 - u**3/3 + 2*u**2. Let p be j(-3). Is c greater than p?
False
Let d(k) = -k**2 - k + 1. Let n be d(0). Suppose 269 = -4*r - 2*x - 89, -173 = 2*r - x. Let w be 16/r + 112/374. Which is greater: n or w?
n
Suppose -3*h - 3*n = h + 3, 5*h - 3*n + 24 = 0. Let k be 8/(-12)*3*2. Let d = -6 - k. Is h bigger than d?
False
Suppose 5*o + 4 - 5 = 3*t, 5*o + 3 = t. Let w = -741197/13 + 56678. Let j = 337 + w. Is j at most as big as o?
False
Let d = 40 + -37. Which is bigger: -2 or d?
d
Let i(a) = a**2 + 5*a + 4. Let z be i(-4). Suppose -w + 4*l = 17, 3*l + l - 12 = z. Which is smaller: w or -1?
w
Suppose -5*v = 2*d + 89, -2*v - 76 = 2*v + 4*d. Do v and 2 have the same value?
False
Suppose 5*s + 5*z + 0*z = -15, -4*z = 3*s + 14. Suppose -3*r - s + 14 = -3*p, -3*p - 12 = 5*r. Let m = -1/176 + -31/176. Is r at least m?
True
Let m = -1 - -2. Let v = -8 + 7. Is v greater than m?
False
Let z = 0 + 1. Let h(m) = -m**3 - 7*m**2 - 5*m + 4. Let p be h(-6). Let v be (p/(-2))/(-4 - -3). Is v at most as big as z?
True
Suppose 2*p - 6*p = 4. Let n = -58/57 - -7/38. Which is greater: p or n?
n
Let v(b) = b**3 - 10*b**2 - 10*b - 3. Let h be v(11). Which is bigger: h or 10?
10
Let y be (((-1)/(-2))/((-4)/152))/(-1). Which is smaller: 93/5 or y?
93/5
Let o(k) = -2*k**2 - 10*k - 10. Let l be o(-4). Suppose 0*y + 38 = -4*y + 5*x, 0 = -y + x - 10. Let f be (-9)/y*(-4)/6. Is l at most f?
True
Suppose -2*p - 4 + 22 = -2*y, 4*p = -20. Is -14 less than or equal to y?
True
Suppose 3*f + 4 = -2. Is f less than or equal to -0.05?
True
Let s(g) = g. Let k be s(-1). Let r = -19 + 22. Let i = r + -4. Are i and k unequal?
False
Let g = -88.1 - -84. Let d = -4 - g. Is d <= -2/5?
False
Let o(l) = l**3 - l**2 + l. Let d be 27/(-18) + (-2)/(-4). Let c be o(d). Are c and -3 non-equal?
False
Let f be 12 + (-2 - 0)/(-2). Let l = f + -15. Which is bigger: -7/6 or l?
-7/6
Let y = -24 + 16. Let w(t) = -t - 8. Let a be w(y). Is -0.1 at least as big as a?
False
Let o be (2774/4)/((-6538)/4). Let t = o + -2/467. Let p = 12 - 12.1. Is p less than or equal to t?
False
Let y = 2 + -2.05. Let z = 7.92 - 8. Let p = z - -0.18. Which is greater: y or p?
p
Let p = 2 + -1.88. Let f = p + -0.02. Let y = 0 - f. Is y less than -0.2?
False
Let z(s) = s**2 + 8*s + 3. Let r be z(-8). Which is smaller: r or 5?
r
Suppose q + 3*q = 84. Is 21 at most as big as q?
True
Let c = -129 + 102. Is c at least as big as -27?
True
Let n = -3 + 3. Let f = -4/9161 + 339077/274830. Let o = f - -1/10. Which is smaller: o or n?
n
Suppose 3*s + f = 20, 2*s + 0*f - 13 = -f. Let x be (-1)/(-3) + s/(-3). Let n(q) = q**2 - 5*q - 7. Let j be n(6). Is j <= x?
False
Let m = -0.07 - 0.03. Let p = -2 - -1. Which is bigger: p or m?
m
Let p = 2154 - 6538/3. Let s = 25 + p. Is s bigger than 1?
False
Let r = 0.025 + -1.985. Let j = r + -0.04. Which is smaller: j or 1?
j
Suppose 8*k - 40 = 4*k. Is 7 not equal to k?
True
Let g be (-6)/8 + 341/44. Let n be -1*g*(-72)/(-42). Is n equal to -12?
True
Let g = -61 - -63. Let z(q) = -5*q**3 + 1. Let s be z(-1). Let c be (-2)/(-6) - (-4)/s. Is g greater than or equal to c?
True
Suppose -3*z + m = 29, 2 + 2 = 2*m. Let o be 1/2 - (-6)/z. Does 0 = o?
False
Let i = -1.3 + 0.3. Let b = -0.02 + -0.18. Which is greater: i or b?
b
Let a = 2 + -3. Let h(u) = -u + 2*u**2 + 4*u**3 - 1 + u**2 - 2*u**2. Let w be h(a). Is w != -0.1?
True
Let s = 0.15 + -0.1. Let y = 0.1 - s. Is y bigger than -2?
True
Let r be 19/3 + 1/(-3). Let z = -12 - -17. Suppose i = 2*t + 2*t - r, z*i = t + 8. Which is smaller: 0 or i?
0
Let p = 3/5 - 14/15. Suppose b - 4*b = 6. Let v = 2 + b. Which is smaller: p or v?
p
Let q be (21/6 - 3) + (-30)/12. Which is smaller: q or 0?
q
Let u = -0.05 - 0.35. Is 1/4 not equal to u?
True
Let k = -1.89 + 0.89. Is -0.34 != k?
True
Let p = 4.26 + -0.26. Which is greater: 1/8 or p?
p
Let v be -1 - 243/(-51) - 4. Let y(s) = -s**3 + 10*s**2 + 1. Let p be y(10). Which is bigger: v or p?
p
Let c be (-1 - (-1 + -2))/(-7). Let i be (-6)/9*6/(-4). Which is smaller: c or i?
c
Let g(b) = -11*b. Let z(c) = c + 1. Let d(j) = g(j) + 4*z(j). Let v be d(-3). Suppose l - v = -4*l. Is l bigger than 5?
False
Suppose 4*w = -2*k, 3*k + w - 23 + 3 = 0. Let m be (-7)/2*(-2 - 0). Is m equal to k?
False
Let h = 12 + -38. Let n = h - -26.6. Is -2 at most n?
True
Let c = -0.2 + -0.1. Let k(t) = -t**2 + 5*t - 1. Let h be k(4). Which is bigger: h or c?
h
Suppose 4*s - 33 + 1 = 0. Let a = s + -7. Which is bigger: a or 5?
5
Suppose 3*c - 7 = 2. Suppose 2*m = -u + 8 - c, 4*m - u - 1 = 0. Let x be (-15)/(-9)*m/5. Is 0 != x?
True
Let m = -2 - 5. Let i be (4 + -3)*3*1. Suppose -6*g = -4*r - g - 4, 2*r + 24 = -i*g. Which is bigger: r or m?
r
Let m = 4 + 0. Let j = 3.5 - -0.4. Let n = m - j. Is -1 at least n?
False
Let q(o) = 1 - 2*o**2 - 5*o - 3*o + 4*o. Let p be q(-3). Let h(x) = x**3 + 3*x**2 - 4*x - 5. Let l be h(-4). Is p greater than or equal to l?
True
Let f = 20 - 16. Suppose -f*z + 37 = -z - i, -4*z = -4*i - 52. Is 12 < z?
False
Let u be 2/4*(-4 + 4 + 2). Is 2 smaller than u?
False
Let x = 8.9 - 9. Let r = x + 0.19. Which is greater: r or 2/7?
2/7
Let c be 7 + (-5)/(10/6). Suppose n = -c*a + 8, -2*n = -2*a + 3*n + 26. Which is smaller: 4 or a?
a
Let r be (-3)/1 - -2*13/(-4). Which is greater: -9 or r?
-9
Let a = -0.09 + 6.09. Let r = a - 5. Do r and -1/4 have the same value?
False
Let q(p) = p + 12. Let b be q(-9). Suppose 0 = -b*a - 2*a - 5. Let i be -1*(a*3)/3. Which is smaller: 0 or i?
0
Let y(r) = r**3 - 15*r**2 + 2. Let z be y(15). Is z bigger than -2/15?
True
Let d = -1243911/11 + 113308. Let t = -225 + d. Let x = -6 - -5. Are x and t nonequal?
True
Suppose 24*v = 9*v - 15. Is 2/49 greater than v?
True
Let q = -0.07 - 4.93. Let t = q - -3. Let v = -500/63 - -74/9. Which is greater: t or v?
v
Let y be ((-14216)/16)/(8 - 1). Let v = y - -127. Is -1 greater than v?
False
Let y = 5 - -3. Let n = 13 - y. Let h = n + -8. Is -3 at most as big as h?
True
Suppose -39 = -7*x - 6*x. Which is bigger: 4 or x?
4
Let k be -4 - -5 - (3 - 0). Let x be (3/(-2) - 1)*k. Suppose 0 = -4*c + 6*c - j - 8, 5*c - 20 = -2*j. Which is smaller: x or c?
c
Let r be (-1)/4*194*-2. Which is bigger: r or 98?
98
Let i = -0.23 - -0.22. Let d = -0.21 - i. Which is greater: d or 0.8?
0.8
Let n = -16 + 15. Which is smaller: -1/20 or n?
n
Suppose 3*x - 24 = 15. Suppose k + x = -5*q, -4*k + 2*q - 3*q = 14. Which is smaller: -2 or k?
k
Let d be (-66)/12 + (-2)/(-4). Let y be 3/4 + d/(-20). Is -2 at most y?
True
Let w be 2 + -4 - (-8)/5. Suppose -5*p - 2*k = -6, -2*p + 4*k = 9 + 3. Let q = -1 - p. Is w greater than q?
True
Let i(b) = -b - 11. Let n be i(-7). Let k be (n/(-7))/(6/21). Does k = -1?
False
Let s = -6 + 2. Let w be (-4)/18 - s/18. Is 1 equal to w?
False
Let t be (-40)/(-10) + 21/(-5). Let i(b) = -b**2 - 5*b + 6. Suppose 0 = -2*j - 10 - 2. Let v be i(j). Is t > v?
False
Suppose -1 = y - 0*y. Is y <= -1?
True
Let t = 8 - 16. Let y(a) = a**2 + 9*a + 7. Let c be y(t). Are c and -1 nonequal?
False
Let m be 1*(1 + -2)*-4. Let l(a) = a**2 + 3*a - 7. Let p be l(-5). Which is bigger: p or m?
m
Let l = 0.26 - 5.26. Which is bigger: l or 2/9?
2/9
Let b(d) = -d**3 + 4*d**2 + d - 3. Let o = -1 - -5. Let l be b(o). Which is smaller: -1/4 or l?
-1/4
Let w = -1789/9 + 199. Which is smaller: 6/11 or w?
w
Suppose 0 = -0*d + 2*d + 14. Let y = d + 7. Let a