3*h - 5*t + 8 = -8. Let f(v) = 2*v**2 - 5*v**2 - v - 4 + 7. Let a be f(h). Is -26 less than or equal to a?
False
Let r = -280 - -328. Suppose -2*v - 13 + 7 = 0. Is v equal to r?
False
Let x be (3/4)/(-1 + (-10)/(-8)). Let q be 2/(-24)*x - 177/(-756). Which is smaller: 0 or q?
q
Suppose 3*l = 3*a - 4*a + 22, -5*l + 110 = 5*a. Suppose 21*f + 2 = a*f. Let x be (3/f + -2)/((-10)/(-140)). Is -7 bigger than x?
False
Let k = 106/209 - -286833/2717. Which is bigger: 105 or k?
k
Let k be (2443/(-70) - -34)/(110/72 + -1). Which is bigger: -3 or k?
k
Let l(p) = p**3 + 6*p**2 - 7*p - 9. Let t be l(-8). Let c = -82 - t. Is 0.21 greater than c?
True
Suppose 2*k + 4*c = -42, -5*c - 28 = k + 5. Let m be 78/k + (-43 - -3). Is m >= -44?
False
Let g = -119/75 + 164/75. Is g not equal to 1585?
True
Suppose 6*m + 36 = 2*m + 2*b, 5*m + 5*b + 60 = 0. Let z be m/(-980)*24/(-2). Which is smaller: 0 or z?
z
Suppose 5*a = 5*l + 120, -76 = 3*l + 32*a - 36*a. Does -7 = l?
False
Let z be ((-780)/48 - -15)*1. Are z and 4 unequal?
True
Let n = 127/14 - 123/14. Suppose -6*w - 463 = 29. Which is bigger: n or w?
n
Let g = -114 - -113. Let p be (-3)/(-2) + -1 + 17/(-12). Which is greater: p or g?
p
Let z be (-158)/553 + 5/(-7). Which is greater: -2/4193 or z?
-2/4193
Let u(r) = r**2 - 9*r. Let a be u(9). Suppose a = -7*c + 7 - 0. Let q be (-595)/84 - c/4. Are q and -7 equal?
False
Let m = 12.219 - -47.318. Let h = m + -59.5. Which is greater: h or -2?
h
Let s be 4*1182/(-16)*(-210)/1125. Which is smaller: 54 or s?
54
Suppose 2*l = 4*s + 4180, -5*s - 7*l - 5218 = -6*l. Let d be (s/(-8))/((-75)/(-20) - 3). Is 174 >= d?
True
Let p = 1674 - 38496/23. Let n(q) = -q + 2. Let k be n(6). Let y be ((-1)/2)/(9/2 + k). Is y < p?
True
Suppose f - l = 7, -2*l - 25 = -4*f - l. Suppose 5*d = 2*r - 65, -3*r + 40 = -5*d - f*r. Suppose 0 = -3*i + 2*i - 4*b - 17, 5*b = -5. Which is smaller: i or d?
i
Let c(g) = -g**2 + 9*g - 8. Let t be c(8). Suppose w + 4*w = t. Let x be 2/16 - (-91865)/11704 - 24/3. Is w greater than or equal to x?
True
Suppose -59*c + 4*l + 88 = -57*c, 0 = -5*c + 4*l + 220. Which is bigger: 1 or c?
c
Let h be (-5)/(-20) + -41*(-78)/(-24). Is h at most as big as -134?
False
Let h = -8325 - -8325.13. Is 1/349 at least h?
False
Suppose 0*q + p = -4*q - 57, -37 = 4*q - 3*p. Let n(u) = u**2 + 10*u - 17. Let o be n(q). Suppose -3*y + j = -0*j - o, 3*y - 30 = 3*j. Is 3/4 at least y?
False
Suppose 4*z + 6 = -2*n, 0*z - z - 15 = 5*n. Suppose 0 = 60*t - 64*t, 4*a - 2*t - 60 = 0. Let j be 4/(-6)*((-81)/a - -6). Which is bigger: z or j?
z
Let x = -20783.89 - -20701. Let o = 83 + x. Are 15 and o non-equal?
True
Let y(l) be the second derivative of 8*l**3/3 - 115*l**2/2 - 3*l - 4. Let u be y(7). Which is bigger: 9 or u?
9
Suppose 32 = -490*n + 522*n. Suppose -5*z + 0*u + 1001 = u, 999 = 5*z - u. Is z greater than n?
True
Suppose -3*z - 19 = -4*x, -4*z = 5*x + 13 + 2. Let o be 9/(-4) + x + (-28)/16. Is 2 > o?
True
Let z be (-102)/(-105) + 157/5495. Let a = -2407/5 - -483. Is z > a?
False
Let c(u) = 1412*u - 2893. Let k be c(2). Is k bigger than -85?
True
Let l = -2.014 - -2. Suppose 2*p = -5*f + 7246, -22*f + 24*f - p = 2893. Let s = f - 1448. Which is smaller: l or s?
l
Let u = 257 - 266. Let m be (u*(-5)/(-50))/(12/(-128)). Is m < 10?
True
Let i = 0.0819 + -0.0819. Which is greater: i or 210?
210
Let m = -16 - 4. Let p be (-1 - 25/(-15))/(5/m). Is p >= -4?
True
Let q = -368.982 + 369. Let k = 84 + -83. Is k > q?
True
Let c = -12 - -13. Let v be 2583/140*(-398)/7. Let l = v - -1049. Is l less than or equal to c?
True
Suppose 108 = 31*t - 19*t. Let d(x) = -x**2 - 8*x - 9. Suppose u + 3*i = 8*i - 4, 0 = -3*u + 3*i - 12. Let b be d(u). Are t and b nonequal?
True
Let c be 4189/(-12) + (63/(-36))/7. Are c and -349 equal?
False
Suppose -26 + 2 = 3*t. Suppose 5*f = -5*o - 1 + 46, 0 = 4*o - 2*f - 18. Let z be (-219)/27 + o/54. Is t at least z?
True
Let x = 892.95701 + 0.04299. Which is bigger: x or 3?
x
Suppose -5045 = -25*j + 1055. Which is bigger: j or 0.05?
j
Suppose 4*j + 4*m = -664, -337 = 2*j + 22*m - 21*m. Let i = 155 + j. Let l = -47 + 32. Is l bigger than i?
True
Let y = 1252 + -4329. Do y and -3078 have different values?
True
Suppose -3*h + 83 + 10 = 0. Let y be (-9)/12*(-16)/3. Suppose -4*n - 5*k + 19 = -124, -140 = -4*n - y*k. Which is bigger: n or h?
n
Let y(l) = -l**2 + 21*l - 103. Let w be y(13). Is -3/44 != w?
True
Suppose -i - 1 = -0. Let q be (-210)/(-42924)*20/(-25). Which is bigger: q or i?
q
Let x be (-1 + 0 + 7)*(-460)/6808. Is 2/9 at most x?
False
Let j be (-1)/2 - 45/(-18). Let z be j/2 + 0 - (-115)/(-85). Let l(v) = -v - 1. Let i be l(-2). Is z less than or equal to i?
True
Let x(o) = 4*o + 274. Let g be x(-75). Is -211/8 smaller than g?
True
Let u be (-710098)/(-95445) - -12*4/(-120). Let m = u - 190/27. Are m and -1 unequal?
True
Let g = 16782 - 16800. Is -457 at most g?
True
Suppose -414 = 5*u + 821. Let v = 148 + u. Let n be 2/11 + (-9)/(v/20). Which is greater: n or 18/13?
n
Let o be 24858/72 + (-10)/(-8). Let u = o - 346. Is u at most as big as 1/73?
False
Let x = -728.98418 + -0.01582. Which is greater: 0.1 or x?
0.1
Let s be 8/32 + 1478/8. Suppose -10*z + 1488 = -2*z. Which is smaller: z or s?
s
Suppose -63 = -3*o - 75. Let y be 1/o*(-5 - -5). Which is smaller: 1/52 or y?
y
Suppose -4*l - 5*i + 2 = -5, 3*i = -4*l + 9. Let f be 24/(12/l)*2/6. Let d be f/(-4) + 46/4. Do 34/3 and d have different values?
True
Suppose 0 = -o + 4*g + 16, -4*g - 3 - 21 = -3*o. Suppose 3*d - 5 = -4*w - 1, -4*d - o*w = 0. Let t(i) = -6*i**2 - i. Let u be t(-1). Are d and u non-equal?
True
Let n be (-2 - (-5257450)/2628735)*3558/4. Let z = n + 1/1013. Which is greater: z or 0?
0
Let q = 77 - 77. Suppose -2*a - 3*j = -q*a + 8, 0 = a + 2*j + 4. Let m be -3 + 0 - (a + 7). Is -10 bigger than m?
False
Suppose -5*w + 714 - 11805 = 4*x, -2*x = -11*w + 5559. Do x and -2776 have the same value?
False
Let g be 403064/(-197) + (-7)/((-7)/(-3)). Let p = 2049 + g. Suppose 6*b - 8 = -2*j + 4*b, j = 5*b - 26. Is p >= j?
True
Suppose 3*w - 202 = 5*w. Let n(t) = 4*t**3 + 67*t**2 + 214*t + 146. Let d be n(-13). Is w > d?
False
Let a be 2/4*810/102. Which is greater: 0.1 or a?
a
Let u = 248 + -249. Let f be 3648/7239 + (-2)/(-4)*u. Which is smaller: -1 or f?
-1
Let k(r) = r**3 - 64*r**2 - 826*r + 63. Let s be k(75). Let l(o) = -3*o. Let v be l(4). Is v greater than s?
False
Let l = -4441 - -4452. Which is bigger: l or -33?
l
Suppose 3*q + 8*w - 9*w + 919 = 0, 3*w = -6. Let a = q + 311. Which is smaller: a or 31/12?
31/12
Let x = 572 + -581. Let y(i) = 36*i + 34. Let v be y(x). Is v < -1/4?
True
Let m be (35/1484)/(((-18)/(-90))/((-4)/5)). Which is greater: m or 0?
0
Let x = -273.9869 - 0.0131. Let b = -274 - x. Which is smaller: b or 2/43?
b
Let p = 54.1559 - 0.1559. Does 2.4 = p?
False
Suppose -3*o + 12*b - 6*b + 9 = 0, 3*o = 3*b + 6. Which is smaller: -2/3987 or o?
-2/3987
Let s = 784/3 + -264. Let q = 2.2 + -2.315. Let a = q - -0.015. Is a at most as big as s?
False
Let k = 134 - 112. Suppose -k*t + 366 = -19*t. Which is bigger: t or 123?
123
Let l(d) = -d**3 - 36*d**2 + 2*d + 80. Let m be l(-36). Suppose 4*z - m = -4*r, 6*z - 4*z - 16 = 4*r. Which is smaller: z or 54/13?
z
Suppose -3*i + 0 + 18 = 0. Let a be (-3)/(1314/(-222) + i). Are a and -35 unequal?
True
Let p = -0.252 - 237.748. Let w = p + 237.8. Is 28 less than w?
False
Let a be (-6775)/(-225) + (-1*1)/9. Let q be (6 + (-126)/a)/(2/30). Is 31 bigger than q?
True
Suppose 5*j + 55 = -3*f, 14*f - 10*f + 50 = 5*j. Is f < -9?
True
Let s(g) = -g**3 - 22*g**2 + 76*g - 48. Let x be s(-25). Which is smaller: -43 or x?
x
Let b be ((-40)/140)/((-54)/1407*2). Which is bigger: b or 4?
4
Let g = -11.454 + 7.804. Which is smaller: -2/5 or g?
g
Let o = 362 - 236. Let z = o + -128. Is 2/135 bigger than z?
True
Let q be 209/19 + (-30)/2. Is -105/23 at least q?
False
Let c be (-41)/13 + 88/572. Is -252/89 > c?
True
Let p(c) = c**3 - 4*c**2 + 9*c + 158. Let u(z) = -z**2 + z - 1. Let h(k) = -p(k) + 4*u(k). Let x be h(0). Is -487/3 less than x?
True
Let m = 667/8492 - 2/193. Is m greater than or equal to -11?
True
Let v = -290/97 + 2806/679. Which is bigger: v or -255?
v
Suppose 26*q + 3551 = 1341. Let v be 43/(-9) + (13 - 8). Are q and v nonequal?
True
Let j = 347.