.6 or s?
s
Suppose 5*p = -5*h - 1175, 5*h = -5*p + 2*h - 1169. Let s = p - -239. Is s at least -9?
True
Let g = -4523 - -5084.4. Let p = 562 - g. Which is smaller: p or 1/24?
1/24
Let f = 765 - 766.085. Which is bigger: f or -1?
-1
Let q = 2.19 + -2.1. Let g = q - 0.19. Let p = -1542 + 1534. Which is greater: g or p?
g
Suppose 121*k - 119*k = 18. Suppose -k*f + 28*f - 418 = 0. Is f at most 4?
False
Let r = -201 + -73. Let l = r + 221. Which is greater: -3 or l?
-3
Let u = -19 - -10.2. Let r = u + -1.2. Let x = -13 + 12.9. Which is bigger: r or x?
x
Suppose 4*y - 3 = 4*j - 35, -5*y = 15. Suppose -m + 7 = -j*u, 0*m - 4*m = 2*u - 50. Suppose 20*k - m*k = -24. Which is smaller: -17/4 or k?
-17/4
Suppose -v = c - 5*c - 7, -4*c = v + 1. Let h = -95 + 100. Suppose 0 = -16*m + 14*m + o + 15, h*m = o + 30. Which is smaller: m or c?
c
Suppose -12*f - 17737 = -13705. Let g = -773 + 437. Is g at least as big as f?
True
Let z(s) = -5*s**2 + 9*s - 3. Let u(o) = -o**2 + o. Let c(l) = 4*u(l) - z(l). Let p be c(4). Is -2/339 less than p?
False
Suppose 4*m - 2*n = -5*n + 36, -m + n + 16 = 0. Let y = 25/2 - m. Suppose -z + 22*q - 19*q = 15, -4*q + 20 = 0. Which is bigger: y or z?
y
Suppose 118 = f - 418. Let c be 8/24 + f/210. Let s = -23/7 + c. Which is greater: 64/3 or s?
64/3
Let r = -6389 - -7817. Is r less than 1428?
False
Suppose 85 = -34*x - 62 + 11. Which is smaller: -389/81 or x?
-389/81
Let n be (-94)/(-752)*268/3. Let y be 352/36 - 4/(-18). Which is greater: y or n?
n
Let k(i) be the third derivative of -5*i**4/3 - 9*i**3 - 2*i**2 + 10*i. Let p be k(0). Is -56 greater than or equal to p?
False
Suppose 3*u + 7 = w, 3*u - 53*w + 51*w = -11. Let g be 1/(-5) + (-7)/(-15). Is u != g?
True
Suppose 2*w = 5*h + 35, 0 = 2*w + w - 2*h - 80. Let q be w/68 - ((-99)/12)/(-33). Which is smaller: q or -1?
-1
Suppose -4*o + 669 = -947. Let d be (16/o)/((-10)/5). Let h(w) = w + 6. Let p be h(-5). Which is smaller: p or d?
d
Let t = 29.2 - 29.3. Let q(c) = -2*c**3 + c + 1. Let m be q(2). Which is bigger: t or m?
t
Let n = -0.0671 + -1.1679. Let i = 0.235 + n. Is -52 at least i?
False
Let w be 404/(-1414) - 9/(-7). Which is greater: w or 3/3067?
w
Let r be 15 - (-4 + (300 - 24)). Is r greater than -257?
False
Let t(d) = 6*d + 2. Let a be t(-3). Let y be (-4)/a - (-247)/4. Let p(n) = 8067*n + 40397. Let v be p(-5). Is y > v?
False
Let f be (-4)/(48/(-27)) + (-2)/8. Suppose 4 = -f*h - 3*v, -3*h + 0*h = 3*v + 3. Let s be 0/(((-6)/18)/(h/3)). Which is bigger: 1/147 or s?
1/147
Let d be (-4)/10 - (-180)/(-300). Is 4/3465 at least as big as d?
True
Suppose 0 = -24*m + 21*m. Suppose m = 5*y + l + 106, y + 15 = 2*l - 4. Let w(o) = -o**2 - 20*o + 76. Let t be w(-24). Which is bigger: y or t?
t
Let y = -17 + 19. Suppose 6 = -y*s + p, p = -2*s - 0*s - 14. Let g be (-2)/s - 106/(-10). Is g < 9?
False
Let z(l) = l**2 + 4*l - 29. Let h be z(-8). Suppose -8*a + 2*j = -h*a + 210, 0 = 5*j + 25. Are -128/3 and a non-equal?
True
Let r = 2394 - 2394. Is r at least as big as -11/200?
True
Let g = 536/31 + -411050/23777. Let b(a) = -77*a - 2387. Let v be b(-31). Which is smaller: g or v?
v
Let z = 2 - 0. Suppose -2*w = -4*k - 5*w + 12, 0 = -k - 2*w - z. Let t(b) = 12*b**2 + 72*b - 182. Let m be t(-8). Which is greater: k or m?
m
Let z be ((-100)/10 - -3)/(-4) - 4/2. Is 275 greater than or equal to z?
True
Let n = 9 - 8. Suppose -3*c - n = 5*l + c, c = 4*l + 5. Let a = l + 0. Is a at most as big as -24/13?
False
Let b(q) = -q**2 + 20*q - 2. Let n = -118 + 138. Let m be b(n). Are m and -5 equal?
False
Let m = -0.015 - 30.985. Let j = 312 + -311.968. Let r = j + 0.068. Which is greater: r or m?
r
Let c = 1 + 0. Let y = -8948 + 8948. Are y and c nonequal?
True
Let s(o) be the first derivative of o**4/4 + o**3/3 + o**2/2 + 14*o + 1. Let t be s(0). Let q = t + -4. Is q greater than -5?
True
Let v(i) = -59*i - 1. Let s be v(1). Let u(n) = 11*n**2 - 213*n + 209. Let d be u(18). Which is smaller: s or d?
d
Suppose -5*m = 4*h + 21, 3*m - 5*h + 4 = -16. Let t be m*4/(-1 - 3). Suppose 27 = p - 4*z + 6, -25 = t*z. Which is greater: -4/35 or p?
p
Let u = -0.3587 - -0.373. Is 0 bigger than u?
False
Suppose 0*c = -3*c + h - 1, 2*c + 4 = -h. Let z be 4/(-1) + 9300/2175. Is z smaller than c?
False
Let g = -0.05449 + -2.94551. Is 450 bigger than g?
True
Let d = 299 + -295. Suppose -3*k + 217 = d*k. Which is smaller: 25 or k?
25
Suppose 8*z = 3*z - 4*r - 1595, -5*z = -r + 1620. Let i = -225 + -99. Is z > i?
True
Let g(q) = -q**2 - 6*q + 6. Let b be g(-7). Let s be 117*-1 - (0 - b - -2). Let a = s + 121. Which is bigger: a or -3/10?
a
Let q(s) = -s**2 + 5*s - 5. Let v(d) = -3*d**2 + 18*d - 18. Let x(c) = 18*q(c) - 5*v(c). Let m be x(1). Let w = -11859 + 47421/4. Is w < m?
True
Suppose 0 = 3*h + 3*k - 5148, 9*k - 4*k = 5*h - 8620. Suppose 263*c - h = 259*c. Are c and 429 equal?
False
Let u be -1*1 - (-27)/10. Let a be (568/80 + -7)/(44/1320). Which is smaller: a or u?
u
Let y = -5597 + 5597.2. Is -210 > y?
False
Suppose -4*f - 5*q = -18, 8*f - 4*f + 4*q = 16. Suppose 4*c = -2*l - f, 3*c - 5*l + 8 = -0*c. Which is greater: -5 or c?
c
Let a be 25 + (8 - 4) - (18 - 15). Is a >= 259/10?
True
Suppose 2*h - 54 + 48 = 0. Suppose 0 = -i + c - h*c - 1, 2*c = 4*i - 26. Suppose 24 - 4 = -i*m. Is -1 at least m?
True
Let a(u) = u**2 + 20*u + 19. Let l be a(-9). Let x be l/(-14) - (-2)/7. Which is smaller: 4 or x?
4
Let t = -23.76 - -23.743. Which is smaller: t or 2/3?
t
Let a = -9121 - -8759. Which is bigger: -1082/3 or a?
-1082/3
Suppose -556 = -a + 374. Let r = 1752 + -1752. Suppose r = 2*t + 13*t + a. Which is bigger: -63 or t?
t
Let j = 896.1 - 894.97. Is -1/6 smaller than j?
True
Suppose -5568 - 18151 = 36*i - 1471. Which is smaller: -0.07 or i?
i
Let r = -1381/25 - -55. Suppose -3 = -a - 0. Suppose -2 = -a*l + 5*l. Which is bigger: l or r?
r
Let s = 4.012 + -0.012. Let m = 52.21 - 51.74. Is m < s?
True
Let y be (2/15)/(4/(40/(-1))). Suppose 5*c + 56 = -4*q, c - 3*q = -7*q - 24. Let h(p) = p**2 + 9*p + 6. Let j be h(c). Is j != y?
True
Let c = -6/21059 + -52500057/105295. Is 1 <= c?
False
Let k(w) be the first derivative of 5*w - 3*w**2 + 1/3*w**3 - 1. Let j be k(5). Is j at most as big as -3?
False
Let a(f) = 2*f + 28. Let d be a(-12). Suppose 0 = 2*y + d*n - 26, 0 = 4*y - n - 4 - 12. Let h be (27/y - 5)/((-1)/(-60)). Is h at least 22?
True
Suppose -c + d - 2108 = 0, 2031 = -2*c + 3*d - 2186. Is -2105 less than c?
False
Let v = 263 - 413. Suppose -8*q + 3*q + 300 = 4*x, -4*q - 2*x + 240 = 0. Let o be (26/3*1)/(q/v). Which is bigger: -23 or o?
o
Suppose 8*w + 7*w = 2*w. Which is smaller: 26/265 or w?
w
Let o be (-1)/2 + 54495/(-138). Let m = o + 396. Suppose 918 - 397 = 163*t + 358. Which is smaller: t or m?
m
Let f = 9835/4 + -1151687/468. Which is greater: f or -1?
-1
Let d = -64 + 90. Let q = d + -26. Suppose r + 0*r - 31 = q. Which is smaller: r or 30?
30
Let y be 368/60 + 4/(-30) + 18607/(-3101). Is y < 1?
True
Let a = -143.14 - -143.34. Which is smaller: -5654 or a?
-5654
Suppose 3971 + 5391 = -31*a. Let l be 3 + (-3)/(-102)*a/3. Which is smaller: -1 or l?
-1
Suppose -6 - 21 = -3*k. Let q(j) = 3*j**3 - 20*j**2 + 12 + k*j**2 + 14*j - 4*j**3. Let v be q(-12). Is v at most -12?
True
Let d = 114 + -110. Let f(t) = -t**2 + 5*t - 3. Let x be f(2). Suppose w - d*m + 12 = -x*w, 0 = -3*w - 2*m + 1. Do -2/33 and w have the same value?
False
Let q be -3*(5 + (-51)/9) + 15. Suppose 0 = 11*m - 39 + q. Which is bigger: 18/7 or m?
18/7
Let k = 50 - 25.94. Let p = k - 0.06. Let i = -34 + p. Is 0.3 smaller than i?
False
Let t(z) be the second derivative of -41*z**3/6 - 12*z**2 + 89*z. Let x be t(-4). Is 140 at least x?
True
Suppose c - 5*s + 23 = -0*s, 3*c + 149 = -s. Let h be 12/c*(2 - 6)*1. Let t = 15 + -9. Do t and h have different values?
True
Suppose 92 = 14*p + 50. Suppose -r = 66*a - 69*a - 2, 0 = p*a + 5*r + 8. Which is greater: a or -5/43?
-5/43
Suppose -5*j = -3*j - 3*y + 15, 4*y = 4*j + 20. Does j = -3/3023?
False
Let x = -10.2 + 182.15. Let r = x - 172. Is r > -2?
True
Let q = 2/2111 + -2481/390535. Let z be (-6)/(-21) + 72/(-105). Is z less than or equal to q?
True
Let u = -12.81 + -0.19. Let c = -59029 + 59053. Is u at least as big as c?
False
Let l(y) = -980*y - 1680. Let a be l(8). Which is bigger: -9521 or a?
