t s = k + -12. Let w be 7/(14/(-4)) + 3. Which is smaller: s or w?
s
Let b(k) = -k**3 - 4*k**2 + 9*k - 12. Let u be b(-6). Let o be ((-324)/104 - -3)*(-2)/u. Let g(h) = -h**2 - h + 1. Let j be g(-2). Is j greater than o?
False
Suppose d - 1 = -2*g - 5, 5*d = 2*g + 28. Let f(u) = -u**2 - 2*u + 15. Let c be f(g). Which is greater: c or -0.5?
c
Suppose 0 = -3*l + 2*m + 126 + 47, 118 = 2*l - 2*m. Is l bigger than 56?
False
Let j(o) = o**2 + o + 1. Let g be j(-1). Let k be 82/(-88) - (2 - g) - -2. Which is bigger: 0 or k?
k
Let k = 255 + -187. Which is smaller: k or 67?
67
Let g = 109/35 + -45/14. Is g greater than 1?
False
Let a be (-473)/157 + (-3)/(-1 + 0). Let l = 797/942 + a. Are l and 1 equal?
False
Let c(b) = -4*b**3 + b**2 - 9*b - 10. Let m(h) = h**3 - h**2 + h + 1. Let z(r) = c(r) + 5*m(r). Let q be z(5). Which is bigger: q or 5?
5
Let g = -459/9682 + 1/206. Does 4/7 = g?
False
Let w = 214855388/294553 + -2/42079. Let k = -726 + w. Let o = 22/7 - k. Is -2/3 < o?
True
Let b = 8/5643 - -117223/902880. Let l = -6 + 193/32. Let w = b - l. Is -1 greater than w?
False
Let u = -3 + 1. Let y be (-5)/5 + (-2 - u). Let f = -2686/7 + 383. Which is greater: y or f?
f
Let f = -387 - -165. Is f less than -222?
False
Let x be ((-36)/(-7))/((-18)/(-1008)*6). Which is bigger: 234/5 or x?
x
Let a = -38 + 42. Let z be (1 - (-15)/(-6)) + 6/a. Are z and 7/12 equal?
False
Let h = 87199/33 - 2643. Let o = h - -31/66. Suppose 3*x = -3 - 0. Which is bigger: o or x?
o
Let l = 263 - 300. Which is smaller: l or -71/2?
l
Let j = 340 - 339. Is 325 < j?
False
Let p = 250 - -125. Let o = 2995/8 - p. Suppose 0 = -2*l - 3*l. Which is bigger: o or l?
l
Let c be (2/(-3))/(8/18). Let j = 44.912 + 0.088. Let g = -47 + j. Are c and g equal?
False
Let g = -17.425 + 1.445. Let u = g + 16. Let w = 0.1 + -0.1. Which is bigger: w or u?
u
Let f = 2005 - 234587/117. Which is bigger: -1 or f?
f
Let t = 33 - 33. Suppose t*k - 6*k = -24. Are 23/8 and k unequal?
True
Let a = 0.68 + -0.69. Which is greater: a or -7?
a
Let y be ((-17)/(-3) + -1)/(19/(-114)*4). Let m(r) = -5*r. Suppose -3*i = 6, -2*i + 1 - 10 = -5*n. Let w be m(n). Which is smaller: y or w?
y
Let r = 331 - 329. Let p = -1.4 - -8.4. Is p at least as big as r?
True
Let c be ((-20)/120)/((-2)/84). Which is greater: 144/23 or c?
c
Let z = 12 - 13. Let i be (-4)/((-3)/(-3))*1. Do z and i have the same value?
False
Let p = -359 + 358. Let d = -1 + 0.76. Are p and d nonequal?
True
Let a = 5 + -2. Suppose -j + 1335 = a*f + 3*j, f - 434 = -5*j. Let u = 15265/34 - f. Which is bigger: u or 0?
0
Let k = 1341 - 1340.9. Does 106/11 = k?
False
Let d be 120/28 - 1 - (-30)/(-105). Which is greater: d or 13/4?
13/4
Let n = -9/326 - -257/32926. Suppose 201*q = 193*q - 8. Which is smaller: q or n?
q
Let k = 444 + -531. Is k >= -87?
True
Let g(m) = m**2 + 6*m - 8. Let j be g(-7). Let y be j + 0 + 60/68. Let h = -2.4 - -2.5. Which is bigger: h or y?
h
Let j(w) = -w**2 + 1. Let u be j(-1). Let m = -1158 + 3409/3. Let i = -443/21 - m. Which is smaller: u or i?
u
Suppose -4*j + 3*j = 2*z - 27, -3*z + 3*j = -63. Which is smaller: z or 123/8?
123/8
Let m be (7 - 110/10) + (1 - -2). Are -3/40 and m nonequal?
True
Suppose 2*n + b + 2792 = -1533, n + 2*b + 2167 = 0. Is n bigger than -2160?
False
Let u(f) = -f**2 + 6*f - 3. Let v be u(2). Suppose -v*w + 32 - 12 = 0. Let k = 9 - w. Is 2 >= k?
False
Suppose -27*f - 1015 = -4849. Does f = 144?
False
Let k = -35 + 22.5. Let z = 12 + k. Let m = 1.947 - -0.053. Is m smaller than z?
False
Let j(p) = -p**3 + p + 6. Let i be j(-6). Let r be 4/14 - i/(-63). Which is greater: r or 4?
4
Suppose -4*v - 4*s + 0 = 116, 70 = -2*v + 4*s. Let j be (0 + -1)*(-190)/6. Let p = v + j. Are p and 0 unequal?
True
Let q be ((-6)/18)/(1/(-6)). Let v = q + 2. Suppose a = 0, 0*x - v*a - 6 = -x. Are 1 and x equal?
False
Let f be ((1 + -5)/(-2))/(208878/(-372)). Which is greater: 0 or f?
0
Let f = -3 - -11. Suppose 0 = 2*d + 2*d - f. Suppose g = d*g - 4*n + 6, g - 2*n = -2. Which is smaller: g or 1?
1
Let t be 6/(-1) - 2092/(-352). Which is bigger: 0 or t?
0
Let v = 351 + -355. Suppose 0 + 4 = -4*z - 5*r, 0 = -z - 3*r + 6. Let n = z - v. Which is smaller: n or -5?
-5
Let h = -147 - -48. Let s = 272743 - 4365473/16. Let z = s - h. Which is smaller: z or -1?
-1
Let r = -32.39 - -1.39. Let f = r + 30.92. Are f and -2/7 equal?
False
Let m = 0.7141 + -0.1371. Let w = -0.023 - m. Which is bigger: w or 2?
2
Suppose -3*a + 798 = 4*u, -25*a = -29*a + 2*u + 1042. Which is smaller: a or 263?
a
Suppose 433*j - 430*j + 66 = 0. Does -27 = j?
False
Let n = 1740538/27 + -64472. Let p = 8 + n. Which is smaller: -1 or p?
-1
Suppose -3*p + 5*k = -p - 85, -3*p - 2*k + 137 = 0. Suppose -5*v - 40 = -p. Is v <= 1/35?
False
Let c be (-1 + 1)*1/(-1). Suppose 2*x - 15 = -y, y + 2*x = x + 12. Suppose 5*z - 4 = y*z, 8 = -h - 4*z. Is h equal to c?
False
Let k = -32 - -1571/49. Which is greater: k or 0?
k
Let a(s) = -s**3 + 11*s**2 + s - 11. Let y be a(11). Suppose 5*b - 4*b - 14 = y. Let r = b - 14. Which is smaller: 5 or r?
r
Suppose 0 = t - 3*o + 19, -5*t + 5*o - 147 = 3*o. Let f = t - -31. Let g = 103 - 1546/15. Which is bigger: g or f?
f
Let x be (-3)/(-6) + 6/(-12). Which is smaller: -37 or x?
-37
Let g(a) = -2*a**2 + 2*a**2 + 7*a - 6 - a**3 + 3*a**2. Let y be g(4). Suppose -2*d - y = -4. Which is greater: -2/5 or d?
-2/5
Let x be 2 - -11*4/(-14). Suppose -4*j + 1 = -7. Suppose -3*t = -0*t - 2*h - 5, -t + j*h + 7 = 0. Which is smaller: x or t?
x
Suppose -h + 0*h + 6*h = 0. Suppose h = -j + 16*j + 105. Is -7 bigger than j?
False
Let p = 60.9 - 59.4. Are p and 2 equal?
False
Let s(b) = -5 + b**2 + 4 + b - 3. Let m be s(-6). Suppose -2*d = -2*j + m, 4*j - 55 = 2*d + d. Which is smaller: 15 or j?
15
Suppose 0 = 11*j - 4*j - 238. Let g = j + -27. Is 5 at least as big as g?
False
Let u be -1 + -6 + 0 + -1. Let q(h) = -h - 8. Let c be q(u). Let j = 269/522 - 4/261. Is j not equal to c?
True
Let v(s) = s**3 + 19*s**2 + 18*s + 16. Let p be v(-18). Suppose -4*l + 8 = -p. Let r be ((-2)/l*0)/(-2). Which is bigger: r or 1?
1
Let u = 0.265 + -0.085. Is 4/9 at most u?
False
Suppose -o - 7 = -2*i, 5*o + 4*i + 5 = -16. Let j = o - 9. Let d be j/(-10) + (3 - 5). Which is smaller: d or 5?
d
Let u = -633 + 620. Is -0.4 smaller than u?
False
Let m = 28.905 + -29. Let a = 0.935 - m. Let x = 1 - a. Is 1/2 smaller than x?
False
Suppose 5*i = 3*b + 104, 48 = 10*i - 7*i + 3*b. Is i bigger than -1/4?
True
Let i = -7.1 + 0.1. Let x = i - -7.06. Let s = 0.94 + x. Is s at most as big as 0.3?
False
Let z(t) = t**2 - 21*t + 65. Let g be z(17). Let u be (-2)/g - 16/12. Which is bigger: u or -1?
u
Let x be (-477)/6*(31 + -27). Is x < -318?
False
Let p = 16 - 11. Suppose 10 = p*r - 10*r. Let u be (-3 - r)*(-3 - 0). Is 1 greater than or equal to u?
False
Suppose t = -3*c - 2*c - 1, 0 = -2*t - 5*c - 7. Let s be 22/6*t/(-4). Does 6 = s?
False
Let q = -70 + 82.5. Let v = q + -12.7. Which is smaller: v or -38?
-38
Suppose 4*u + 10 = 9*u. Let t = u + -1. Does t = -3/31?
False
Suppose -36 = 5*q - 7*q. Suppose q*a + 45 = 13*a. Which is bigger: a or -6?
-6
Let m = -12 + 22. Let r be ((-1)/(-5))/(m/20). Is r at least 4?
False
Let r be (-2 + 36/(-8))*-2. Let y(v) = v**2 + v - 1. Let o be y(-4). Which is smaller: o or r?
o
Let j = 134.2 - 156.2. Which is smaller: 1 or j?
j
Let g = -0.039 - -23.039. Let k = g - 15. Let z = k - 7. Is 17 greater than z?
True
Let a = 40 + -40. Suppose -4*c + 63 + 1 = a. Are 16 and c non-equal?
False
Let q = -3 - -27. Let z be (q/3)/2*6/4. Is 14/3 greater than z?
False
Let c = 1625 + -1364. Is 263 less than or equal to c?
False
Let z = -540563/321 - -1684. Which is smaller: -1 or z?
-1
Let x be (-16)/(-6) + (-28)/(-3) + -9. Is 9 at most as big as x?
False
Let n be (1 + -2 - -3)/((-2)/17). Let f = n + 24. Which is greater: 5 or f?
f
Let b(v) = -4*v + 10. Suppose -11*g + 8 = -9*g. Let s be b(g). Which is greater: -23/5 or s?
-23/5
Let h = 811/112218 + -1/634. Suppose 51*r = 31*r - 20. Is h smaller than r?
False
Let k be ((-2)/(-11) - 1548/(-198)) + -4. Let y be (k/(-6))/(-2) - (-165)/45. Is 2 at most as big as y?
True
Let d be 228/(-2)*(-18 - (-477)/27). Is -0.29 less than d?
True
Let w be (35/28)/(1/4). Suppose -3*u + 2*v - 35 = 0, u = 2*u + w*v - 11. Let f = u - -7. Is f