Is -734 <= u?
False
Let d = -101.6 + 101.7. Which is greater: d or -1/154?
d
Let j be (-30)/140 - 6770/28. Do -243 and j have different values?
True
Let h = -2 + 4. Suppose 96*j + 12 = 100*j. Which is greater: j or h?
j
Let p = 29.74 - -0.26. Let w = p + -29. Let z = 3 + -2.95. Is w greater than or equal to z?
True
Let m(l) = -l**2 - 14*l + 125. Let n be m(6). Let p be -2 - (-26)/((-4)/(-2)). Let t = p - 6. Is n <= t?
True
Suppose -2320 = -91*d + 75*d. Is -0.04 at least as big as d?
False
Let d = 546 + -446. Is 99 smaller than d?
True
Let u(v) = v**3 - v**2 - v + 2. Let m be u(2). Suppose 0 = -4*j - 4*t + 40, -2*t + m*t = 2*j - 12. Let x be (-33)/74 - j/(-16). Is x at most as big as -1?
False
Suppose -29 = -2*f + 25. Suppose 0*n + n = f. Let c = 31 - n. Which is greater: c or 3?
c
Let z = 445/1703 + -4/131. Does z = 1?
False
Let o be 6/(-3) + -3 + 5. Is o bigger than -2.8?
True
Let n(u) be the second derivative of -u**3/2 + 3*u**2/2 - 2*u. Let o be n(4). Let m be (-172)/(-45) - (-2)/o. Is m less than or equal to 5?
True
Let c = 120 + -114. Let v = -0.5 - 5.5. Let q = c + v. Which is smaller: 16 or q?
q
Let c(p) = -7*p**3 + 31*p**2 + 5*p - 51. Let i(j) = -11*j**3 + 47*j**2 + 7*j - 76. Let h(v) = -8*c(v) + 5*i(v). Let g be h(13). Is g <= -38?
False
Let m(p) = -p**3 - 13*p**2 + 15*p - 10. Let i be m(-14). Suppose 91 = 5*w - 44. Let d = w + i. Which is smaller: d or 0?
0
Suppose 0 = 12*n - 5*n + 7. Let y = 389/99 - 42/11. Is y > n?
True
Suppose 0 = -3*h + 6*h - 15. Let g be (-7)/35 + (-69)/h. Is -12 at least as big as g?
True
Let w(v) = 36*v + 70. Let u be w(-4). Is u > -75?
True
Let k(t) = t**2 - t - 1. Let n be k(-1). Let v = -2/221 + 532/9945. Which is bigger: v or n?
n
Let a(t) = t**2 + 5*t - 10. Let j be a(0). Let d(k) = -k**2 + 10*k + 12. Let z be d(12). Which is smaller: z or j?
z
Let h = -1.81 + 1.91. Which is smaller: h or 32?
h
Suppose 0 = -5*l - 0*l - 20. Let w(k) = -2*k**3 + 3*k**2 - 2*k + 5. Let f be w(2). Are f and l unequal?
True
Let s = 5 + -7.2. Let n = s + 2.29. Is n at least 2/3?
False
Let x(b) = 3*b - 15. Let f be x(6). Let d be (-6)/(-4)*(-2)/f. Is d bigger than 1/17?
False
Let h = 55.6 - -19.4. Which is smaller: 2 or h?
2
Let f = -10.25 + 0.25. Let g = 9 + f. Are 0 and g unequal?
True
Let c = -72 + 75. Which is bigger: c or 45/16?
c
Suppose 0*z = -3*f + 4*z - 16, -f - 20 = -5*z. Suppose f - 6 = 4*j + 2*d, 8 = 3*j + 4*d. Is j <= 6?
True
Let v(q) = q**2 - 7*q + 6. Let c be v(4). Let a = c - -12. Suppose -7*m + 263 = 221. Is a < m?
False
Let v(z) = -11*z - 6. Let p be v(-5). Let c be (4/(-7))/((-14)/p). Which is smaller: c or 3?
c
Let a = 29.107 - 28.7. Which is smaller: -0.1 or a?
-0.1
Let n(u) = u**3 + 3*u**2 + u + 2. Let w be n(-2). Let i be 2/((w - 3)*1). Suppose -2*l + 12 = 3*q, -i*l - 16 = -0*q - 4*q. Do l and 3 have the same value?
False
Let n(w) = -w**3 + 9*w**2 + 9*w + 12. Let j be n(10). Suppose -2*u + 5 = -3, 0 = -5*l - 3*u + 32. Suppose -x + 13 = -l*t, j*t + 1 = -5. Is 4 >= x?
True
Let f = -0.9 - -1. Let m(q) = 7*q**2 - 3*q. Let j be m(3). Let v = j - 52. Is v at most as big as f?
False
Let d = -38 + 203. Is 166 >= d?
True
Let r be (7 - 4)/(1 - 13/(-2)). Is 64 at least as big as r?
True
Let k be 3/(-9)*16/6. Suppose -8*l + 15 = -5*l - 3*x, -5*x = 4*l + 25. Is l less than k?
False
Let k = 190 + -1529/8. Let h = -1.02 + 0.02. Is k at most as big as h?
True
Let k = -78 - -83. Suppose 4*z - 6 = k*c, -3*c - 4*z - 11 = z. Let l be -3*2*(-1)/(-2). Is l at least as big as c?
False
Let z = 20 - 18.9. Let m = 1.94 - 2.94. Is z greater than or equal to m?
True
Let f be (-1 + 1)/((-2)/1). Suppose f = -3*s - 3*z - 168, 76 = -2*s + s + 4*z. Let p be (-117)/s + -4 + 2. Is p at most 0?
True
Suppose -62*o + 14*o = 96. Let h be ((-1)/(-3))/(33/(-18)). Is o less than h?
True
Let c(o) be the second derivative of -o**4/12 - 7*o**2/2 + 29*o. Let u(y) = y**2 + 9*y + 8. Let t be u(-8). Let r be c(t). Which is smaller: -13/2 or r?
r
Let f = -2.6 + 3. Let c = 814/21 + -276/7. Which is smaller: c or f?
c
Suppose -18 = 3*t + 3*j, 3*j + 35 = -5*t + 7. Let c(h) = -2*h + 5. Let y(a) = -3*a + 10. Let b(w) = t*c(w) + 2*y(w). Let r be b(2). Is r != 3?
False
Suppose 0 = -2*r - 12 + 4. Let t(k) = 2*k + 1. Let w be t(4). Suppose -6 = 3*z + w. Are r and z equal?
False
Suppose 5*y + 4*i - 9 = -2, 2*y + 3*i = 7. Is 4/101 greater than y?
True
Let l(b) = b**3 + b - 1. Let d be l(0). Let q = -34 - -39. Let h = 5.08 - q. Which is greater: d or h?
h
Let l(p) = 6*p**3 - 3*p**3 + p + 11*p**2 - 4 - 8*p**2. Let r be l(-2). Which is smaller: r or -17?
r
Suppose 4 = 3*x - g, -5*g - 4 = 3*x - 4*g. Let j be ((-8)/(22 - 6))/(2/(-12)). Suppose x = -j*v - 30. Is -2/5 not equal to v?
True
Let y(p) be the third derivative of -p**6/60 - p**5/30 - p**4/6 - p**3/3 + 24*p**2. Let k be y(-1). Which is smaller: k or 22?
k
Suppose 5*t - 25 = -0*t. Suppose -7*n - 3*p = -3*n + 35, -4*n = t*p + 29. Let v = -19 - n. Which is smaller: -6 or v?
v
Let m = 30/91 + 1/273. Are m and -0.716 equal?
False
Suppose 3*w = 5*q - 86, 25 = q - 2*w + 4*w. Let y(j) = j - 1. Let s be y(4). Let z be 22/((-1)/(-1)) - (s - 1). Which is greater: q or z?
z
Let h = 54/5 + -1349/125. Which is smaller: 0 or h?
0
Let o = -417.1 - -417. Which is smaller: 72 or o?
o
Let k be ((-12)/30)/(2/(-5)). Are k and 1 nonequal?
False
Let d be 3/6 + 261/6. Let m = 45 - d. Which is smaller: 0 or m?
0
Suppose 0 = 2*j - 175 - 247. Let y = j + -3797/18. Suppose 5*x - 18 = -2*r, -3*r - 3*x + 0 = -9. Which is smaller: y or r?
r
Suppose z - 1 = l - 4, 15 = 3*l. Suppose 2*g + 4 = -w, z + 2 = -2*g + w. Is -0.2 less than g?
False
Let c = -412 - -415. Let l be (1/3)/(1/3). Let v = 4 - l. Are v and c unequal?
False
Let w be ((-3)/(-9))/((-10)/30). Is w at least -10/101?
False
Suppose 2*d = 4*s + 10 - 70, 5*s + 112 = -3*d. Let a = d + 35. Let w be (-1)/(-10)*-1 - 0. Is a bigger than w?
True
Let a = 1017/4 + -253. Let z = -1/20 + a. Let v(x) = x - 4. Let q be v(6). Which is smaller: z or q?
z
Let h(g) = g**3 + 28*g**2 + 51*g - 26. Let m be h(-26). Which is smaller: m or 1/130?
m
Let r be (-4)/(-2001)*(-15)/(-10). Are 0 and r equal?
False
Let i = 932 + -931. Which is smaller: i or -8/301?
-8/301
Let a(n) be the third derivative of 5*n**4/8 + 5*n**3/3 + 4*n**2. Let y be a(3). Let r be (-66)/y*1/4. Is 0 bigger than r?
True
Let w = 342.3 + -342. Which is greater: w or 15?
15
Let g be (1 + 1005/(-306))*(-5 + 6). Let w = g + -32/17. Which is smaller: -3 or w?
w
Suppose 179 = 3*y - 46. Suppose 0 = 6*k - 284 - 166. Is y at least k?
True
Suppose -5*z - 7 = -12. Let v = z + -17. Is v greater than or equal to -14?
False
Let a(g) = -48 - 6*g - 3*g + 6*g + 46. Let f be a(-1). Are -2/35 and f equal?
False
Suppose -1420*z + 1417*z + 290 = 5*n, 0 = -3*n + 5*z + 140. Suppose 4*j + 2*k = 210, -4*k + 0*k + 35 = j. Is n at least j?
True
Suppose -7*v + 29 + 20 = 0. Which is smaller: v or 6?
6
Let x = -1575533/367 + 4293. Let y = -1081/3670 + x. Let p(n) = 7*n + 36. Let q be p(-5). Which is smaller: y or q?
y
Let n be (-4)/(-22) - (12 + (-564)/44). Is 3/41 greater than or equal to n?
False
Suppose 20 = 4*p, -4*p - 10 = -3*k - 3*p. Suppose 3*q = 2*y + 13, 4*y - 4*q + k*q = 9. Let m be 12/28 - y/(-63). Do m and 1 have the same value?
False
Let g(t) = -t**3 + 5*t**2 - 5*t - 3. Let d be g(4). Let l = 2 - d. Let b(c) = c**2 - 3*c + 4. Let r be b(4). Is l less than r?
False
Let m be -1*(1 - 0/2). Suppose 3*g + 4*b = -15, -7*b + 11 = 4*g - 12*b. Is m greater than or equal to g?
True
Let x(i) = -i**2 + 21*i - 11. Let h be x(27). Do -173 and h have the same value?
True
Let x be -1 + 12/14 - (-481)/(-8540). Let a = -3/61 - x. Which is smaller: 1 or a?
a
Let w = 1/212 + 595/8692. Is -0.3 greater than w?
False
Suppose 12*y - 7 - 17 = 0. Let u be (1 - 3/(-9)) + y/(-6). Which is greater: 7/12 or u?
u
Let i be (2 - 10) + 196/4. Is 42 equal to i?
False
Let n be 45/60*19/2. Is n equal to 7?
False
Suppose 21 = q - 2*w + 10, 4*w = -3*q - 17. Which is smaller: 29/41 or q?
29/41
Let w be 6/(1 - 0) + -1. Let g be 80/100 + (-2)/w. Which is bigger: g or -0.3?
g
Let r be 14/(-182) + (-66)/(-182). Let t be (1/(-19))/(2/(-4)). Which is bigger: t or r?
r
Let d(m) = 79*m - 19. Let f be d(-6). Let a be (-24)/108 - f/(-9). Is a not equal to -55?
False
Let y = -1.2 - 2.4. Let r = 4 + y.