ch is greater: b or o?
o
Suppose 0 = -10*m + 57 + 3. Which is smaller: m or 3/22?
3/22
Let h = -130 - -185. Let f = h + -50. Is 3 bigger than f?
False
Let q(j) = j**2 - 3*j - 1. Let r be q(3). Let o be (-3 - r) + 7/7. Let n be 2/8 - (-10)/(-8). Is o greater than or equal to n?
True
Let o = -144.2 - -144.206. Is o > 0.1?
False
Suppose -4*q - 3*d + 27 = -2*q, -5*q + 10 = -4*d. Let f be ((-2)/33)/(4/q). Let n = -35 - -34. Is f at least as big as n?
True
Let c = 5.4 - -60.6. Let k = -7471/3 - -2490. Which is smaller: k or c?
k
Let x(h) = h**3 + 10*h**2 + 10*h + 7. Let d be x(-9). Let s = 2 + d. Let v = -9156/23 + 398. Which is smaller: s or v?
v
Let l(c) = -c**3 + 4*c**2 - 3*c + 1. Let m be l(2). Suppose 2*r = m*g + 2 - 3, 2*g = -5*r + 7. Let i = -4 + 3. Which is bigger: r or i?
r
Let s = 33 + -31. Suppose 0 = -6*h + s*h. Which is smaller: h or -6/13?
-6/13
Let c = -223 + 10037/45. Is c greater than -0.4?
True
Let c = 5596/17 + -329. Are 0.2 and c non-equal?
True
Suppose 4*d + 12 = 8*d. Suppose -n = -d*l - 1, 4*l - 2*n = 3*n + 6. Let o be 14*(l + 3/2). Is 8 not equal to o?
True
Let c be ((-19)/38)/(2/(-12)). Suppose -2*m - 19 = -3*y, -4*m + c*y = -9*m + 5. Which is smaller: m or -3?
-3
Let m = 5 + -5. Suppose m = 2*c - 64 + 12. Is 26 > c?
False
Let y(t) = t**2 - 20*t + 62. Let n be y(-22). Is n <= 986?
True
Let b = -435 - -441. Is 3/5 not equal to b?
True
Let m = 838394/3417 - 30/1139. Suppose 4*h = -f + 954, 4*h - 1191 = -h - 2*f. Let j = m - h. Is j < 6?
False
Let p = 33 + -31. Suppose 0 = -p*y - 3*s + 7, 5*y = -5*s + 2 + 8. Let h be 2/((y - -4) + -2). Which is bigger: 5/7 or h?
h
Suppose j + 15 = -2. Let q be (-1)/7*(-16 - j). Is q equal to -2?
False
Suppose -3013 = 27*a + 767. Is -141 bigger than a?
False
Let j = 0.13 - -0.37. Let d = j - -3. Let l = -2.5 + d. Which is smaller: l or -8/5?
-8/5
Suppose 0 = -2*t + w + 78, -140 = -4*t + w - 3*w. Does 38 = t?
False
Let v(j) = -j**2 + 4*j + 219. Let g be v(17). Which is smaller: g or -15/22?
g
Let x be ((-2 - -1) + 3)/8. Let h = -9 + -17. Let q = h + 15. Is x bigger than q?
True
Let p be (-352)/165 + 0 + -1 + 3. Let s(v) = v - 6. Let w be s(8). Suppose 1 = w*o + 3. Which is greater: o or p?
p
Let k(p) = 3*p + 15. Let w be (48/15)/((-1)/(-10)). Let q be (12/8)/((-6)/w). Let a be k(q). Which is smaller: 0 or a?
a
Let l = 9 + -7. Let q be (l/1 + -2)*-1. Let f = -33 + 35. Which is smaller: q or f?
q
Let c = -35/2 - -119/6. Let r be ((-3)/(-6))/((-3)/(-6)). Are c and r non-equal?
True
Suppose -3*n = -2*n - 26. Let d = -25 + n. Which is smaller: -3/32 or d?
-3/32
Let g = 3/25 + -89/325. Let x be -4 - (-8)/78*7047/174. Is g < x?
True
Let v = 3.23 - 0.23. Is -3/2 at least as big as v?
False
Let c = 420 - 164. Which is smaller: c or 254?
254
Suppose -2*z + 214 = -4*j - 0*j, 4*z + 2*j - 448 = 0. Suppose -m - 2*m - 5*k + 57 = 0, 4*m - 5*k = z. Let i be 58/m + (-11)/66. Which is greater: 3 or i?
3
Let a = -1146 + 1147. Is a at least 42/19?
False
Suppose 2*x + x = 9. Let u be (-1)/7*(x - 10). Let o be (-22)/(-24) + (1 - 2). Do u and o have the same value?
False
Let p(h) = 5*h + 7. Let g be p(7). Suppose -2*j - 140 = -3*q, -q - 5*j + 200 = 4*q. Which is bigger: g or q?
q
Suppose -69 - 11 = 16*y. Which is greater: y or -9?
y
Suppose -8 = -5*j - 23. Is -27/7 < j?
True
Let c(l) = -l**2 - 3*l + 2. Suppose -2*m = v + v + 4, -5*v - 3*m = 10. Let n be c(v). Suppose -4 - 4 = -n*q. Is 2 less than q?
False
Let c be ((-60)/(-9))/((-2)/(-12)). Suppose -5*b - c + 40 = 0. Is b less than -32?
False
Let n = -5 - -4.7. Let m = n - -0.1. Let t = -48 + 47.94. Which is greater: m or t?
t
Suppose 3*u + 2*b = 28, 37 = 3*u + 5*b + 3. Suppose -108 = u*f + 4*f. Which is greater: f or -11?
f
Let j = 10 - 13. Let x(h) = h**2 + 4*h + 2. Let t be x(j). Let u be (-33)/(-24) + (-3)/2. Which is greater: t or u?
u
Let g = 138 - 35. Let c = -517/5 + g. Let t(j) = j**2 - 6*j + 1. Let b be t(6). Which is smaller: b or c?
c
Suppose -m + 3*m = 3*y - 27, 5*y - 3*m - 44 = 0. Let p be y*(60/(-14))/5. Is p <= -5?
True
Let q(r) = 4*r**2 - 3*r + 1. Let y be q(1). Suppose 5*d - 17 = v - 3*v, y*d - 6 = -v. Is v > -4?
False
Suppose 2*w + 38 = -12. Let j = -21 - w. Suppose 3*x + j*x - 77 = 0. Is 0 smaller than x?
True
Suppose 5*g - 3*z + 1200 = 0, -4*g - 5*z = -2*g + 480. Which is smaller: g or -241?
-241
Let w be (-24)/9*6/(-4). Let i(s) = 4*s**2 + 2*s. Let c be i(-1). Let b(g) = -2*g + 5. Let x be b(c). Which is greater: w or x?
w
Suppose -5*o = -6*o - 585. Let k be o/(-1593) + 2/(-6). Is 1 > k?
True
Let z = 1 + -2/3. Let b = -2121/553285 - -2/1195. Let q = b + 939/6019. Are z and q equal?
False
Suppose -2*i - 4 = 2*i. Let q = -0.2771 + 0.1671. Which is greater: q or i?
q
Suppose -5*z + 95 = u + u, 4*z = -3*u + 132. Let s be (87*u/(-12))/1. Let o be (5/(s/4))/(-2). Which is smaller: -1 or o?
-1
Let n(s) = s + 1. Let q(f) = -f**2 - 3*f + 4. Let y(b) = -3*n(b) + q(b). Let c be y(-6). Is c bigger than 2?
False
Suppose 0 = 5*h - j + 3*j - 1081, 4 = -2*j. Suppose r - h = -39. Suppose -68 = 5*i - r. Which is greater: i or 21?
i
Let a be (32/40)/(2/(-10)). Suppose -2*l = 2*f + 16, 2*f + 8 = l + 4. Is a equal to f?
True
Suppose 3*g + 2*g + 36 = 4*o, -2*o + 28 = -5*g. Suppose a = -2*n - 368, 0*n + o*a = 5*n + 946. Let q be 4/14 - n/(-504). Which is greater: 0 or q?
0
Suppose 6*m + 10 = -26. Let v be 256/m*15/(-5). Let q be 4 + -1*v/28. Is q smaller than -1?
False
Suppose 4*h = 2*h. Suppose 6 = 2*v + v. Suppose -5*o - 13 = q, 2*q + 2*o + 0 + v = h. Which is greater: 0 or q?
q
Let f = -38 + 80. Let k = -42 + f. Is k greater than 3/59?
False
Let w = -566/55 - -78/11. Let m(u) = u + 1. Let p be m(-3). Which is greater: w or p?
p
Let m = -526 - -524. Which is smaller: -75 or m?
-75
Suppose -1517 = 4*n - 1517. Which is smaller: -10/273 or n?
-10/273
Let d = -3 - 8. Let b = -10.9 - d. Let w = b + -1.1. Which is smaller: 30 or w?
w
Suppose d - 10 = a - 4, 5*d - 2*a - 21 = 0. Is d <= -8/9?
False
Let p be -3*((-19)/15 + 1). Let l be 4 - 1*26/(-2). Suppose 3*g + 11 = -q - g, 0 = 5*q - 4*g - l. Which is smaller: p or q?
p
Let o be (362/(-33) - -11)/((-70)/24). Is 1 smaller than o?
False
Suppose -2 + 14 = -3*g. Suppose -4*n + 44 = -4*p, -p = -2*p + 3*n - 9. Let j be ((-10)/g)/((-6)/p). Do j and 3 have the same value?
False
Let z = -13.9 - -2.9. Let c = z - -30. Let w = c + -19. Is w less than -3?
False
Let y be (-12)/5*(-10)/4. Let i be (y/4)/((-18)/(-60)). Let g = -5 + i. Which is bigger: 2/3 or g?
2/3
Suppose -10 = 7*o - 2*o. Let z be o/((-8)/(-4)) + 2. Let x be (-8)/(-4)*z/(-47). Do x and -1 have different values?
True
Suppose -3*r - 1 = 4*w - 0*r, 3*w = -2*r - 2. Let t be 264/(-6) - (-9 - w). Which is smaller: t or -2?
t
Let k = -39 - -43. Let l(p) = -p - p + p + 9. Let i be l(9). Which is greater: k or i?
k
Let w(b) = -17*b - 4. Let z(x) = 86*x + 20. Let u(v) = 11*w(v) + 2*z(v). Let p be u(-1). Which is smaller: 10 or p?
10
Let i be 6/(-27) + (-56)/72. Let t = -9 - -10. Which is bigger: t or i?
t
Suppose -15*l + 16*l - 4 = 0. Let c be ((-2)/(-3))/(l/(-6)). Which is smaller: -2/175 or c?
c
Suppose 3*q = -146 - 58. Let h = -48 - q. Which is smaller: 21 or h?
h
Let s = 0.5 - 0.41. Let o = s + -0.19. Which is greater: o or 12?
12
Let g = 1.78 + -1.8. Let x = 1.91 + g. Let r = x + 0.11. Which is bigger: r or 0.1?
r
Let g(s) = s + 2 + 2 - 2*s. Let x be g(3). Suppose x + 2 = 3*w. Is w bigger than 7/4?
False
Let p(z) = -z**3 - 4*z**2 + z. Let m be p(-4). Let x = -10 + 18. Suppose 18 = -2*k + x. Is k less than m?
True
Let b(g) = g**3 + 2*g**2 - 3*g + 3. Let f be b(-3). Let j be (f + -1)*10/(-16). Suppose 2*v - l - 7 = -8, 2 = -v - l. Which is smaller: v or j?
j
Let d(x) be the third derivative of x**4/24 + 7*x**3/6 - 28*x**2. Let p be d(-7). Is 3/8 at least as big as p?
True
Let f(z) = z**2 + 3*z - 4. Let l be f(3). Let h = 2 - l. Let r be 1 - (h/9 - -3). Is 4 less than r?
False
Let f(c) = -c**3 - 10*c**2 + 15*c - 22. Let z be f(-10). Does z = -172?
True
Let p be 1*2 + 12/2. Let j = 2 - p. Let m be (-3)/(-12) + 100/(-16). Is j smaller than m?
False
Let z(n) = -n**3 + 3. Let q be z(0). Suppose -c + 5 = -2*f, q*f + f = c - 5. Suppose -4*u + 8*u + 24 = f. Is u > -7?
True
Let f = 0.08 - 6.08. Let n = f + 6.08. Let p = -3.78 - -3.58. Is n less than p?
False
Let t = -3 + 1. Let d be 