False
Let f = -661.9 - -662. Let p = 17.9 + -19. Let x = -1 - p. Is x != f?
False
Suppose -8*k + 186 = 194. Which is bigger: k or 4/31?
4/31
Let y(b) = b**3 - 17*b**2 - 19*b + 16. Let s(c) = -c**2 - c. Let r(l) = 6*s(l) - y(l). Let x be r(12). Is x > -3?
False
Let r = 355472325331/3906 - 91006738. Let f = -1/558 + r. Does 3 = f?
False
Let b(j) = j**3 + 6*j**2 - 9*j - 1. Let w be b(-7). Suppose -2*d = -w*d + 121. Is 11 > d?
False
Let g(v) = v - 1. Let f(m) = m + 9. Let h(d) = f(d) - 2*g(d). Let r = 20 + -8. Let s be h(r). Which is greater: -11/5 or s?
s
Suppose -2*w + w - 2*w = 0. Suppose -2*j + 42 - 8 = w. Which is smaller: j or 18?
j
Let h = 3235 - 16287/5. Is h less than -21?
True
Suppose -115 = -2*w - 585. Is w >= -239?
True
Let d be (-1)/(-2)*4/5. Let r(m) = -m**3 + 5*m**2 - 4*m + 2. Let i be r(4). Suppose -i*a - 1 = -a. Which is bigger: d or a?
d
Let t = -0.316 + 0.016. Which is bigger: t or -29?
t
Let c = -8246/9 + 918. Let d = -98/45 + c. Which is greater: -1/12 or d?
-1/12
Let a = 28 + -28.09. Is a > 11?
False
Let r be (-24)/(-10)*1360/51. Which is smaller: r or 63?
63
Let r = 3.35 + -1.35. Which is smaller: 57 or r?
r
Let u be 2/((1/(-6))/(7 - -46)). Is -635 at most u?
False
Let k(h) be the third derivative of -h**4/24 - h**3/3 + 5*h**2. Let q be k(12). Let a be (-4)/q - 24/(-14). Are a and 0 nonequal?
True
Let n = -17 - -22. Let d be 10/n - (-2)/(-1). Which is smaller: d or -4?
-4
Suppose -3*k + p + 4*p - 16 = 0, 5*k - 2*p = 5. Suppose 16 = -k*u - u. Let c be 36/(-27) + (-2)/3. Is u < c?
True
Let r(x) = x**3 + 5*x**2 - 6*x - 5. Let u be r(-6). Let a be (1/14)/(u/270). Is a != -4?
True
Let h(x) = x**2 + 8*x + 5. Let z be h(-7). Let j = 6 + z. Let a be (j - 16/5)*2. Do a and 2 have different values?
True
Let j = 28.9 - 29. Let n = 2 - 20. Are j and n nonequal?
True
Let l = 301/416 - 1/32. Let w(p) = p**2 - 3*p + 3. Let m be w(2). Do l and m have different values?
True
Let g = -81/7 + 82/7. Let r be 0 - 2/((-64)/(-6)). Which is smaller: g or r?
r
Suppose -17*v + 18 = -26*v. Which is smaller: -18/17 or v?
v
Let n = 279 - 375. Which is greater: n or 2/11?
2/11
Let a = -7 + 10. Let l = 719/65 + -97/13. Is a <= l?
True
Let d = 104 + -105. Is d <= -4/93?
True
Let f = -228 + 913/4. Which is smaller: f or -82?
-82
Let n(w) be the second derivative of -w**5/10 + w**4/6 - w**2/2 - 3*w. Let t be n(1). Suppose 0 = -9*h + 5*h - 8. Are h and t equal?
False
Suppose 0 = 5*b + 5*w + 5, -2*b - w + 4 = 10. Let f be (432/105 - 4)*b. Which is greater: f or 0?
0
Let q = 2.22 - 0.22. Is -0.04 <= q?
True
Suppose -4*i - 55 - 61 = 0. Let u = 97 + i. Let o = 953/14 - u. Which is greater: 1 or o?
1
Suppose -5*j + 168 + 32 = 0. Suppose 2*x + 2*p = 3*p - j, 3*x - 4*p + 65 = 0. Which is smaller: x or -18?
x
Let q be ((-332)/12)/((-2)/432). Let v = q + -1488026/249. Is v greater than or equal to 0?
False
Let v be (-93)/120 - (-16)/40. Are v and 0 nonequal?
True
Let r(y) = y**3 + 7*y**2 + 10*y + 13. Let a be r(-6). Let v be ((-26)/3)/(2/3). Are a and v nonequal?
True
Let p be (45/75)/(9/96). Is p >= 5?
True
Let j(y) = y**2 - 12*y + 5. Let b be j(10). Let w be (-6)/b + 3/5. Let c be 9/(-27)*9/(-17). Is w equal to c?
False
Suppose -4*d - 5*u + 36 = 0, 5*d - 18 = -3*u + 14. Suppose 5*q + 16 = 3*y - d*y, q - 2 = 5*y. Let b be 4 - (3 - (y - -3)). Which is smaller: -0.1 or b?
-0.1
Suppose 0 = s - 5*k + 52, 0 = s - 0*k - k + 44. Let u = s + 127/3. Suppose -4*q - 3 = -7*q. Which is greater: u or q?
q
Let s be (-2)/(3/((-9)/(-24))). Which is greater: 39/16 or s?
39/16
Let n = 51/146 + 11/73. Is -592 <= n?
True
Let b = 6.3 + -6.319. Is b equal to -0.2?
False
Let c = 96 + -97. Let s be (c + -2)*240/(-45). Is 17 at least s?
True
Let z be 152606/36330 + 37/(-185) - 4. Is 1 greater than z?
True
Let z = 623 - 650. Is -7 >= z?
True
Let f(r) = r**3 + 130*r**2 + 7 - 131*r**2 - 4. Let u be f(2). Let o = 9 - 3. Is u bigger than o?
True
Let o = 50 + -50. Let y = -46/5 - -1324/145. Which is smaller: y or o?
y
Let s(n) = n**2 - 13*n. Let u be s(13). Let l(m) = 3*m**3 - 2*m**2 + 1. Let b be l(1). Let a be 84/20 + (-8)/b. Is u >= a?
False
Let j be (-20)/4 + 0/3. Let i be -6*(40/84)/j. Which is smaller: i or 0?
0
Let t = -3/2 - -2. Let l = -0.247 - 0.153. Is t at most as big as l?
False
Let m = -327 + 330. Is 28/9 >= m?
True
Let p be (-2)/(((-12)/262)/(-3)). Let j = 3667/28 + p. Let z be 17 + (0 + -9)*2. Which is smaller: z or j?
z
Suppose 0 = -3*h - 3 + 6. Suppose 3*f = 2 + h. Let y = 251/40 + -32/5. Which is smaller: f or y?
y
Let f(m) = -m**2 + m + 133. Let i be f(12). Which is bigger: -9/70 or i?
i
Let b = -1047 + 1046. Which is bigger: -3/62 or b?
-3/62
Let n(h) = -h**3 - h**2. Let p be n(-1). Suppose -2*y = -p*y + 64. Is -31 at least as big as y?
True
Let z = 0.501 - 394.501. Let c = z + 392.17. Let k = -0.17 + c. Which is bigger: -0.1 or k?
-0.1
Suppose -5*f = -71 + 21. Let z be f*(-2812)/(-72) + -1. Let j = z + -390. Which is smaller: j or 1?
j
Suppose -29900 = -2*v - 23*v. Is 1195 != v?
True
Let u = -73 - -22. Are u and -51 non-equal?
False
Let q be (-1 + 0 + 1)/(2 - 1). Suppose 1 = -v - q*v. Let i be (2/39)/(2/6). Is i smaller than v?
False
Suppose 0*m - 5*m = -5. Let x be (-23)/(-2)*((3 - 0) + m). Are 45 and x non-equal?
True
Let d be 0/(-2*(-6)/(-4)). Suppose -5*h - 2*f + 105 = 0, 0 = -d*f + 5*f. Let j = h + -15. Are j and 1 unequal?
True
Let v = -406 + 389. Let d = -10 + -8. Which is greater: d or v?
v
Suppose -4*n = 5 - 29. Let f be n*-3*5/(-10). Let m = f - 12. Is -3 bigger than m?
False
Suppose -2*t - 4*p + 7 + 29 = 0, 0 = -p + 3. Do -3 and t have the same value?
False
Suppose 0 = -j - j. Let o = 3.6 + -89.6. Let a = -84 - o. Which is smaller: a or j?
j
Let n = 5189 + -3222365/621. Which is greater: n or 1?
1
Let y = 0 + -0.6. Let l = y - -1.3. Let b = -0.21 - -0.11. Which is smaller: l or b?
b
Let l = -1491 + 1490.4. Which is greater: l or -0.04?
-0.04
Suppose -59 = 5*u + 1. Let i = -3.2 - -17.2. Let w = 14 - i. Do u and w have the same value?
False
Let p = 862 + 668. Let a be 1 + 1 - 1074/p. Let x = a + 3/85. Is 1 at least as big as x?
False
Suppose 0 = 3*l - 3 - 0. Let o = 4380 + -337258/77. Which is smaller: o or l?
o
Let s(t) = -t**2 + 3*t + 26. Let p be s(5). Which is smaller: p or 11?
11
Let t = 101.75 - 102. Let m = 1.25 + t. Which is smaller: m or 0.07?
0.07
Let h be 45/20 - 2 - (-15)/(-12). Let k = -167/8 - -81/4. Is h >= k?
False
Let u = 4.4 + -35.4. Which is smaller: u or 2?
u
Let x be (12*(-2)/(-18))/(4/18). Suppose 12*t - x*t + 408 = 0. Is t smaller than -68?
False
Let a(u) = u**2 - 4*u. Let j = 8 + -5. Let t be a(j). Suppose 0*o + o + 3*r - 9 = 0, r = 2*o + 10. Is t at least as big as o?
True
Let k = 1665 - 2950. Let w = -5209/4 - k. Is w <= -17?
True
Suppose -3*i = 4*u - 17, 4*i + 5*u = 3*u + 6. Let g = 2 - -1. Let w = g + i. Which is greater: 4 or w?
4
Let u(g) be the third derivative of g**4/24 - 5*g**3/6 - 16*g**2. Let n be u(4). Let j be ((-9)/(-42))/(2/(-16)). Is n at least j?
True
Let c(i) = i**2 - 39*i + 42. Let q be c(38). Suppose 2*f - 30 = 4*l, -4*f + f - 10 = 5*l. Is f greater than or equal to q?
True
Let g(r) be the second derivative of -5*r**2 + 1/6*r**3 + 0 + 4*r. Let n be g(8). Are -4 and n nonequal?
True
Let h = -0.369 + -40.631. Which is bigger: h or -0.3?
-0.3
Let n = 31540/37 + -852. Is 2/7 smaller than n?
True
Let l = -25503/19 + 1343. Is -4 <= l?
True
Let m be 51/7 + 2/(-7). Let j(w) = 2*w + 9. Let x be j(m). Suppose -2*p + 0*p - 3*u = -x, 0 = -3*p + u + 7. Is p equal to 5?
False
Suppose 5*y - 3*y - 362 = -4*x, x - y - 89 = 0. Suppose -w = 4*w - 450. Is x at most w?
True
Let j be (35/140)/(1/6). Let d be 12/70 + (-2)/(-5). Which is bigger: j or d?
j
Let n = -0.064 + 0.144. Let o = n + 0.12. Which is smaller: -10 or o?
-10
Let f = 338 + -992/3. Which is smaller: 7 or f?
7
Suppose 0 = -2*m + 3*b + 50, -2*b = m - 6*b - 25. Let n = m + -25. Is 2 < n?
False
Suppose -14*t - 45 = t. Which is bigger: -7/2 or t?
t
Let f = -24.3 - -29.52. Which is greater: 0.1 or f?
f
Suppose -5*v + 42 = 22. Suppose -2*j + v*j = 4. Let w be (-18)/(-4)*j/(-3). Which is bigger: w or -12/5?
-12/5
Let p = -1.9 + 2. Let m = 0 - p. Suppose 70*k + 2 = 69*k. Which is greater: k or m?
m
Suppose 0 = -24*g + 21*g - 5*n - 14, 2*g = 3*n + 16. Suppose 3*h - 3*i = 24, -2*h + 38