: a or q?
a
Let l(s) = -s + 1. Let o be l(-6). Suppose 2*h - 12 = -2*b, o*h - 2*h = -2*b + 27. Suppose -4*i + 0 = h*k + 16, 0 = i - 3*k + 4. Is i bigger than 2/7?
False
Suppose 0 = 12*o + 721 + 59. Is -64 equal to o?
False
Suppose j = 6*j + 2*i + 575, 4*i = 2*j + 254. Let s = j - -118. Which is smaller: s or 1/121?
1/121
Let z(h) = h**3 + 3*h**2 - 7*h - 7. Let j be z(-6). Which is smaller: -71 or j?
j
Suppose h + 1941 = -5*p - 2064, -5*h - 825 = p. Let j = -8810/11 - p. Which is bigger: -2 or j?
j
Let a(o) be the third derivative of o**6/120 + o**4/24 + o**3 - 10*o**2. Let j be a(0). Do j and 5 have the same value?
False
Suppose -99*j + 107*j - 200 = 0. Which is greater: 0 or j?
j
Let i = -70 - -73. Let k be i*(-3)/(-27) + (-136)/(-6). Which is smaller: k or 24?
k
Let j be (-8)/(-20)*(-20)/(-37). Which is greater: 1 or j?
1
Let r be -2 - (53/(-6) + 7). Is r at least as big as 0?
False
Let a = 512 + -536.1. Let o = 24 + a. Which is bigger: o or 32?
32
Suppose -7*g + 55 = -2*g. Let v = 23 - 33. Let x be ((-6)/(-3) + 2)*v/(-4). Which is smaller: g or x?
x
Suppose 23*n + 26 - 3 = 0. Is n <= -2/1507?
True
Let r = -97 - -33. Which is smaller: r or -62?
r
Let f be (1 + -7 + 5)*-125. Which is bigger: 124 or f?
f
Let n(m) = -2*m**3 - 22*m**2 - 26*m - 18. Let s be n(-9). Do -97 and s have the same value?
False
Suppose -20 = 4*w - 132. Suppose -11*u = -15*u + w. Let a be (-1)/((-1)/(-4)) + u. Which is smaller: -0.2 or a?
-0.2
Let a = -7.09 - -7. Let k = a - -3.09. Is k greater than or equal to 0.3?
True
Suppose -5*t - 3*q = -385 + 24, 5*q + 61 = t. Are t and 73 equal?
False
Let y(u) = -4*u**2 - 3*u. Let w(c) = -c**2 + c. Let o(q) = 3*w(q) - y(q). Let d be o(-5). Let l = d - -6. Is l >= 0?
True
Suppose 0 = -4*c - 96622304 - 1236272. Let x = c - -23265878977/951. Let m = 1/317 + x. Is m > 2?
True
Let n be 6/(-9)*6/(-2). Let a = 32 - 52. Let o be -2 - (-5)/a*-10. Is n > o?
True
Let w = -5305/26 + 204. Let l = -101/78 + w. Is 0 smaller than l?
False
Suppose 2*o - 12 = -4*l, -o + 3 = -6*o + l. Suppose 5*f - 15 - 20 = -5*s, 2*s = -5*f + 17. Let w = s - o. Which is greater: 9/2 or w?
w
Suppose -2*q = -9*q + 280. Suppose k + 7*p - 4*p = -10, -4*k - 4*p = q. Is k at least -11?
True
Let u = 105 + -1355/13. Is u >= 0?
True
Let n be (-16 - 3)/((-1)/1). Suppose 5*z - y + 19 = -4*y, -2*z - n = 5*y. Let t be (z + (-36)/(-22))/(-2). Is t at least as big as -2?
True
Let p = -525 + 526. Which is greater: 1/247 or p?
p
Let z = 28 - 51. Let q(s) = 10*s + 16. Let p be q(-9). Let d = p + 51. Does z = d?
True
Let q = -36 + 20. Let b be ((-1)/13)/((-4)/q). Are -1 and b nonequal?
True
Suppose -4*k + 12 = 9*g - 5*g, 0 = k + 4*g + 6. Let m = -6 + k. Which is smaller: m or -2/5?
-2/5
Let i(k) = -k**3 + 5*k**2 + 8*k - 8. Let b be i(6). Suppose -b*p = -39 + 7. Suppose p*j - 7*j + 8 = 0. Is j at least -7?
False
Suppose 40 = 2*t + k, 90 = 5*t - 2*k + 7*k. Suppose 0 = 24*h - 27*h - 66. Let x = t + h. Do x and 2/23 have the same value?
False
Let v be -5 - 1083/(-18) - (-2)/(-12). Suppose 52*f - v*f = 0. Is -0.053 smaller than f?
True
Suppose 6*o - 8 = -5*y + 4*o, 4*y = 3*o - 12. Let f be (-36)/549*(-1)/(-6). Let v = f - 529/1830. Which is smaller: v or y?
v
Suppose -100 - 980 = -24*c. Is c at least as big as 53?
False
Let m(c) = c + 11. Let n be m(-8). Suppose -4*o + 27 = -n*j + 4*j, -5*j = 2*o + 9. Let i be 10/40 + 54/8. Which is greater: o or i?
o
Let x = 15 - 9. Let s = -6 + x. Let p(v) = -v**2 + 6*v - 8. Let k be p(4). Are k and s equal?
True
Let n = 160 - 153. Let b(x) = -x**3 - 9*x**2 + 8. Let p be 122/(-14) - (-2)/(-7). Let h be b(p). Which is bigger: n or h?
h
Let p = -1038 - -1038. Is p less than -3/922?
False
Let x = -13 - -15. Suppose 0 = 2*c - 2*y + x, -2*c - c - 5*y = -21. Suppose c*o = 5*t - 10, t + 4 = 2*o + 3*t. Which is greater: o or -1?
o
Suppose -3*r - 5*i = r - 483, 0 = -4*i + 12. Let v = r - 1284/11. Let o = 61/143 - v. Is o less than -1?
False
Let r be -2*(-3 + 39/8). Which is smaller: r or -3?
r
Let s = 12 - 9. Suppose -3 + 38 = s*z - 5*p, z = 5*p + 25. Suppose z - 3 = -2*w. Which is smaller: w or -1/6?
w
Let g = -7150/3 - -3510674/1473. Which is smaller: g or 0?
0
Suppose 2*u + 4*f = 2 + 10, 5*f = 3*u + 15. Let o be -2*(1 + -2 - u). Let j be o + -2 - (-1)/1. Are j and 2/39 equal?
False
Suppose g - 13*k - 1535 = -14*k, -1529 = -g + k. Which is bigger: g or 1531?
g
Let h = 189 - 1697/9. Which is smaller: h or -10/11?
-10/11
Suppose 4*f - 10 = -2. Suppose -f*h - 3*z - 16 = -2*z, 26 = -3*h - z. Is h <= -10?
True
Let t = -44 + 70. Is t less than 15?
False
Let w = -0.067 - -120.067. Is -1 smaller than w?
True
Suppose 48 = 5*k + 3. Suppose 14*f = k*f + 255. Which is bigger: f or 50?
f
Let m = -0.1 - -1.1. Let i be 4/6*111/481. Which is smaller: i or m?
i
Let n(r) = 6*r + 21. Let f be n(-11). Let j be f/35*6/45. Which is bigger: -1 or j?
j
Let s be ((-3)/2)/((-6)/(-108)*-1). Let j be 3/27*-2 + 843/s. Do j and -1/3 have the same value?
False
Let c(k) = -k**2 + 3*k + 6. Let g be c(5). Let r = g + 8. Suppose -43 = r*l + 1. Is -10 not equal to l?
True
Suppose 4*g - 72 = 68. Let b be (4/(-14))/((-5)/g) + -2. Which is smaller: 15 or b?
b
Suppose -3*p - 5 = 4. Let r = p - -2. Let u = 32/7 - 38/7. Is u > r?
True
Let v(l) = l**3 - 11*l**2 - 24*l - 6. Let i be v(13). Let c be (-30)/i*2/24*50. Do -7 and c have the same value?
False
Let s(b) = b. Suppose j + 5*x + 23 = 0, 5*x + 25 = 4*j - 8. Let m be s(j). Let p = 1 + m. Which is smaller: p or 2?
2
Let p = 0.07 + 0.23. Let l = -18.84 + 19. Let y = l - 0.06. Is p not equal to y?
True
Let u be 4 + -2 - 7*3*-2. Let g be (-564)/(-142) + u/(-11). Are 1 and g equal?
False
Suppose -12 = -5*n + n. Let a be (-2)/n*(-17)/2. Let z = a + -6. Are z and -1 unequal?
True
Suppose 75 = 3*y + 3*v, -y - 3*y = -v - 80. Let i be (-9)/(-21) - 9/y. Which is bigger: i or 5/6?
5/6
Suppose 2*w + 29 = 3*y - 3*w, 2*w + 20 = 4*y. Let l be 1/y*72/(-20). Is l at most -2?
False
Let n = 743 + -43840/59. Is n less than 1?
True
Suppose 52 = 4*g - 3*y, -y - 4 = -2*g - 5*y. Let v(j) = 3*j - 23. Let o be v(g). Do o and -2 have the same value?
False
Let m be (-22)/(-8) + -3 - (-98)/8. Let c be (11/(110/m))/((-3)/10). Suppose -2*a = -3 + 7. Which is smaller: a or c?
c
Let j = -587/8 - -69829/952. Let y = 163/2975 - j. Suppose -5*k = 1 + 4. Are y and k equal?
False
Suppose 37*a + 2223 = -7027. Is a <= -250?
True
Suppose 4*m - r = 104 + 59, 5*r = -5*m + 185. Suppose 3*u + m = v, -u = 3*u + v + 51. Is u greater than or equal to -13?
True
Suppose 0 = -2*u - 21 + 77. Let f be (u/413)/(0 + 2). Is f <= -1?
False
Let s = 16.6 + -18. Suppose 2*l = 4*o + o, 0 = -o + 3*l + 13. Is o <= s?
True
Let o = -1.98 - -0.98. Let g = -21 + 19. Is o > g?
True
Let l(v) = -5 - v - 2 - 4. Let q(x) = x**3 - x**2 + 3*x - 6. Let y be q(0). Let m be l(y). Which is bigger: 0.2 or m?
0.2
Suppose 122*h - 68 = 126*h. Let t be (h + 21)/(1/(-5)). Which is smaller: -24 or t?
-24
Suppose 8*h = 5*h - 18. Let a be (h/(-9))/(2/3). Let w be 22/6 + (-4)/a. Which is smaller: w or -1?
-1
Let y(l) = -2*l**3 - l**2. Let d be y(1). Let t be d/7 + (-77)/49. Which is smaller: t or -7/5?
t
Suppose -2*a - 3*j = -8*j - 22, -5*j + 20 = 5*a. Suppose 9 = c - v + a*v, 5*c + 2*v = 22. Is 29/6 greater than or equal to c?
True
Let d = -5.5 - -12.8. Let q = d + -7.3. Suppose -19 = -0*z - z. Which is greater: q or z?
z
Suppose -11*l - 2 = 152. Which is smaller: l or -41/3?
l
Suppose 34 + 14 = 48*c. Are c and -7 equal?
False
Let f(u) = 2*u - 12. Let g be f(-8). Let d = 28 + g. Suppose -w + d*w - 1 = 0. Are -1 and w unequal?
False
Suppose -716*h + 710*h + 6 = 0. Let x(t) = -t**3 + 4*t**2 + 6*t + 2. Let m be x(5). Let n be 2/m + (-40)/(-154). Is n >= h?
False
Let y = -0.06 - 27.94. Let h = y - -32. Let r be 2/(2 - 3) - -3. Which is smaller: r or h?
r
Let h(v) = 5*v**2 - 6*v + 7. Let w(f) = 9*f**2 - 11*f + 13. Let q(t) = -11*h(t) + 6*w(t). Let b be q(-1). Let i = 687/5 - 137. Which is smaller: i or b?
b
Let a = -11.96 + 3.96. Let y = -0.12 + -6.88. Is y not equal to a?
True
Let t be ((2*26)/(-4))/(-1). Let i = 15 - t. Suppose 3*a = 5*s + a - 25, -s - a - i = 0. Is s < 7/3?
False
Suppose -1 = -40*m + 39*m. Is m less than 1/636?
False
Let u = -27 - -25. Let j(w) = w**3 - w**2 - 4*w - 3. Let p be j(u). Does -7 = p?
True
Let y = 852 + -