4?
-319/4
Let i = 104 + -247/2. Suppose 27*f - 196 = -736. Is f <= i?
True
Suppose 11 = -3*f + 41. Let a(j) = -j**3 - j**2 - 2*j + 1. Let r(q) = -q + 1. Let d be r(3). Let p be a(d). Which is smaller: f or p?
p
Let s be (2067 + 1)/(180/(-54)). Let l = s - -615. Is l less than or equal to -6?
False
Suppose 5*z = -9*k + 4*k + 5, 4*z = 5*k + 22. Is 0.12 at most as big as z?
True
Let h be 22*2/14*20. Let j = h + -63. Let a be 0 + 1/9*6. Which is bigger: j or a?
a
Let v be (2/(1/(-8 - -5)))/(-1). Does 10 = v?
False
Let p(x) = -x**3 - x**2 + x + 1. Let s be p(-1). Let c = -85495/31 + 2758. Which is smaller: s or c?
s
Suppose -f + 4 = -s, 2*s + 6 = -2*f + 6*f. Suppose 129*b = 107*b - 110. Is s > b?
False
Suppose -11*t = -7*t - 3*v - 1870, -3*v + 460 = t. Is t > 466?
False
Let t = 12555 - 50471/4. Let g = t - -63. Let d = -3/4 + g. Is d at most as big as 8?
True
Let x be (-1)/6*(-12)/(-8). Let c = -17206.021 - -17219. Let b = -0.021 - c. Which is greater: x or b?
x
Let d = -86/17 - -1774/391. Is d >= -2?
True
Let g be (36/45)/(34/4). Is g >= -2/7?
True
Let t = 10 - 9. Suppose -t = -k, 4*f + 686 = -5*k - 417. Let i = f + 6927/25. Which is bigger: 1 or i?
1
Let z = 22 + -21.71. Let j = -0.27 + z. Let f = -1.98 - j. Are -0.2 and f non-equal?
True
Suppose -6*m + 16 = -4*m. Let i = 9 - m. Is i less than 3/32?
False
Let x be 20/(9 - -2 - 5 - 8). Which is greater: x or -6/5?
-6/5
Suppose 3*g - 130 = -2*g. Let d = -778 + 804. Is d at most as big as g?
True
Let f be -3 - 4827/(-4803) - -2. Let u = -305823/6404 + f. Let v = u - -48. Is -1 equal to v?
False
Let u(p) = p**2 - p + 1. Let n be u(0). Let a = 2 + n. Let h be a/(-6)*-8 - 1. Which is smaller: h or 2?
2
Suppose -x - 2*x = -15. Suppose x*i + 29 + 6 = 0. Let n be -3 + 2*3/(-6). Is n <= i?
False
Let v(d) = 2*d + 33. Let r be v(-23). Which is smaller: -11 or r?
r
Let q(r) = -9*r**3 - 11*r**2 - 8*r + 8. Let s be q(-4). Which is bigger: s or 439?
s
Suppose -10 = -n + 10. Suppose 0 = t + 5*q + 4, -t - 2*q = -q - 16. Which is bigger: n or t?
t
Suppose 4*w = 4*j - j + 4, -4*j + 8 = -2*w. Let f be -4*(21/(-6) + j). Is -8 at least f?
False
Let m = -0.1748 + -1.8252. Is -230 < m?
True
Let b = 25125 + -226453/9. Let h = 110/3 + b. Which is greater: h or 1/3?
1/3
Let k be (-1 - 13)/(1 + 1). Let q be (-23)/46 - k/8. Which is bigger: -1 or q?
q
Let w be (-343)/(-35) - (-35)/(-7). Is w < 5?
True
Let h(s) be the second derivative of -s**4/12 + 2*s**3/3 + 3*s**2 - 2*s. Let p be h(6). Let w = 6 + p. Is 2/9 equal to w?
False
Let t be 13/11 + -1 - (-8)/(-165). Which is bigger: t or -1?
t
Let u = 23.705 - 0.005. Let n = 18 - 42. Let t = n + u. Which is bigger: t or 1?
1
Let h = -3797/26 + 146. Let v = 2.6 + -2.5. Which is smaller: v or h?
h
Let v(m) be the second derivative of m**6/360 + m**5/12 + 2*m**4/3 + 8*m. Let r(t) be the third derivative of v(t). Let p be r(-5). Which is bigger: 2/21 or p?
2/21
Suppose 13 = -q + m, -4*m + 6 = -3*q - 32. Let t = q + 35. Let n = 24 - t. Are n and 0 equal?
False
Suppose 3*q = q - 26. Let y(i) = 2*i - 71. Let x be y(31). Which is greater: x or q?
x
Let u(r) = -6*r + 8. Let x(n) = -5*n + 7. Let z(m) = -6*u(m) + 7*x(m). Let h(d) = 2*d + 2. Let o(v) = -3*h(v) + 7*z(v). Let q be o(-1). Is q equal to 1/27?
False
Suppose 12 + 3 = -5*q - 4*l, -6 = -q + l. Is -1/105 less than or equal to q?
True
Suppose -m + 34 = -56. Let s be 558/m + (-8)/(-10). Let b be (-1)/(2 - 15/7). Is s <= b?
True
Let u(x) = x**3 + 13*x**2 - 18*x + 4. Let o be u(-14). Suppose -2*q + 5*q - o = 0. Let n be (q/585)/(2/3). Which is smaller: 1 or n?
n
Let f = -2 + -15. Let t = -26.5 - f. Let z = t - -10. Is z at least as big as -1?
True
Let g be (1/3)/(2/24) + -2. Suppose -2*m + 4*m = -5*c + 15, -g*m + 2*c - 6 = 0. Which is bigger: m or 2/7?
2/7
Suppose 3*i + u + 29 = -0*i, 0 = -2*i - u - 18. Let o = 12 + i. Let m be ((-1)/(-18))/(2/8). Is o != m?
True
Suppose -29*x = -26*x - 2*m - 116, m + 1 = 0. Which is smaller: x or 0?
0
Suppose -9*b + 6 = -6*b. Let a(z) = z**3 + 15*z**2 + 9*z + 16. Let r be a(-14). Let p = r + -427/5. Does p = b?
False
Let d(s) = 51*s**2 + s. Let j be d(1). Let f = 96 - 44. Are j and f equal?
True
Let a(v) = -3*v - 9. Let n(x) = x**2 + 2*x - 6. Let c be n(-3). Let b be a(c). Is b greater than -3/5?
True
Let i = -30 - -27. Let h(x) = 20*x + 12. Let m(q) = 7*q + 4. Let f(t) = 6*h(t) - 17*m(t). Let s be f(-5). Which is bigger: s or i?
s
Let r(p) be the first derivative of -p**2/2 + 7*p - 10. Let a be r(8). Which is greater: a or -2/5?
-2/5
Let a = -141 - -136.68. Which is greater: 0 or a?
0
Let y = 2.03 - 0.03. Let g be ((-3)/(5 - 2))/((-90)/36). Which is bigger: y or g?
y
Let m = 755.67 - 759. Let d = 0.33 + m. Let j = 0.8 - -0.2. Which is greater: j or d?
j
Let i = -1100 - -1102. Which is smaller: 4/7 or i?
4/7
Let d be 1/(-2)*(6 + 2). Suppose -11*i - 55 = -16*i. Suppose -2*q + 1 - i = 0. Is q < d?
True
Let i = 52 + -80. Let z = -21 - i. Are z and 2 non-equal?
True
Let f = -115/9 - -64/5. Let u = f - 19/45. Which is smaller: -0.08 or u?
u
Let o(p) = p**3 + 5*p**2 + 7. Let z be o(-4). Suppose z = -2*b + 5*u, 4*b + 8*u - 3*u - 29 = 0. Let i be b + 2 + -3 - -1. Which is bigger: i or -1/3?
i
Let v be (-6)/27 + 44/(-612). Suppose 28*q = 23*q - 20, 5*x + 3 = -2*q. Is v at least as big as x?
False
Let t be (-17)/3*69/4. Which is smaller: -99 or t?
-99
Suppose 0 = -4*i + 18 + 14. Let l(w) = -w**2 + 4*w + 1. Let n be l(3). Let r be ((-2 + -14)/n - -3) + 6. Which is greater: i or r?
i
Let q = 943 - 964. Which is smaller: 6 or q?
q
Let w be -6 + 12 + 856/(-142). Which is smaller: -22 or w?
-22
Let h = 36404/9930757 - 2/17639. Which is bigger: 1 or h?
1
Let z = 613/3 - 206. Is -1 smaller than z?
False
Let q = -7 - -11. Suppose -72 = q*g - 6*g. Let j = g - 26. Which is smaller: j or 1?
1
Let b(j) = -2*j**2 + 4*j + j**2 + 1 + 0*j**2 - 2*j**3 - 3*j. Let o be b(-1). Suppose 0 = -i - 2 - o. Which is greater: -6 or i?
i
Suppose k + 4*i - 24 = -0*k, i = 4. Suppose 0 = -2*f + k. Suppose -f + 14 = -c. Is c <= -10?
True
Suppose -5*c + 5*w = 0, -w = -c + w + 1. Let d = -41 + 53. Let i be (-3)/21*(-7)/d. Is c >= i?
False
Let l be 3/((-6)/(-100)) - (3 - 0). Suppose -l*i = -52*i - 5. Which is greater: i or -4/21?
-4/21
Let w = 16 + -13. Let p be 9/(-243)*w*(-6)/73. Do 1 and p have the same value?
False
Suppose -9*k = -150 - 417. Suppose -14*z + 189 = -11*z. Is z <= k?
True
Let q(d) = 14*d - 53. Let k be q(19). Is 640/3 greater than or equal to k?
True
Suppose 235 - 55 = 5*y. Let g be y/(-14) + (6 - 6). Let f = 29/14 + g. Is f equal to -14?
False
Let z = -295 - -295. Is -464 bigger than z?
False
Let g be -1 - 1*(-2 + -1) - 0. Suppose 17 = -2*p - 3*o + 5, 4*p + 8 = -g*o. Is 2 not equal to p?
True
Let u be (-1 - -1) + 2/(-5). Let m = -0.28 - -7.48. Let w = m - 8.2. Is w at least as big as u?
False
Let s = -69.87 - -71. Let x = s - 0.13. Is -3 bigger than x?
False
Let f = -269 + -278. Is f >= -548?
True
Let x(d) = 2*d**2 + 25*d + 190. Let q be x(-26). Is 2 >= q?
False
Let y = 0.414 - 29.414. Is y != 0.1?
True
Suppose 5*z = -2*h + 25, -3*h + z - 132 = -127. Is -3/80 less than h?
True
Let t = 716 - 501. Does 215 = t?
True
Suppose 3*o = -2*o. Let i be (64/(-48))/((-10)/6). Is o greater than i?
False
Let u be (1/1)/11*8. Let q = -176 + 206. Let w = q + -28. Which is bigger: w or u?
w
Let w(f) = -f**2 + 26*f + 56. Let n be w(28). Which is bigger: 1/381 or n?
1/381
Suppose 0 = q + 4*u + 37, 80 = -4*q + 2*u - 68. Are q and -500/13 nonequal?
True
Let s = 16963/21 - 7258/9. Let m = 4/71 - 604/639. Let q = m + s. Which is bigger: q or 0?
q
Let p = 22 + -56. Let a = 33 + p. Which is smaller: a or 1?
a
Suppose 0 = 15*q - 16*q + 540. Which is smaller: 542 or q?
q
Let q = -5.6 - -0.6. Suppose -5*m + y - 225 = -33, 4*y - 183 = 5*m. Let a be m/455 - (-2)/(-10). Is a < q?
False
Suppose 3*x = -x - 4. Let n = -322/6765 - 8/615. Which is greater: n or x?
n
Suppose 6*h - 4*h = 8. Let a = 9 - h. Suppose -a*v + v + 4 = 0. Is -4 less than v?
True
Suppose 32*u - 14*u - 346 + 4 = 0. Let d(f) = f**3 - f**2 + f + 19. Let k be d(0). Is k <= u?
True
Suppose -11 = 3*n + 8*n. Do n and -3 have the same value?
False
Let j = 34 + -37. Let t be (5*(j - 18/(-5)))/(-1). Is t greater than 2?
False
Suppose 14*f - 45 - 11 = 0. Which is smaller: 3 or f?
3
Let v = -4.95 - 0