 v be u(-5). Let n = 26914 - 26893. Is v bigger than n?
False
Let f = 4 - -5. Let h be 1/(19/27 - 6/f). Let u(p) = -p**2 + 15*p - 9. Let s be u(12). Are h and s nonequal?
False
Let q = -0.74 + 0.04. Let z = -85 - -84.14. Let c = z - -0.76. Which is greater: c or q?
c
Let r = 10487 + -10402. Are -11.3 and r unequal?
True
Let y be (4 + (-5)/(500/396))*(-3850)/440. Suppose -8 = -4*z - 4*j, 0 = -3*z + 5*z + j - 1. Which is greater: y or z?
y
Let n be (-270)/81*-438 + 12. Which is greater: 1477 or n?
1477
Let c = -76 - -53. Suppose -411 = -4*z + 165. Suppose -z = 10*v - 4*v. Are v and c non-equal?
True
Let t(f) = f**2 + 20 + 173*f - 2*f**2 - 160*f. Let j be t(15). Let c = j - -20. Is 12 greater than or equal to c?
True
Let l(d) = -37*d**2 + 4. Let h be l(3). Let s be (h/(-266) + -1)*(-14)/3. Is 0 < s?
False
Let k be (-2 - 82) + 25 + (-270)/30. Let s be 1/(-4) - (-271)/(-4). Is s greater than k?
False
Let o = 308.14 - 308. Let f = o + -1.14. Is -453 less than f?
True
Let j = -289193 - -8677213/30. Let f = 16709/690 - j. Let s = f + 186320/8027. Which is smaller: s or -1?
-1
Let n = -0.13006 + 18.63006. Is n at least -4/13?
True
Let a = -0.44 + 2.34. Suppose 72*i + 232 = -160*i. Do a and i have the same value?
False
Let r = -58223251/1652 + 246742/7. Let y = r - 19/4. Is y less than or equal to 1?
True
Let m = 64.421 + -64.421. Suppose -5*u - 5*b + 30 = 0, 3*u - b = -5*b + 13. Let o be (-1)/(-2)*(-20)/u. Is o at least as big as m?
False
Let c be 2 + (-34)/14 - 228/(-42). Suppose -18 = -c*j - 8. Which is smaller: j or 3?
j
Let o = -6505/2489 + 432/131. Is o != -0.6?
True
Let j = 54 + -49. Suppose -j*s = 11*s. Which is greater: s or -1/38?
s
Suppose 3*f - 5*h - 27 = 0, 3*f + 35 = -4*h + 8. Which is smaller: 3/97 or f?
f
Let r = -225 + 245. Suppose 0 = -r*i + 25*i - 2065. Which is smaller: 412 or i?
412
Let p(z) = -z - 14878*z**2 + 14877*z**2 + 28 - z. Let s be p(-10). Which is smaller: -49 or s?
s
Let g = 0.16 + -4.13. Let a = g + 4.07. Which is greater: a or 113?
113
Let b = -3 + 2. Let n = -816 + 1210. Let h = n + -394.6. Do b and h have different values?
True
Let k be 2/(66/15 + -4). Suppose 3*p - k*p + 6 = 0. Let v be 2/(-9) + p/6*-2. Is 0 at least v?
True
Let p(z) = 2*z + 186. Let f be p(-105). Let r be -2 + (-53 - -2) - 0. Let y = r + 32. Which is smaller: y or f?
f
Suppose -4*s + 22 = 3*f, -s - 3*f = 2*s - 18. Suppose -o = s*o - 40. Suppose 19081*w + 5*h = 19083*w - 102, 0 = 2*h + 36. Which is smaller: w or o?
w
Let a = 4401 + -8569. Which is smaller: -4167 or a?
a
Let o = -1824 - -1631. Let l be (-10)/25 - (-2904)/(-15). Which is bigger: l or o?
o
Let c = 17713 + -17711.4. Is c != -739?
True
Suppose -15*m - 144 = -13*m. Suppose 32*j = 8*j - 1680. Is j bigger than m?
True
Let k = -39/617 + 285455/4535567. Which is smaller: k or 0?
k
Let m be (-12044)/3 - 132/(-198). Which is smaller: m or -4015?
-4015
Let t be (-12)/(-36) - (-46)/6. Let k = -22 - -51. Let o = -19 + k. Is t at most o?
True
Let i be -4 + (-655)/25 + (-2)/(-10). Let s = -23 - i. Let x be 0/((-12)/(-3)) + 2. Is x at least as big as s?
False
Suppose -11*v = 7*v - 5976. Let l = v + -340. Which is greater: l or -13?
l
Let t = 3289 - 3287. Which is smaller: 44/7 or t?
t
Let r be (3/(-28)*-2)/(54/3312). Which is smaller: 12 or r?
12
Suppose 49 = 3*y - k - 60, -5*y = -4*k - 198. Which is greater: 72 or y?
72
Let w be (-349)/(-6) + (-3)/18. Let v = 57 - w. Is v bigger than 1/6?
False
Let u be (-1)/(6/(-24)*2). Let i(o) = o**3 - 6*o**2 + o + 2. Let q be i(u). Let y be (4 - 333/90)/(q/10). Is -0.076 at least y?
True
Let x be (-4)/22 - (-994)/22. Let m = 58 - x. Suppose 5*z - 3*f + m = -4, 5*z = -4*f + 11. Which is bigger: z or 1/123?
1/123
Let q = -94 - -141. Suppose -5*r - q = -17. Let i be 492/828 + 2/r. Which is smaller: i or 0?
0
Suppose 17*m + 359 = 410. Suppose m*v + 4*h + 35 = 2*h, 3*v + 70 = 5*h. Is -21 at least as big as v?
False
Let b be ((-30)/(-2))/5 - -88. Suppose 103*h = b*h + 396. Is 33 less than h?
False
Let b = 92926 + -648789/7. Which is smaller: b or 243?
b
Let u be (1 - -9)/(35/(-14) + 3). Let y be 17/(-16) + -1 + (22 - u). Is y < 0?
True
Let l = -17 + 45. Suppose -3*b = -502 + l. Which is greater: 159 or b?
159
Let z = -0.4408 - -1.4408. Let j = -61 - -43. Let m = -20.3 - j. Is m less than or equal to z?
True
Let i = 3 + -26. Let f = -19.5 - i. Let o = 1.5 - f. Is o less than 0?
True
Let x = -681.02 + 680. Let c = 0.98 - x. Do c and 8 have different values?
True
Let f(w) be the third derivative of w**6/120 + w**5/15 - w**3/2 - 10*w**2. Let p be f(-4). Suppose -2*o + 1 = -1. Is p greater than or equal to o?
False
Let j be 60 - (17 - (12 - -5)). Suppose 0 = y + 6 + 5. Let o be 39/(-65) - y/j. Which is smaller: -1 or o?
-1
Let h = 25 + -52. Let t = h + -16. Let d = t + 43.7. Is 1 not equal to d?
True
Let n be 84/15 - 2/(-5). Let l be 9/(-6)*(-4)/n. Let r = 88255/73 + -1209. Which is greater: l or r?
l
Let x = 8 + -5. Let u(a) = a**2 - 2*a - 4. Let c be u(x). Let n be (c/(-14)*(-56)/7)/2. Which is bigger: 2/11 or n?
2/11
Let m(l) = -715*l - 7483. Let s be m(-8). Which is bigger: s or -1762?
-1762
Let o = 584176/55 - 10621. Let b = 9/11 + o. Is b bigger than -3?
True
Let r be 4/(-6) - 3820/(-15). Is r < -7?
False
Let r = -215476629/70 + 3078184. Let v = -107/2 - r. Which is smaller: v or -1?
-1
Suppose -7*i - 10*i = -3*i. Let x(t) = -t**2 + 3*t - 15. Let c be x(8). Let n = -1259/23 - c. Which is smaller: n or i?
i
Let g = -2024 - -2023. Is g <= 2/1709?
True
Let f(z) = -25*z - 5. Let h(v) = 21*v + 4. Let o(d) = -5*f(d) - 6*h(d). Let n be -1*(0 - -3 - 3). Let j be o(n). Is 3/14 smaller than j?
True
Let s = 3321 + -3314.812. Let a = -0.188 + s. Is a smaller than 1/5?
False
Let i be 1632/(-27 + -7)*2/(-142). Which is bigger: i or 2/11?
i
Suppose -5*k - 54 = -11*k. Let o be 6/k - (-8)/6. Let c = -772 - -786. Is c at least as big as o?
True
Let b be (-34328)/(-3720) + (-27 - -18). Which is smaller: b or 0?
0
Let p = -5870 + 2004. Is -3865 at least p?
True
Suppose 76 - 180 = -52*p. Which is smaller: p or 1663?
p
Let g = -5144 - -5523. Suppose -2*l - 5*n + 731 = 0, -2*n = 13 - 3. Which is bigger: g or l?
g
Let w(q) = -q**2 + 68*q - 672. Let j be w(25). Which is greater: 9 or j?
j
Suppose 17*p - 31*p + 6003 = 15*p. Which is greater: -1 or p?
p
Let k = 976 + -1934. Which is smaller: k or -956?
k
Let i(q) = q**2 - 70*q - 141. Let t be i(72). Suppose 167 = 2*v + 5*w, 26*w - 23*w = -t*v + 264. Let s be (-2)/(-5) + (-1344)/(-15). Which is greater: v or s?
v
Let t be (6/(-344))/(-3)*9978. Let y(r) = -17*r + 398. Let q be y(20). Let a = t - q. Is 0.1 bigger than a?
True
Let n(g) = -4*g. Suppose 5*y + 15 = -5*b, 5*y - b + 15 = -3*b. Let f be n(y). Let w be ((f*4)/3)/(-1). Are w and 0 non-equal?
True
Let r = 1 + -6. Let o = r - 12. Suppose 92*j - 10 = -4*t + 95*j, 0 = -3*t - j - 12. Is o greater than or equal to t?
False
Let o(s) = -2*s**3 + 66*s**2 - 36*s + 34. Let p be o(24). Which is smaller: 9539 or p?
p
Let l = -169 - -619. Suppose -4*f = l + 982. Let m = f - -14676/41. Which is bigger: m or 1?
1
Let c(p) = p**3 - 4*p**2 - 4*p - 1. Let h be c(5). Suppose 2*r + 2 = -s + h, -2*s = -4*r + 28. Which is smaller: s or -1?
s
Let v(d) = -d**3 + 2*d**2 + 3*d + 4. Let n be v(4). Let t = 113 + -117. Let g be ((-186)/(-12) - 8)/(2/t). Is n smaller than g?
True
Let w be (-44)/(-1056)*-345 + (-6)/(-16) + 0. Suppose 0 = -3*q - 2*q. Suppose -4*u + q*k + 3*k - 52 = 0, 3*u + k + 52 = 0. Do u and w have the same value?
False
Let b = 5.4 + 1.6. Let r = b + -17. Let f be (2/14)/((-1692)/(-72) - 24). Which is greater: f or r?
f
Suppose 49*c - 52*c - 69 = 0. Let y = -38 - c. Let t(k) = -k**2 - 12*k + 45. Let x be t(y). Which is greater: -2/35 or x?
x
Let y be -22 - (2 + -2 + -1). Let b = -35253 + 35231. Which is bigger: y or b?
y
Let a = 1 + -3. Let n = -360.88 - -247.88. Is n >= a?
False
Let b = 111 + -111. Suppose b = s - 34*s - 264. Is -74/9 at most s?
True
Let v be -5 + (5 - (-72)/19300). Let m = v - -152439/1819025. Let h = 7/29 - m. Are h and 12 unequal?
True
Suppose 28*x - 653 + 289 = 0. Which is greater: 61 or x?
61
Let m be ((-8)/(3168/(-2180)) - 5) + 4/(-9). Let y(b) = b**2. Let s be y(-2). Suppose 0 = 3*j - 4*v - 11, -2*v - 4 - s = -4*j. Which is greater: j or m?
j
Suppose 2*q + 13 + 3 = 0. Let 