t x = 17.2 - 17.15. Which is smaller: -21 or x?
-21
Let o(w) = -21*w + 613. Let n be o(32). Which is bigger: -115/2 or n?
-115/2
Let g be (-234)/(-52)*(0 + -2). Is g at least as big as -3?
False
Let z be ((-2)/5)/(3/5). Let c(m) = m**3 - 4*m - 2. Let y(h) = -h**2 + h + 1. Let l(i) = -c(i) - 4*y(i). Let n be l(4). Is z greater than or equal to n?
True
Let c be ((-8)/(-56))/(1/2). Let o = -13/21 + c. Which is smaller: 1 or o?
o
Suppose 3*l + 9 = 15. Let f be l/(-20)*-11 + -1. Which is smaller: f or -1?
-1
Let h = 3 - 4. Let b be 1*(0 + h)*14. Let n(i) = 6*i + 50. Let r be n(-11). Is b >= r?
True
Let v be (12/15)/(2 + 56/(-30)). Suppose 0*r = v*r - 12. Suppose 4*t + k + 3*k = 0, -2*t + 15 = -3*k. Is r less than t?
True
Let y(r) = r**3 + 4*r**2 - 2*r + 10. Let j be y(-5). Let x be (((-20)/(-48))/j)/1. Which is smaller: x or 0?
x
Let m be (-3)/(0 - (8 + -5)). Let t be ((24/(-26))/(-3))/(-2). Is m less than or equal to t?
False
Let n = 14518/13 + -1118. Which is smaller: n or 0?
n
Let i = 20 - 6. Let g = -14 + i. Let l = -192 - -1724/9. Which is smaller: l or g?
l
Let k(n) = -n**3 - 38*n**2 + 67*n + 1074. Let w be k(-39). Which is bigger: 5 or w?
5
Let q be 19/4 + (-42)/56. Suppose 0 = -5*h - s - q*s + 60, -51 = -5*h - 2*s. Let u be 2/h + (-165)/378. Are -1 and u equal?
False
Let a(n) = 4*n**2 - 30*n + 3. Let g be a(7). Which is smaller: g or -34?
-34
Let z(c) = 12*c + 72. Let h be z(-9). Is -32 at most as big as h?
False
Let f(b) = 6*b**3 + 10 - 2*b - 2*b**2 - 2*b**2 + 6*b**3 - 11*b**3. Let k be f(4). Which is greater: 4 or k?
4
Let n(g) = -7*g**2 - 34*g - 230. Let c be n(-10). Which is smaller: c or 0.1?
c
Let b = -627 - -638. Which is smaller: -0.02 or b?
-0.02
Let n(u) = -2*u**2 + 4*u - 2. Let y = 8 + -6. Let k be n(y). Suppose -2*l + 7 = -4*g + 1, l - 7 = 3*g. Which is bigger: k or g?
k
Let m = 125.113 + -0.113. Let l = -124 + m. Let h = -7 - -4. Is l smaller than h?
False
Let d(c) = c**2 - 7*c + 5. Let s be d(6). Let u(y) = y**3 - 6*y**2 - 3*y + 8. Let n be u(7). Let w be (-1 - n/(-30))*(-4)/2. Which is bigger: s or w?
w
Let r = -379/3 + 6449/51. Let u(p) = -p - 4. Let x be u(-7). Suppose 2*d = x*d. Is d <= r?
True
Let c(o) = 2*o - 8. Let b be c(6). Suppose b*v - 12 = -0*v. Let m be 2*-3*(-2)/v. Which is greater: m or 5?
5
Let o = 56 - 56. Is 10/9 at most o?
False
Let o be ((-4)/(-8)*-2)/(-1). Suppose -s + 34 = 4. Let z be ((-26)/s - -1)*5. Which is bigger: z or o?
o
Let a(w) = w + 1. Let n be a(-6). Let o(b) = -b**3 - 6*b**2 - 5*b + 3. Let p be o(n). Suppose -2*r + p*x - 8 = 2, -14 = 2*r - 5*x. Is r at least as big as -3?
True
Let i = -3.49 + 3.6. Let v = -0.01 + i. Which is smaller: v or 2/11?
v
Suppose -26*d + 21*d = 4*o - 319, -5*d = 3*o - 323. Are 68 and d nonequal?
True
Let q = 9502/1390515 + -8/2091. Do 1 and q have different values?
True
Suppose -11*z - 125 = -6*z. Let i be 115/z + 5 + 136/(-190). Is -1 greater than i?
False
Let g = 133 + -117. Let z = 29 - g. Is 25/2 > z?
False
Let v(w) = 5*w**2 - w + 2. Let x be v(2). Suppose b + 3*b + x = -s, 0 = 2*b + 10. Is s greater than 7/6?
False
Suppose 106*a - 696 = 114*a. Let n(q) = 11*q. Let z be n(-8). Which is smaller: a or z?
z
Let v = 1098.91 - 1099. Do -31 and v have the same value?
False
Let q = -787/8554 - -9/182. Let c(o) = 7*o**3 - o**2 - 8*o + 5. Let j(z) = -6*z**3 + z**2 + 7*z - 4. Let v(n) = 5*c(n) + 6*j(n). Let t be v(-1). Is q != t?
True
Let c be ((-5)/(-2))/(-5)*2*4. Let g be c + 2/4 + 11/22. Is g <= -4?
False
Let d = -104 - -118. Let g be 4/2 - (-24)/2. Is d less than g?
False
Suppose -54 = 908*o - 902*o. Let n(b) be the second derivative of -b**4/12 - b**3/2 - 2*b**2 - 2*b. Let s be n(-3). Which is greater: o or s?
s
Let l = -2963/73508 - -22/391. Is 1 greater than or equal to l?
True
Let n be 5*(2/8 + (-55)/1100). Which is smaller: n or -1/2887?
-1/2887
Let k be 7 + 3/1 + -6. Suppose -o = -h, k*h - 2*h = -2*o - 4. Let t be ((-2)/(-30))/(24/(-20)). Is h greater than or equal to t?
False
Suppose p + 11 = -z + 33, p = 0. Let c = z - 23. Which is greater: -1/3 or c?
-1/3
Let o(v) = -3*v - 22. Let t be (10*-4)/4 - 2. Let u be o(t). Let y be (3/u)/((-7)/(-42)). Which is greater: y or 2?
2
Let q = -38 - -37.5. Let o = q + 0.4. Which is smaller: o or -1?
-1
Let y = -1027/612 + 29/17. Which is bigger: 3 or y?
3
Suppose 0 = -t - 65 + 230. Suppose 4*u = -29 + t. Is u at most as big as 0?
False
Let j be (-6)/(-36) + (-23)/(-6). Let z(x) = -2*x - 6. Let a be z(-5). Suppose -a = -5*w + 7*w. Is j smaller than w?
False
Let j(o) = -4*o + 67. Let h be j(13). Which is greater: h or 18?
18
Let a = 85 + -46. Let p = a - 46. Is -7 bigger than p?
False
Suppose 2*j = 4*b + 18, 2*b - 5*b - 7 = 5*j. Is b at least 117?
False
Let t(c) = -c**2 - 16*c - 3. Let n be t(-15). Suppose -7*o + n = -o. Does o = -8?
False
Let i = 2899 + -1178. Is i at least as big as 1721?
True
Let z = 363 - 363. Which is smaller: z or 4/237?
z
Let o = 50 + -25. Let s = -22 + o. Is -5 < s?
True
Let j = -414 + 1064. Is j less than or equal to 651?
True
Suppose 20 = q - 6*q. Let l = 6 + q. Suppose 2*b = -0*b - 2*g, l*b - 3*g = 5. Is b at least 1/3?
True
Suppose -4*i - 2*n + 24 = -6*n, -5*i + 4*n = -30. Let r be 2/i*372/8*2. Is r equal to 32?
False
Let p = -1051/8 - -131. Suppose -2*l + 0 = 3*c + 15, -15 = l + 3*c. Suppose 2*y - 5*y = l. Is p < y?
True
Suppose 2*r + 4*h + 99 = 115, -18 = -3*r - 3*h. Which is smaller: -16 or r?
-16
Let d = -7 - 18. Let k be (d/(-125))/((-1)/5). Let g = -179/945 + -2/189. Which is smaller: k or g?
k
Suppose 4*j = 2*j - 0*j. Which is greater: 8/51 or j?
8/51
Let p = -236 + 219. Is -18 less than p?
True
Let j = 204 - 204.8. Is -11 greater than or equal to j?
False
Let g = -1 + 6. Suppose -m - g*m = -m. Which is greater: 1 or m?
1
Let i be 9/(135/(-156)) + 4/10. Let q be (4/i*2)/(13/65). Which is smaller: q or -24/5?
-24/5
Let x(k) = -5*k + 13. Let r be x(3). Let j be 3 - (-75)/(-65) - (-4)/r. Which is bigger: 1 or j?
1
Let v = -26 + 26.016. Let t = -1.116 + v. Which is greater: 3 or t?
3
Let i = 23 - 13. Let m = 102 + -60.9. Let k = -41 + m. Which is bigger: k or i?
i
Let q = 1160 - 1159.943. Which is bigger: 1 or q?
1
Suppose 9*v + 55 - 1 = 0. Let d be -3 - (v + (3 - -1)). Let x = d - 3. Is x > -3?
False
Let u(p) = -p**2 + 6*p. Let d be u(6). Suppose 5*m - 20 = -d. Are 6 and m nonequal?
True
Let o = -170 - -149. Which is smaller: -20 or o?
o
Let c = -247/30 + 47/6. Let h = -1534 - -1446. Are h and c unequal?
True
Suppose 4*m + 26 = 2*k, -m = -2*m - 3. Let o = k + -4. Is o bigger than -4?
True
Let t = -0.12 - -0.04. Let d = 1351.3 + -1351. Which is smaller: t or d?
t
Let h(y) = y**3 - 14*y**2 - 14*y + 43. Let s be h(15). Is s at least 48?
True
Let g = 61 + -108. Let b = g + 48. Let i be (-2)/(0/(-1) - -5). Which is bigger: i or b?
b
Let b be -1 + (172/14 - (4 - 1)). Do 7 and b have different values?
True
Let z = 452/9 - 1525/18. Let q = z - -625/18. Let n = -798 + 798. Which is smaller: n or q?
n
Let p be ((42/60)/(-7))/(63/554). Let k = p - -6/7. Which is greater: -1 or k?
k
Suppose 35 = -5*v - 30. Let d be ((-286)/39)/(2/3) - 1. Is d at least as big as v?
True
Let n = -771 - -19279/25. Let j be 6/(-15) - 306/(-650). Let k = j + n. Is k > 1?
False
Let p = 24 + -24. Suppose p*c - 8 = 4*c. Is c >= -5/2?
True
Let x(n) = -n**3 - 7*n**2 - 6*n + 2. Let a be x(-6). Suppose 4*z + z + 4*p = 18, 2*z = p + 2. Let v be -13*(z + -3)*1. Is v at least as big as a?
True
Let s = -357 - 49. Is s >= -0.2?
False
Let i = -156 - 367. Are i and -523 equal?
True
Let w(c) = -c**3 + 4*c**2 + 6*c + 2. Let s be w(5). Suppose 3*u - 3*d + s*d = 15, -d = -5*u + 25. Let t be 306/(-45) + (-1)/u. Which is greater: -4 or t?
-4
Let l = 0 + -0.1. Let z = 1.9149 - -0.0851. Which is greater: l or z?
z
Let c be (-55)/110 + 1043/2090. Which is smaller: c or 1?
c
Suppose -27 = 2*t - o, -5*o + 0*o = -5*t - 55. Let i(w) = -2*w**2 + 6*w + 3. Let v be i(5). Let x = t - v. Which is smaller: x or 0?
0
Let x = 246 - 246. Are x and -15/17 non-equal?
True
Suppose 6 = 2*l, -2*l + 6 = 15*m - 16*m. Which is smaller: 1/32 or m?
m
Let l be 10/4075*5*1. Suppose -5*v = -o - 6, -21*o - 1 = -20*o. Is v not equal to l?
True
Suppose -15*b - 130 + 475 = 0. Let c be b/5 + 8/20. Which is greater: 4 or c?
c
Let j be 390/(-9)*(-84)/56. Let f = 9065 + -45648/5.