 s(3). Let b = 1.02 - 40.02. Let h = b - -58. Which is greater: g or h?
h
Suppose 332*n - 99*n = -161935. Which is greater: n or -679?
-679
Let u be (-51)/102*(11 + -4)*276. Is -1931/2 > u?
True
Let d = 8262 + -8255. Is 271 equal to d?
False
Let i be (-9 - 5816/(-32))*-2. Which is smaller: i or -347?
-347
Let p(h) = 162*h + 1536. Let r(d) = 10*d + 96. Let v(w) = -2*p(w) + 33*r(w). Let n be v(-16). Which is smaller: 15 or n?
n
Let b(v) = -3*v**3 - 9*v**2 - 7*v + 4. Let h be b(-2). Suppose -5*k - 5*r = 5, 2*r = 5*r + h. Is k not equal to 9/16?
True
Suppose 26 = 17*p - 25. Suppose 7 + 5 = p*r. Which is smaller: 1 or r?
1
Let l = 4211/165088 + 1/2144. Let z = -4940 - -4940. Which is smaller: z or l?
z
Suppose -16*m + 5*m = 319. Let g be 18/513*(-6)/m. Which is smaller: g or 0?
0
Suppose 3*f + 505 = 5*n, 3*f = 4*f - 2*n + 167. Let i be (7 - (-1239)/f) + 17544/(-75). Is i at least as big as -234?
True
Let k(h) = h**3 - 32*h**2 - 5*h - 72. Let i be k(32). Let q = -232 - i. Let d = -1453/28 - -211/4. Which is smaller: d or q?
q
Let k be (-14 + (-720)/(-54))/((-6)/(-9)). Which is greater: k or 24/89?
24/89
Let z be (1715/112)/((-3276)/(-656) + -5). Is z at least -2512?
True
Let h(f) = -66*f**2 - f - 11. Let r be h(-7). Let x = 624932/193 + r. Let y be 28/(8/2) - 8. Is x at least as big as y?
True
Let y be (7 - (70/30 - -3))*(-492)/(-10). Is 409/5 at least y?
False
Let b be 2 + -3 + -1*181. Let h = 1.7872 - 0.7872. Which is smaller: b or h?
b
Suppose 0 = -5*m - 4*w + 85, 97 = 4*m + 4*w + 25. Let c(x) = x**2 - 13*x + 1. Let f be c(m). Let a be (-8)/2*f - -2. Is 2 greater than a?
True
Let x = 103 - 58. Let z be (10*-6)/4 - 1. Let s be -14 - z - -1*42. Which is smaller: x or s?
s
Suppose r - 6*r = -30. Suppose r*j + 75 = -81. Let m = -85 - -58. Which is bigger: j or m?
j
Let v = 740.1372 + -1.1372. Which is smaller: 2 or v?
2
Let j(r) = -2*r + 5. Let b = -56 + 58. Let s be j(b). Let o(n) = -12*n - 2. Let a be o(s). Which is smaller: a or -13?
a
Suppose 0*x + 88 = 5*x - 2*z, -49 = -3*x + 5*z. Suppose -6 = -x*d + 16*d. Suppose i + 2*a - a - 27 = 0, -d*i - a = -75. Which is greater: i or 20?
i
Suppose 3*z + 160 = 16. Let g = -20793 - -20746. Which is bigger: z or g?
g
Suppose -199*h + 863044 = -57424 - 170052. Which is smaller: h or 5478?
5478
Let w(x) = -x**3 + 27*x**2 - 73*x + 24. Let j be w(24). Let i be ((-9)/(-132))/(12/8). Which is smaller: i or j?
j
Let w be 1920 - ((-1)/2)/(28/56). Is 5762/3 at most as big as w?
True
Let r(h) = 2*h + 4. Let n be r(-3). Let z be ((-18)/8)/(n/(-20)). Suppose -2*o - 2*o - 88 = 2*q, o + 3*q = -12. Is o >= z?
False
Let g be (-20)/24 - (1 + 1). Let q(b) = -b**2 - 12*b - 25. Let l be q(-3). Suppose -2 = -5*u - 5*i + 2*i, l*i = -2*u + 4. Is g smaller than u?
True
Let o = -779 + 778.8. Which is greater: o or -1308?
o
Suppose -h + 7 = 4*h + t, 4*h = t + 2. Let b = 23106 + -2657193/115. Which is bigger: h or b?
h
Let w be 0*4/20*1. Is 5/401 smaller than w?
False
Let o = 5459.988 + 2.012. Does -1/5 = o?
False
Let l be ((-58)/(-3335)*46)/(-1 + 6/10). Which is greater: l or -53/92?
-53/92
Let x = -13964 + 13964. Let t = -2844259/447 + 6363. Is t < x?
False
Let u(n) = -n**2 + 34*n + 80. Let r be u(25). Let c = r + -306. Which is bigger: -3/14 or c?
-3/14
Let b = -0.0279 + 4.4979. Let w = -4.67 + b. Which is smaller: w or 2/273?
w
Suppose -f - 2*b + 1221 = 0, 766*f - 769*f + 3673 = b. Which is smaller: f or 1223?
1223
Let b = -14.18 - -12.78. Which is smaller: 75 or b?
b
Let m be 2*(-5)/((-220)/16). Suppose 3*i - 18 = 4*u - 166, -i + 3*u - 56 = 0. Let v = i - -44. Is v < m?
True
Let x(n) = -184*n - 883. Let c be x(-2). Is c greater than -512?
False
Let s be (-5)/(-18 + 784/42 - 29/39). Let a = 1 + 3. Suppose 2*d + 0*x = 3*x + 136, -5*x = a*d - 250. Is d less than s?
False
Suppose 0 = 35*p - 61*p + 260. Let b(g) = 8*g**2 - 81*g + 9. Let z be b(p). Is 1/33 bigger than z?
True
Let x be (-2)/(-6)*(-3336)/506794. Which is greater: 0 or x?
0
Suppose -70 + 94 = 24*m. Which is bigger: m or 50/107?
m
Let u be (-18)/12*(-2)/(-15). Let g = 486 - 486.197. Let y = -0.097 - g. Is y >= u?
True
Let i(q) be the first derivative of q**4/4 + 11*q**3/3 + 11*q**2/2 + 2*q - 3. Let w be i(-10). Let u(j) = -j**2 + j - 1. Let c be u(3). Is c less than w?
False
Let q = -4686 - -4887. Which is bigger: q or 207?
207
Let y = 444 - 831. Let s = y + 501. Which is smaller: s or 2/5?
2/5
Let b be (171/27 - 6)/(3/45). Suppose -b*s - 6 = -11. Let q = 0.07 - 7.07. Which is smaller: s or q?
q
Suppose 24*c - 9*c + 4 - 154 = 0. Which is greater: c or 650/67?
c
Suppose l + 73 + 46 = 0. Let v(o) = -2*o**3 - 4*o**2 + o - 17. Let i be v(-5). Let d = l + i. Does 9 = d?
True
Let j = -3067 + 3000. Is -59 != j?
True
Let d = -16390 + 98299/6. Let m = 293/54 - -2/27. Let l = d + m. Which is smaller: l or 0?
l
Suppose 3*z - 2 = y, z + 20 - 26 = -5*y. Let d be ((-3)/(-1594) - 0)*32/24. Is d at most z?
True
Let b = -185/51 - -319/102. Let h = 0.49 + -0.3. Is h > b?
True
Let r = -53.17 - -101.17. Let b = 102 - 170. Let n = r + b. Which is greater: n or -2/5?
-2/5
Suppose -15*o + 2*o = -130. Let g be 28/(-70) - (-4)/o. Suppose g*f - 6*f = f. Is f greater than or equal to -3/116?
True
Suppose 2*p + 191 = -g, -3*p - 2*g = 3*g + 269. Which is smaller: p or -81?
p
Suppose 0 = -5*i - x + 463, 10*i + 5*x - 383 = 6*i. Let h be i/(-54) - (-2 + 0). Which is greater: -1 or h?
h
Let s be (-81016)/(-57) - (-3)/(-9). Let t be ((24/(-7))/(-4))/((-35)/s). Is t at least as big as -36?
True
Let d = -5905 - -5868. Is d > 49?
False
Let z be 3 - (2 + -3)*-11. Let u = -38742 - -38734. Are z and u unequal?
False
Suppose 6*t + 5*w + 3760 = t, 4*t = -2*w - 3016. Let x = 750 + t. Are x and 13 unequal?
True
Let m = -11.962 - -12.362. Is -481/2 at least as big as m?
False
Let l = 0.05 - -0.05. Let w be 7/(-399)*-19*18/33. Is w at least l?
True
Suppose -2*f - 3*f = 10. Let x be f*31/(-12) + (-1)/6. Which is smaller: 8 or x?
x
Let k = 4.2 - 0.2. Let p = -158 - -15. Let o = p - -148. Is k != o?
True
Suppose 18661 = 23*b - 4132. Which is bigger: b or 7?
b
Let g(i) = 55*i + 980. Let o be g(-18). Let n be (12/8)/((-2)/(-28)). Let y = n - o. Which is bigger: y or 1?
y
Suppose -2*i - 5*b = 5531, -4*i - 15172 = -2*b - 4146. Which is bigger: -2754 or i?
-2754
Let v = -35 + 34. Let h be (-78)/(-8) - 3/(-12). Let f be h/15 - (-7)/(-6). Which is bigger: v or f?
f
Let d = 12.3 + -12.6. Let h = -0.3 - d. Let l = 30/7 + -164/35. Which is greater: l or h?
h
Suppose 140 = -35*v + 15*v. Let t be (4 - 5) + -4 - v. Suppose -5*h = -h. Is t at most as big as h?
False
Let l = -28.83 - -29. Suppose -533 = 46*y - 73. Which is smaller: y or l?
y
Let q = -126 - -130.6. Let b = q - 4.5. Which is greater: b or 1?
1
Let o be 119/42 - 1/(-6). Suppose -5*d = -4*m - 22, 1 = m + 4. Suppose -a - d = -o. Is a less than -2?
False
Let k be ((-7)/((-49)/(-14)))/(2/(-13)). Suppose -k - 11 = 4*p. Let w be 1 + 0/(p/(-2)). Which is greater: w or -6/73?
w
Let p(z) = 4*z + 4. Suppose 0 = 5*y - 8*y + 5*d + 30, 0 = 4*y - d - 23. Let m be p(y). Suppose 129 = -7*n + m. Which is greater: -16 or n?
n
Let i(q) = 616*q + 2114. Let p be i(-28). Which is smaller: 2 or p?
p
Let z = 20.867 - -0.133. Let i = -21.1 + z. Let n = 0 + 0.1. Which is smaller: n or i?
i
Let y = -11909/817 + 557/38. Which is smaller: 1 or y?
y
Suppose 0 = 5*l - 3*n + 11, -n = 4*l - 1 + 3. Let q be -9 + 28452/837 + -25. Which is smaller: l or q?
l
Let x be (-2 - -2)/(3*(-6)/18). Let r = -27 - -16. Let g be 3/(-9) + r/(-42). Is g at most x?
True
Let d = 16 + -18.27. Let m = d + 0.27. Do 0.07 and m have the same value?
False
Let v = -71 - -80. Let c be (78/v)/((-2)/3). Let o be (1*c)/(1/(-1)). Which is smaller: o or 40/3?
o
Suppose 0 = 7*x - 4*x - 15. Suppose 3*z - 17 = -2*y, -2*z = -z + x*y + 3. Suppose -10 = z*s + 396. Do s and -58 have the same value?
True
Let x = 19 - 25. Let f(a) = 15*a**2 - 16*a - 30. Let m(h) = 7*h**2 - 8*h - 15. Let c(z) = x*f(z) + 13*m(z). Let r be c(9). Which is smaller: 0.5 or r?
r
Let j be (2/6 - 9/27)*1. Suppose 4*s - 3 = 3*s. Suppose 2*o - 6 = -j*o, -s*b - 18 = -3*o. Does b = -2?
False
Let s(m) = -2*m**2 - 13*m - 80. Let n be s(-5). Let c = -118 - n. Is c bigger than -55?
True
Let p = 2479 + -1954. Are p and 523 unequal?
True
Suppose -2*h + 4*h = 0, 7 = n - 5*h. 