n or equal to -0.034?
True
Let n = -9/4162 + 3104933/37458. Are -2 and n equal?
False
Let i(p) = 38*p - 120. Let q = -48 + 59. Let m be i(q). Which is greater: m or -0.1?
m
Suppose -3*q - 12*n + 17*n - 550 = 0, 2*q + 366 = 4*n. Which is greater: q or -202?
q
Let r = -28864 + 28332. Is r less than -491?
True
Suppose 5*g - 47*n + 26 = -44*n, 2*n = -2*g + 12. Which is smaller: -2/1325 or g?
g
Suppose -4*t - 389 = -2*w + 343, -1068 = -3*w + t. Is 4618/13 greater than or equal to w?
True
Suppose -12*b - 4 = -8*b + d, 2*b - 16 = 4*d. Suppose 0 = -2*r + 2*s + 22 + 16, 2*s + 10 = b. Do 83/6 and r have the same value?
False
Let d be 54/3 + -35 - (-5 - -3). Is -503/37 at least d?
True
Let t = 332.1 + -296.1. Let x = 31 - 30.8. Which is bigger: t or x?
t
Let s = -0.225 + 0.164. Let i = 0.161 + s. Let f(j) = 6*j. Let z be f(-6). Is z equal to i?
False
Let u(g) = 83*g + 1754. Let h be u(-21). Is h at most as big as -147/5?
False
Let j = -13950 + 3488. Is -10461 > j?
True
Let u(h) be the second derivative of -5*h**3/6 - 11*h**2 + 5*h. Let b be u(-5). Suppose -3*q + 2*f = -2*q - 6, 2*q = -5*f - 6. Which is smaller: b or q?
q
Let k = 14.5 + -15.5. Let q be 21800/(-46) + (-16)/184. Are q and k unequal?
True
Suppose 0 = -2*a - 57 - 7. Suppose -3*p = 3*f + 171, -24*f + 21*f - 4*p - 168 = 0. Let l = a - f. Which is smaller: l or 29?
l
Suppose 4*h = f - 32, -4*h = -5*f + 12 + 52. Which is smaller: -41 or f?
-41
Suppose 0 = -2*u + 2*p + 96, -2 + 138 = 3*u - 5*p. Suppose 0 = 10*f + 3*f + u. Which is greater: f or -44?
f
Let g = -6.2 + 3.46. Let p = 31 + -30.74. Let j = p - g. Is 0.3 smaller than j?
True
Let w = -0.4311 + 0.1761. Which is smaller: w or -0.1?
w
Suppose 5*l - 3*w - 59 = -8, 27 = 2*l + w. Let f(y) = -y**2 + 12*y + 1. Let n be f(l). Let x(z) = 52*z**2 + z - 1. Let a be x(n). Is 52 at most as big as a?
True
Let y be -55*(10/6)/(10/(-60)). Let m be 581/(-42)*(-1 + -38). Let a = m - y. Do a and -12 have different values?
True
Let m(k) = -8 + k**3 + 5*k**2 + 2*k**2 - 4*k + 0*k**2 + 10*k. Let i be m(-6). Let d be (2 + (-29)/4)/((-3)/i). Does d = -11?
False
Let r = -2198 - -2173. Let c = 36 + -14. Let n = r - c. Which is smaller: 0.1 or n?
n
Let n = -142/5 + 27. Suppose -h - 2 = -5*t, 13*t - 2 = -h + 16*t. Which is bigger: h or n?
h
Suppose -l - 2*x = 15, 13 - 55 = 3*l + 3*x. Let t be (l + 3)/1*165/10. Is -165 greater than or equal to t?
True
Let h be (1/3 - 0)*(-1170)/(-6305). Let l = 164/485 + h. Let r = 11 - 3. Is l greater than or equal to r?
False
Suppose 5*p = -3*h - 100, -2*h - 3*p + 6*p = 35. Let m be 2/8 + h/80*4. Which is bigger: m or -2/207?
-2/207
Let l = -1297 + -4189. Let o be ((-3)/(-2))/((-39)/l). Is o at least 213?
False
Suppose -f + 61 - 50 = 0. Suppose 0 = -f*n + 3*n + 512. Suppose n = 9*x - 26. Which is smaller: 7 or x?
7
Let w = 1061.649 + -20.349. Let c = w - 992. Let o = -47 + c. Is o >= -2/11?
True
Let o be ((-9)/(-18))/(15/33780). Is 1128 greater than or equal to o?
True
Let y(o) = 10*o**3 + 7*o**2 - 23*o + 14. Let g be y(10). Let t = g + -21421/2. Which is bigger: -227 or t?
t
Let r be ((-1211)/(-398) - (57 + -54))*1. Do r and 0 have different values?
True
Suppose -5*r + 0*r = -n - 10, 5*r - 3*n = 0. Which is bigger: 121/48 or r?
r
Suppose 0 = -2*l + 3*r - 2, 30*l = 32*l + 3*r + 2. Is -2/611 > l?
True
Suppose 2*w - 4*k = -1884, 2*w + 3*k = -495 - 1361. Which is bigger: w or -933?
-933
Suppose -5*u + l - 34 = -132, 3*l = 5*u - 104. Let v = -20/66769 - -118248619/2403684. Let b = v - 283/9. Is b bigger than u?
False
Let q be ((-27)/(-84))/(19/19 + 64). Is 0 greater than or equal to q?
False
Let b = -2 - 15. Let u(q) = -q**2 - 4479*q + 144328. Let h be u(32). Which is greater: b or h?
b
Let o be ((-700)/(-112))/((-4)/32). Let m be -12*(2 - 44/16). Let j be (-3)/(m/(-147))*-1. Is j greater than or equal to o?
True
Let g(o) = -o**3 + 72*o**2 + 2*o - 144. Let z be g(72). Is 98 bigger than z?
True
Suppose 0 = x + 2*k - 40 + 20, 3*x = -4*k + 68. Suppose -x*d - 6*d + 34 = 0. Is -1/169 less than d?
True
Let i be (3 + -4)*4 - (-506)/(-11). Suppose -u = 35 + 17. Which is greater: i or u?
i
Let n be 3/2*((-68)/(-60) + -1). Let d = n + -1. Which is smaller: d or 0?
d
Let q be (-1)/2*(3/((-3)/7) + 7). Which is greater: 3/569 or q?
3/569
Let r be 0 + 7 - 5 - -23. Suppose -15 = -r*v + 30*v. Which is smaller: v or -52/25?
v
Let l be ((-4)/(-24)*-4)/(-2). Let s = 11 - 51. Let y = -44 - s. Is y at most as big as l?
True
Let o be (-1)/(-3)*(-7 - 5)*-6. Suppose -n - 30 = 23*a - o*a, -3*n - 88 = -2*a. Do n and -30 have the same value?
False
Let j = -8692 - -44183/5. Let l = j + -145. Which is bigger: l or -0.62?
l
Suppose -11*h + 12 + 10 = 0. Suppose -5*x - 3*z = -513, 7*x + z - 521 = h*x. Let o = -106 + x. Which is bigger: o or 3/86?
3/86
Let b = 408.0925 - 0.0925. Let v = 413.1 - b. Is 2 greater than or equal to v?
False
Let w = -8589 + 25765/3. Which is bigger: w or -1000/23?
w
Let m = 404 + -455. Let j = m - -53. Which is bigger: j or -103?
j
Let u = -240.3 + 38.3. Let x = u + 114. Let k = 96 + x. Which is smaller: 0.4 or k?
0.4
Let w be (-444)/1085 - (-2)/5. Suppose 3*s = -15, -5*s + 3 - 22 = 2*q. Let j(h) = -h**3 + h**2 + 4*h + 5. Let k be j(q). Which is smaller: k or w?
k
Let a be -2 + 3 + 1 + -4. Let o = -194195/4 + 48548. Is a <= o?
True
Let m be 2/12 - (-23 + (-495737)/510). Is 995 at least as big as m?
False
Let q = -140 - -139.95. Let m = -22 - -24.6. Let l = 3.6 - m. Which is smaller: q or l?
q
Let t(z) = 6*z**2 + 43*z - 15. Let c(h) = -h**2 - 9*h + 3. Let g(v) = -11*c(v) - 2*t(v). Let p be g(10). Which is bigger: 23 or p?
p
Let k = 24031.978 + -24032. Which is smaller: 22 or k?
k
Let g(a) = 779*a + 774. Let r be g(-1). Is -19 not equal to r?
True
Let b = -3 - -3. Suppose 20*p = 9*p - 33. Let r be p/((-57)/(-4))*1. Is b smaller than r?
False
Let s(b) = 3*b - 7. Let t be s(9). Suppose q + 0*q = -t. Let u(f) = f**2 - 13*f + 20. Let y be u(5). Is q > y?
False
Let l = -3712 + 3711. Let m be (-1)/5 - 26/(-110). Which is smaller: m or l?
l
Let h be 4 + -1 + 1*(-1100)/112. Which is greater: h or -7?
h
Let j be 9342/(-11) + ((-6)/3)/((-66)/9). Which is smaller: j or -836?
j
Let h(d) = d**2 + 9*d + 1. Let c be h(-12). Let g = c - 35. Suppose 2*x + 22 = -3*j, 19 = -g*j - j - 5*x. Which is bigger: j or -10?
j
Let b = -45.95 + 46.05. Is 89/16 <= b?
False
Suppose 3*g - 6 = -3. Let o be (-35)/(-28)*((-37468)/170145 - 6/(-27)). Is o less than g?
True
Let x(a) = -39*a**2 + 168*a - 146. Let b be x(3). Let n be 15/(-2)*12/(-15). Which is greater: n or b?
b
Let w be (-9)/((-693)/(-14)) - (-4)/(176/8412). Is 961/5 > w?
True
Let r = -784.81 - -780.8909. Let a = 0.0809 - r. Which is smaller: 31 or a?
a
Let c(p) = -3*p**3 - 3*p**2 - 3*p - 3. Let k be c(-4). Let t be ((-30)/45)/(2/k). Which is smaller: -348/7 or t?
t
Let h = 1886 - 2028. Which is greater: h or -12?
-12
Suppose 0 = 6*c - 3*c + 5*b + 4278, 5*c + 2*b = -7130. Are -1426 and c unequal?
False
Let i = 922785/43 - 21455. Which is smaller: i or 4?
4
Let o be (50/75)/((2/6*-3)/459). Which is bigger: o or 0.9?
0.9
Let n(g) = g**3 + 40*g**2 + 3*g - 801. Let x be n(-39). Is 602 greater than x?
False
Let u(h) = -h**2 - 18*h - 64. Let l be u(-13). Let p(t) = t**2 + 2*t - 3. Let g be p(l). Is g smaller than 2/53?
True
Let g be 2/10 - ((-312)/(-5))/(-3). Let x = g - 20. Let h be 0/((x/(-3))/((-7)/63)). Which is smaller: -2/13 or h?
-2/13
Let q(n) = -4*n - 27. Let m be q(0). Let r be ((-3)/m)/(10 + -9). Is r bigger than 0.11?
True
Let s(h) = h**3 + 11*h**2 + 8*h - 17. Let n be s(-10). Suppose -2*r = -2*b - 2, -5*r - n + 5 = -2*b. Which is smaller: r or 2/157?
r
Let x = -891/7 + 127. Let c = -22 - -9.1. Let q = 12.6 + c. Which is smaller: x or q?
q
Let r = -93 - -120. Suppose -217 = 5*t - r. Which is bigger: -39 or t?
t
Suppose 37*k - 5 = 42*k. Let x = 0.052 + 0.588. Let u = 0.34 - x. Which is smaller: k or u?
k
Suppose -30*v + 11*v + 1197 = 0. Let o = v + -190. Is o bigger than -128?
True
Let f(l) be the third derivative of l**5/30 + l**4/12 + 25*l**3/6 - 7*l**2 - 7. Let r be f(-3). Which is smaller: r or 39?
r
Let q = 41.03 - 41.1586. Which is bigger: -2 or q?
q
Let i = 153/7 - 173/14. Let k(x) = 9*x**3 + 45*x**2 - 5*x - 11. Let j be k(-5). Let v(a) = a**3 - 15*a**2 + 18*a - 45. Let z be v(j). Which is smaller: i