Let k(u) = -15*u - 1036. Let z be k(-68). Does z = -119?
False
Let x be 20/(-6) + (-7)/(336/32) + 3. Let v = -40/17 + 46/17. Is v at least x?
True
Let p be 3683 - ((13 - 9) + -14). Are p and 3693 equal?
True
Let u(x) = -x**3 + 38*x**2 - 2*x + 76. Let l be u(38). Which is greater: l or 24/703?
24/703
Let g = 6.158 + -5.83. Let d = -0.328 + g. Is d less than or equal to 0.26?
True
Let h(j) = 2*j + 83. Let z be h(-42). Let p = -5451596/551 - -9894. Is z at most p?
True
Let t be 12/(-27)*3 - 32/(-6). Let k be (1/(-98))/(t/(-14)). Which is smaller: k or 1?
k
Let h = 227 - 206. Let r be h/28*5/(-1140). Which is greater: r or -1?
r
Let o = -216423839/3279 + 66003. Let i = o - -415/83068. Is i <= 0?
False
Suppose 914 = 3*b - 33*o + 29*o, b - 3*o = 298. Which is smaller: b or 313?
b
Suppose s = 5 - 6. Let u(p) = p**3 + 3*p**2 - 3*p - 4. Let w be u(-5). Let m = w + 43. Which is bigger: s or m?
m
Let g(p) = 6*p - 35. Let t(s) = -10*s + 71. Let c(m) = -7*g(m) - 4*t(m). Let l be c(-9). Which is smaller: -0.4 or l?
l
Let v = -12343 + 12543. Which is smaller: v or 998/5?
998/5
Let b = -3158 - -3114. Suppose 86 = -2*f - 4. Which is bigger: b or f?
b
Let l(c) = 11*c**2 - 123*c - 2109. Let i be l(-15). Are 2213 and i non-equal?
True
Let v = -174 + 174. Suppose v = -2*q + 4*b + 6, 5*b - b = -6*q - 14. Suppose 8 = -3*g - z, g + g + z + 6 = 0. Is q < g?
False
Let m = -38.55 - 66.45. Which is bigger: m or 2/113?
2/113
Let t be (3/(-2))/(((-46)/828)/((-2)/44271)). Is t >= 0?
False
Let a = -13320.82 + 16043.1. Let g = a - 2600. Let b = 122 - g. Are b and 0.1 unequal?
True
Let n = 841.43902 + -4.10702. Let y = n - 838. Is 2/3 <= y?
False
Let g be -26 - (-25 + 4) - -5101. Is 5099 greater than g?
True
Let c = -351/7 - -346/7. Let k be -3 + 4 + 0 - (-105)/(-196). Let t = c + k. Is t at least as big as -2/65?
False
Let j = 5213 - 3607. Suppose m + 10*m = j. Let s = m - 85. Is 61 at least s?
True
Suppose 0 = -3*y - 3*u, -y - 40 + 10 = -5*u. Suppose -4*x = -6*x + 6. Suppose h = x*i + 7, -h + 3*i - 13 = 4*h. Is y <= h?
True
Let a(o) be the first derivative of -o**5/60 + o**4/12 - o**3/3 - o**2 + 5. Let j(u) be the second derivative of a(u). Let b be j(1). Is -1 <= b?
True
Suppose 621*z - 588*z = -104907. Does z = 1/2?
False
Let j(f) = 3*f - 24. Let u be j(-9). Is -1293/25 less than u?
True
Let w be (-4 + (-68)/(-20))*(-16090)/6. Which is smaller: 1607 or w?
1607
Let o(y) = -8*y**2 - y + 1. Let t be o(1). Suppose 3*n - 3*b = 0, -3 = -4*n + 44*b - 41*b. Let u be 15/(0 + 5)*t/n. Is u at most -7?
True
Let m be 132/(-594) + (-31)/(-99). Is m smaller than 974?
True
Let q = 2814/145 - 1213948/62553. Which is bigger: q or 0?
q
Suppose t - 2*s = 312, -623 = -2*t - 2*s + 5*s. Let o = t - 312. Suppose -4*k + 3*q = 3, 2*k - 2*q = -q - 3. Is k bigger than o?
False
Suppose -736*c + 776*c = -12320. Is -308 <= c?
True
Let y(i) = -4*i + 12. Let o be y(-9). Suppose 0 = -2*g + f + 83, 4*f - 253 = -84*g + 79*g. Which is greater: g or o?
o
Let y = 0.0347 - 2195.0347. Which is greater: -1 or y?
-1
Let h = 62.3348 + -62.33. Which is smaller: -3 or h?
-3
Let l be (8/6)/(59*10/(-15)). Let q = -35 - -20. Let t(n) = -n**3 - 16*n**2 - 15*n - 1. Let w be t(q). Is w greater than or equal to l?
False
Let c = -102798 - -661916316/6439. Is c at most as big as 0?
True
Let i = -4634.47 - -4561. Let j = 73.5 + i. Is -63 at most j?
True
Suppose 0 = -155*q + 181*q - 27 - 77. Is -517 at most as big as q?
True
Let u = -100867 + 100865. Let f = -1.6 + -7.4. Let w = f + 6. Is u at most w?
False
Let s(i) = 5*i + 5. Let c be s(-3). Suppose 6*x + 14*x + 220 = 0. Which is smaller: c or x?
x
Let o(l) = 103*l**2 - 625*l - 3699. Let a be o(-6). Which is greater: 3758 or a?
a
Suppose -66 = 5*z - 4*g + 44, -3*g + 87 = -4*z. Is -0.26 at least z?
True
Suppose 372*w = 354*w - 8280. Is -459 bigger than w?
True
Let k be ((-28)/(-12)*3/5)/((-5)/10). Let z = 2620/11 - 238. Which is greater: k or z?
z
Let m be -2*1/(-10) - (-1935)/(-2175). Let b = -2/87 - m. Which is bigger: b or -87?
b
Suppose 0 = 28*d - 41 - 407. Suppose -d*o = -9*o + 32*o. Is o >= -1/145?
True
Let z be (-8)/(-28) + (-904)/28. Let a = z - -38. Let q be 48/(-252) - 4/a. Is q greater than -1?
True
Suppose -20*n = -18*n - v - 1017, 2*n + 3*v = 997. Is n at least 516?
False
Suppose -23*l + 20*l + 372 = 0. Let q = -154 + l. Are q and 1/6 unequal?
True
Let b be -2*(-1)/4*2. Let z be -32 - 2 - (-901408)/26520. Which is smaller: b or z?
z
Suppose 4*j - 13 = 11. Let q be ((-2)/1)/(6/15). Let p(o) = -10*o - 43. Let t be p(q). Is t <= j?
False
Let f = -0.02912 - 0.17088. Which is bigger: f or -242/5?
f
Let l = 8.2 + -8.3. Let c = 896 + -895.803. Is l >= c?
False
Let n = 218 - 309. Let v = n + 77.8. Let z = v - -8.2. Which is greater: 0 or z?
0
Let i = 293 + -219. Let a = 35 + 38. Is i at most as big as a?
False
Let w be 385/(-70) - 76/18. Which is smaller: w or -9?
w
Let x(b) = 12*b + 95. Let c be x(-9). Let i = c + 15. Which is greater: 31/16 or i?
i
Let i be (-6)/14 - 70090/(-164164). Let p = i + -135646007/222794. Let w = -609 - p. Which is bigger: w or 0?
0
Let y = 3470 - 1920. Let k = 17088/11 - y. Which is greater: k or 3?
k
Let y = -47.936 + 48. Let q = -34.064 + y. Let h = -37 - q. Is 0 at least h?
True
Let i(d) = 4*d + 19. Suppose -4*y - 5*t = -y + 43, 0 = 2*y - 4*t - 8. Let f be i(y). Let l be (-102)/(-42) + f + 3. Is l at most -1?
False
Suppose -25*t + 42*t = 2601. Suppose 17*c + 17 + t = 0. Let b be (-5 - (-12)/4)*7. Do b and c have the same value?
False
Let r = 15180 - 15552. Is -384 >= r?
False
Let h = 68 + -67.54. Let t = -0.54 - h. Are -2/31 and t non-equal?
True
Let i(g) = -3*g - 18. Let u be i(-5). Let h = -2 - u. Suppose 0 = -l - 2*f + 4 - 5, 0 = -3*l - 4*f - h. Is l bigger than -5?
True
Let x be 4*(-1 + (-1 - (8 - (-287)/(-28)))). Are -7/4481 and x non-equal?
True
Let h be 172/(-774) - 56/(-90). Which is bigger: h or -0.1133?
h
Let o be 815/(-2)*((-484)/55 + 8) + -5. Which is smaller: o or 2238/7?
2238/7
Let h = 116297/32706 + -1/3634. Let f = -5408 - -5408. Which is smaller: f or h?
f
Let d(r) = r**3 - 23*r**2 + 32*r + 193. Let q be d(21). Let g be (2 + 1)/(15/5). Let p be (75/(-10))/(g/2). Which is smaller: p or q?
q
Suppose 130 = j + j. Let z be 536/(-1206) + ((-304)/90)/(-4). Which is greater: j or z?
j
Let d = -3 + 2. Let c = 627 + -2185. Let g = c - -1553.9. Which is greater: d or g?
d
Let s be (-112)/(-88) - 6 - -2. Suppose 9 = -3*d - 3*x, 4*d + 9 + 8 = x. Is d smaller than s?
True
Suppose -9*w + 16 + 11 = 0. Suppose -3*y - w = 2*a - 6*a, 0 = -2*a + 6. Let s be (y - 1075/180) + 3/1. Do 1 and s have different values?
True
Suppose -9*h = -11*h - 2*b - 16, b + 16 = -5*h. Is -27/28 > h?
True
Suppose -7*q + 3*q - 4*n = 1008, 5*q = 4*n - 1278. Let y = 267 + q. Which is smaller: 0.6 or y?
0.6
Let q = -4244462/545 - -7788. Suppose 0 = 14*w - 19*w + l - 4, 2*w - 2 = 4*l. Which is greater: w or q?
q
Let z be (13 + 1)*(0 - (-1)/6) + -3. Let t = -2.41 + 0. Which is smaller: z or t?
t
Let k be (14/588*12)/((-4)/(-28)). Which is smaller: k or 78/107?
78/107
Let m be (-4)/6*(-4831596)/(-392). Which is smaller: m or -8215?
m
Let b be (8/6*-1)/(8/(-12)). Let d be (-3*b)/((-6)/1335). Let k = -7991/6 + d. Do 2 and k have different values?
True
Let z be 4*3*(-4)/96*-6. Let h be z/21*(-2 - -4). Is h greater than 56?
False
Let b = 16 - 18. Let y(a) = -4*a - 5. Let h be y(b). Suppose 0 = -m + h*m - o - 4, -2*m + 5*o + 20 = 0. Which is smaller: -1/67 or m?
-1/67
Let m be ((4/3)/(30/45))/((-2)/(-1)). Do -9/20 and m have the same value?
False
Let u be (-10636)/2 + (-115 - -109). Which is smaller: -5325 or u?
-5325
Suppose 3*h + 2*y - 4 = 0, 2 = -y + 1. Suppose 23 = -3*b + 5*a, -h*b - a - 10 = 1. Is 6 bigger than b?
True
Let w = -100410/11 + 9128. Is -139/2 != w?
True
Let k = -3.6 - -5. Let j = -10.273 - -0.873. Let f = j + k. Which is bigger: f or 1?
1
Let f(g) = 3*g - 9. Let x be f(-3). Let b be x/(-6) - -2*17/2. Suppose b = 3*a - 7. Is 8 smaller than a?
True
Let s = 5108 - 6752777/1322. Which is smaller: s or -1?
-1
Let r be (-32)/6*165/110. Let m be 12/r*(608/(-540))/(-4). Are m and 0 equal?
False
Let k = 3 - 3.1. Let u = -100 + 127. Let s = -27.2 + u. Are k and s unequal?
True
Suppose -5*x = -2*x + 48. Let g = 220215 + -220234. Which is bigger: x or g?
x
Suppose 4*