623853620 - 1/701735860. Let k = -27925 + 83075/3. Let h = k - w. Which is bigger: h or 1?
1
Suppose 68 + 142 = -70*p. Which is bigger: -136/33 or p?
p
Let d = 21.26 - 0.26. Let p = d + -28. Let m = -6/55 - 68/385. Which is bigger: m or p?
m
Let i(s) = -s - 6. Let l be i(6). Let x be -2 - (l + (-4)/(-1)). Which is smaller: x or 5?
5
Let g be (9/(-18))/(1/11). Let k = 3/109 + -257/1417. Which is smaller: k or g?
g
Suppose 14*v - 12 = 18*v + 4*q, 13 = 5*v - 2*q. Which is greater: v or 3/301?
v
Let r = -935 - -908. Which is smaller: r or -46?
-46
Let b be 820/(-1221) + (-4)/(-6). Let h = b + -784/6105. Let t = 3558 - 3559. Which is smaller: h or t?
t
Let z = -9/2889239 - -1626669970/9121327523. Let b = -1/287 - z. Which is bigger: b or 0?
0
Suppose -4*x - 14 = 2*j, -x + 4*j + 24 = -5*x. Let k(o) = 4*o**3 - o**2 - 6*o**3 + 0*o**3 + 2*o - o. Let v be k(1). Which is greater: x or v?
x
Let j be (36/(-1305))/((-2)/5). Which is greater: j or -1?
j
Let l = 63 - 58. Suppose -l*h - z = -14, h - 4*z + 20 = 3*h. Which is smaller: 1 or h?
1
Suppose -2*j = 6 - 14. Let s(l) = l**2 + 9*l - 15. Let x be s(-9). Let t be j/10 + (-4)/x. Is 0.6 < t?
True
Suppose 0 = 7*o - 13 + 27. Let t be ((-2)/(-32))/(17/(-510)). Which is smaller: o or t?
o
Let z = -729/10 + 73. Let q = 3 - 2. Let h be (-5 - (-3 + q))/(-3). Is h equal to z?
False
Let l = -413/3 - -138. Let g = 7 + -3. Suppose -2*n - 7 = 3*y - 4*y, n + g = y. Is l greater than or equal to y?
False
Suppose -5*f + 10*f - 15 = 0. Suppose p + f - 7 = 0. Let g be ((-2)/(-4))/(2/16). Is g >= p?
True
Let a = -12055/37 - -325. Is a greater than or equal to 0?
False
Let c = -0.04 - -0.54. Is c smaller than -12?
False
Let n = -66 + 10. Let l = -55 - n. Is 2/31 equal to l?
False
Let z be (-3)/(-2)*(-4)/3. Suppose -5*h - 30 = -5*o + 15, 0 = -2*o - 5*h - 3. Is z bigger than o?
False
Let b = 115064.027 - 115127. Let o = b + -0.027. Is -0.1 < o?
False
Let n be 9 - (582/(-4) - -4). Are n and 150 non-equal?
True
Suppose -20*q - 2 = -21*q. Suppose 3*z - 51 = -3*k, -5*z - q*k = -z - 66. Suppose 0 = 2*w - 11 - 19. Which is greater: z or w?
z
Suppose 0 = 96*b - 92*b + 196. Is b != -50?
True
Let f be (-2)/(-1) - ((-7 - -4) + 1). Suppose 60 = 4*q + 5*b, 7*q + f*b - 66 = 2*q. Which is smaller: 8 or q?
8
Let o(k) = -25*k + 62. Let c be o(2). Let p = 18 + -11. Suppose 0*u = u - 5*t - 31, u - p = -t. Which is smaller: c or u?
u
Suppose -37 = 3*y + 80. Let d = y + 30. Is -11 bigger than d?
False
Let f = -0.071 + 0.017. Let a = 4.054 + f. Which is smaller: -2/3 or a?
-2/3
Suppose 0 = -5*p - 14 - 1, -4*n + 5*p + 71 = 0. Let y be 10/(-8)*(n/(-9) + 2). Which is bigger: y or 0?
0
Let m = 0.2 + -0.1. Let l be (-484)/1287 - 4/(-18). Which is bigger: m or l?
m
Suppose 5*o = -h + 2*h - 21, 5*h + 35 = -3*o. Which is greater: h or -35?
h
Suppose 0 = 7*q + 740 - 47. Is q <= -101?
False
Let o(w) = -w**3 - 6*w**2 + w - 6. Let q be o(-6). Which is smaller: q or 81?
q
Let o(a) = a**3 + 5*a**2 + 2*a - 3. Let v be o(-5). Let m = v - -12. Let h be -1 + 3 - 225/108. Is m >= h?
False
Let i = 0.353 + 307.647. Which is smaller: i or 0.1?
0.1
Let t = -967/23 + 42. Let h = 51 - 152/3. Are t and h equal?
False
Suppose q = 4*h - 24 + 212, 2*q = 3*h + 401. Let z be (292/q - 3) + (-3)/12. Which is smaller: -3 or z?
-3
Let f(a) = a**3 - 7*a**2 - 8*a - 4. Let m(n) = -n**2 - n - 1. Let i(l) = -f(l) + 5*m(l). Let d be i(4). Is d less than or equal to -23?
False
Suppose -5*h + 4*p = -p - 45, -4*p + 34 = 3*h. Suppose 14*c - 48 = h*c. Which is bigger: c or 0.06?
c
Let a(n) = -n**2 - 14*n + 33. Let i be a(-16). Let d be (i/25)/(396/60). Which is bigger: -1 or d?
d
Let q = 36527/30 - 1217. Is 1 at least q?
True
Suppose -4*i = -3*a + 322, -2*i = 4*a - 6*i - 428. Let j = a - 310/3. Which is bigger: j or 4?
4
Let n(q) = -1 + 2 - 4*q**2 + 20*q**2 + 1 - 3*q. Let w be n(1). Suppose 2*i + 12 = -2*v, 5*v = -3*i - w - 7. Which is smaller: v or 1?
v
Let m = -5310292/98541 + 3/10949. Is m greater than -55?
True
Let f = -0.34 - -10.34. Let l be (-2)/(4 + -2) - 0. Which is greater: f or l?
f
Let v(w) = -6*w - 3. Let z be v(-6). Let d = z + -12. Let f = 21 - d. Is f less than 2/11?
True
Let n be (-40)/25 - 1*-1. Suppose -3*m = -5*m. Let s = m - 1. Which is greater: n or s?
n
Suppose -6*i - 45 = -39. Which is smaller: i or 2/463?
i
Suppose 4*l - 52 = -56. Is l <= -2/195?
True
Let k = -1596 - -976. Let i = 28519/46 + k. Is 0 bigger than i?
True
Let k(y) = -3*y - 9. Let t be k(-13). Suppose -5*f + 0*f = -2*p - 15, -t = -4*f - 2*p. Suppose c + f*u + 9 = 0, -2*u = -5*c - 3*u + 3. Is c < 3?
True
Let i = -398 + 354. Is -44 <= i?
True
Let i = -0.182 + 0.22. Let j = i - -19.962. Which is bigger: j or 1?
j
Let s be ((-2)/58)/((-25)/100). Which is greater: -1 or s?
s
Suppose d + 46 = -62. Is d less than -106?
True
Let o(d) be the third derivative of d**6/120 + d**5/30 - d**4/6 + 8*d**2. Let a be o(-3). Let l(z) = z**3 - 6*z**2 + 6*z. Let c be l(5). Is a bigger than c?
False
Let c be 20/15 + 2/3. Suppose -13 = -c*u - 0*o - o, 5*u + 5*o = 35. Let b be u/8 - 10/(-40). Which is smaller: b or 6?
b
Let y be 4 + 3 + -4 + -1. Suppose 0 = -0*z + y*z + 18. Which is greater: -3 or z?
-3
Let m = 6676/25 - 267. Let p be 24/10 + 6/10. Suppose -4*q + p*q = -1. Are m and q non-equal?
True
Let u(y) = 4*y + 73. Let f be u(-18). Let l be (-4)/8 - (-38)/44. Which is smaller: l or f?
l
Suppose 2*s = 5*s + 15. Suppose 5*r = -2*i + 7*r + 4, 2*i - 3*r - 8 = 0. Let k be (7/70)/(i/s). Which is bigger: -2/15 or k?
k
Let d = -68 + 342/5. Let s(v) = -v**3 - 3*v**2 + 7*v - 1. Let i be s(0). Which is smaller: d or i?
i
Suppose 0 = 2*n - 4 - 0. Suppose 5*f + 24 = 4*j, 1 - 3 = -n*j. Is f <= -1/9?
True
Let z be 4*1002/24 - -3. Let k be (-2)/(-6)*1 + z/51. Which is smaller: k or -2/9?
-2/9
Let y(i) = 56*i**3 + i - 1. Let n be y(1). Which is smaller: 39 or n?
39
Suppose 10 = 5*b, j + b + 34 = 4*j. Is j at most -40?
False
Let c be (-6)/8*(-240)/(-810). Is c greater than 0.0108?
False
Let s = 2109450154603/5712 + -1107904112/3. Let t = s - 2155/17. Let d = t + 1/16. Is 1 less than or equal to d?
False
Let z = -1.14 - 0.36. Is z smaller than 9?
True
Let m be (-314)/(-84) - 5 - 2/12. Which is smaller: m or 0?
m
Let h be (-1)/(-2) - 13/(-2). Suppose 0 = -b + 4*b - 2*i + h, 3*b + 5 = 4*i. Is b <= 5/4?
True
Suppose 22 = 5*c - 18. Suppose d + 5*h - 8 = 0, 4*d - 2*h + c = 5*d. Which is bigger: 9 or d?
9
Let y = -37 + 37. Suppose 9 = 5*c + b, 5*c + y*b - 2*b = -3. Which is bigger: c or 6/7?
c
Let s be (-4)/2 + 0 + 2. Let l be (4/16)/1 - 17/4. Is l bigger than s?
False
Let j be (-2)/((-2)/(-7)) + 3. Let z(a) = a**3 + 5*a**2 + 3*a - 1. Let m be z(-4). Suppose 0 = -m*r + 5*r + 10. Is r != j?
True
Let a = 237 - 235.63. Are 2/3 and a equal?
False
Let w = -0.04 - 44.96. Let o = w - -29. Let m = -10 - o. Which is greater: m or 1?
m
Let j be 2*((-123)/(-465) - (-10)/(-50)). Which is smaller: 0 or j?
0
Let x(g) be the first derivative of -g**3/3 + 19*g**2/2 + 32*g - 16. Let i be x(21). Is i at most -10?
True
Let q be (-6 - (-325)/56) + 4/14. Is -1 bigger than q?
False
Let f(q) = 2*q**2 + 38*q + 75. Let p be f(-17). Let a be (6/10)/((-1)/(-5)). Suppose -3*w - m + 13 = 0, 0 = -a*w + w - 2*m + 2. Is w less than or equal to p?
True
Suppose n = f + 21, -4*f + 0*f = -2*n + 50. Suppose n = -5*d - 3*k + 1, 4*k + 8 = 0. Let w be -1*2/(-4) - (-2)/(-8). Do w and d have different values?
True
Let h be (4/63)/((-10)/(-3)). Suppose -6*x + 0*x - 8*x + 3*x = 0. Is h <= x?
False
Let d = -50994818 - -1044016908456/20473. Let b = -9595/922673 + -3/2659. Let o = d + b. Is 1 less than o?
False
Let n = 11453/5 + -2289. Is 21 equal to n?
False
Let n = 129/76 + -16797/3952. Let o = -34/13 - n. Is o at most 0?
True
Let q(i) = 2*i**2 - 5*i + 11. Let h be ((-6)/4)/(18/(-84)). Let k be q(h). Is k at least as big as 74?
True
Suppose 5*j - 92 - 516 = 7*n, 0 = -n + 5*j - 104. Is n bigger than 1/5?
False
Suppose -8*j = 134 - 254. Which is smaller: j or 2?
2
Let f be -2*(3 - (-27)/(-10)). Let q(k) = k**3 - 5*k**2 + 6*k - 9. Let c be q(4). Are f and c non-equal?
True
Suppose -22*n = -42*n - 1040. Is -42 greater than n?
True
Let o = 2 - 2. Suppose 9 = 3*x - 0. Suppose g = -x, -g = -a - 0*a + 2. Is o less than or equal to a?
False
Let c(a) = -3*a - 207. Let d be c(27). Is d at least as bi