7.8. Which is smaller: w or -1?
-1
Let j = 3471 - 4054. Is -3 equal to j?
False
Let m be (-46)/(-2) + (-7)/1. Suppose -40*d - m - 24 = 0. Which is greater: -18/11 or d?
d
Let x be 9/1 - 24*(-104)/(-24). Which is smaller: x or -122?
-122
Let i = -35 - -59. Let n = -24.32 + i. Let x = -0.22 - n. Is -10 <= x?
True
Let g = -7/1075 + -668/1075. Which is smaller: -1 or g?
-1
Let b(g) = g**3 - 19*g**2 - 11*g - 26. Let l be b(20). Let c be (-4 - -2) + 440/l. Which is smaller: c or 2?
c
Let b be (1 - (2 + -2)) + -2. Suppose 5*h + 2236 = 19291. Let i = 160323/47 - h. Is b < i?
True
Suppose -3*i + 2*z = -112, 6*i + 2*z = 3*i + 104. Let c be 2/16 + (-18157)/(-536). Which is greater: c or i?
i
Suppose 3*j + 102 = 5*t, 3*t - 3*j + 42 = 6*t. Suppose 2*n = 3*l + 32, 3*l + 2*n + 22 = -t. Which is smaller: l or -11?
l
Let u = -303071/4 + 52732687/696. Let o = -7/348 - u. Is -1 at least as big as o?
False
Let x be (-153)/(-1224) + 158/(-1008). Which is smaller: x or 0.08?
x
Let p = 2121266/11295 + -13/2259. Suppose -z = 53 + 134. Let v = z + p. Is 0 less than v?
True
Let f = -0.2 - -0.2. Let s = -39.828 + -8.172. Which is greater: s or f?
f
Let w = -15 + 20. Suppose 0*a - 78 = 2*y + 4*a, -y - 25 = -w*a. Let k = -139/4 - y. Do 0 and k have different values?
True
Let i be ((-1)/(-4))/(2/24). Suppose -5*a + 270 = -3*b, 2*a + 103 = -i*b - 146. Does -85 = b?
True
Let c be 293800/41972 - 0 - (-6 + 26 + -13). Which is greater: c or -1?
c
Let i(t) = -24670*t**2 + 273*t - 5. Let q be i(-1). Is q greater than -24949?
True
Let y be (-1)/(-1) + 8121/(-23). Let p(f) = f - 389. Let g be p(37). Let u = g - y. Is 1 less than u?
False
Let y(r) = 2*r**2 - 29*r + 45. Let j be y(13). Suppose -j*w - 361 = 11. Let p be 1/((-546)/(-183) + -3). Which is bigger: p or w?
p
Let h(l) = -l**3 + 9*l**2 + 6. Let r be h(9). Let i(d) = -d**2 + 12*d + 1. Let t be i(5). Suppose -8*y + 100 - t = 0. Which is bigger: r or y?
y
Suppose -4*k + 116 = -k - 4*b, -2*k - 2*b + 96 = 0. Suppose k = -3*z + 23. Is 15 != z?
True
Let b be (178/4)/(1/15*(-66)/(-44)). Which is smaller: b or 3105/7?
3105/7
Let f = -14224 + 14148. Is -85 less than f?
True
Let n(m) = 37*m**2 + 2*m - 3. Let x be n(-2). Let f = x + -137. Which is smaller: -6 or f?
-6
Suppose -5*f = -0*f - 20, -3*w + 16 = 4*f. Let h = 65312/27078931 - -3/66533. Do h and w have different values?
True
Let f = 49734/3955 - 88/7. Which is greater: 0 or f?
f
Suppose 0*u - 4*u = q - 15, q + 2*u = 7. Let l be (-1 - -444) + (-7 - 52/(-13)). Let i be ((-32)/l)/(((-42)/(-15))/7). Do q and i have the same value?
False
Let n = -3.867 - 2.133. Which is greater: -27 or n?
n
Let s = -0.8 + 0.5. Let j = s - 0.7. Let u = -2168/14685 + 14/979. Is u less than or equal to j?
False
Let j = -17683/3 + 4156093/705. Is 0 <= j?
True
Let d be ((-33)/(-6))/(-11) - (-9)/((-630)/(-205)). Is d >= 5/4?
True
Let k(y) = -420*y**3 - y**2 + 1. Let n be k(1). Let h be (-6)/(-3 + 0) + n/156. Is 0 at least as big as h?
True
Let a be -3 + 6695/700 + 48/64 + -7. Suppose 1 = -0*x + x. Which is greater: x or a?
x
Suppose 0 = 153*a - 152*a - 3. Suppose 0 = -5*j + 18 - 3. Let m be (-12)/(1 + j) - -9. Is a >= m?
False
Suppose -3*k + 106 = -4*m, 4*k + 4*m = 8*m + 144. Let j = -98 + k. Is -63 not equal to j?
True
Let b(i) = i**3 - 13*i**2 + 13*i - 9. Let w be b(12). Let d be ((-22)/8 + w)/((-330)/72). Which is smaller: 0 or d?
d
Suppose 4*q = 2*y, -15 = -q - 5*y + 7. Suppose -5*v - 3*b = 22, 4*v + b = q*v - 8. Let a(p) = -p**2 + 4*p + 3. Let m be a(v). Which is greater: m or -10?
m
Suppose -5*q + 2*l - 3 = 5, -3*q - 1 = -5*l. Let p be 1 + q - 16/(-20). Let z be -6 - (9150/(-1400) + 2/7). Which is bigger: p or z?
z
Let c = 0.832 + -0.632. Which is smaller: -205 or c?
-205
Suppose 0 = 5*y - 3*x + 163, -3*y - x = -7*y - 129. Let z(g) = 8*g - 2*g + 78 - 110. Let o be z(0). Are o and y non-equal?
False
Let s = 84 + -60. Let z = -25.941 + -0.059. Let j = z + s. Is j > -14?
True
Let m = 16.3 + 209.7. Let q = -230.88 + m. Let j = 4.9 + q. Which is greater: j or 6?
6
Let s = -73791/2 - -37032. Is s greater than 136?
True
Let p be (-2)/1*816/41208. Let d be 0/(-2)*1/2. Which is smaller: d or p?
p
Let j = 3314/391 + -222/23. Are j and -1 nonequal?
True
Let j be 49/21 - (-9)/3. Let y = -384 - -384. Which is greater: j or y?
j
Let t be (60 - 49)*2/22. Is -14/347 at least as big as t?
False
Let b be (16381 - 4) + 912/(-38). Is b > 16352?
True
Suppose i = 3*y - 11, 24*i - 26*i + 3*y - 34 = 0. Which is smaller: i or -24?
-24
Let c(w) = w**2 + 11*w - 15. Suppose 70 = -65*p + 60*p. Let f be (6 - 4) + p + 0/(-1). Let y be c(f). Which is bigger: y or -2?
-2
Let v(i) = -743*i + 468. Let z be v(1). Is -276 at least z?
False
Suppose -17*x = -26*x - 72. Let i(v) = 61*v + 83. Let l be i(x). Is -405 >= l?
True
Let y(j) = j - 15. Let w(l) = l - 15. Let c = 31 + -29. Let t(r) = c*y(r) - 3*w(r). Let g be t(10). Is 5 at most as big as g?
True
Let u be (32/(-1656))/(36/54). Let q = 22 + -22. Is u at most as big as q?
True
Suppose -25695 = -18*m + 59427. Which is smaller: 4731 or m?
m
Suppose 26 = -v + 3*v. Suppose 5 = -8*a + v*a. Let l be (0 - a)*-2*5/(-10). Is l < -1/34?
True
Let w = 464 + -463. Let s(l) be the first derivative of 2*l**2 - 6*l - 7. Let x be s(w). Which is bigger: x or -13/7?
-13/7
Let r = 1/817 - 1657/18791. Let j(b) = -b + 12. Let y be j(8). Suppose -3*a - 6*v + 15 = -v, -12 = -y*v. Which is greater: r or a?
a
Let q = 21.28 - 16.77. Which is bigger: 2/23 or q?
q
Let m(y) = -y + 32. Let p be m(6). Let z = 33 - p. Let g = 22 + -13. Is g at most as big as z?
False
Let q be (72/200)/((-61)/30). Is 1 equal to q?
False
Suppose -9 = -3*o + c, 2*o + 15 = 7*o - c. Suppose 0 = -v + 2*v + o. Suppose 8358*z - 8336*z + 77 = -11. Is v greater than or equal to z?
True
Let a(t) be the second derivative of 1/20*t**5 + 0 - 47/6*t**3 - 21/2*t**2 + 7/4*t**4 - 9*t. Let i be a(-23). Which is smaller: i or 7/6?
7/6
Let t be (48/32448)/(3/2). Is t >= 0.17?
False
Let y be (36/(-27))/(-2) + (-6)/9. Is y at least as big as -28/33?
True
Suppose 0 = -3*d - 299 + 153 + 149. Which is smaller: d or 2/63?
2/63
Let l = 49 - 51. Let f be l + 2 - (0 + -2). Let p be (-1 - f - 5) + 4. Is 0.06 != p?
True
Let y = 444 - 441. Let f be -1*2*10/(-5). Suppose -h = h - 2, i = -y*h + f. Which is smaller: i or 49?
i
Let g = 1267/76 + 41/38. Is g >= 19?
False
Suppose 0 = 12*t + 3 - 51. Suppose t*l = -2*l - 342. Let i = 36 + l. Which is greater: i or -19?
-19
Suppose -99 = 4*j + 557. Let u = -198 - j. Which is smaller: u or 1/3?
u
Let o(r) = -r + 165. Let x be o(38). Is x bigger than 136?
False
Let p(i) = i + 3. Let x = -281 + 279. Let t be p(x). Which is bigger: t or 4/163?
t
Suppose -2*y - 8*m = -11*m + 78, 3*y - 2*m = -127. Which is greater: y or -60?
y
Let x(t) = 7*t**2 - 2*t + 27. Let g be x(-9). Let y be (g/(-714))/((-2)/56*47). Which is smaller: y or 2?
y
Let k = -37 - -41. Suppose -5*p - 4*z + 40 - 4 = 0, p = z. Is p not equal to k?
False
Let g(l) = l**3 + 12*l**2 + 13*l + 22. Let m be g(-11). Suppose m = -5*i - 4*w - 29, -i + w - 1 - 3 = 0. Let h be 6/(-1)*i/100*-5. Which is greater: h or -9?
h
Suppose -108 + 868 = -10*n. Let s = n - -64. Is s not equal to -6?
True
Let d = -9468 + 8902. Which is smaller: 4 or d?
d
Suppose -4*d - 41 - 61 = -3*i, i + 2 = 0. Let p be (d/(-135))/((-1)/6). Are -2/3 and p unequal?
True
Let d = -498.1 - -475. Let z = -0.0182 + -22.9818. Let r = d - z. Is -1/3 <= r?
True
Let v be (178/(-304)*-4)/(-4). Let c = -4/19 - v. Let m = -4/5 + 26/45. Which is greater: c or m?
c
Suppose 2*r - 4*r = 16. Let f = -3 - r. Let j = -272.1 + 272.1. Do f and j have different values?
True
Suppose 146 + 126 = -4*m. Do -623/9 and m have different values?
True
Let j = -5127 - -5124.8. Is -14 > j?
False
Let c = 2 + -1. Let f be ((225 - 97) + -124)*(177/178 - 1). Is f greater than or equal to c?
False
Let u(x) = x**3 + 4*x**2 - 5*x + 1. Let g be u(-5). Let p be (-27*1)/(((-165)/20)/11). Let c be p/(-270)*50/(-8). Which is bigger: c or g?
g
Let p be (-46)/(-7)*7*1/(-2). Is p greater than or equal to -75/4?
False
Let q = 2552 + -2500.51. Let g = q + -0.49. Let w = g - 52. Are w and 1/2 equal?
False
Let p = -10423 - -10424. Are p and -42 non-equal?
True
Suppose -5*n + 6*o + 10 = 0, -45 = -4*n + o - 37. Is 0.3614 <= n?
True
Suppose 5*z + 121 = 3*l,