e 4 + 23 - 4 - -3. Is n bigger than 29?
False
Let x be -18*1*((-115)/10 + -6). Is 316 greater than or equal to x?
True
Suppose -2*u - 9*u = 253. Are 2 and u equal?
False
Let s(r) = r**3 - 3*r**2 - 3*r + 6. Suppose 4*m + 1 - 13 = -j, 5*j + 20 = 0. Let v be s(m). Let u = 10 - v. Which is smaller: u or -2?
-2
Let g = 9578/55 - 871/5. Let s = 638 + -639. Which is smaller: s or g?
s
Let f = 0.1 - 0.8. Let o = -0.8 - f. Is o less than -4?
False
Let x be ((-60)/(-111))/2*(-10)/(-125). Which is smaller: 1 or x?
x
Let d be (-2)/(-5) + (-4879)/(-170). Which is smaller: 30 or d?
d
Let b = -1938 + 1974. Let v = 27 + 8. Is v <= b?
True
Let t be (-48)/63 - (-2)/3. Let g(w) = w**3 + 9*w**2 + 7*w - 9. Let j(r) = -2*r - 2. Let d be j(3). Let n be g(d). Which is smaller: t or n?
n
Suppose 63 = 3*t + 3*n, 5*n - 8 = t + 1. Let h = -16 + t. Let g(d) = -d**2 - 4*d + 4. Let c be g(-5). Do c and h have the same value?
False
Suppose -5*x = 4*m + 223, -72 = 3*m - x + 81. Let j be (m/6)/((-68)/12). Let t = j - -6/85. Is 3 less than or equal to t?
False
Let b(l) = -12*l - 11. Let c be b(-2). Let v be 121/24 + -18 + c. Which is bigger: 1 or v?
1
Let a = -36 - -35. Let v = -1 - a. Which is smaller: -1.3 or v?
-1.3
Suppose -5*u - 1095 = -3*n, 7*n = -2*u + 3*n - 464. Let o be u/78 + (-1)/(-13)*-2. Suppose -1 = -t - 5. Is o bigger than t?
True
Suppose 7*z + 270 + 122 = 0. Let u = 54 + z. Is u > -2?
False
Suppose -k + 2*w = 2 + 2, -4*k - 4 = -4*w. Let n be (19/3)/((-2)/12). Let s be k/(-4)*8/n. Does 0 = s?
False
Let a = 1 + 2. Suppose 4 = -a*q + 1. Which is bigger: q or 0.55?
0.55
Let n = -8.6 + 8.8. Let c = -0.14 - 12.86. Is c >= n?
False
Let c be (11 - 7047/135)/((-2)/5). Does c = 7?
False
Suppose -5*h = -0*h + 50. Let i = 6 + h. Is i != -8/3?
True
Let d be (-9)/(-3)*4/48*8. Which is smaller: 30/11 or d?
d
Suppose 0 = y + y + 108. Let k be 120/y*6/(-8). Let f be 8/6 + 1/(-3). Which is smaller: f or k?
f
Let a be 50/12 - 1/6. Let y be ((-14)/(-4))/((-2)/a). Is -7 bigger than y?
False
Let z(m) = m**3 - 12*m**2 + 10*m + 22. Let v be z(11). Suppose -3*j = j - 5*t - 29, -13 = -2*j + 3*t. Is j at most v?
True
Suppose -195 = 4*z - 9*z. Let y = z - 61. Are 1 and y unequal?
True
Suppose -i - 76 = -3*v + 376, v = -4*i - 1769. Do -444 and i have the same value?
False
Let d be (4 - 1) + -7 + 5. Let w = -339931/63 + 45220/9. Let n = w - -372. Are n and d unequal?
True
Suppose 624 = -13*m + 5*m. Let z be ((-84)/130)/(-1) - 12/m. Suppose y = -y. Is z < y?
False
Let w = -5.51 + -0.69. Let q = -51 - -57. Let p = w + q. Do -0.2 and p have the same value?
True
Let u be 40*3*(50/12 - 4). Which is smaller: u or 13?
13
Let r = 48 - 41. Let w be 4/r + (-15)/(-35). Is -6/19 bigger than w?
False
Let q = 2 + -44. Let c(u) = -45*u + 2. Let h be c(1). Which is greater: q or h?
q
Let h be (-1756)/(-56) + 1*(-6)/7. Are 31 and h equal?
False
Let t(b) = -b**2 + 7*b - 6. Let p be t(5). Suppose 2*o + 0*o = -4, -p*o = 5*r - 7. Let n be 9*r/9 + -10. Is n bigger than -7?
False
Let g(c) = c**3 + 15*c**2 - 19*c - 14. Let n be g(-16). Suppose -20*t + 19*t + n = 0. Which is smaller: t or 35?
t
Let w = 763 + -770. Is w less than or equal to -0.07?
True
Suppose y + 2*u = 4, 5*y - 3*u - 45 = 14. Let z = 0 - -5. Suppose -z = g - y. Is g <= 4?
False
Let t = -1 + 21. Let j be ((-20)/(-6))/(-1) - t/(-10). Is 0 smaller than j?
False
Let a = -183/19 + -125/133. Let b = -30 + 19. Is a at least b?
True
Let g(o) = 2*o + 5. Let a(t) = 2*t**2 + 19*t. Let r be a(-10). Suppose -19*h + 14*h = r. Let z be g(h). Which is greater: z or 3?
3
Let v(j) = j**3 + 15*j**2 - 13*j + 50. Let o be v(-16). Let w be (0 - 98/22) + 4. Is w greater than or equal to o?
False
Let i be (-4 + 102/18)/(-11). Is i at least 1?
False
Suppose 3*d = -3*l + 66, -4*l + 3*l + 58 = 3*d. Which is bigger: d or 22?
22
Suppose 0 = 3*v + 2*y - 80, 2*v - 55 + 5 = 2*y. Which is greater: 31 or v?
31
Let o = 0.015 + -25.115. Let x = 25 + o. Which is smaller: -1.7 or x?
-1.7
Let u = -0.0358 + -1.0642. Do -2/5 and u have different values?
True
Let j(k) be the third derivative of -k**7/420 - k**6/720 - k**4/24 - 5*k**2. Let i(d) be the second derivative of j(d). Let y be i(-1). Is y smaller than -5?
False
Suppose -w - 4*w - 5 = 0. Let v(i) = -86*i - 5. Let o be v(-3). Let t = 3291/13 - o. Which is smaller: w or t?
w
Let a = -1046 - -5231/5. Which is smaller: -46 or a?
-46
Let s = 1.85 - 1.95. Which is bigger: -58/7 or s?
s
Let a be (-14)/(2 - 3) + 3. Suppose -4*z = z + 120. Let t = z + a. Is t bigger than -8?
True
Let t(v) = -v**2 - 29*v - 139. Let m be t(-23). Is -0.42 >= m?
True
Let x = 613 - 599. Is 0.9 < x?
True
Suppose 0 = 5*q - 4*j - 262, -5*q - 5*j + 187 = -48. Suppose -r = 5*h + q, -3*r + 11 = -h + 1. Let k = h + 11. Are k and 2/15 equal?
False
Let o(m) be the first derivative of m**2/2 - 5*m + 1. Let i(u) = -u**3 + 8*u**2 - 5*u - 9. Let s be i(7). Let f be o(s). Which is greater: -2 or f?
f
Let l = 58 - 58. Suppose l = -6*y + 8*y + 18. Are y and -10 nonequal?
True
Suppose -c + 3*n = -2*c + 1, 0 = -n. Let d = -58480 + 582013/10. Let s = -279 - d. Which is smaller: s or c?
s
Suppose 5*t + 0*p = 3*p - 4017, 0 = 2*t - 3*p + 1605. Is -804 > t?
False
Let n = -30 - -31. Let s = n + 0. Which is smaller: s or 2/3?
2/3
Suppose 3*s - 69 + 21 = 0. Suppose -2*x - 2*g = -s, -g - 9 = -3*x + g. Let v be ((-8)/12)/(x/3). Which is smaller: v or 8/9?
v
Suppose v = 1, -2*v - 128 - 414 = -4*b. Is 135 > b?
False
Suppose -4*z = -4*h + 96, -9 + 3 = 3*z. Suppose 8*r + h = -3*r. Suppose 0 = 4*c + 15 - 3. Is c bigger than r?
False
Let b = 4.86 + -3.86. Which is smaller: b or -12?
-12
Let c(v) = 6*v. Let b be c(-1). Let f be -7 - b/15*(-2 - -7). Do -6 and f have different values?
True
Let c = -21 + 3. Let a = c - -17.79. Let g = -0.09 + a. Is 4 not equal to g?
True
Let o(c) = 8*c - 63. Let x be o(0). Is 0.2 < x?
False
Let n be (270/(-2640))/(-3 + (-348)/(-112)). Is n smaller than -1?
False
Suppose 5*z - 29 = -k + 12, -z - 93 = -2*k. Let u be k/(-10) + 3 - (-18)/30. Which is smaller: 2 or u?
u
Suppose -4*p - 4 = 5*q, -4*q + 6 = -2*p + 30. Let f be 4/(-22) - (-260)/(-22). Let l be (2/p)/(2/f). Which is smaller: l or 0?
l
Let i be 1*(176/(-77) - 2/(-7)). Let v(u) = 6*u + 11. Let x be v(i). Which is greater: x or 2/125?
2/125
Let v be (0 - 1 - -1)*(-28)/56. Which is smaller: 1/8 or v?
v
Let k be ((-2)/6)/((-4)/500). Let o = -41 + k. Let z(g) = 11*g - 45. Let m be z(4). Is o at least m?
True
Suppose 498 - 604 = 2*u. Which is smaller: -55 or u?
-55
Suppose -32 = -k - k. Suppose 0 = 4*h + 5*d + k, 3*d + 5 = -h + 2*d. Let w be (h + 8)*(-2)/2. Which is greater: -2/21 or w?
w
Let w = -30 + 32. Let r = 7.7 + -7. Let i = r - 0.5. Which is greater: w or i?
w
Let c be (21/(-10))/(204/170). Let u be 27/(-6) - 3/(-2). Is u != c?
True
Let r be (-267)/6 - (-3 - (-2 + 1)). Which is bigger: -43 or r?
r
Let i be (6/(-3))/(5 + (-2972)/596). Which is smaller: 3 or i?
i
Let j = 0.13 + 14.87. Let a = 9.28 - -0.72. Let q = j - a. Which is greater: q or 1?
q
Let a(o) = -o**3 - 6*o**2 - 3*o + 11. Let w be a(-5). Let c be 3 + (-5)/((-1650)/(-1002)). Which is smaller: c or w?
c
Let y = -20.871 + -0.129. Let g = y + 21. Which is greater: 76 or g?
76
Let u = 0.2 + -0.2. Let d = 11/3 - 7/6. Which is bigger: d or u?
d
Let q(r) = r**2 - 3. Let d be q(-3). Suppose -2*h + 7*h = 4*g + 200, 5*g = 2*h - 80. Let o be h/12 + (-4)/(-6). Is o equal to d?
False
Suppose 163 = 10*w - 7*w + s, 2*w = 3*s + 105. Let r = 1189/22 - w. Let h(d) = -d**2 + 6*d - 4. Let o be h(5). Which is bigger: r or o?
o
Let m = -84 + 81. Is m smaller than -5?
False
Suppose 5*u - 216 = u. Let x be (-288)/u - 1*-4. Is x less than -1?
True
Let s = 0.8 + -1. Let y = 61.9 + -74. Let b = 9.1 + y. Which is smaller: b or s?
b
Suppose -3*u + 2*l = l - 7, 5*u - 13 = 2*l. Suppose u = -n + 11. Is 10 <= n?
True
Let d be 1 - (-140)/75 - 2. Let q = 6/5 - d. Let p = -0.4 - 0.6. Do p and q have the same value?
False
Let d(x) = -x + 11. Let l be d(0). Let y(c) = c**3 - 11*c**2 - 2*c + 10. Let w be y(l). Which is greater: w or -47/4?
-47/4
Let s = 66 + -62. Suppose -11*j = -15*j + s. Let n be (-8)/(-6)*(-2)/(-48). Which is smaller: n or j?
n
Let l = -0.6 + 0.44. Let j = -878 + 879. Is l smaller than j?
True
Suppose -2*s = 6*o - 3*o - 17, 3*o = -4*s + 19. Let c be 1/s - (-6 +