). Let s be l(4). Which is smaller: -6 or s?
-6
Let g be (2685/(-630))/(22/16). Let v = g - -214/21. Which is greater: v or 8?
8
Suppose 2*u = -927 - 747. Which is greater: u or -835?
-835
Suppose -21 + 4 = -2*p + 5*z, -4*z = -3*p + 15. Is -7/64 at least p?
False
Let q = 642 + -631. Suppose 2*w + 2 = -0*w. Let i be ((-1)/(-3))/(w/3). Is i > q?
False
Let r be 3*(-1 - -3) + -4. Let k(z) = 13*z + 23. Let t be k(r). Is 48 < t?
True
Let p be (-38)/57*18/76. Are 0.1 and p unequal?
True
Suppose 12*r - 17 + 5 = 0. Are r and 2/15 equal?
False
Suppose 6*p = 2*p + 4. Let d be 3*1 - (-348)/(-168). Which is smaller: d or p?
d
Let l(c) = c**2 - 14*c + 45. Let g be l(11). Is 12 < g?
False
Let w be 76/14 - 3/7. Suppose 6*c = w*c. Which is smaller: c or -1?
-1
Let r = -0.29 - -0.262. Let s = r + 23.028. Which is bigger: s or 1?
s
Let q = 2531 + -2161. Is 369 > q?
False
Let s be ((-6)/(-44))/((-54)/(-9)). Let d(v) = v**3 + 3*v**2 - 2*v + 9. Let i be d(-4). Which is smaller: i or s?
s
Suppose 1 = -5*k + 11. Suppose -4*t + 7 = 3*q, 4*t - k*q - 12 = 10. Suppose 9 = -t*m + 13. Which is bigger: m or -0.07?
m
Let t(x) = x + 4. Let p = -4 + -3. Let r be t(p). Which is smaller: r or -5?
-5
Let k(z) = -z**3 - 3*z**2 + 5*z + 16. Let b be k(-3). Is 2/1323 less than or equal to b?
True
Let x be (2364/12)/((-4)/2). Which is greater: x or -100?
x
Suppose -3*q - 20 = -5*q - 2*w, 5*q - 3*w - 42 = 0. Let u be 6/q + 1/3. Which is bigger: 1/16 or u?
u
Suppose 3*k = -4*j - k, 0 = -k - 1. Suppose 3*q - 15 = -6, r - 5*q = -15. Suppose r = -3*m + 5 - 2. Is j greater than m?
False
Let r = -0.28 + 0.36. Let i = r - -0.1. Is i less than -3/7?
False
Let m be (-1)/4 - (-1)/10. Let o be -4 - (30/(-100))/((-12)/(-170)). Let h = o - m. Which is bigger: 1 or h?
1
Suppose 0 = 5*s - 5 - 40. Let b(r) = -r**3 + 6*r**2 - r + 7. Let p be b(6). Let q be 2/3*p/2. Which is smaller: q or s?
q
Suppose -3*v + 2*v + c + 44 = 0, 0 = -2*c. Suppose 4*g + 4*i - 176 = 0, -g + 4*i = -128 + 84. Is v not equal to g?
False
Let g(b) = -3*b**2 - 6*b - 4. Let i be g(-2). Let s be (-498)/(-30) - i*(-1)/(-10). Is s smaller than 16?
False
Let p = -8 + 8. Suppose p = -5*i + i. Let k be 3/(-5)*(-10)/18. Which is bigger: i or k?
k
Let q = -312 + 474. Let x be (-2)/7 - q/(-126). Which is smaller: 7/13 or x?
7/13
Let w = 13 + -13. Suppose g = 16 - w. Which is bigger: g or 17?
17
Let d(t) = -2*t - 14. Let c be d(-9). Let y = c + -7. Is -5 > y?
False
Let y = 4 - 1. Let w = -350 - -344. Which is bigger: w or y?
y
Let s = 6 + -23. Let k = -16.72 - s. Let u = k + 0.22. Are -4 and u equal?
False
Suppose 0 = 257*v - 256*v + s, -3*v - 4*s = 0. Let g = -0.5 - -0.35. Let q = 1.75 - g. Which is bigger: v or q?
q
Let x be (-2)/6 + (-438)/(-18). Which is bigger: 20 or x?
x
Let o(s) = -7*s**3 - s**2 - s - 1. Suppose -4 = 4*v - 0. Let f be o(v). Suppose 3*q = -2*c + 6, -f = -2*c + 4*c - 3*q. Is c < 1?
True
Let v(u) = 3*u**2 + 3*u - 1. Let f be v(-2). Suppose 3*h = j, f*h = 3*j + j. Which is smaller: j or 1?
j
Let v be ((-20)/5 + 5)*(8 + -65). Which is smaller: -56 or v?
v
Let w = 26 + -26.22. Let q = -0.12 + 0. Let m = w - q. Which is greater: m or 0?
0
Let k be (5 + 1)*(-498)/9. Which is smaller: -333 or k?
-333
Suppose 27 = 4*i + 7. Suppose 0 = m + i - 20. Let x be (-34)/6 + 10/m. Which is smaller: -4 or x?
x
Suppose 0 = 3*z + z - 404. Let q = z + -508/5. Which is bigger: q or -1?
q
Let s(j) = 32*j**3 + j**2 + j + 2. Let p be s(2). Is p greater than or equal to 1323/5?
False
Let u(h) = h**3 + 6*h**2 - 2*h - 5. Let q be u(-6). Suppose q*g - 9 = 26. Do g and -0.02 have different values?
True
Let o = 65077/117724 + -1/6196. Are o and 0 equal?
False
Let o be ((-36)/24)/((-6)/(-1052)). Is -263 > o?
False
Let n = 2.66 - -2.53. Let p = 0.01 + n. Let z = p + -3.2. Is z bigger than 0?
True
Let i = 920 + -924. Does i = -213?
False
Let k = -289 + 291. Is 0.471 less than k?
True
Suppose 3*b + 5 = -19. Let p(n) = 3*n**2 + 31*n - 11. Let j be p(b). Is j greater than -67?
False
Let r be 2/(-5) - 846/(-90). Which is smaller: 107/11 or r?
r
Suppose -4*l + 151 = -5*b, -3*l = -b - 7*l - 11. Let g be (b/(-6))/(2/(-4)). Is g less than -9?
False
Suppose 2*t - t = -9. Let w = -7 - t. Let b be (-360)/(-966) - w/7. Which is greater: b or 1?
1
Let i = 1853 + -2306. Which is smaller: i or 1?
i
Let l(u) be the third derivative of 5*u**4/12 + 5*u**3/3 + 5*u**2. Let c(f) = -7*f - 7. Let a(k) = -7*c(k) - 5*l(k). Let g be a(0). Which is bigger: 0 or g?
0
Let w = 148 - 148.03. Let n = -9.7 + 10. Is n at least w?
True
Let g(r) = -r**3 - r**2 + 1. Suppose -i - 4 = -o - 2, -2*i = o + 7. Let y = i - -4. Let x be g(y). Which is smaller: 2/21 or x?
x
Let r be (-9)/(3 + -6) + 0. Let x(y) = 2 - 1 - 3*y**r + 5*y**3 - 2*y - 2. Let u be x(2). Which is smaller: u or 12?
u
Suppose 5*z - 3*n - 9 = 0, -5*z + 50*n + 12 = 46*n. Let a be (-2)/7 - (-321)/1050. Is z < a?
True
Suppose -16 = 2*n - 14. Let h be (-3 - -1)*4/5. Which is smaller: n or h?
h
Let t = 336 - 201. Suppose g = -2*r + t, -5*g - 348 = -5*r - 33. Do 66 and r have the same value?
True
Let n = -0.452 + -183.548. Is n <= -2/3?
True
Let d = 31 - 155. Is -123 less than d?
False
Let h be 6 - ((5 - 4) + -1). Suppose 39 + h = 5*s. Let j be s/(-11) - (-13 + 12). Do j and 2/7 have the same value?
False
Let t be (-54)/1 - (1 - -1). Let p = 139 + -166. Let z = p - t. Is 29 < z?
False
Let j = 1862 + -2645. Is -783 at least as big as j?
True
Let p be 18*(10/35)/((-9)/(-21)). Let x be (-3)/2 - (-8 - (-198)/p). Which is bigger: -6 or x?
-6
Let p(t) = -57*t + 5*t**2 + t**3 - 3 + 62*t - 2. Let g be p(-4). Suppose -5*a - 5*h - 43 = -6*h, -a + 4*h - 1 = 0. Do g and a have the same value?
True
Let r be (-30)/(-14) - -3 - 4. Let z(w) = 13*w - 50. Let u be z(4). Which is bigger: r or u?
u
Let i(f) = -f**3 - 10*f**2 - f + 1. Let n be i(0). Is 4/157 equal to n?
False
Suppose 0 = 99*q - 105*q + 12. Which is smaller: 16/9 or q?
16/9
Let j be ((-84)/7)/(0 - 1). Let s = j + -13. Let t be (2/s)/((-10)/4). Is 1 greater than or equal to t?
True
Let x(a) = a**3 - 2*a**2 - 15*a + 22. Let j be x(6). Suppose -5*c - j = -0*g - 4*g, 0 = g + 5*c - 19. Are g and 59/3 equal?
False
Let f be 4/3*(-285)/(-10). Suppose -5*o - f = -3*r, 0 = -4*r + 4*o + 48. Suppose -r*x + 4 = -15*x. Is x > -1?
False
Let a = 1.51 - 18.61. Let z = a + 18. Let u = -0.9 + z. Is -2 greater than or equal to u?
False
Let r = -0.6694 - -0.0694. Which is greater: 10 or r?
10
Suppose 2*v = 2*r - 50, -3 + 2 = v. Let a = 30 - r. Let p(h) = 4*h**3 + h**2 - h. Let q be p(1). Which is bigger: a or q?
a
Let q be 1/(-5) - (3 + 132/(-10)). Let g be q/(-15)*54/(-4). Is g > -5?
True
Let d = -7 - -6.93. Let j = d + 0.07. Let z = j - -0.4. Is 0.1 less than z?
True
Let a(q) = -19*q + 9*q + 12*q**2 - 8 - q**3 - 1. Let n be a(11). Is n greater than or equal to 9/16?
True
Suppose 48*a + 471 - 3207 = 0. Which is smaller: a or 59?
a
Let d = 620 - 622. Let o be ((-192)/33)/(-4) - 2. Which is smaller: o or d?
d
Let w = -3943/6 - -45967/78. Suppose -28*u - 1442 = 462. Let q = w - u. Which is smaller: q or 1?
q
Let w(k) = -k**2 + 23*k + 2. Let j be w(0). Let x = -17/7 - -117/28. Which is greater: x or j?
j
Let k = 458/67 + 23069/536. Let t = k - 51. Is t at least as big as 0?
False
Let j be (2 + 1)/(-1 + 2). Let s be 4/5 + (-7 - 32/(-4)). Which is bigger: s or j?
j
Suppose -12132 = -1270*y + 1282*y. Is -1011 greater than or equal to y?
True
Suppose 5*o = 15, 0 = 3*c - 2*o + 1 + 5. Suppose c = 4*s - 2*z + 116, -3*s - 4*z = s + 116. Let r = s - -35. Which is greater: 2 or r?
r
Let y be -2 - (1 - 0)*30. Let b = -203 - -171. Is b at most y?
True
Let a = -11/9 - -59/63. Which is smaller: a or -128?
-128
Let w = -684.6 + 684. Is w greater than or equal to -1/15?
False
Suppose 16*g + 9 + 7 = 0. Let m = -47851717/539780 - -11/26989. Let d = m + 432/5. Which is smaller: d or g?
d
Let i = -76.8 + 62. Let j = -14.7 - i. Which is bigger: j or -12?
j
Let j = -439.2 - -439. Are j and 0.36 nonequal?
True
Let u = -33 + -57. Is u at most as big as -91?
False
Let f be -2 + 1/(15/12 + -1). Let l be (36/14 - f)/(-9 - -10). Which is bigger: l or 0?
l
Let p be (-1*(-4)/(-36))/(11/(-33)). Which is bigger: p or -1.75?
p
Let a = 6.68 + -6.88. Which is smaller: a or 17/23?
a
Let b = -0.775 + -55.125. Let m = 62 + b. Let r = 6 - m. Are 