False
Let r(h) = 4*h - 20. Let x be r(5). Let n = 61898 + -2166046/35. Let b = n + -57/5. Is x at most b?
False
Let v(i) = i**3 - 8*i**2 - 22*i + 25. Let j be v(10). Let f = -2/5077 - -233560/45693. Which is smaller: j or f?
j
Let t = -921 + 919. Suppose 3*j = -5*v + 4 + 26, -j - 2*v + 10 = 0. Let o be (-6 - -3) + j/3. Which is greater: t or o?
o
Suppose 0 = 4*h - y + 149, 152 = -0*h - 4*h + 4*y. Let x = -34 - h. Which is bigger: x or 1?
x
Let x(g) = -39*g**3 - g**2 - g. Let r be x(-1). Let k be (-106)/(-13) + (-6)/r. Suppose y + 5*q - k = -0*y, -2*y = 3*q - 23. Is y at most as big as 12?
False
Let p be (-10)/48 + 1/3. Let x = 41 + -37. Suppose -x*b - 4*b = 0. Which is greater: b or p?
p
Suppose 10*l = 6*l - 26*l. Let m = -34849/2810 + 1/562. Let v = 13 + m. Is l less than or equal to v?
True
Let y = -0.6 - 0.1. Let s = y + 1. Is s < 3/7?
True
Suppose -3*k = 0, 0*h + 2*h + 3*k = -104. Let c = 678/13 + h. Which is bigger: -1 or c?
c
Let d = 28 + -27. Let k be (-1)/((-3)/(d + -4)). Suppose -2 + 7 = -5*f. Is f >= k?
True
Let d = -4 + -1. Let y = 7 + d. Let h = 141 + -143. Is y not equal to h?
True
Let h = -187.9 + -57.1. Are 0 and h nonequal?
True
Let p = 31.67 + -32. Let j = p + 1.33. Is j smaller than 25?
True
Let l = 2044974/389 - 5257. Which is smaller: l or -1?
-1
Let v = 989 + -952. Which is bigger: 13 or v?
v
Let f = 3340010/319 - 76742872574/7329663. Let i = 2/2553 + f. Let w be -2 + (-2 - (-3 + -1)). Is i at most as big as w?
False
Let w = 1619/36 - 45. Which is bigger: w or 0?
0
Suppose 5*x - 4*v = -9, -3*x - v = 2*v. Let b be 711/18 + x/(-2). Are 40 and b equal?
True
Let c be (2/3)/2*2. Suppose -5*h - 2*g = 0, -5*g = -2*h - 3*g + 14. Let m be (h/44)/((-75)/(-100)). Is c at least as big as m?
True
Suppose -8*p - 277 = -253. Let z(d) = -2*d - 9. Let c be z(-7). Suppose -18 = -n - c*v + 6, n - v + 6 = 0. Is p bigger than n?
False
Suppose 5 = -5*l, l + 3*l + 5 = q. Let c be 3*q*(-10)/(-6). Let x be -2 - 2 - (2 - c). Which is smaller: x or -5?
-5
Let n be (-2 - (0 - 0))/2. Which is smaller: -1/508 or n?
n
Let k = -547.4 - -576. Which is greater: 0.1 or k?
k
Let s = 1 - -8. Let j be 2/s - (-8)/(-147 + 3). Is 2 at most j?
False
Suppose 0 = -4*a + 5*i + 25, 0 = 2*a - i - 7 - 4. Suppose 6*y - 34 = a*y. Let m = 48 - y. Which is greater: m or 13?
m
Suppose 4*s - 3*s + 2 = 0. Let m be (59/s)/(1/(-2)). Suppose 5*l = -f - 0*f - m, 4*l - f + 40 = 0. Is -11 at most as big as l?
True
Suppose -31*d + 26*d = -25. Which is smaller: d or -3?
-3
Let s = 0.016 + -0.113. Let p = s - -0.197. Which is bigger: p or -0.87?
p
Let u be (-34 + 2)*6/4 - -4. Which is smaller: u or -1?
u
Let i = 0.12 + 14.88. Let d = 12 - i. Which is smaller: -1/9 or d?
d
Let f = -18 - -15. Let u be (1/f)/((-4)/(-132)). Let l = 12 + u. Is 3 equal to l?
False
Let v be ((-65)/(-4) + -14)*4/(-18). Which is greater: 724 or v?
724
Let k = -52 + 417/8. Suppose -5*q + 14 = -9*q + 5*r, q = -r + 1. Which is bigger: k or q?
k
Let z = 3 + -5. Let c be -4 - ((-30)/3 - -5). Is c smaller than z?
False
Let m = -2.99 + -0.01. Suppose 4*u + 20 = 4*s, 10 + 15 = -5*u + 4*s. Let t(h) = -h**3 - 2*h**2 + 15*h. Let j be t(u). Is j > m?
True
Let x = -37.9 + 54.6. Which is bigger: 1/3 or x?
x
Let l = 264 - 278. Is l less than or equal to 3?
True
Suppose 25 = 11*a + 124. Which is greater: a or -126/13?
a
Let j(s) = -11*s - 8. Let u be j(7). Let t = u + 61. Suppose -29 = f - 4. Do f and t have the same value?
False
Let v = 983 + -1007. Are -28 and v equal?
False
Let m(n) = 31*n + 372. Let z be m(-12). Let i(r) = r**2 - 5*r. Suppose -2*x + 15 = x. Let s be i(x). Is z > s?
False
Let w = 2046.8 + -2042. Is w equal to 10?
False
Let d be (-62)/(-8) + -1 + -3 - 4. Which is smaller: 180 or d?
d
Suppose -7*q - 84 = -11*q. Let v = q + -31. Let g be (-7)/v + 54/(-72). Which is bigger: g or 1?
1
Let k be 35/(3430/448) - (-4)/(-7). Which is smaller: k or 1/20?
1/20
Let l = -126682/17 + 7454. Which is bigger: l or 1?
l
Suppose 158*q = 167*q - 9. Let k(x) = 5*x**2 - 1. Let i be k(-1). Suppose 3*t = f, i - q = 3*t. Is -2/5 != f?
True
Let i = -21.0562 + 0.0562. Are i and -10 equal?
False
Let k = 709 - 709.2. Which is greater: k or 3/20?
3/20
Let k = 0.03 - -0.2. Is k bigger than -0.03?
True
Let o be ((-2)/5)/((-1)/5). Let p(m) = m**2 - 3*m - 10. Let b be p(-2). Let t be -4 - -2 - (b/4 + -1). Is o at most as big as t?
False
Let q(a) = -2 - a**3 + 0 + a**2 - 2*a**2 + 8*a**2. Let z be q(7). Suppose 2*o - 1 = -3. Which is smaller: o or z?
z
Let w = -27 - -215/8. Which is smaller: w or -11?
-11
Suppose 0 = -4*q + 537 - 89. Suppose -q = -7*k + 9*k. Is k at least -56?
True
Let o(t) = -5*t - 26. Let k be o(-5). Let h be k/((-10)/(-465))*8/6. Is h less than or equal to -61?
True
Let k = 19 + -2. Let w = k + -8. Let c = w - 11. Does -2 = c?
True
Let w = 2 + 0. Let r be (w - 0) + (-30)/21. Let x = 261 - 259. Is r smaller than x?
True
Let p = -6.4 - -6. Let i = 0.037 + -0.137. Let f = i - p. Which is smaller: -2 or f?
-2
Let w = 36.4 + -36. Let g = -6 + 23. Let v = g + -14. Which is smaller: w or v?
w
Let z be ((-2)/10)/((-3)/(-9)). Suppose -2*u = -2 - 8. Suppose 6 = -3*g + 3*a, -u*g + a + a - 4 = 0. Which is smaller: z or g?
z
Let o = 49.7 - 53. Let p = o + 5.3. Is -3 at most p?
True
Let v be ((-1)/(6/22))/(-1). Suppose 180 = t + 3*t - 3*b, b - 206 = -5*t. Let n = 47 - t. Is n at least v?
True
Let q = -8052 + 2520278/313. Suppose 0 = i + i. Do i and q have the same value?
False
Suppose -4*q + 154 = 3*q. Let t = 23 - q. Are 2/11 and t unequal?
True
Let z = -8626/69 - -377/3. Is 2 <= z?
False
Suppose 12 = 6*c - 2*c. Suppose 0 = -l + 4*r + 23, -c = 2*l - r - 14. Let y be 16/6 - (-1)/l. Is 5 greater than y?
True
Suppose 0 = 3*x - 5*k - 1, 2*k = -5*x - 2*k - 23. Is -0.04 smaller than x?
False
Let v = 7 + 0. Suppose -v = -x + 1. Suppose -x*s = -9*s. Which is smaller: s or -1/51?
-1/51
Let m(f) = f**2 + 7*f + 2. Let n be m(-7). Let h be 2/n*(-7 + 6). Let b = -23 + 35. Which is smaller: h or b?
h
Let m be (-202)/((-378)/(-92) + -4). Let h = m - -1852. Is h less than or equal to -6?
True
Suppose -31*n - 1 = 30. Is n > -13/56?
False
Let y = -40/3 - -169/12. Suppose 36 = 4*f - 5*v, 4*f - v - 42 = 10. Let k = 16 - f. Are y and k unequal?
True
Let v = 355.39 - 356. Let c = -0.42 + 0.02. Let k = c - v. Which is smaller: -1 or k?
-1
Let c be 4*(23/(-33) + 2). Let d = c + -72/11. Is d smaller than -2?
False
Let s(t) = -t**3 + t**2 + t - 2. Let x be s(0). Suppose -19*m + 55 = -18*m. Suppose -12*w + m = -w. Which is smaller: w or x?
x
Let v = -7760 + 1458885/188. Is 0 greater than or equal to v?
False
Let q = -1 + 0. Let x be 2/8 - (76/(-16) - -1). Suppose -2*o + 3*o - 5*r - 45 = 0, x*r - 80 = -5*o. Are q and o non-equal?
True
Let r be 13/2 - (-21)/(-14). Suppose 2*a - r = 7*a. Let o be (2/(-6))/(6/9). Is a less than or equal to o?
True
Let p(d) be the second derivative of -d**5/20 + d**4/4 + 5*d**3/6 + 5*d**2/2 - 5*d. Let t be p(-2). Is 15 greater than or equal to t?
True
Let s(w) = -60*w + 180. Let g be s(3). Which is greater: -1/457 or g?
g
Suppose 0 = -3*o - 3*q - 45, -3*o - 5*q + 0*q - 47 = 0. Let l = -25 - o. Which is greater: l or 1?
1
Let o = -3.8451 - 0.2549. Which is bigger: -5/2 or o?
-5/2
Let t = 335 + -334. Is -57 > t?
False
Suppose 0 = -16*p - 26 - 6. Is 96 bigger than p?
True
Let m = 468 + -18721/40. Suppose 7*b - 2*b - 20 = 3*z, 3*b - 13 = 2*z. Is b at most as big as m?
False
Let h be 4/(-6) - (-62)/930. Let y(x) = x**3 - 4*x**2 - 6*x + 4. Let o(v) = -v**3 + 5*v**2 + 6*v + 5. Let r be o(6). Let t be y(r). Which is smaller: t or h?
t
Let w = -112 + 66. Let j = w + 35. Is j greater than -2/3?
False
Let y(z) be the second derivative of -z**3/6 + 2*z**2 + 21*z. Let h be y(5). Let g be (-17)/(-45) - (-1)/(-3). Which is bigger: g or h?
g
Let x = -44 + 527/12. Let g = 37 + -36.7. Which is smaller: x or g?
x
Let k be (12/(-9))/(0 - 2/51). Suppose a = -2, a = 4*s - 0*s + k. Is -4 at most as big as s?
False
Suppose -2*t = -3*i - 2, -11*i = -16*i + t - 8. Is -18/31 >= i?
True
Suppose 4*r - 3*l = -10, 0 = -0*l - 5*l + 10. Let x(d) = 23*d**3 + d**2 + d. Let y be x(r). Let h = -27 - y. Which is smaller: -7 or h?
-7
Let m(r) = 6*r. Let q be m(11). Let s = -41 + q. Let n = 41 - s. Which is smaller: 15 or n?
15
Let l = 842 + -851. Are -11 and l equal?
