ual to c?
False
Let t be (-18)/(-27) + (-52)/42 + (-1308)/14. Is t at most -106?
False
Suppose -30*n + 1517 = -3763. Is 874/5 >= n?
False
Let r(a) = -a**2 - 7*a - 25. Let g be r(0). Let o be (-1)/10*-122 + 5/g. Let n(w) = w**3 - w**2 - w + 13. Let i be n(0). Is i less than o?
False
Suppose 2*a - 32 = h, -2*h - 216 = -10*a - 68. Let y(v) = -10*v + 2. Let d be y(2). Let u be d/30*(1 + (-4)/a). Which is bigger: -1 or u?
u
Let j(d) = -d**3 + 78. Let w be j(0). Let t be w/(-36) - 1/(-6). Let f be 2*(-15)/t*1. Which is greater: 1 or f?
f
Suppose -99*g - 241 + 341 = 199. Is g at most -13/1077?
True
Let l = -1538109/10097 - 2/30291. Let o = 8681/57 + l. Which is bigger: o or 0?
0
Let n be (-3)/6*556/6 + -4. Let f = 2719/54 + n. Is 0 != f?
True
Suppose 0 = -54*n + 17260 + 1737 + 6923. Is 484 > n?
True
Let o = -0.04736 - -0.10736. Is o at most as big as -766?
False
Suppose -3*a + 18 = -2*g, -a - 1 = -5. Let j be -5 + 5 - 3/((-18)/(-51)). Let b = -10 - j. Which is smaller: b or g?
g
Suppose 0 = -3*u + 2*s + 7, 3*u - 4*s + 1 = -0*u. Suppose u*h - 133 = -3*o, -2*o - 3*h + 4 = -85. Is o >= -2?
True
Let b be 128/24*474/8. Suppose -15*j = -19*j - b. Let t = j + 54. Is -25 bigger than t?
False
Let f = 0.0523 - 10.9023. Let x = f - -34.97. Let s = -24 + x. Which is smaller: s or -2/5?
-2/5
Let m = 156 - 162. Let o be (-287)/82 + m/(-4). Let w be 3/6 - 1/(-2). Which is greater: o or w?
w
Let q(o) = o**3 - 19*o**2 + o - 154. Let f be q(0). Is -150 smaller than f?
False
Let x = -104614 - -304786/3. Let y = -3069 - x. Are -50 and y equal?
False
Let h = 0.0088 - 0.0236. Let n = 0.6148 + h. Which is greater: n or 6/5?
6/5
Suppose -2723 = 10*n - 8343. Let c = n - 567. Does -69/13 = c?
False
Let t = 10396.6 - 10398. Is -2.38 >= t?
False
Let t be (((-18)/45)/((-4)/5))/(5/10). Which is smaller: 34.75 or t?
t
Let d(b) be the third derivative of -19*b**2 + 3/2*b**3 + 0 + 1/24*b**4 + 0*b. Let a be d(-10). Is -20/13 at most as big as a?
True
Suppose -2*f = -2*m, -4*m = 2*f - f + 15. Let r = -38 - -40. Let i be (r/(-6))/(3/(-3 - 15)). Which is bigger: i or f?
i
Suppose -263 = 132*w - 50*w + 181*w. Is w != -1/2181?
True
Let s = -0.00654 + 62.00654. Is 1/13 less than or equal to s?
True
Suppose -y = 4*y. Let o = -130.285 + -2.615. Let n = 130 + o. Is y > n?
True
Let d be 618/21 + (-2)/(-7). Let g be 6565/202 - ((-14)/4)/(-1). Is d at most as big as g?
False
Let d be ((-156)/8)/(-13) + (-3720)/(-48). Which is smaller: d or 6?
6
Suppose -40*x - 147000 - 19206 = 5914. Which is greater: -4304 or x?
x
Let p be 3/(27/774) - (-1 - (0 - -4)). Are 92 and p unequal?
True
Let p(b) = b**2 - 9*b + 18. Let j be p(8). Suppose 4*g + 123 = 5*k, 5*k = -3*g - j + 119. Suppose 11 = 4*m + k. Which is smaller: -8/3 or m?
m
Let h = 288317/2 - 2025125/14. Is h >= -0.1?
False
Suppose 2*z + z - 481 = -4*r, 4*r + 2*z - 474 = 0. Is r > 1978/17?
False
Suppose 100*j - 391019 = 445016 - 196035. Which is smaller: 6399 or j?
6399
Let v = 99 - 98. Let k = v - 1.1. Which is bigger: 1/11 or k?
1/11
Suppose 2*c - 6*c + 34 = 3*n, 5*n - 40 = -5*c. Suppose -c*v - 1025 + 185 = 0. Which is smaller: -423/5 or v?
-423/5
Let u = 1094759/131 + -8357. Is u greater than 0.1?
False
Let p = -404 - -415. Let k = 50 + -33. Let u = p - k. Does u = -2?
False
Let k(u) = u**3 - 6*u**2 + 2*u + 8. Let m be k(5). Let t(r) = -r**3 - 8*r**2 - 9*r + 7. Let y be t(m). Let g be (y + -18)*2/(-582). Is -1 < g?
True
Let l(g) = 8*g - 94. Let i be l(13). Let d be ((-2)/i)/((-34)/85)*2. Let v = -278 + 45316/163. Is v != d?
True
Let r = 519/4 + -327481/2524. Let o = 2510/4417 + r. Let m(c) = -c**2 - 11*c - 8. Let h be m(-10). Is o not equal to h?
True
Let u = 7.21 - 4.54. Let b = u + -1.97. Which is greater: b or -1?
b
Let d(x) = -5*x**3 - 10*x**2 + 8*x + 38. Let n(r) = -3*r**3 - 7*r**2 + 5*r + 25. Let k(g) = 5*d(g) - 8*n(g). Let v be k(4). Which is bigger: 11 or v?
v
Suppose -9*h + 18*h - 3228 - 6510 = 0. Which is greater: h or 1081?
h
Let b = -30 - -36.1. Let l = 608.9 - 605. Let n = b + l. Are n and 0.2 non-equal?
True
Suppose -2*z = -4, k - 2*k = -4*z + 5. Suppose a = 4*a + 9, -3*j + 9 = -a. Suppose j*t - t = -4, -k*v + 107 = t. Which is greater: -1 or v?
v
Suppose 16200 = 25*c + 13*c - 14*c. Is c greater than or equal to 675?
True
Let g = 9567846/473 - 20228. Is g less than 1/61?
True
Suppose -361 + 21 = -5*k. Suppose 0 = -3*z + 23 - k. Let c be (0 - 17)/1 + 1. Which is smaller: c or z?
c
Let u = -2369891/2408375 - -2/96335. Is u less than 0?
True
Let d be ((-252)/36864)/(18/24). Are d and 1 unequal?
True
Let t be (-6)/14 + ((-214650)/189)/(-25). Which is greater: 61 or t?
61
Let w be (-8)/(-12)*(-5)/2. Let g be (-3)/(10/4 - 4). Suppose 6*m - g = -8. Is m > w?
True
Let x be (-12)/30 - (-4202)/(-495). Which is smaller: 11/8 or x?
x
Let t(o) = -o**2 + 29*o + 29. Let m be t(15). Which is bigger: 236 or m?
m
Let i be (0 - 2/4)/(112/(-116256)). Let a = -732 + i. Which is smaller: -212 or a?
a
Let q(m) = m + 7. Let i be q(-3). Suppose g = 5*r + 2513, r - g - i*g = -493. Let x = -6542/13 - r. Is 1 < x?
False
Let b(z) = -29*z + 92. Let j be b(13). Let h = j + 4561/16. Is h <= -1?
False
Suppose -2*c + 3*c = -2*b + 6, 2*c = 4. Let r(i) = 18 + 2*i**2 + 8*i**b - 12*i + i**3 - 2*i**3 - i**2. Let t be r(8). Is t bigger than -15?
True
Suppose 0*x + 4*x - 8 = 0. Suppose -16 = -3*f - 1. Let o be ((-20)/14)/f*7. Is o less than x?
True
Suppose 0 = a + 3*t + 8, -4*t - 15 + 2 = a. Let u = 110761/11 + -10061. Which is smaller: u or a?
a
Suppose 0 = -4*d + 4*m - 1596, -3*m - 285 = d + 98. Let h = 3153/8 + d. Suppose 4 = x + 5. Which is greater: x or h?
h
Let p = 169 + -173. Let i be -1*(-19 - -1 - p - 3). Which is greater: 20 or i?
20
Suppose 0*n - 30 = -3*n + 3*x, -4*x + 23 = 5*n. Suppose -n*b - 1160 = 3*b. Is b > -115?
False
Suppose -3*w + 32 = -4*a + 3, 13 = w - 3*a. Suppose -t + 6 = -w*t. Which is smaller: t or -1.45?
-1.45
Let o = -140821/1256 - -897/8. Which is smaller: 0 or o?
0
Let n(f) = 133*f**2 + 5*f - 6. Let b be n(1). Is 130 > b?
False
Let t = 4179 - 2130. Is t at most -1?
False
Let m = 130502/13 + -395812774/39429. Is 0 at most m?
False
Let b(a) = 15*a. Let f be b(-3). Let n be 50/f + (-2)/(-18). Let o = -17/3 - -1040/183. Which is bigger: n or o?
o
Suppose -341792 + 211584 = -627*l + 319351. Is l != 718?
True
Let d be (-21)/63 + ((-28204)/7584)/(-11). Is -1 greater than d?
False
Let x = -41 + 12.7. Let b = x - -9.3. Which is greater: b or -1/3?
-1/3
Suppose 0 = -z - 5*x + 1676917958, 0*z + 4*x = -3*z + 5030753830. Let o = 2830637368163/1688 - z. Let v = -527/8 - o. Are v and 0 nonequal?
True
Suppose 10*v + 262 - 252 = 0. Is v less than -4/1143?
True
Suppose 0 = -6*s + 5*p + 2260 + 3090, 3*s = -2*p + 2666. Which is smaller: 889 or s?
889
Let k = -0.0797 - 0.0233. Let r = k + 0.003. Let f = -19 - -21.8. Which is smaller: f or r?
r
Let n be 258116/(-5882) + 4/(-34). Which is greater: 40 or n?
40
Let i = -11923 + 11923. Which is greater: -950 or i?
i
Let g = -1 + 5. Let w(t) = -8*t + 551. Let m be w(64). Suppose -g*n = -3*j - m + 10, -2*j = n - 21. Does n = 13?
False
Let y = -0.15315 + 3.15315. Is y greater than -2601?
True
Suppose 33*o - 30*o - 5*h + 20 = 0, -2*o - h + 4 = 0. Is o at least 2/17047?
False
Let m = 35.5 + -30. Let y = 73 - 78.6. Let l = m + y. Which is smaller: 11 or l?
l
Let i(f) be the second derivative of f**4/12 - 5*f**3/2 + 14*f**2 - 13*f. Let p be i(9). Let k = p + 26. Which is bigger: k or 7/5?
7/5
Let u be (-22)/(-363)*11 - (2 + 0)/2. Which is bigger: 476 or u?
476
Let m be (-2)/((-1494)/744 - (-2 + 0)). Let j be m/900 - (258/(-54) - -5). Which is smaller: j or -1?
-1
Let x = 3671 - 3671.24. Is x at most as big as -143?
False
Suppose -5*h - 4*l + 18140 = 0, -2*h = 3*l - 5471 - 1778. Let v be 2/(-8)*h/(-24). Let z = -16105/426 + v. Is z at least -1?
True
Let x(b) = -72*b - 281. Let p be x(-4). Let r be 13 + (-4)/(-2) + -4. Is r <= p?
False
Let c = 68158271/35827 + 88/3257. Let l = -1907 + c. Which is greater: l or -6?
l
Let d = 6656 - 6656. Which is greater: d or 43/64?
43/64
Let r = -24.94 + 102.02. Let b = r - 77. Is -1 at least b?
False
Let t = 370 + -250. Suppose 5*n = q + 24, 2*q = -3*q - 4*n - t. Does -28 = q?
False
Let x be 16/(-48) + (-1240)/6. Let p = x + 184. Which is smaller: p or 2?
p
Suppose 3*q = -143 + 41. Let c 