*x - 2*z + 17. Let u = 5 + x. Is s greater than u?
True
Let q = 1 - -1. Let c be (-1)/q*(5 - 4). Suppose -3*u + 4 = 5*o - 18, -15 = 5*u - 2*o. Which is smaller: c or u?
u
Let i be (2*1)/(-3 + 14). Suppose 0 = 3*t - 2*t - 1. Which is smaller: i or t?
i
Suppose 3*g + 5*q + 29 = 6, 0 = -g + 2*q - 26. Let m be (6/g)/((-2)/(-12)). Which is smaller: -3 or m?
-3
Let r = -254/5 - -49. Which is greater: r or -1?
-1
Suppose -5*t - 7*t = -0*t. Which is smaller: t or 12/19?
t
Let j be (4/1 - 232/100) + -2. Is j greater than or equal to 1?
False
Let t = 6 + -1. Suppose j = 2*a - 7 + 3, -2*j - t = -a. Is -2 at most as big as j?
True
Let j be (-2)/((-14)/(-6) - 3). Let o be -2*(10/(-4) + j). Let u = o - -2. Does 1/11 = u?
False
Let n be 10/15*(-36)/28. Is 1 equal to n?
False
Let c be ((-25)/10)/(15/(-12)) + -2. Which is bigger: -1/7 or c?
c
Let q be -7 - -2 - (1 + (3 - 1)). Is q equal to -8?
True
Let z(s) = -s - 7. Let w be z(0). Let c = 7 + w. Which is greater: c or 3?
3
Let t(d) = -d**2 - 6*d - 4. Let q be t(-3). Let m(s) = -4*s**2 - 4 + 6*s - 3*s - 7*s + s**3. Let n be m(q). Are n and -2/7 nonequal?
True
Let f = 22.924 - 23. Let m = f - 6.124. Let a = 1.2 + m. Is -2/3 bigger than a?
True
Suppose 4*m + 2*s = -0*s - 52, 0 = -3*s. Is -13 < m?
False
Suppose -5*o - 6 = -1. Let q be (0/o)/(-2 - -4). Is 0 < q?
False
Let z = 29 + -141. Let w be 16/z - 2/(-14). Which is bigger: w or 1?
1
Suppose i = -0*i + 6. Let d(v) = -v**3 + 25*v**2 - v + 28. Let a be d(25). Suppose -3*s - a*l + 0*l = 0, 0 = 2*l - i. Is s equal to -3?
True
Let c = 5.266 - 0.066. Let f = 5 - c. Let d = f - -0.3. Is -1 at least d?
False
Let f(a) = 5*a**2 + 2*a - 2. Let q be f(-1). Is q greater than -2/89?
True
Let u = 69964 - 69967.0497. Let s = -0.0597 - u. Let v = -0.01 - s. Which is bigger: 2/7 or v?
2/7
Let o = 0.7 - 0.8. Let w = -19 + 13. Let u be (w/10 + 1)/1. Which is smaller: u or o?
o
Suppose r + 15 = -5*k, -r + 15 = -4*r. Let w = 2620 - 5141/2. Let a = 489/10 - w. Which is smaller: k or a?
k
Let c = -34 - 16. Is c at least -50?
True
Let i(x) = -x - 14. Let d be i(-15). Is d not equal to 1/7?
True
Let x = -11.6 - -11.7. Let m = -4.4 - -4. Is m less than or equal to x?
True
Let h = 2/2529 + -83465/10116. Is h at least -7?
False
Let y be 1/(2/(-14) - (-3 - -3)). Is y at most as big as 0?
True
Let u be (-18)/42 - 2/(-5). Which is smaller: u or -2/7?
-2/7
Let k be 3 - (833/39)/7. Which is smaller: k or 0?
k
Let s = 4.9 - 7.9. Which is bigger: 0 or s?
0
Let z be (-5)/6*24/(-160). Let p be 21/35 + 2/5. Are p and z equal?
False
Let l = -11 + 7. Let w = l - -4. Is -2/5 < w?
True
Let k = 1 - -1. Suppose 16 = b - 4*a, b - 3*b - 8 = k*a. Which is smaller: b or -2/13?
-2/13
Suppose -4*x - 16 = a, 4 = a - 3*a - x. Suppose -4*c = 5*j + 21, -4*j - c + 0*c - 8 = a. Let o be (-3 + 3)*j/(-2). Which is smaller: 2/13 or o?
o
Let g = -0.16 + 0.06. Is g != 4?
True
Let k(o) = o**3 + 10*o**2 + 7*o. Let n be k(-9). Which is smaller: n or 2/5?
2/5
Suppose 3*b + 15 = -3*p, -3*p - 21 = 4*b - 2. Is -11 less than p?
True
Let m(o) = o**2 + 3*o - 4. Let w be m(-6). Let n = 14 - w. Let v = -403/1386 - -1/198. Which is greater: n or v?
n
Let l = -0.09 - 1.31. Let x = -0.4 - l. Let v = x + -1.2. Which is bigger: 0.1 or v?
0.1
Let x be (2/(-4))/(2/(-4)). Suppose 3*h + 20 = 4*l - 7, -4*h - 17 = l. Let p(j) = j**2 + 6*j + 4. Let r be p(h). Which is smaller: r or x?
r
Let o = 1.32 + -1.38. Let b = -2 - -1.9. Let t = -0.9 + b. Is t at least o?
False
Suppose -2 - 7 = 3*j. Let n be 2/(-6) + 11/j. Let p be (0 + 2)*(n - -3). Is -2 at most as big as p?
True
Suppose -37 = -t + 3*f, -2*f + 209 = 5*t - 5*f. Suppose -4*p = 3*d + 51, 2*p + 2*d + t = -3*d. Let g be (-1)/(3/p*-3). Which is greater: 1/2 or g?
1/2
Let y = 184 + -187. Let i be 2/4 - (-5)/(-18). Is i > y?
True
Let p(w) = 14*w + 7. Let y be p(1). Is y at least as big as 22?
False
Let x = -0.2 + 0.2. Let y = -0.5 - -0.3. Let s = y - x. Which is smaller: s or 2/3?
s
Let p = 4 + 0. Suppose 12 = 5*z + 4*y + 2, -p*z + y + 29 = 0. Suppose -w = -5*w - 12, -5*w = -v + 20. Are v and z unequal?
True
Let t = -3.001 + 0.001. Which is smaller: t or -11?
-11
Let m = -16 + 15.93. Which is smaller: -2 or m?
-2
Let y be (-7 + 0)*(-3 - -2). Suppose -13 = 4*n + y. Let p = -28.1 + 28. Is n less than p?
True
Let g = 3.5 - 1.5. Is -5 less than g?
True
Let t be 6/(-30) + (48/10)/4. Let x be 40/(-78) + (-6)/(-9). Is x < t?
True
Suppose -2*k + 9 = -9. Which is greater: k or -1?
k
Let g = 0.53 - 0.53. Which is bigger: 0.05 or g?
0.05
Let b be (-12)/9*(-3)/2. Suppose -b*k = k + 9. Are k and 0 equal?
False
Let k(h) = -h**2 - 6*h + 9. Let z be k(-7). Let s = 1 + 2. Suppose 3*d - 2*c + 8 = -0*c, 12 = -2*d + s*c. Is d not equal to z?
True
Let g = -0.042 + 3.042. Which is smaller: 2/29 or g?
2/29
Let t = -1227 - -1227. Suppose -2*n + 6*n - 2*g = 0, n - 2*g = -3. Let p be -2*(n/(-2))/(-1). Which is greater: p or t?
t
Let q(a) = -3*a**2 + 1. Let k be q(-1). Let b be (-4)/k + (-4 - -2). Do b and 3/4 have the same value?
False
Let f(c) = c + 46. Let v be f(0). Let d be v/(-130) - 5/(-25). Which is smaller: d or 0?
d
Let b be 2 + -16 + 2 - -4. Which is greater: b or -2/11?
-2/11
Let j be (6/(-20))/((-30)/8). Suppose -6 = -0*y - 2*y. Suppose g + 25 = 4*i + 6*g, y*i - g = -5. Which is smaller: j or i?
i
Suppose 19 = 4*u - k, -2*k - 8 = -2*u - 0*k. Is u at least 5?
True
Suppose -c + 0 + 1 = 0. Let a = -5 - c. Suppose 6 = 2*x + 4*u, x - 2*u + 23 = -2*x. Is a greater than or equal to x?
False
Let a be 2 + 1 + (-37)/13. Are a and -1 non-equal?
True
Let j(f) = f**3 - 5*f**2 - 5. Let h be j(5). Is h greater than -5?
False
Suppose 0 = 3*f - 0*f - 2*x - 8, -2*f - 4*x - 16 = 0. Which is smaller: 1/17 or f?
f
Let r(o) = o**3 + 5*o**2 + 3. Let i be r(-5). Let l = i + -1. Which is smaller: l or 1?
1
Let z be (-516)/(-414) - (-4)/(-3). Is 1 equal to z?
False
Let v = 526 - 13148/25. Which is smaller: 3/2 or v?
v
Let u be (2*-1 - 109)*(-14)/21. Are u and 75 nonequal?
True
Let i be (-2)/(-8) + (-34)/40. Let n(w) = -5*w**2 + 0 + 4 + 0 + 7*w - w**3. Let s be n(-6). Is i equal to s?
False
Let i = -1 - -0.96. Let b = i + 0.54. Let r = -0.7 + b. Is r > 0?
False
Let f = 2953 + -88603/30. Let c = 1/30 + f. Is c not equal to -3?
True
Let b(c) = c**3 - 3*c**2 - 4*c - 3. Let p be b(4). Are p and -3 non-equal?
False
Let j = 0.5 + -0.8. Let g = j - 0. Let x = g - -0.5. Is x not equal to 1?
True
Let v(m) = 3*m**3 + 2*m**2 + 6*m + 6. Let s be v(-2). Which is smaller: s or -23?
-23
Let j(s) = s**2 - s + 1. Let t be j(-3). Is 13 equal to t?
True
Let h = -47 + -5. Let j = 49.9 + h. Let u = j - -2. Are 1/2 and u non-equal?
True
Let t(z) = 8*z**3 + 1. Let w be t(-1). Let n be (-1 - w)/(-1 - 0). Do n and -6 have different values?
False
Let z = 13 - 8. Suppose -25 = -3*t + z*j, 0 = -t + 2*j + 2*j + 20. Is -1/2 less than t?
True
Let n be (-2 - 8)*3*1/2. Is -5 greater than or equal to n?
True
Let w be 82*(-5 - 11/(-2)). Which is smaller: w or 127/3?
w
Let y = 15 - 9. Suppose -y*o - 20 = -7*o. Which is greater: 19 or o?
o
Let n = -281 - -1964/7. Which is greater: 1 or n?
1
Let u = -0.69 + -2.31. Is 4 equal to u?
False
Let m be (-1 + -3)*7/(-14). Suppose 2*j + m*j = -4. Is -2 <= j?
True
Let b = 16 - 11. Let w = -17 + 19. Suppose 0*j - 5 = -j, -25 = -3*h - w*j. Is b >= h?
True
Let v(z) be the third derivative of -z**6/120 - z**5/12 - 5*z**4/24 - 5*z**3/6 - 5*z**2. Let m be v(-4). Is -2/23 at most m?
False
Let u be (2 - 2)/(3 - 4). Which is bigger: -2/13 or u?
u
Suppose 2*k = k + 1, j + 9 = 5*k. Let h be ((-14)/j)/(1/(-2)). Is h < -8?
False
Let i(x) be the second derivative of x**3/6 - 3*x**2/2 + x. Let b be i(5). Suppose -2*f - 3*w = 11, b*f - 3*w + 2*w - 9 = 0. Is 1 less than f?
True
Suppose -3*r = -0*r + 18. Let f be 1 + 0 - r/(-18). Is 1/4 < f?
True
Suppose 0 = 2*i + 5 - 9. Is i at most as big as 5?
True
Let t(x) = -x - 8. Let m be t(-6). Let i be ((-1)/(-2))/(m/8). Let b be 13/6 - i/(-12). Is 1/2 at most b?
True
Let q = -62 + 308/5. Is q at most -48?
False
Let g be -1 + (-4)/(25560/43979864313). Let k = -6882609 - g. Let p = 1/142 - k. Which is smaller: p or -1?
-1
Let u be (-3)/4*1/3. Let n = 59 + -57. Do u and n have different values?
True
Let f(r) = -2*r + 2. Let w be f(-6). Let o be 7/w*(-8)/18. Is o bigger than 0?
False
Let i = 7 - 3. Let f(d