y be (-5)/(-37)*(-5)/((-300)/(-36)). Which is smaller: q or y?
y
Let x be -2 - 0 - (4 + (-224)/35). Let v = -13 + 10. Let l be (v - (-4 + 2)) + 28/34. Is l less than x?
True
Let h be (-28)/(-13) + (-2)/1. Let g(i) be the first derivative of 2*i**2 - 3*i + 1. Let a be g(1). Which is bigger: h or a?
a
Suppose -r + 159 = -2*i, -4*r + 396 = -5*i - r. Let h be (-246)/i + (-18)/6. Which is bigger: h or -1?
h
Let w = 91.26 + -95. Let n = -1.74 - w. Suppose -51 = 6*x - 15. Which is smaller: x or n?
x
Suppose 4*y = -0*v + 4*v - 28, -32 = 5*y - 4*v. Let d be y/10 - 2296/(-40). Do d and 57 have different values?
False
Let v = 1010 - 1009.74. Are v and -1/34 nonequal?
True
Let g(n) = 23*n + 59. Let s be g(-6). Which is smaller: s or -70?
s
Let k = 47304 - 427669/9. Let n = k + 215. Is n at least -0.06?
True
Let b = 1295 + -138569/107. Suppose 66*z = 8 + 58. Which is smaller: b or z?
b
Let v be (-10*36/(-40))/9. Is 5 at least as big as v?
True
Suppose 0 = -44*i - 325 - 291. Which is bigger: -104 or i?
i
Let q be (377/26 - 0)*-6. Suppose -6*s = 3*p - 3*s + 273, 3*s = -2*p - 184. Is q less than p?
False
Let b = -40319/27 + 1493. Let q be (-2)/(-11) + ((-432)/132)/18. Which is smaller: b or q?
b
Let s(p) = 5*p + 5 - 587*p**2 + 589*p**2 - 8*p**3 + 5*p**3. Let y be s(-2). Which is smaller: 32 or y?
y
Suppose -65*a + 1432 - 1091 = -12659. Are 193 and a equal?
False
Let l = 0.22 + -404.22. Let o = -402 - l. Which is greater: o or -51?
o
Let p(z) = -z**2 - 5*z + 4394. Let u be p(-83). Is -2079 smaller than u?
False
Let j = 1/2652 - 127921/2652. Which is smaller: -47 or j?
j
Let h = -3 + 5. Suppose 0*t - h*t = -8, 0 = 3*v + t - 4. Let i = 22336/9 + -2483. Which is smaller: i or v?
i
Let s = -16.74 + 17. Let w be ((-20)/(-45))/(-3*286/(-297)). Is w smaller than s?
True
Let s = 115021593/527380 + -3/105476. Do s and 218 have the same value?
False
Let d(k) = -k - 2. Let s be d(-7). Let c be (-2*s - 0/(-3)) + 0. Let n(h) = -h - 5. Let w be n(c). Do w and 5 have the same value?
True
Let i(u) = 2*u**2 - 38*u + 142. Let b(c) = 7*c**2 + 9*c + 9. Let a be b(-2). Let s be i(a). Is s less than 143?
True
Let y be (6/4*-21)/(-12). Let p be -3 + ((-10)/12)/(1112/(-48) + 23). Is y >= p?
True
Let z = -0.0086 + 23.0686. Let g = -71 - -94. Let p = g - z. Is -1 greater than or equal to p?
False
Let a(r) = r**3 - 69*r**2 + 5*r - 278. Let s be a(69). Suppose 0 = l - 3*n + 1 + 9, 0 = 5*l - n + 8. Which is bigger: s or l?
s
Suppose -32*s + 76*s = -4762 + 494. Suppose 0 = -p - 88 - 10. Which is smaller: p or s?
p
Let m = 3457 + -3364. Is -1/37 bigger than m?
False
Let n = 10.682 - 13.682. Which is bigger: 0.0132 or n?
0.0132
Let n(s) = 4*s**2 - 9*s + 26. Let o be n(8). Suppose 4*t + o = 206. Is t less than 1/17?
True
Let i = -28164 - -112659/4. Are i and -141 unequal?
True
Suppose 2*w = -3*z + 17, -5*z + 3*z + 6 = 0. Suppose 3*b = 5*r - 15, w = 3*r - b - 5. Suppose 5*s + 2*p + 10 = -2, -r*p + 5 = -4*s. Is s at least 0?
False
Let c = -13119 + 12593. Is -522 > c?
True
Let s be (68/12)/((-8)/6). Let t be -16 + 4 - (14 + -22). Is s smaller than t?
True
Suppose 5 = 3*n - 4, 0 = 2*y - 2*n + 8. Which is smaller: -6/545 or y?
y
Let n be (-1)/(-3) - 144/(-54). Let a be (12/n)/(-8)*-2. Let j be (-2)/(0 + 8) + (-46)/(-56). Are j and a nonequal?
True
Let w = -0.044 - -3.044. Suppose -5*y - 9 = -4. Let v be -4 - 13*y/1. Which is smaller: v or w?
w
Let c(a) = -88*a + 11. Suppose -2*d - 14 = t + t, -3*d - 9 = t. Let j be c(t). Let i = 2167/4 - j. Which is smaller: -0.1 or i?
-0.1
Let p(h) = 7*h + 77. Let n be p(-10). Suppose 0 = -10*k + n*k. Which is greater: k or 52?
52
Suppose 116*l + 110*l = 234*l + 2520. Which is bigger: l or -314?
-314
Let c = 614299/4 - 152728. Is c <= -1?
False
Let z be 9/(-282)*((-187)/33 + 7). Let h(a) = a**2 - 4*a. Let r be h(4). Is z not equal to r?
True
Suppose 0 = 9*p - 43 + 133. Let q be 38/3 - p/(-15). Let y = q + -20. Is -3 > y?
True
Let i(l) = 4*l + 40. Let w be i(-8). Let x be (-1)/(-1) - (w + -11). Suppose x*y = 3*h - y - 8, -4*y = 4*h. Which is greater: h or -27?
h
Let s be ((-2)/1905)/(((-50)/90*78)/(-5)). Is 0 <= s?
False
Suppose 0 = -18*b - 725 + 221. Which is bigger: -63 or b?
b
Suppose -3*d + 24 = -2*f - f, -2*d - 4 = 3*f. Let z(k) = -2*k**2 - 8*k - 3. Let o be z(f). Let w be -3 - o - (-1 + 3). Which is bigger: w or -4?
w
Let m = -0.024 - 0.076. Let d be -7 + 3 - 2286/(-567). Which is smaller: d or m?
m
Suppose 19*i = -3*i + 88. Suppose s + 127 = i*y - 2*s, y - 4*s = 22. Is 34 >= y?
True
Let j = -163.83 - -178.83. Is j less than or equal to 1/1522?
False
Let h = 750 - 745. Suppose -5*r = -h*x, -x = -5*x - 4*r. Let s be ((-45)/(-78))/(6/(-8)). Which is smaller: x or s?
s
Suppose b + 2 = -3*j, 4*j + 0*j + 3*b + 1 = 0. Let f be (-124)/(-186)*6/(-1454). Is f smaller than j?
False
Let k = -0.91274 + 0.01274. Which is smaller: -1/101 or k?
k
Suppose 47*d - 6 = 48*d. Let j be (-9 - (19 - -2))*d/32. Which is bigger: j or 5?
j
Let c(p) = -14*p**3 + 92*p**2 + 35*p + 43. Let f(u) = -22*u**3 + 139*u**2 + 52*u + 64. Let d(q) = -8*c(q) + 5*f(q). Let t be d(21). Is t greater than -2?
False
Suppose 709 + 1430 = 31*y. Suppose -16 = -77*n + y*n. Let m = 11 - 21. Which is smaller: n or m?
m
Let b = -7814 - -7801. Which is smaller: -77/6 or b?
b
Let s(j) = -7*j + 2. Let w be s(1). Let x be (-68)/(-12) + w + (-64)/78. Is -1 at least x?
False
Let n = 3520 + -3534. Let c = -8 + 0.2. Let u = -8 - c. Which is smaller: u or n?
n
Let q be (-675)/(-996) + 1/(-6)*423/94. Is 0 less than q?
False
Let c = 381.35769 - 0.28769. Let n = -381 + c. Which is bigger: n or 1?
1
Suppose 41*h + 34403 = -35215. Are -1700 and h nonequal?
True
Let s be (1/3)/((-2)/(-12)). Suppose s*v + 5*u - 8 = -0*v, 0 = -u. Suppose -8 = -4*w + p, v*w = 5*p + 24 - 0. Which is bigger: -2/183 or w?
w
Suppose 2*p = o + 58, p + 4*p = -3*o - 163. Let x = -58 - o. Let y be x*-1*3/9. Which is greater: 1 or y?
1
Let a = -4200 + 4180. Which is greater: a or -18?
-18
Let r = 62.8 + -62. Let w = -0.7 + r. Let x = -2215/3 + 729. Which is greater: w or x?
w
Suppose -25 - 115 = -10*n. Let g(o) = -o**3 + 15*o**2 - 13*o - 18. Let f be g(n). Let l be f/6 + ((-165)/36)/(-11). Which is greater: l or -9?
l
Let m be ((-6)/4 - 1)*(-31)/((-98735)/(-588)). Let z = 3 - 2. Which is bigger: z or m?
z
Let b(x) = 2*x**2 - 2*x. Let s be b(3). Let f = -37378 - -37387. Which is bigger: f or s?
s
Let p = -111 + 102. Let c be 62/(-112) + (-2)/42*p. Which is smaller: 0 or c?
c
Suppose -13*y + 17*y - 616 = 0. Let w = 153 - y. Is w <= -0.3?
True
Let l(g) be the second derivative of g**5/20 - g**4/2 + 5*g**3/3 + 11*g**2 + 11*g + 1. Let f be l(5). Which is greater: 42 or f?
f
Let s = -437 - -440. Suppose 5*w + 166 = p + s*p, -2*p - 5*w = -98. Which is greater: p or 1/2?
p
Suppose 0 = -4*z + 2*z - j - 4, -4*z + 4*j = -16. Let s(g) = -g**3 + 3*g**2 - 24*g + 41. Let l be s(2). Let q be z/l*(-3)/3. Is q smaller than 0?
False
Let j(c) = -c**3 + 13*c**2 + 22*c - 13. Let o(k) = 4*k**3 - 40*k**2 - 66*k + 38. Let v(n) = -7*j(n) - 2*o(n). Let l be v(-8). Are -12.7 and l equal?
False
Let i = 0.4 - 0.2. Let p = 56945 - 56944.8. Is p at most as big as i?
True
Let r = -0.6 + 0.5. Let s = -88.36 - -4.36. Let g = -16 - s. Which is greater: r or g?
g
Suppose 0 = 26*x - 0*x + 182. Let q(r) = -r**3 - 10*r**2 - 2*r - 5. Let p be q(x). Is p greater than or equal to -138?
True
Suppose 4*j - 49 = 3*z, -2*j + 5*z + 26 = 3*z. Let u = 117 - j. Are 106 and u equal?
False
Let c = 793/17219 + -8/257. Let o(v) = -v**3 - 27*v**2 + 2*v + 53. Let l be o(-27). Is l less than c?
True
Let o = -3051 - -3052. Is -2/1753 at most o?
True
Let l = -8648/441 + -520/49. Suppose 16*v - 686 = -206. Let a = v + l. Which is bigger: a or 1?
1
Let t(c) = 4*c + 62. Let l be t(0). Let n = 103 + l. Which is bigger: 164 or n?
n
Let q = 786 + -201998/257. Let t = 3501/10280 - q. Which is smaller: t or -1?
-1
Let t = 9.5 + -9.457. Let l = 38.043 - t. Let a = l + -21. Is a greater than 0?
True
Let r(v) = -59*v**3 - 5*v**2 + 5*v + 3. Let k be r(2). Let c = -69453/145 - k. Which is smaller: c or -1?
-1
Let o(l) = -l**3 + 7*l**2 - 4*l + 27. Let u be o(7). Is u at most -9/5?
False
Let s be ((-2)/34)/(10/8). Suppose 12 = 1972*x - 1975*x - 2*b, -2*x + 4*b = -24. Is x less than s?
False
Let w = 800803867/1108351 - 40/