 or d?
d
Let l = 22.027 + -0.027. Let b = l - 21.9. Do b and 11/3 have the same value?
False
Let i = 122 + -119. Which is smaller: i or 42/11?
i
Let l = -229 - -1137/5. Let f be 0 - ((-9)/(-3) + -1). Is f bigger than l?
False
Suppose 49*l = 45*l. Let v(w) = -w**2 - w + 5. Let f be v(l). Is f < 9?
True
Suppose -6*q = -4*q + 2. Let v = 8536432/203 + -42051. Let g = 3/29 - v. Which is smaller: g or q?
q
Let u = -11 - 1. Let t(l) = -11*l**3 + 11*l**2 - 12*l - 11*l**2 - 5 + 12*l**3 + 11*l**2. Let s be t(u). Is -4 at least as big as s?
True
Let s = -12 - -7. Let v = 15 + s. Let w = 10017/4 + -10023/4. Is v at least w?
True
Let d be (-1 - 6/4)/(1/(-2)). Suppose 0 = -d*y + 25 + 20. Is 7 equal to y?
False
Suppose -4*d = 5*i + 33, 5*i - 2 = -7. Let w = d - 19. Suppose -4*h + 3*h = 26. Is h at most as big as w?
True
Let p(w) = -8*w - 38. Let m be p(-5). Suppose -2*r + m*v + 25 = r, 4*r = 3*v + 34. Which is smaller: 14 or r?
r
Let y = -137 + 86. Is y != -51?
False
Let c be (-5 + 0)/(3 + -4). Let t be 80/50*c/2. Let u be (-5)/(-5) + -5*t. Is -18 < u?
False
Let g = 12/49 + -929/392. Let i = 21 - 24. Are g and i equal?
False
Let f = 96 - 86. Suppose -11*i + i + f = 0. Let h = 1 - 2. Which is smaller: h or i?
h
Let s be (-572)/30 + 32/80. Let v = 403/24 + s. Which is greater: v or -1?
-1
Let d(q) = q**3 - 6*q**2 - 8. Let u be d(6). Let p = -16 - -7. Let b = u - p. Which is bigger: b or -2/51?
b
Let g(i) = 5*i + 18. Let x be g(9). Let y be x/(-77) + 4/(-22). Is 2/17 <= y?
False
Let l be (11/(-2))/(1/14). Let f = l - -999/13. Which is smaller: f or 1?
f
Let i = 21309/101 - 211. Let k be 0 + 1 + -2 + 0. Is i equal to k?
False
Let v(o) = 2*o + 8. Let k be v(-9). Let m be 123/6 + (-15)/k. Suppose m + 55 = 3*j + 5*d, 0 = 4*j + 3*d - 88. Are j and 19 unequal?
False
Let c = -408 + 408. Which is smaller: 0.407 or c?
c
Let x be 3 - 0 - (1 - 6). Let n = x + 2. Is 11 <= n?
False
Let n be 1965/3 - (8 + -6). Is n >= 653?
True
Let o(f) = -f**2 - 15*f - 22. Let d be o(-14). Let x(c) = -c**2 + 1. Let z be x(-2). Let q be 4/z - 52/6. Is q at most as big as d?
True
Let c(d) = 6*d + 3 - 5*d + 1. Let r be c(-4). Suppose 0*w - w = r. Is w at most -9/7?
False
Suppose -h + 12 = 2*h - 5*t, 0 = h + 3*t + 10. Let u = h - -15/13. Which is bigger: 1/6 or u?
1/6
Let w(s) = s + 6. Let y be w(20). Which is smaller: 126/5 or y?
126/5
Let u be 372*(36/16)/(-9). Is u bigger than 1?
False
Suppose 3*k = -5*i + 383, 0 = -5*i + 5*k - 79 + 494. Suppose -141 = -2*h + 19. Is i smaller than h?
True
Suppose -11 + 3 = 3*u + 2*n, -n = 4. Which is smaller: -2/659 or u?
-2/659
Let d(u) be the third derivative of 9*u**2 + 5/6*u**3 + 0*u + 1/24*u**4 + 1/60*u**5 + 0. Let q be d(-3). Are 11 and q unequal?
False
Let n be ((-58)/(-4 - -3))/(-3). Let r be 2/9 - 1395/81. Let t = n - r. Which is greater: t or -3?
t
Let r = -2688/5 + 538. Is r != -198?
True
Let u = -700 + 15409/22. Is -1 greater than u?
False
Let f be 2*3/(-18)*2. Let x be ((-14)/8)/((-10)/(-40)). Let n = 5 + x. Which is greater: f or n?
f
Let f = -17914 + 90104/5. Is f at least as big as 108?
False
Let i = 0.3 - -1.7. Let d = 15 - 15.16. Is i greater than d?
True
Let g = -1.3 + 6.3. Let d = -4.9 + g. Let z be 3/(-2) + 2/(-8). Which is greater: d or z?
d
Let a be (1*-2)/((-22)/4). Let b be (-13)/156*-78*(-2)/(-13). Which is greater: a or b?
b
Suppose -3*l + 2*l = -4. Suppose -i = -4*i - r - l, -i = -5*r + 12. Which is greater: i or -3?
i
Let c be 515/12 - 14/(-168). Is -3 > c?
False
Let u(f) = -5*f - 36. Let i be u(-8). Suppose d = i*v - 5, -3*v + 1 = 5*d + 3. Is -19 at least v?
False
Let d be (-27)/(-12) - 1550/56. Which is smaller: d or -24?
d
Let y be (-3003)/36915 + (-26)/(-299). Which is smaller: y or 0?
0
Let n(c) = -c**3 - c**2 + 13*c + 5. Let j be n(-4). Which is smaller: 1/170 or j?
1/170
Let x be ((-8)/(-54))/(4/(-6)). Suppose -33*t + 38*t = 0. Suppose -o = -t*o - 2*z - 4, -o - 4 = 2*z. Is o greater than x?
True
Let o(s) = s**2 - s - 59. Let a be o(0). Let u = a + 60. Is 0.04 equal to u?
False
Let x = -0.058 - -2.119. Let b = 0.061 - x. Let h = -2 - -4. Is b greater than h?
False
Let z be ((-1684)/168)/1 - (-1)/2. Let s = z + 66/7. Which is smaller: s or -0.1?
-0.1
Let l(v) = -v - 1. Let g be l(-4). Let p(j) = 2*j**3 + 27*j**2 + 20*j + 9. Let n be p(-13). Let b = 84 + n. Which is smaller: g or b?
b
Let q be 6/(-3) - 7/((-14)/(-34)). Is -135/7 > q?
False
Let b be 1/((-10)/(-1416)) + 1. Suppose -2*o + 2*l = -294, 3*o - 449 = -10*l + 15*l. Let h = o - b. Are 0.1 and h unequal?
True
Let h = -546/8851 + 4/167. Which is bigger: 2 or h?
2
Let p be 1 - (-1)/(1/5). Suppose 3*z + 4*j - 3 = 0, -3*z - 3 = -p*z - j. Let u = -1174 - -1174. Is z less than u?
False
Let h be 2/42 + 0/(-1). Suppose 8 = 5*k + 4*d, 0 = -5*k - 5*d + 2 + 8. Let u be k/(-6 - (-1 - 3)). Which is smaller: h or u?
u
Suppose -5 - 3 = -2*z. Let n = z - -2. Let h be 27/18*(-8)/n. Is h equal to -3?
False
Let q = 96.02 - 96. Is -6 smaller than q?
True
Let i = -46 + 44. Let x(u) = u**3 - 2*u**2 - 4*u - 3. Let w be x(i). Is w != -10?
True
Let u = -0.1 + 0.2. Let d = u + 0.1. Let x = -7.16 + 4.16. Is x >= d?
False
Let o(f) = -24*f - 45. Let a be o(-2). Which is smaller: 9 or a?
a
Suppose -5*p - 50 = -15. Let j(b) = 2*b**2 + 12*b - 4. Let u be j(p). Which is bigger: 0 or u?
u
Let i = -0.11 - -0.18. Suppose -16*r - 80 = -11*r. Let f = -50/3 - r. Is i >= f?
True
Suppose 152 + 477 = 17*t. Suppose -19 = 5*a + 1, -5*a - 172 = -4*g. Is t at least as big as g?
False
Let g = 1675 - 1665.1. Which is bigger: 2/15 or g?
g
Suppose -2*v + 12*q - 9*q + 80 = 0, -45 = -v - q. Suppose -2*k + 3*k = 43. Is v < k?
False
Suppose -5*z - 3 = -2*d + d, 0 = -z + 5*d - 15. Let g be -1*(z - 0/(-4)). Is -2/3 > g?
False
Suppose 5*v - 20 = 0, -8*m + 19 = v - 17. Which is smaller: m or 14/3?
m
Suppose 27*a - 210 = 29*a. Let z = 71 + a. Which is smaller: -35 or z?
-35
Suppose -2*i + 45 = i. Suppose -4*a - 11 = -i. Let d be 2/(-11) - (-18)/(-22). Which is greater: a or d?
a
Let d = -3.23 - 0.37. Let w = d - -13.6. Which is smaller: -3 or w?
-3
Let z = 0.458 - 1.158. Is z smaller than -0.15?
True
Suppose -w - 254 = 3*b + 208, 3*b - 3*w = -450. Let v be ((-18)/(-4))/(b/24). Is 0 smaller than v?
False
Let r(v) = -v**3 + 5*v**2 - 2*v - 4. Let t be r(4). Let f = -4 + t. Let k be f + -3 + (-1 - -3). Do k and -6/7 have the same value?
False
Let j = 97 + -99. Let x be j/4*(-6 + (-64)/2). Which is smaller: x or 20?
x
Let n(k) be the second derivative of k**4/6 + k**3/2 + 4*k. Let z be n(-2). Suppose 2*o + 3*o = 2*c + 24, -z*o - 31 = 5*c. Which is greater: -8 or c?
c
Let s = 236 + -379. Let x = -129 - s. Which is greater: x or 15?
15
Let i = -83 - -119. Suppose -5*m - n + 5*n - i = 0, -5*n = m + 13. Which is smaller: -9 or m?
-9
Let y be (1/2)/(303/29290). Is 48 less than y?
True
Suppose -17*z - 4 = -15*z. Let n = z - -2. Which is greater: n or 2/25?
2/25
Let o be (-1 - 1) + (-836)/(-312). Let h = o - 5/6. Let v be (0/710)/(2/((-4)/(-6))). Which is smaller: h or v?
h
Let f = -4081436/569 - -7173. Which is smaller: 0 or f?
0
Let c = -0.0225 + 0.1225. Is 884 smaller than c?
False
Suppose 1 = -3*s + 7. Suppose q + s = -4. Let u be ((-1)/(-3))/((-1)/q). Is 2 bigger than u?
False
Let w be (0 + -3 - -13) + -79. Is w < -69?
False
Suppose 2*y - 31 = -3. Suppose 0 = -5*r - y + 4. Let a be 9/(-6) + r/(-4). Is a != -2?
True
Let w = -2851239/491 - -5807. Is w != 0?
True
Let n(y) = y**3 - y**2 - y - 7. Let i(b) = -b**3 + b**2 + b + 11. Let w(r) = 5*i(r) + 8*n(r). Let z be w(-1). Which is smaller: -5 or z?
-5
Let q be -10 - -14 - (1 - (-2 + -1)). Let s = -113/4 + 2155/76. Which is smaller: q or s?
q
Let q = 4046/9 - 1181477/2628. Is q less than 1?
True
Let x(p) = -4*p**2 - 6*p - 8. Let q(s) be the second derivative of s**4/12 + s**2/2 + 6*s. Let h(g) = -3*q(g) - x(g). Let c be h(-5). Are c and 3/5 non-equal?
True
Suppose -3*z - 3*g - 99 = 0, -2*g = 4*z - 6*z - 54. Is z greater than -144/5?
False
Let i = -104/3 - -34. Suppose 96 = -4*a + 5*d, 4*d + 47 = -3*a - 56. Is i <= a?
False
Let a be (-4)/6*(-215)/(-110)*6. Let y = a - -80/11. Let r be (-4)/2 - (-12)/5. Which is smaller: r or y?
y
Suppose 0 = 29*l - 11*l + 3546. Is l > -196?
False
Let h = -8 + 12. Suppose 2*y + 10 = 7*y. Let j be (-10)/h*(0 + y). Is j less than -4?
True
Suppose -19*f - 