6 = 2*l, r + 5*l + w = -0*r. Let c = 10 - 3. Is r < c?
False
Let i be (1 - 14/6)/(5/100). Which is greater: i or 0.1?
0.1
Let w be 84/235 + 2/(-5). Suppose -4*v = -3*v - 1. Which is bigger: v or w?
v
Let r be (2 - 3 - -2)*-1. Let y be 92/(-6)*r*1. Which is smaller: 14 or y?
14
Let i be 24/(-48)*1*-34. Suppose -4*m + 69 + 3 = 0. Which is greater: m or i?
m
Let b be (-1)/(-2*179/(-4)). Is b at least as big as 0?
False
Suppose 25*d - 450 = 20*d. Let m be (-256)/10 - 36/d. Which is bigger: m or -25?
-25
Let u = -1128 - -1126. Which is greater: u or 30?
30
Let v(g) = g + 9. Let y be v(-7). Let a(m) be the third derivative of 7*m**4/24 - m**3/2 + 3*m**2. Let j be a(y). Which is smaller: j or 12?
j
Let x(g) = g**3 + 12*g**2 - 3*g - 3. Let u be x(-13). Is u greater than -2?
False
Let k = -20 - -19. Let d = 1 + k. Is d greater than -2/101?
True
Let l(v) = 4*v - 22. Let q be l(18). Let o = -51 + q. Is o > -2/81?
False
Let x be (-6)/(-4)*(-12)/(-54). Let z = 0.5 - 1.3. Let q = 1.1 + z. Which is smaller: x or q?
q
Let k = -0.298 + 0.698. Is k at most as big as 0.032?
False
Suppose -5*q + 153 = -2*q. Let i = q + -31. Suppose 0 = -0*z - 5*z - i. Is -4 smaller than z?
False
Let t = -17579 + 755991/43. Is t at least 1?
True
Let a = -471/2140 + -16/535. Let m = -0.26 - 9.74. Is m smaller than a?
True
Suppose 49*u = 33*u + 240. Is 260/17 smaller than u?
False
Let k(n) = -n**3 - 2*n**2 + n - 1. Let f be k(-3). Suppose -2*o = w - 3*o + 8, -5*w - 20 = f*o. Which is smaller: -7 or w?
-7
Suppose 557 = v + 214. Which is greater: 341 or v?
v
Let x be 9/6*100/45. Let u(i) be the first derivative of i**3/3 - i**2 - i - 2. Let h be u(3). Which is bigger: h or x?
x
Let y = 597 - 572. Which is smaller: y or 26?
y
Let w be -12 + 9 - 6238/6. Let a = 1034 + w. Which is bigger: -8 or a?
-8
Suppose 24*t - 42 = -18. Is t not equal to 11?
True
Let h be (-6)/4*(3 + (-133)/21). Suppose -m + 5*w + 160 = -h*m, -4*m - 4*w = 164. Which is bigger: m or -46?
m
Suppose -5*p - 8 - 8 = y, 16 = -4*y - 4*p. Let a be ((-10)/(-76))/5*-5626. Let f = a + 148. Which is smaller: f or y?
y
Let q(t) = t**2 + 18. Let f be q(8). Suppose -5*c = -r + 2*r + f, 5*r + 58 = -3*c. Is -15 != c?
True
Let k(m) be the first derivative of m**3/3 - 5*m**2 + 9*m + 7. Let o be k(6). Are o and -15 non-equal?
False
Let o(w) = -w**3 - 5*w**2 + 16*w + 45. Let t be o(-5). Is 1.1 >= t?
True
Let g = 318 + -326. Is g at least -1/2?
False
Let z = 1 - -1. Suppose 3*y - 41 = 2*u, 7*u - 6 = -z*y + 3*u. Let j = -12 + y. Which is smaller: 1 or j?
j
Suppose 120*y = 68*y - 312. Which is smaller: y or -15?
-15
Let f(q) = -q + 1 + 0*q - 10 - q. Let r be f(0). Which is greater: r or -7?
-7
Let m be (-22)/3 - (-2)/6. Let q = m + 10. Suppose -2*s + q*d = 8, 0 = 2*s - 6*s + 2*d - 16. Is 2 at least as big as s?
True
Let x = 371 - 291. Is -2 equal to x?
False
Let m(i) = 2*i**3 - 5*i**2 + 4*i - 21. Let k be m(3). Which is smaller: 2/87 or k?
k
Let r = -0.015 + 0.415. Let b = r - 3.4. Which is greater: b or 0.06?
0.06
Let s = 45 - 45. Which is smaller: 1/149 or s?
s
Let o = -411815181 + 12356023301/30. Let w = o + -52254. Let f = w - 46/5. Is -2 <= f?
True
Let c = 828 + -827. Are c and -2/443 equal?
False
Let u = 364 - 301. Is u smaller than 64?
True
Let k = 4.14 + -1.08. Let m = 0.06 - k. Is m not equal to -18?
True
Suppose -20*u + 40 = -21*u + 5*i, 5*u = -5*i - 200. Which is bigger: -35 or u?
-35
Let u(f) = f + 9. Let y be u(-6). Let q(m) = m + 4. Let s be q(y). Is 7 <= s?
True
Let i be 4 + -3 + 762/(-330). Let n = 10/11 + i. Which is greater: n or 1/6?
1/6
Suppose 0 = y - 3*r - 51, -y - 5*r + 37 = -54. Suppose 8*x - y = 2*x. Which is smaller: x or 4?
4
Let x be 2/15*(-408)/16. Is x not equal to -2?
True
Let q be 2534/(-210)*-10 - 1/(-3). Which is bigger: 127 or q?
127
Let b(z) = -2*z**2 - 2*z - 1. Let j be b(-1). Let f(s) = -13*s - 171. Let d be f(-13). Is j greater than d?
True
Let m be 26/42 - 3/9. Let j(o) = o**3 + 15*o**2 - 17*o + 4. Let h be j(-16). Suppose -t + h = 21. Is t at least m?
False
Let f be (((-1)/2)/(-1))/(7/(-336)). Let t(g) = g**2 + 26*g + 55. Let k be t(f). Suppose 3*y + 3*u - 33 = 0, 3*y + 2*u - 23 = u. Is k at least as big as y?
True
Let z(k) = 12*k + 50. Let s be z(-5). Is s bigger than -11?
True
Let y be 22/5 + 2/(-5). Suppose 0 = 4*w - 3*w + y. Let o(t) = -t**3 - 6*t**2 + 16*t - 2. Let d be o(-8). Which is smaller: d or w?
w
Let m(u) = -2*u - 38. Let o be m(6). Is o < 1?
True
Let j = -853 + 914. Which is smaller: 3 or j?
3
Let d be 4 - (-36)/(-10) - 21/15. Is d <= 3/37?
True
Let r = 13 - 15. Let p(n) = n**3 - 12*n**2 + 13*n - 36. Let f be p(11). Which is bigger: f or r?
r
Let q = -430 - -14619/34. Let f be -10*(2 - 56/20). Let t be f + -11 - -2*1. Which is greater: q or t?
q
Let v = -117 + 120. Let w be v*(-2)/6*(-2)/6. Let c = -1 + 1. Do c and w have the same value?
False
Let f be (-8)/10*15/(-22). Let u(w) = 1 + w**2 + 8*w + 0*w**2 + 2*w. Let y be u(-10). Which is smaller: y or f?
f
Suppose -2*i = 2*i - 2180. Let w be (-3)/(-2) - i/10. Which is greater: 0.1 or w?
0.1
Let b be 5 + (-37*(3 + -5) - 0). Which is greater: b or 81?
81
Let d = -70.1 + 74. Let v = d - 18. Let j = v - -14. Which is smaller: j or -10?
-10
Let a = 27 - 25. Let u = a - 3. Is u >= 5?
False
Let q be (-12082)/(-3)*2358/1828. Let j = -5195 + q. Let u = j - -5031/914. Which is greater: 5 or u?
u
Let o(v) = -5*v**2 + 82*v - 11. Let q be o(16). Which is bigger: q or 16?
q
Let l = -175 + 262. Which is bigger: 85 or l?
l
Let v(f) = -2*f + 30. Let a be v(-19). Let m be (a/16 - 0) + (-2)/(-8). Which is greater: 0 or m?
m
Let w be 7 + (2 - 3 - 2). Let s be 94/4*(2 - w). Let t = 140/3 + s. Which is smaller: 0 or t?
t
Let j be 4/10*(-3)/(-3). Let t = -4.79 - -0.73. Let o = -4 - t. Which is smaller: o or j?
o
Let y(g) = -g - 2. Let x be y(6). Suppose 6*k + 16 = 22. Which is smaller: x or k?
x
Let u be 11 + (-352)/143 + -9. Is u smaller than 2/3?
True
Let j = 888/7697 + -4/179. Let x be (1 - 0)*0/2. Is j >= x?
True
Let v = -2.1 - -2.1. Let g = 0.96 - -0.04. Let q = -1.03 + g. Is v equal to q?
False
Suppose 0 = 2*j + 9 + 39. Let l be ((-3)/(-24))/(j/160). Let k = 4 + -2. Is k at least as big as l?
True
Let u(c) = -c**3 - 11*c**2 + 6*c - 33. Let w be u(-10). Is w greater than -194?
True
Let r(p) = -p**3 - 20*p**2 + 25*p - 27. Let j(n) = n + 1. Let t(g) = 4*j(g) - r(g). Let a be t(-21). Which is smaller: 30 or a?
30
Suppose 0 = -h + 2*h + 3. Let n be (h/(-4))/(42/(-4)). Let w = -4.9 + 4.8. Is w <= n?
True
Let z(n) = -n**2 + 22*n + 996. Let v be z(-18). Is v < 275?
False
Let t = -3.2463 + 0.0763. Let a = t + 0.17. Let z = -4 - a. Which is smaller: z or 6?
z
Let r be ((-44)/(-3))/(46/69). Which is smaller: r or 28?
r
Let x(h) = -h**3 + 5*h**2 - 2. Let t be (1 - -2) + 0 + -1. Let p be x(t). Suppose 3*n = p*n. Which is smaller: -1/8 or n?
-1/8
Let o = -970 - -847. Which is bigger: -121 or o?
-121
Let l = -420 - -405. Which is greater: l or 8?
8
Let d = 3 + 3. Let b be 2/d + (-196)/(-42). Suppose 0*t + 35 = -b*j + 5*t, 5*t = -j - 1. Is j > -3?
False
Let q = 0.022 + 0.628. Let o = 0.35 + q. Let i(m) = m**2 + m. Let l be i(-3). Which is greater: l or o?
l
Let g = 158/255 - 1/51. Is -2 at most as big as g?
True
Let x be (20/6)/(44/(-66)). Is x greater than 1?
False
Let r = -855/11 - -39385/506. Which is smaller: r or 1?
r
Let z = -6.18 - -11.18. Is z >= 0.96?
True
Let g = 1.337 + -1.137. Is g greater than or equal to -3/28?
True
Let x = -3.4 - 36.6. Let c = 43 + x. Is c <= -16?
False
Let z = 0 - 1. Let d be (6/1104)/(2/8)*1. Which is smaller: z or d?
z
Let g be (-1)/(-2) - 4/8. Let s be ((2/6)/(13/65))/(-2). Which is smaller: s or g?
s
Let x = -4/137 - 28887/685. Let y = -43 - x. Suppose i - 1 = 2*f - 3*f, -4*i + 4 = 2*f. Is y not equal to f?
True
Let l be ((-2)/(-8) - (-350)/(-600))*3. Which is greater: 6/191 or l?
6/191
Let g be 25/(-150) + (-474)/(-252). Is g less than or equal to 1/17?
False
Let f be 5/(-2)*(-18)/15. Let x(g) = -4*g**2 - 27*g - 16. Let q be x(-6). Which is smaller: f or q?
q
Let f(z) = z**2 - 10*z + 17. Let o be f(8). Suppose -91 = -9*x - o. Does 11 = x?
False
Let t = 22 - 20. Suppose 9 = -u + c + 3*c, 6 = 4*u - t*c. Let s = -188 + 952/5. Which is smaller: s or u?
s
Suppose 2*d - 144 = -7*d. Let c be (0 - d) + 0/(12/(-4)). Is -16 less than c?