ch is bigger: q or i?
q
Let k(a) = 7*a + 3. Let c be k(-4). Let g(i) = -i**3 - i**2 + 6*i + 5. Let h be g(-2). Let j(u) = u**3 - 2*u**2 - 10*u - 9. Let b be j(h). Does c = b?
False
Let j = 861 - 6045/7. Do 2 and j have the same value?
False
Suppose 4*r = 2*c + 276, -8*r + c = -7*r - 70. Which is greater: r or 69?
69
Let c = -12.321 + 1.321. Let m = -3 + 4. Which is smaller: m or c?
c
Let w = 3.79 + 0.01. Let q = -3.92 - 0.08. Let y = q + w. Which is bigger: 0.2 or y?
0.2
Suppose 2*m - 3584 = -26*m. Is m <= 127?
False
Let x = 311 - 443. Let d = -133 - x. Which is smaller: d or -8?
-8
Let t = -0.005 + -9.995. Let r = t + 10.3. Let c = 0.2 + 0. Which is smaller: c or r?
c
Suppose -5*b + 18 = 3. Suppose -4*l + 2*m + 13 = -b*l, m = -l + 7. Suppose 22 = 3*v - v. Which is smaller: v or l?
l
Let o(c) = c**3 + 10*c**2 - 5*c**3 + 16*c + 5*c**3. Let s be o(-8). Is s at least 1/37?
False
Let p be (-2 - -2)*1/(-2). Suppose y + 3 = -4*u, 4*y + u - 5 + 2 = p. Which is smaller: 2/5 or y?
2/5
Let n = 4.805 - 0.085. Let j = -5 + n. Let p = 0.18 + j. Is 4 at most as big as p?
False
Suppose -4*y + 2*h - 1796 = -0*h, 438 = -y - 5*h. Let d be (-4)/(y/(-12))*4. Let n(q) = -2*q**3 + 2*q**2 - q. Let i be n(1). Is i < d?
True
Suppose -2*q + 28 = 2*q - 4*p, -11 = -5*q - 3*p. Suppose -2 = -x - 0*x. Suppose u - 3*t - q = -t, u = -4*t - x. Is 2 at least u?
True
Suppose -2*k + 6*k - 24 = 4*v, 6 = -2*v + 4*k. Let o be (290/40)/((-2)/(-4)). Let f = 14 - o. Which is smaller: v or f?
v
Let q be 65/252 - (-4)/(-18). Let i(a) = a - 9. Let g be i(0). Let y be -2 - (2 + 0)*g/6. Is q at most y?
True
Let c = 185 - 236. Let u be ((-8)/(-6))/((-6)/225). Which is smaller: u or c?
c
Let t(u) be the third derivative of 5*u**4/24 - 14*u**3/3 + 11*u**2. Let d be t(6). Does 10/17 = d?
False
Let m be 5 + (-9 - (-2)/((-6)/(-15))). Let k = -2 + 2.6. Are k and m non-equal?
True
Suppose 4 = 2*w - 6. Let m = 5 + -3. Which is smaller: m or w?
m
Let b be ((-6)/(-30))/(-2 - (-72)/(-15)). Suppose -4 = 4*r - 0*r. Which is greater: b or r?
b
Let n be 107 - (-1 - 0/5)*-2. Which is greater: n or 104?
n
Let b(v) = -v**3 + v**2 + 5. Suppose 5*h = -20, -2*y - 2*h = 7 - 3. Let l be b(y). Which is greater: l or 3/8?
l
Let f(m) = m**3 + 5*m**2 + 14*m + 121. Let j be f(-9). Are -329 and j equal?
True
Let l = 215.9 - 216. Which is smaller: 106 or l?
l
Suppose -15 = -5*c + 2*c + 2*u, c = -2*u + 5. Let r(o) = -o**2 - 7*o + 31. Let x be r(c). Which is greater: x or -30?
x
Let o(m) = -m**3 - 10*m**2 - 2*m - 22. Let x be o(-10). Let u be x + 7 - (4 + 2). Is -1/13 greater than or equal to u?
True
Let y = 6/275 - -16/275. Is 5 greater than y?
True
Let q = -4.143 + 4.1. Let s = q + 0.063. Which is bigger: -0.4 or s?
s
Let m = -337 + 183. Do m and -154 have the same value?
True
Let b = -7 - -1. Let z be 20/b*(-36)/(-8). Is 1 > z?
True
Let j(i) = i - 5. Let b be j(7). Let n be ((-20)/(-12) - b) + 2/24. Which is smaller: n or -1.1?
-1.1
Let l be (-69)/6 - (-5)/(-30)*-3. Let q be (-8)/(-40) - (-61)/(-5). Which is smaller: q or l?
q
Let k = 524 + -546. Are k and -117/5 equal?
False
Let g be (-2)/(-6) - (-11)/3. Let p(o) = -8*o - 44. Let t be p(-8). Suppose 4*q + t = g. Which is smaller: -3 or q?
q
Let n = -0.0171 - 2.9829. Which is smaller: 208 or n?
n
Let f be -4*15/(-50)*5. Suppose 0 = -5*n + f - 106. Let x = n + 21. Which is greater: -0.1 or x?
x
Let g = 223.391 + -257.33. Let t = g - 0.061. Which is smaller: 2 or t?
t
Let d = -34 - -33.916. Let w = 6.916 - d. Let v = 2.1 + -2. Is v equal to w?
False
Let u(v) = 35*v**2 + 73*v + 144. Let z be u(-2). Which is smaller: 140 or z?
z
Let f(r) = -r**2 - 4*r + 1. Let z be f(7). Let p = 19 + z. Let o = p + 624/11. Is o bigger than 1?
False
Let m be (1/(-10))/(15/(-150)). Which is smaller: 26/27 or m?
26/27
Suppose -3*s + 52*s = 16023. Is s < 326?
False
Let f = -12 - -11. Let w be 9 + -13 + (-1 - f). Let t = -13 + 8. Which is bigger: w or t?
w
Let o = 617 - 341. Is o smaller than 276?
False
Suppose 0*f + 7*f = 7. Suppose -3*b + i = -8, -2*i = -f - 1. Which is smaller: b or 2?
2
Let w(v) = 277*v + 454. Let g be w(6). Which is bigger: 2115 or g?
g
Let p(w) = -11*w**2 - 1. Let o be p(2). Let i be (-2)/(-10)*o/(-12). Let s be -2*(1 + (-15)/20). Are i and s equal?
False
Let y(m) = m + 3. Let p be y(-3). Suppose 4*h - 1 = -3*k + 14, -3*h = 2*k - 11. Is p at least h?
False
Let y = -155926/243 - -1925/3. Which is bigger: -1 or y?
y
Let u(k) = k - 6. Let j be u(7). Let n be (-54)/(-3) - (j + -1). Which is bigger: 37/2 or n?
37/2
Let r = 39 + -52.04. Let k = r - -13. Let b = -0.37 + 0.17. Is b > k?
False
Let m be (14396/(-1199))/(-4) + -3. Let u = 2324/44363 + m. Let x = 31/111 + u. Which is bigger: x or -1?
x
Suppose -15*g - 40 = 25*g. Which is smaller: -9/106 or g?
g
Suppose 0 = -3*a + 7 - 1. Let y be ((-16)/(-42))/a - (-2)/14. Let w = 0.19 + -0.2. Is w greater than or equal to y?
False
Let o be 1*(-84)/351 - 36/162. Let t = 131/15 - 25/3. Is o at least t?
False
Let w be (-78)/(1/4*2). Let g be ((-9)/w)/((-2)/4). Are g and -1 nonequal?
True
Let m = -11 - -10.95. Let c = 0.25 + m. Let o = 0.1 - c. Is 8 greater than or equal to o?
True
Let w(a) = -a**3 + 9*a**2. Let c be w(9). Let t be ((-130)/363)/((-3)/2). Let b = -2/121 + t. Which is smaller: b or c?
c
Let r be ((-28)/(-49))/((-52)/6). Which is smaller: 0 or r?
r
Let w = 69130/7 + -9950. Let x = -74 - w. Let v = -4243/11 - -386. Which is greater: v or x?
x
Let y = 59 - -55. Which is smaller: y or 0.1?
0.1
Suppose 17386 = 3*r - 4*g, 2*r - 11588 = g + g. Let a be (r/(-4))/(154/28). Let k = a + 263. Is -1 at least as big as k?
False
Let j = -1/30528 - -49609/30528. Let s = 4 + -3. Are j and s nonequal?
True
Let p = 19 + -13. Let h be p/4*(-21)/6. Let u = 53/10 + h. Which is greater: u or 0?
u
Suppose 2*z + 26 = -3*m + 7*m, 0 = 5*m - z - 25. Suppose 0 = 2*q + m, -n - 18 = -0*n + 3*q. Which is bigger: -1 or n?
-1
Let r be 35/(-30)*48/252. Let o = 53/473 - -3/43. Which is greater: r or o?
o
Suppose 0 = -63*w + 57*w + 6. Let f be (18/(-28))/(3/(-8)). Which is greater: f or w?
f
Let m = 241 - 241.2. Is m smaller than 9/17?
True
Let l = 4 + 1. Suppose -4*w + 7 = -l. Let q(a) = a - 9. Let h be q(9). Is w at least h?
True
Suppose 122 + 18 = -4*b. Is b greater than -4?
False
Let y = -0.6 - -0.6. Let l = -6/8477 + -1489524/8477. Let o = 176 + l. Is o at least y?
True
Let b be (-1 + (7 - -4))/2. Let i be b/(-10) - (-1 + -1). Which is smaller: i or -0.3?
-0.3
Let y = 26 - 4. Let p = y - 22.1. Let f = 0 + p. Which is greater: f or 2?
2
Let z be 0/(-3)*(-2)/4. Suppose z = 3*u + u + 8. Let l be 7/(-6) + (2 + -2)/(-7). Is u less than or equal to l?
True
Suppose 0 = -2*w + 5 + 1. Suppose 24 = 3*i - 3*a, w*i + i = 2*a + 36. Let j be i/(-4)*8/30. Are j and 1/6 unequal?
True
Let b = 0.176 + 2.704. Let g = b - -0.12. Let v = g + -4. Is 2/13 > v?
True
Let c be (4/8)/(1/(-4)). Is c less than or equal to -1?
True
Let p(v) = -3*v - 137. Let d be p(-59). Is d at most as big as 27?
False
Let q(t) = -t**3 + 3*t**2 - t + 3. Let c be q(3). Suppose 4*l + 18 + 18 = c. Is -1/4 > l?
True
Let l = 147 - 143.4. Which is smaller: 1 or l?
1
Let v = -395 - -411. Is v != 16?
False
Let n(r) = -r**3 + 6*r**2 - 5*r + 4. Let i be n(5). Suppose 0 = -3*l + 2*j + i, -j = -l - 3*j - 4. Which is smaller: l or 9/8?
l
Suppose 29 = -2*j - 5. Let q = -12 - j. Is q != 5?
False
Let x = -12.69 - 6.31. Which is bigger: x or 40?
40
Let m be 399/77 - 6/33. Let u be -3 + (-3)/(-2)*-2. Let w be u*((-8)/6)/2. Is w smaller than m?
True
Let v = -4.8 - -0.8. Let d = -7 - v. Let s = -50.8 - -50.7. Which is smaller: d or s?
d
Suppose -1 + 85 = 3*d. Let v be 1/(d/(-64)) - -2*1. Is 6 less than v?
False
Suppose -2*d - d = 84. Let q be (-52)/d - (-2)/14. Let k be 0 + 17/9 + -1. Which is smaller: q or k?
k
Let j(z) = -z**3 - 10*z**2 + 11*z + 5. Let q be j(-11). Suppose 4*u + 1 = q*u. Do u and -2 have the same value?
False
Let a(r) = r**2 + r + 1. Let d be a(0). Suppose -3*g + 3*o + 6 = 3, 0 = -g + 3*o - 9. Let j be -5*3/((-585)/g). Which is smaller: d or j?
j
Suppose 65 = -5*o - 10. Let v be 4 - 4/((-20)/o). Which is greater: v or 3?
3
Let f = -149 + 164. Which is smaller: 12 or f?
12
Let x = -74/5 + 272/15. Suppose 0 = -3*q - 5*g + 7, 7*q + 3*g - 9 = 4*q. Which is smaller: x or q?
x
Let v = -345 - -347. Is v