. Let z = -41 - r. Let k = z + 18. Is 4 at least as big as k?
True
Let h = 103 - 108. Let u be (-5)/(-25) - 44/h. Is 7 greater than u?
False
Let p = 0.049 + -0.029. Is 4/11 != p?
True
Let x(q) be the third derivative of 1/12*q**4 + 0 - 11/6*q**3 + 0*q + 3*q**2. Let s be x(10). Which is smaller: s or 11?
s
Suppose 0 = i - f + 59, 0 = 4*i + 2*f + 132 + 80. Which is smaller: i or -2/9?
i
Let u(q) = 2*q**2 + 6*q - 14. Let m be u(-10). Which is greater: 128 or m?
128
Suppose k = -k. Suppose -5*f = -k*f + 65. Let a be 34/(-2) - (-8)/((-8)/(-3)). Is a at most f?
True
Let t = 10.97 + -11. Let q = -0.07 - -0.04. Let y = t - q. Which is greater: -1 or y?
y
Suppose 47*x = 59*x - 132. Which is greater: 31 or x?
31
Suppose -6*v - 7*v = 0. Which is greater: 1/134 or v?
1/134
Let x be 8/20*1/(-3). Let h be (-19)/(2/((-8)/(-4))). Let s = -19 - h. Which is smaller: s or x?
x
Let v be (-39)/(-9) + 1/(-3). Let r be (-15 + 15)*2/v. Let p be r - (-3 - 1/1). Which is smaller: p or 0.1?
0.1
Let q be ((-56)/26 - -2) + (-285)/91. Suppose -2*a + 0 - 6 = 0. Which is smaller: a or q?
q
Let u be (-6)/(3/3*-2). Let q = u - 4. Is -2 < q?
True
Let d = 294 - 259. Which is smaller: d or 23?
23
Let k be (-69)/(-46)*166*1. Which is smaller: 250 or k?
k
Let n = -10.922 - 0.078. Is -11 less than n?
False
Let t = 18 - 15. Let d be (3 + -1 - t)/11. Is 0 >= d?
True
Let d = 404 - 408. Are -14/31 and d unequal?
True
Let r be (0 - 30/(-8))/((-2)/(-8)). Let c be 2/(-5) - (-22)/5. Suppose 0 = -c*a - 4*k + 60, -9 = -4*a + 3*a + 5*k. Is r greater than a?
True
Let n be (3*1/(-171))/(96/27). Is -1 equal to n?
False
Let c(i) = -i**2 + i - 6. Let d(o) = -o. Let a(z) = -c(z) + 4*d(z). Let j be a(5). Let y be (-2)/(-1) - 9/4. Is y < j?
True
Let o = 744 - 740. Let v(l) = -l**2 + 1. Let q be v(1). Is o smaller than q?
False
Let h = -0.0847 + 47.0847. Is -11 greater than h?
False
Suppose -14 - 6 = -2*w. Suppose w = 19*n - 24*n. Is n > -7/6?
False
Let y = 9830/27 - 364. Is y <= -0.02?
False
Let o be (-6 + -8)*2/(-4). Let l be o*((-34)/28 + 5/(-10)). Are -13 and l nonequal?
True
Suppose -205 + 686 = 13*i. Suppose -4*w + 157 = v, -4*v - 167 = -4*w - 7*v. Do i and w have the same value?
False
Let j = 224 + -201. Which is smaller: 25 or j?
j
Let h be (-1)/(-8) + 10578/(-656). Is h less than -223/14?
True
Let t be (1296/220)/(-4) + 1/5. Let j = 1 - 1. Which is smaller: t or j?
t
Suppose 215*k - 15 = 220*k. Are -54/5 and k nonequal?
True
Suppose -3*o + 5*x = -406 - 29, 3*o - 408 = -4*x. Suppose -3*p - o = 2*p. Let l be 8/14 + p/49. Which is smaller: l or -6/17?
-6/17
Let a = -99426 + 700030/7. Let j = a + -621. Let d = j + 43. Which is smaller: 9 or d?
d
Suppose -k + 3*k = -4*j + 24, -2*j - 3*k + 12 = 0. Suppose -5*p = -j*p. Suppose 5*g + y - 3*y + 40 = 0, 3*g - 5*y + 24 = p. Which is greater: -7 or g?
-7
Suppose -65 = -5*x + 3*o, 3*x = -x + 4*o + 52. Is x less than or equal to 10?
False
Let m = 2488 + -2485. Let n = -7/19 - -87/133. Which is smaller: m or n?
n
Let v be 1*1/((-5)/2). Let n = 7.1 - 6.79. Let l = n - 0.21. Which is bigger: l or v?
l
Suppose -194*f - 8384 = -210*f. Is 525 less than f?
False
Suppose 8*g = 5*g + 12, 0 = -5*d - 4*g + 41. Let w be 2/d - 276/1265. Suppose 0 = o - 1. Do w and o have the same value?
False
Suppose 5*k = -20 + 5, -2*l - k + 53 = 0. Let z = -337/12 + l. Which is greater: z or -1?
z
Let y(c) = 58*c - 119. Let q be y(3). Which is smaller: q or 48?
48
Let x be -25*((-4)/(-50))/((-1)/10). Suppose -v = -5*v + x. Which is greater: v or 17/3?
17/3
Suppose -4 = 3*u - 5*u, u = -a - 146. Let v = a + 248. Suppose n + g + 22 = 0, -5*n + v = -10*n + 5*g. Do n and -21 have different values?
False
Suppose -2*w + 0 = -u - 12, -w = 3*u + 8. Let r be 177/(-336)*(u - -2) + -1. Is -1 greater than r?
False
Suppose -4*a + h + 1 = 0, -a - 2 = 15*h - 13*h. Is -2/301 smaller than a?
True
Suppose 2*y = 2 + 4, -5*y = -3*m + 456. Which is bigger: 1 or m?
m
Let n(f) = f**3 - 12*f**2 + 11*f - 4. Let r = -41 - -52. Let p be n(r). Which is smaller: 2 or p?
p
Let j = -7 + -20. Let y = j - -11. Let b be (y - -15)/((-19)/2). Is b greater than or equal to 0?
True
Suppose 114 + 64 = -2*x. Let y = 2 + -3. Let k be 2 - (x/(-29) + y). Which is bigger: k or 1?
1
Let j = 837 - 820. Do j and 0.05 have the same value?
False
Let v be (-5)/2*(-9 - -11). Let z be 9*-1*v/15. Is 6 equal to z?
False
Let f(i) = -i**3 + 33*i**2 + 39*i + 101. Let j be f(34). Which is smaller: j or 270?
270
Let f be ((-20)/(-10))/((-2)/(-36)). Does 41 = f?
False
Suppose 3*f - 6*f = -5*x + 11, 0 = 5*f - 3*x + 13. Is -20/9 at most as big as f?
True
Suppose -3*k = 2*k. Suppose 0 = -4*w - 5*g + 89, 3*w + 4*g = -k + 66. Suppose -3*y = -y + 4*j + 28, -2*y - 5*j = w. Do -19 and y have different values?
True
Let l be (0 - 4 - 0)*-3. Suppose 20 = -2*x + l. Is -4 less than x?
False
Let y(w) = w + 56. Let r be y(-57). Which is bigger: -2/989 or r?
-2/989
Let u be 162/(-310) - 3/(-15)*1. Which is smaller: -1 or u?
-1
Let x = -969.85 - -971. Is x > 5?
False
Suppose -2*l + 24 = 4*l. Let q be (-36)/24*l/(-3) + 0. Which is bigger: q or 3?
3
Let r be (-7)/(-2)*(-56)/98 + 532. Which is bigger: 531 or r?
531
Suppose 2*u = p - 9, 3*u + 1 = -5*p - 6. Let b = -3.6 + 6.6. Which is bigger: u or b?
b
Let i be 1339/(-9) - (-14 + (-1664)/(-117)). Is -151 smaller than i?
True
Let f = 20 + -20. Suppose 2*o + 7 + 9 = f. Which is smaller: o or -5?
o
Let q = -0.24 + 0.5. Let a = 0.64 + q. Let w = -1.1 - a. Which is bigger: -0.4 or w?
-0.4
Let q = -18856/13311 - -124/87. Which is bigger: -1 or q?
q
Suppose -17*j + 13*j + 136 = 0. Let g = 122 + -87. Which is smaller: j or g?
j
Let f be -3 - (-4 + 609/12). Let b = f + 50. Let o = 15/16 - 59/80. Which is greater: o or b?
b
Let o = -0.015 - 36.985. Let f = -36.59 - o. Let u = -3.41 + f. Which is smaller: -6 or u?
-6
Suppose -32*s - 396 = -34*s. Let i be (-6)/(-30) - s/(-10). Let b be (i/(-15))/((-2)/(-3)). Is -7/6 <= b?
False
Suppose -3*l = 4*v - 84 + 11, -4*v = -5*l + 143. Let m be 6/l + (-546)/27. Let h be m/15*(-3)/2. Is h > 3?
False
Suppose -3*b - 246 = -81. Let v(r) = -56*r**2 + r - 1. Let o be v(1). Is o > b?
False
Let l be (-40)/6 + 4/6. Let d(k) = 3*k**3 - 5*k**2 + 7*k + 13. Let s(f) = -f**3 - 1. Let g(a) = -d(a) - 4*s(a). Let z be g(l). Which is greater: -2 or z?
-2
Let v(s) be the third derivative of -s**4/12 - 3*s**3/2 - 13*s**2. Let c be v(0). Is 0 not equal to c?
True
Suppose -4 = -4*h + 4. Suppose -f - h*c + c + 31 = 0, c = -4*f + 109. Is 25 less than f?
True
Suppose -g + 56 = -3*g. Let i = g - 12. Let u be (-3)/((-172)/i + -4). Is u less than or equal to -10?
True
Let h = 124206/35 + -3549. Let i be (-71)/35*-1 + -2. Let z = i - h. Which is smaller: z or 0.1?
0.1
Let q(n) = n + 6. Let m be q(-4). Let l(b) = 4*b**2. Let p be l(-1). Suppose -p*a = -m*a. Which is smaller: 1/5 or a?
a
Let s = 1888/16219 - -2/331. Let w be (3 - -2)*(-34)/170. Are w and s equal?
False
Suppose 52*l - 49*l = 87. Let g be ((-29)/2)/(4/8). Let u = l + g. Is -10/7 less than u?
True
Let a be 2/1 + 3 + 2. Suppose -u - 2*c - a = 0, -6*u + 2*u + 2 = 2*c. Which is greater: u or 5?
5
Let t = 0.1 - 0.3. Let k be 3/(1 + 2) + -4. Let v be 1/k - (-28)/210. Is t less than v?
False
Let k = -13.4 + 13.55. Which is smaller: 1/12 or k?
1/12
Let c(t) = 3*t - 20. Let i be c(9). Let u be (-171)/(-12) - (-1)/(-4). Let d = u + -8. Is i not equal to d?
True
Let l = -265/4 - -855/13. Is l equal to 0?
False
Let n = -1469.26298 + -0.70702. Let p = -1477 - n. Let y = -7 - p. Are y and -1 non-equal?
True
Let j(z) = -z**2 - 8*z - 8. Let m be j(-1). Is 1/651 at most as big as m?
False
Let g be 325/17 - (-72)/(-612). Which is smaller: g or 13?
13
Let u(f) = 4*f**2 + 14*f - 28. Let r be u(-9). Is 169 smaller than r?
True
Let w(i) = -7*i + 1. Let k be w(1). Let t = k + 24. Is t != 14?
True
Let f = -53312012/33 - -4716403/3. Let u = f + 43529. Let k = u + -148. Which is bigger: k or -1/4?
k
Let u(k) = 4*k. Let z be u(3). Suppose 3*h = -0 + z. Suppose -2*p + w = 9, 5*p - h*w - w = -35. Which is smaller: p or 0?
p
Let s = 666 + -686. Which is bigger: s or -11?
-11
Let c(i) be the second derivative of i**3/6 - 8*i. Let d be c(5). Let w(u) = u**2 - 6*u + 10. Let s be w(d). Which is bigger: 2 or s?
s
Let p be (-1)/4 - 30/8. Let w be (-34)/72 + (-1)/p. Let x be (72/(-39