or -2?
r
Let k(c) = c**2 - 6*c + 11. Let t be k(2). Let b be (t - 6/2)/(-1). Is b < 4/47?
True
Let s = -106 + 532/5. Let c(f) = -24*f**2 + 48*f + 73. Let l(d) = -13*d**2 + 25*d + 37. Let m(y) = 6*c(y) - 11*l(y). Let z be m(15). Which is smaller: z or s?
s
Let g be 43 + -19 - 0 - (8 - 1) - 5. Is 593 at most g?
False
Let h = 0.09286 - -101.90714. Is h bigger than -8/7?
True
Let r be ((-2)/(-6))/(4 + (-78)/18). Let h be (-6572)/(-2188) + ((-4)/1 - r). Which is smaller: 0 or h?
0
Let s be ((-124)/26 - -5) + 147/39. Are 839 and s non-equal?
True
Let k = 6.3 + -7.484. Let i = -1.1 - k. Let a = -0.016 - i. Is 1.8 less than a?
False
Suppose -10 = 2*w, -3*m + 43 = 5*w + 164. Which is bigger: m or -368/11?
m
Suppose -2*a + 5525 = q, 98*a = 4*q + 95*a - 22166. Is q >= 5537?
True
Let n = 335 + -304. Suppose 0 = -5*u - z + 1563, -3*u = -8*z + 4*z - 924. Suppose u = 37*t - n*t. Is t != 52?
False
Let k(f) be the first derivative of 12 - 4*f + 1/3*f**3 + 3*f**2. Let w be k(-7). Which is smaller: 6 or w?
w
Let y(t) = t**2 + 4*t + 2. Let u be y(-4). Suppose 4*w + 72 = -3*r, -u*r + 0*r = 3*w + 49. Suppose 0 = -5*a + 5, i - 61 = 4*i - a. Is i at least r?
True
Let u = -14746.096 - -14746. Is 4 less than or equal to u?
False
Suppose 3*o - 1696 = -4*c, 1506*c - 2*o - 848 = 1504*c. Which is bigger: c or 416?
c
Suppose 12*q - 3*q = 21*q. Which is smaller: 116/403 or q?
q
Let k = 131 + -61. Let p = -67 + k. Suppose -4*l + d = 267, p*l - 5*d + 81 = 2*l. Is -65 greater than l?
True
Suppose -57*y + 56*y + 4*p + 40 = 0, -3*y = p + 10. Let n be 1*(0 + 1) + 0. Let o be 1 + n - (-8)/(-2). Which is smaller: y or o?
o
Let u = -4080 + 44910/11. Suppose 0 = -4*i + 5 + 7. Which is smaller: u or i?
u
Let d = 7121 + -6542. Is 584 equal to d?
False
Let q = -2565 - -2560. Which is bigger: q or 33/4?
33/4
Suppose -2*f + 6*f + 3*o = -1180, 0 = 4*f + 4*o + 1176. Is f less than -298?
False
Let o(f) = -f**3 - 2*f**2 + f - 3. Let l be o(-3). Suppose l*q = 0, q = 2*r - 2*q - 20. Suppose -16 = -2*c + 6*z - 5*z, -3*c + 24 = -3*z. Is c less than r?
True
Let x = -3213 - -73909/23. Is x at most 0?
False
Let z = -15.54 - 2.36. Let h = -199 - -181. Let f = z - h. Which is smaller: f or -0.14?
-0.14
Let g be (18/14)/((-2)/(-24)). Let x(m) = -2*m**3 - 8*m**2 + 60*m + 142. Let w be x(-7). Is w at most as big as g?
False
Let u(o) = 2*o**3 - 28*o**2 + 75*o + 6. Let j be u(4). Is -287/20 at most as big as j?
True
Let o be ((-9)/1)/((-441)/(-1470)). Is o at most as big as -34?
False
Let g(o) = 29*o + 322. Let i be g(-10). Which is smaller: i or 25?
25
Let t be (-2)/3*-112*(-189)/(-14). Suppose 70 = -1015*y + t*y. Is y < -64/7?
True
Suppose 0*o = 7*o + 114*o + 224818. Is o smaller than -1857?
True
Suppose 17047 = 34*r + 59579 + 154294. Which is greater: -5788 or r?
-5788
Let o = -22974/16697 - 474/283. Which is smaller: -4 or o?
-4
Let y = 19185 + -19185.2. Which is bigger: y or -2369?
y
Let d be (-4 - (-1414)/126) + -8. Is d at least as big as 1?
False
Suppose -5*q + 4*c + 8 = 0, 4*q + 4 = -5*c - 6. Let z(g) = -g**3 - 7*g**2 - 5*g + 5. Let h be z(-6). Let s be (1 - h)*-4*9/2304. Which is smaller: q or s?
s
Let j = 286 - 2594/9. Suppose 19*n - 6*n = -1001. Let t be (-52)/44 + (-14)/n. Which is smaller: j or t?
j
Suppose 8*c = -15*c + 299. Let k be (2/(-11))/(c/(-195)*5). Let n be (-2)/4*(-1 + 1). Which is smaller: n or k?
n
Suppose 0 = -72*p - 3833 - 13914 - 32725. Which is smaller: p or -699?
p
Let a = 7 - 4. Suppose 0 = -a*r - 6 - 0. Let q = 994 + -994.03. Is q bigger than r?
True
Let v be 7 - 1 - 1 - (-122841)/(-24579). Which is bigger: 0 or v?
v
Suppose 52*w - 21*w = 155. Suppose -2*o = 5*h + 23, 3*h + 16 = -w*o + 6. Which is smaller: 7.4 or o?
o
Suppose -v = -0*h - 2*h + 3, 5*v = -2*h + 9. Let o = 0.0405 + 0.1795. Which is bigger: h or o?
h
Let n(u) = 2*u**3 + 7*u**2 + 9*u. Let x be n(-2). Is x < 48?
True
Let v = 32485 + -32484.86001. Are v and 0.1 non-equal?
True
Let p = -99292/5 - -19858. Let k = 1.6 + -1.656. Is p bigger than k?
False
Suppose 12*t + 673 - 109 = 0. Let p be ((-16)/6)/((-2)/t)*-3. Is p smaller than 187?
False
Let r = 851.6 - 851.3. Which is greater: 122/7 or r?
122/7
Let x(n) = 15*n**2 + 63*n + 368. Let a be x(-6). Is a not equal to 533?
True
Suppose -b = 5*g - 3*b - 2057, -4*g + 1668 = 4*b. Let x = g - 5779/14. Let f = 14206 - 14207. Which is greater: f or x?
x
Let w be (3/12 + (-9)/36)/(5 + -6). Which is bigger: w or 2/10499?
2/10499
Let w be (1 - 2/8)*12. Let x = -41 + 51. Suppose -5*h + 57 = -x*b + 14*b, -3*b - 27 = -4*h. Is w less than or equal to h?
True
Suppose -z = 3*z - 5*y - 64, -4*y - 68 = -4*z. Let v = z + -55. Let b = 70 + v. Is 36 at least b?
True
Let n(g) = -g - 4. Let r be n(-10). Let z be ((-8)/r)/((-143)/(-33)). Let y = -575 + 575. Is z greater than or equal to y?
False
Let q = 5120 + -3831. Is -2 smaller than q?
True
Let z(p) = -3*p - 2. Let w be z(5). Let q = w + 12. Let r be (-57)/(-3) - 207/9. Which is smaller: q or r?
q
Let t be (-2 - (-12)/5) + 552/48. Let h = t + -62/5. Let j = -6 - -4. Is j at least as big as h?
False
Let i = -4.15 + 172.15. Let w = -167.86 + i. Do w and -9 have different values?
True
Suppose -8*v - 33 = -9*v + 3*h, 2*v - 94 = -h. Let x = v - -18. Is x smaller than -2?
False
Let y = 8635 + -8636. Which is smaller: y or 1.3515?
y
Suppose 3 = 2*o - i, 2*i - 1 = o - 4. Let l be 2*(1 + o*-6). Suppose -29 = 5*p + 4*r, p + 30 = -p + 3*r. Which is greater: l or p?
p
Let u be ((-1406)/(-133))/(-37)*(-2649)/(-6). Which is greater: -126 or u?
-126
Let f = -2.27265 + -0.08235. Which is bigger: 0 or f?
0
Let z = 0.012 - 125.012. Let l = 125.05 + z. Which is smaller: -1.1 or l?
-1.1
Let h be (-2)/(-5) - (-436)/(-1115). Let p = 245/6 - 151/4. Let u = p - 10/3. Is u greater than h?
False
Suppose o + 78 = 5*i, -3*i = -33*o + 31*o - 51. Let y = -815/4 - -18637/92. Let n = 1024/69 + y. Is n < i?
True
Let d be -11 + ((-718233)/87176)/(9/(-12)). Which is greater: 0 or d?
0
Let n = 8448 + -5443. Are -1/2 and n nonequal?
True
Let t be (0 - -51)*(40/(-12) + 4). Let q be ((-2)/(-6))/((-2941)/t). Is -1 smaller than q?
True
Let z = -2864 - -40051/14. Which is smaller: z or -6?
-6
Let z be (-156)/(-507) + 27/39. Let n(p) = p + p - 3*p. Let c be n(z). Which is smaller: c or -1/19?
c
Let l = 1/1768 + -123847/153816. Are l and -1 unequal?
True
Let t = 12 + -12. Suppose 14*x - 32*x + 1386 = 0. Suppose -26 = s + 2*v, -2*v + x = -3*s - 25. Is s less than t?
True
Let x = -415/16 - -85/16. Which is smaller: x or -6?
x
Let y = -484 - -484.2. Which is smaller: y or 3/350?
3/350
Let w be -670*(-27)/((-1890)/(-28)). Which is greater: w or 254?
w
Let o be (-47)/(-705) + 82/120. Let q = 227 + -229.18. Let g = q - -0.18. Which is smaller: g or o?
g
Let g = -69886/513 + 2670/19. Let s = -7897/1836 + g. Is 0 greater than s?
True
Let u be ((-296)/30 - -2) + (-16)/120 + 9. Which is greater: 20/2109 or u?
u
Let x = 60 - 20. Let h = -40 + x. Suppose h = v - 4*v. Which is smaller: v or -2/13?
-2/13
Suppose 30 = -19*s + 429. Let v be (1715/105)/(s/9 + -2). Which is smaller: 48 or v?
48
Let q be 11 - (-4 + (-4 - -13)). Suppose 31*t + q = 29*t. Which is bigger: 5 or t?
5
Let k be (-3348)/135 + 25 + (-1648)/(-10). Is 114 at most as big as k?
True
Let i(f) = 2*f**2 + 32*f - 44. Let l(y) = 3*y**2 + 32*y - 44. Let w(t) = -6*i(t) + 5*l(t). Let p be w(11). Which is greater: 54 or p?
p
Let m(b) = b**3 - 7*b**2 + 18*b - 14. Let j be m(8). Let d = j + 378. Let o be (-16)/d + (-8)/52. Which is smaller: -0.3 or o?
-0.3
Suppose -4*m + 5*k + 12 = 0, m - 5*k + 0*k + 12 = 0. Let q(d) = 2*d**2 - m*d - 2*d - 32 - d**2 - 2*d**2. Let a be q(-8). Which is greater: -17 or a?
a
Let n be -85*50/(-160)*-8 + 10. Which is bigger: n or 5/2?
5/2
Suppose 3*x = 4*q - 28, -x - q = -6*x - 41. Let n be (-23)/x*-2 - (1 + -2). Which is greater: n or -5?
n
Let b be (-3)/9*(2 + -3)*9. Suppose -3*v + 2*v = 3*t - 8, 4*v - 23 = -b*t. Suppose z + 5 - 30 = v*m, -36 = 4*m - 4*z. Which is smaller: -1/6 or m?
m
Let j(z) = -100*z - 2300. Let d be j(-23). Are 34/165 and d equal?
False
Let c = -3/4280 - 483601/55640. Is -10 > c?
False
Let j be (-78)/(-312) + 2/(-4). Which is smaller: 0.41 or j?
j
Let z(h) = -h**3 - 6*h**2 + 6*h - 8. Let f be z(-7). Let w = 46806/11 + -11748284/2761. Is f at least w?
False
Let d = 79.8 + -79.859. Let q