4. Is x less than q?
True
Suppose 3*y = -6*y - 63. Let v = -9 - y. Which is bigger: v or -2/3?
-2/3
Let f(z) = z**3 - 4*z**2 - 4*z - 4. Let a be (0 + 2)*33/(-6). Let n = 16 + a. Let m be f(n). Which is smaller: 6 or m?
m
Suppose -j + 9 = -5*v - 2, 3*j - 5 = v. Let o be 9/18 - (-271)/v. Let b be -4*(o/66)/9. Is 0 >= b?
False
Let k be (1/(-2))/((-2)/24). Let j be 7 + ((-15)/5 - 1). Suppose 5*p + 8 = j*p - 5*n, 5*n + 20 = 0. Is k >= p?
True
Let d be (-312)/(-351)*(-27)/(-6). Which is smaller: d or 69/17?
d
Let o = -1518 - -12103/8. Which is greater: -4 or o?
-4
Let f be 15/45*(-6)/10. Which is greater: f or -80?
f
Let y(d) be the first derivative of -d**4/4 + 2*d**3/3 - 9. Let v be y(2). Does v = -4/5?
False
Let g = -584 - -596. Is g > -29?
True
Let d be (-2 - -3)*(-2 - -8). Suppose 4*l + d*t - 2*t - 12 = 0, 1 = t. Is l at most 8/7?
False
Let v be (-12)/(-14)*4347/(-9540). Let o be ((-2)/424)/((-8)/16). Let w = o - v. Which is smaller: w or -5?
-5
Let p = 32 - 37. Let c be 4/(-20) + (-6)/p. Let h = 172/651 + 2/93. Is c at most h?
False
Let y = -408 - -399. Is y at most as big as -0.1?
True
Let y be 5/((1/(-2))/1). Suppose -395 - 325 = -6*s. Suppose 8*b - 32 + s = 0. Is b at least as big as y?
False
Suppose -3*j = -2*q + 9, -q - j = j - 15. Let z(c) = -5 + 6*c - 3*c**2 - c**2 + 7*c**2 - c**3. Let h be z(2). Which is smaller: h or q?
q
Suppose -u - 20*g + 24*g = 993, -5*u = g + 4986. Which is greater: -996 or u?
-996
Suppose 0 = -5*x - i + 577, -2*x + 581 = 3*x + 3*i. Suppose 2*w - 17 = w - d, 5*w - d = x. Are 23 and w unequal?
True
Suppose 8 = 2*g, 3*g + 1 - 31 = 3*x. Which is smaller: x or -27?
-27
Suppose -4 = 4*s - 6*s, 3*t - 3*s - 3 = 0. Let j be t - (13/3 - 2). Let q = -1/3 + j. Is -2/29 at least as big as q?
False
Let t = -682 + 104344/153. Let i = 112 - 112. Which is smaller: t or i?
t
Let t = -1 - 0. Let y = -52.966 + -0.034. Let c = y + 55. Do t and c have the same value?
False
Let i = 84 + -78. Suppose 3*c + 2*c + 15 = 5*k, 2*c - k = -i. Is c greater than -5?
True
Let k(g) = -g - 2. Let l be k(-7). Suppose 0*a + 22 = -a - l*q, 0 = -a - 2*q - 19. Which is smaller: 1/3 or a?
a
Let y = -1495/3 + 498. Is 135 equal to y?
False
Let x = 16.9 + 12.1. Is x at least as big as 0.04?
True
Let z = 0.1554 - -0.0146. Which is smaller: -2 or z?
-2
Let v = 44/1945 - 439313/5835. Let o = v + 613/5. Let f = o + -988/21. Which is bigger: f or 0.1?
f
Let w = -3 + 18. Let s be 4 + 0 - 744/w. Let m = s + 46. Is 16 < m?
False
Let x be ((-14)/21)/(1/(78/(-4))). Let c = 14 - x. Which is greater: c or -2/145?
c
Let i = 44.9 - -4.1. Let y = i + -49. Is y bigger than -1?
True
Let x be ((-4)/12*10)/((-6)/9). Suppose -x*q = -10*q + 65. Is q > 35/3?
True
Let i(f) = -5*f**2 - 2*f. Let c be i(1). Which is bigger: -43/6 or c?
c
Let q = 21.7 - 24. Let w = -0.5 - q. Let k = -0.2 - w. Which is smaller: -1/5 or k?
k
Let q be (20/8 - 2)*-34. Let m = q + 21. Suppose 9*h - 4*h = 2*s - 12, -10 = m*h - 2*s. Do h and -2 have different values?
False
Let o be 2271/(-6120) - 3*(-3)/24. Is 0 greater than o?
False
Suppose -3*g - 2*g = -30. Let m = -6 + 8. Suppose 0 = s + 2, g*b + 5*s = m*b - 122. Which is bigger: -29 or b?
b
Suppose 0 = 4*t - 8*t + 8. Suppose 0 = 3*l - t*k - k - 39, 2*l - k = 30. Is 16 >= l?
False
Let z = 140 + -140. Let v = -69 - -115. Let n be 8/v - (1 + -1). Which is bigger: n or z?
n
Let l be (33/6)/((-13)/91). Is -38 less than or equal to l?
False
Let w(u) = -u**3 - 21*u**2 + 22*u + 26. Let r be w(-22). Is 0 at least as big as r?
False
Let z = 10 - 11.8. Suppose 0*h = x - 2*h - 8, -2*x = h + 4. Are z and x unequal?
True
Let f be (-4)/(-6) + (-44)/48. Let a = -12.8 + 18.8. Is a bigger than f?
True
Suppose -5 = 3*m + 1, 3*u - 5*m - 25 = 0. Is 2 smaller than u?
True
Let g(p) = -p**2 - 12*p - 8. Let r be g(-9). Let m = 63 - r. Is 45 at least as big as m?
True
Suppose 27*h + 16 = 23*h. Let x = 6 + -8. Which is smaller: h or x?
h
Let h = 1 + -2. Let u be (-3)/(316/(-104) + 2). Let c = -107/36 + u. Is h at most as big as c?
True
Let r(s) = 2*s**3 - 3*s**2 - 3*s + 6. Let c be r(3). Let y be 3/c*(-3)/(-3). Suppose -g + 5*p - 24 = -0*g, -g + 2*p = 9. Are g and y equal?
False
Suppose -2*x = 3*x + h - 39, 5*h = -5*x + 55. Suppose -4*a = 15 - x. Let f be 1/(19*a/6). Are f and -1 equal?
False
Suppose 0 = -9*u + u - 328. Let a = -35894/5 - -7220. Let d = a + u. Is d equal to -7?
False
Suppose -4*i - 2*k + 7 + 7 = 0, -2*k = -4*i - 6. Let c = 1/371 + -374/1113. Which is bigger: c or i?
i
Let u = 64 + -82. Let s = u - -593/33. Which is smaller: s or 0?
s
Let d(x) = -x**2 + 14*x - 63. Let g be d(9). Is 21 < g?
False
Let z = 42.4 - 40. Let a = z - 3.4. Is 0.4 smaller than a?
False
Let z(m) = -m - 9. Let t be z(-11). Suppose y - 5*s = -27, 2*y - 3*s = 4*y + t. Let q(w) = -7*w. Let o be q(1). Is y > o?
False
Let m(z) = -z**3 - 3*z**2 - 3*z - 2. Let s = 3 + -5. Let t be m(s). Let x = 1 - t. Which is smaller: x or 8?
x
Let m = -709 + 1077. Suppose -2*n + 112 = m. Is n equal to -128?
True
Let p = -1531.76 - -1532. Which is bigger: 11 or p?
11
Let l(u) = -19*u - 55. Let w be l(-3). Is w less than 38/27?
False
Let r(u) = -u**2 - 17*u. Let o be r(-17). Are o and 2/301 non-equal?
True
Let p = -418 - -395. Let x = -17 + -7. Is p >= x?
True
Let o be 1*((-1)/(-2))/(45/90). Which is bigger: 2/3309 or o?
o
Let p(z) = -2*z**3 + z**2 + 4*z + 3. Let m = 51 + -52. Let c be p(m). Does 0 = c?
False
Let h(j) = 10*j**3 - 2*j**2 + 3*j - 2. Let a be h(1). Suppose a = m + 7. Suppose m*d + 2*d - 32 = -4*c, 4*d + 4 = 5*c. Which is greater: c or -2/13?
c
Let k = 133507249/321041 + -8/45863. Let r = k - 415. Do r and 0.1 have the same value?
False
Let n(g) = g**3 + 9*g**2 - 18. Let m(c) = -5*c**3 - 46*c**2 + c + 91. Let f(x) = -2*m(x) - 11*n(x). Let j be f(-7). Which is smaller: 28 or j?
28
Suppose 8 = -2*z, -4*z - 64 = 6*r - 2*r. Do -15 and r have different values?
True
Let h = -0.26 - -3.26. Let w be 14/3 + -4 + 0. Is h >= w?
True
Suppose -5*q = 15, q = -3*l - 0*q + 33. Suppose -11*x + 10 = -l*x. Is x greater than -9?
False
Let x = 123 + -617/5. Which is bigger: -103 or x?
x
Let o(d) = d**2 - d - 1. Let n be o(0). Let k be n*(-3 + 5) - -5. Suppose 2*x - 9 = -x. Does k = x?
True
Let o be 16/9 - (7/9 - 1). Is o less than or equal to 36/11?
True
Suppose -16 = -t - 16. Which is smaller: t or -3/166?
-3/166
Let b = 14015/9 + -1569. Is -13 > b?
False
Suppose 4*o = 3*u - 2*u - 15, 3*u + 4*o - 45 = 0. Suppose -87 = 6*w - u. Is w less than -11?
True
Let z be (12/(-8))/(1/2). Let c be z/7 - (-825)/(-35). Let g be c/16*(3 - 1). Which is smaller: g or 1?
g
Let u(a) = 5*a + 3. Let r be u(1). Let h = 36 - r. Suppose 0*i - 56 = 5*i - 4*v, -5*i - h = 3*v. Is -10 less than or equal to i?
True
Let a = -7 + 6. Let w be ((-54)/225)/(32/(-10)). Is w >= a?
True
Suppose w - 2*q = 0, 23*w - 21*w - 1 = 3*q. Let p(k) be the second derivative of -k**4/12 + k**3/6 + k**2/2 - k. Let c be p(w). Are 1 and c non-equal?
True
Suppose 0 = -3*y + 6*y - 12. Suppose -3*q = v - 1, -v + 5*q + 2 - 1 = 0. Let b(t) = t + 1. Let n be b(v). Which is greater: n or y?
y
Let n = -1534 - -1708. Do 174 and n have different values?
False
Let b be -19 - -17 - (-4)/2. Suppose -2*p + 6*p + 3*h - 49 = 0, -4*p + h + 37 = b. Which is smaller: p or 9?
9
Let y(i) be the third derivative of i**4/8 - 2*i**3 - 18*i**2. Let n be y(5). Is n >= 7?
False
Let q = 79 + -44. Let r = q + -36. Which is smaller: -5/4 or r?
-5/4
Let t = 0 - -0.1832. Let n = t - -7.8868. Let b = 0.07 - n. Which is bigger: 0.1 or b?
0.1
Let s = 1.13 - 2.76. Let d = s + 1.73. Let j = 1 - -1. Is j >= d?
True
Let a be (-8)/40 - 192/(-10). Suppose -3*z = -z - 38. Is z greater than a?
False
Let m = 5899 + -12339/2. Which is bigger: -271 or m?
m
Suppose 0 = -10*x + 8*x + 8. Let p be (3 + -5)/4*-16. Let c be 12/p*16/6. Is x at least as big as c?
True
Let k be 3/(-3 + 1 - (-34)/14). Let p(g) = -g**2 + 9*g - 14. Let x be p(k). Is 1/7 != x?
True
Let p = -23 + 23. Suppose 4*f + 100 = -p*f. Are -25 and f equal?
True
Let t = -1986473/262 - -7582. Is 1 equal to t?
False
Let z = 20221/64 - 316. Which is bigger: 2 or z?
2
Let n(c) = 2*c + 4. Suppose d - 4*d = 0. Suppose d*m = -m - 3. Let s be n(m). Which is bigger: -1/2 or s?
-1/2
Let a = 2.98 + -3. Let t = 177.02 - 175. Let m = a + t. Is -1/3 greater than m?
Fa