x at least as big as q?
False
Let o = 121 + -114. Let y(w) = -w**2 + 3*w - 14. Let k be y(o). Is -43 at most as big as k?
True
Let y(f) = 85*f + 3314. Let s be y(-39). Are -56/87 and s nonequal?
True
Let b(i) = 2*i - 33. Let l(t) = -5*t + 65. Let h(v) = -9*b(v) - 4*l(v). Let x be h(-18). Suppose 3*z = -2*o - 5, 12 - x = -z - 3*o. Is -4/9 not equal to z?
True
Let c = -12312 + 16942. Is 0 bigger than c?
False
Let c(k) = k**3 - 29*k**2 - 27*k + 3. Let n be c(-1). Which is smaller: n or 144.2?
n
Let p be -2 - (72/(-33))/3. Let n be (97/(-11))/(-1) + 14/77. Suppose n*m = -8*m + 14*m. Is p smaller than m?
True
Suppose 17*x = 15*x, -2*x + 4 = 4*z - 8. Is z >= 128/35?
False
Let o be 9*((-76)/(-12) - 2). Is 10 at least o?
False
Let f(g) = -g**2 - 7*g - 6. Let v be f(-6). Suppose -230*n = -221*n - 36. Suppose -5*m = -25, 5*w + 9*m - 25 = n*m. Does w = v?
True
Suppose 5*p - 72 = 17*p. Let j be (50 - 46)/(38/p). Which is bigger: j or 0?
0
Let l = -177.425 + 161.425. Let p be (-58)/((3 + -1)*-1). Which is greater: l or p?
p
Suppose -99*j = -39*j + 12960. Which is smaller: j or -218?
-218
Let g = 1118 - 1307. Is g bigger than 1?
False
Let d be ((-16)/20)/(16/(-40)). Let r(m) = -10*m + 20. Let f be r(d). Is 4/3 <= f?
False
Let o = -0.05 + 0.05. Let v = -7977 - -7824. Is v bigger than o?
False
Let h = -34365430/753 + 45638. Do -1 and h have different values?
True
Let v be (5/(-20))/((-54)/108). Is -0.6741 <= v?
True
Let r = -28080 + 28690. Which is bigger: r or 584?
r
Let k = -174 + 240. Let x be 3/1*(-110)/k. Is -5 > x?
False
Let w(f) = 2*f**2 + 18*f + 37. Let v be w(-5). Let j be 24/(-126)*1/(-34)*v. Which is bigger: 0 or j?
0
Let z be (((-1022)/5)/7)/(5 + 204/(-40)). Is z bigger than 305?
False
Let m(h) be the first derivative of h**4/4 - 7*h**3/3 + 4*h**2 - 9*h - 2. Let c be m(5). Let g = 115.3 - 113.3. Which is greater: c or g?
g
Let c = 166.912 + -32.89. Let k = 134 - c. Let z(i) = i**3 - 9*i**2 - 10*i. Let m be z(10). Which is greater: m or k?
m
Let z = -77 + 55. Suppose 5*l + 2666 = 6*g - 3*g, -g + 902 = -5*l. Let q be 2/3*g/(-28). Which is smaller: q or z?
z
Let x = -6186 + 6340. Do 166 and x have the same value?
False
Suppose -18 = -9*r + 135. Let q be (-1 - -1)/1 - (r + -14). Let y = -29 - -20. Is q at most y?
False
Let h(r) = -676*r + 18544. Let x be h(27). Which is smaller: x or 291?
291
Let a(g) = 6*g**2 + 119*g - 20. Let h be a(-20). Let z be 3/12 - 162/664. Which is bigger: z or h?
z
Let a = 35251 + -35252. Let k = 1 - 0.8. Let z = -0.3 + k. Which is smaller: a or z?
a
Let x be (-1122)/(-424) + ((-250)/(-400) - (-1)/8). Is x not equal to 2?
True
Let x be ((-15)/(-243))/(-11 + 364/30). Is -0.1 at least as big as x?
False
Suppose -14 + 322 = -14*y. Let h be (-450)/(-55) - 8 - (-620)/y. Is -25 at least as big as h?
True
Suppose 4*v + 2*s = -9462, -23*v + 15*v - 3*s - 18931 = 0. Is -2371 smaller than v?
True
Suppose 40*w - 3*y = 38*w + 1532, 0 = 5*y + 20. Is -1/2 at least w?
False
Let l = -463.64 + 13.64. Which is smaller: -0.1 or l?
l
Let f = 15418.2 - 15418. Let z = 22.2 + 5.8. Which is smaller: f or z?
f
Let a be ((-560)/770)/((-28)/4312). Let l = 5759/6 + -5089/6. Which is smaller: l or a?
l
Let x be (-4)/(-30)*-1 - (-22530)/33975. Is 1 > x?
True
Suppose -7*p - 8*p + 665 = 665. Which is greater: 9/40 or p?
9/40
Let h be 3755/(-329) + (36/28 - 1). Let t = h - -11. Is -1 > t?
False
Suppose -11*j + 225 = 192. Are j and 812 non-equal?
True
Let m(p) = -930*p - 2. Let g be m(-1). Suppose -138 = -26*k + g. Is k <= 42?
True
Let v = 5865 + -5866. Let r be 1*-1*(-19 + 0). Let h be 6/15 + r/(-85). Which is smaller: h or v?
v
Let c(k) = 11*k**2 + 2*k + 9. Let z(h) = -11*h**2 - 2*h - 10. Let j(r) = 6*c(r) + 5*z(r). Let q be j(3). Suppose q + 3 = 4*s. Which is bigger: 29 or s?
29
Let i(a) = a**2 + 3*a - 2. Let h be i(0). Let m be (-5)/340*h/(-3). Which is greater: m or 0?
0
Let j = 349.1 - 348.1. Which is smaller: j or -34?
-34
Let l be 138/(-9) + (-23 + 24)/3. Which is bigger: -22 or l?
l
Let s = -0.21 + 0.069. Is 0.19 greater than s?
True
Let q(a) be the third derivative of -a**6/120 - 11*a**5/60 + 5*a**4/24 + a**3/2 - 2*a**2 - 41*a. Let p be q(-11). Is p <= -54?
False
Let d be 2515*(11 + 720/(-64)). Is d != -629?
True
Let x be (-1)/(1/(-3)) - 108. Suppose -2057*t + 309 = -2060*t. Is t at most as big as x?
False
Suppose k - 20 = 6*k. Let z be (-5 - 4*(-1)/k) + 3. Let h be (-1*(-4)/(-2))/1. Is h at least z?
True
Suppose -49*w + 1734 + 311 = -2169. Let s be (-4)/6*1026/(-8). Which is greater: s or w?
w
Suppose -12 = -4*x, 0 = 5*d + x - 4 + 1. Suppose 4*o - 2*t + 44 = d, 0*t + 56 = -5*o + 2*t. Let h be 130/(-11) - (-4)/(-22). Is h at least o?
True
Suppose -17 = 4*f - 4*o + 11, 3 = 3*o. Let y be ((-2)/4)/((-9)/f)*21. Which is greater: y or -130/17?
y
Suppose -29*u = -31*u + 103*u - 82214. Which is smaller: -1/3 or u?
-1/3
Let i = -14542 + 25254. Is i bigger than 10711?
True
Let d(i) = i**3 + 14*i**2 - 28*i + 28. Let p be d(-14). Let k be p/72 - 2/(-12). Suppose -3*g + 95 = -k*g - j, -4*g - 128 = j. Which is smaller: -63/2 or g?
g
Let h = -2422.51 + 34.51. Which is smaller: h or 3?
h
Let y = 3518161/6 + -584911. Which is bigger: 1448 or y?
y
Suppose 198*z - 190*z = -1464. Let v = 235 + z. Let m(u) = 52*u**2 + 1. Let y be m(1). Which is greater: y or v?
y
Let f = -746 - -1493. Suppose -4*h = -4*w + f + 257, 4*w - 5*h = 1000. Let d be (112/60 - 2) + 94/w. Do d and -1 have the same value?
False
Let p = -400 + 399. Let s = -1005 - -137688/137. Which is greater: s or p?
s
Let n(i) = -i**3 + 7*i**2 + 12*i - 100. Let v be n(6). Suppose -2*h - v = -u, 4*h + 28 = u + 6*h. Which is bigger: u or 16?
u
Let n = -74 + 53. Let b(a) = -a**2 - 30*a + 42. Let i be -1 - -1 - (32 - 0/5). Let y be b(i). Is n less than or equal to y?
False
Let x = 47.2628 - -55.7372. Let v be -1*(1 - 0)*1. Which is smaller: v or x?
v
Suppose 23 = 5*z + 3. Let k be z/(40/334) + 1. Let v = k - 34. Is 5 at least v?
True
Let n be (-4 - -5 - -1) + -6 + 1. Let l be (-2)/6*4*n/4. Is -7/54 at least l?
False
Let z = -5.122 - -5. Let k = -1.878 + z. Is -42 less than k?
True
Let c = -5947 - -5948. Which is smaller: 74/33 or c?
c
Let q be (-169)/(-245) + 86/(-430). Are q and 2/3 equal?
False
Suppose -6*y = -5*y + 23. Let x = 364 - 199. Let k = -187 + x. Which is smaller: k or y?
y
Let w(i) = -i**3 + 5*i**2 + 6*i + 12. Let m be w(6). Let p = m + -13. Let c be 16/24 + 8/(-36). Is c less than p?
False
Let t = -4/24513 + 345242/12624195. Is 0 equal to t?
False
Let s(g) = -3*g**2 - 53*g - 34. Let i be s(-17). Suppose i = -5*z + 5, -3*z - 6 = -2*v - 9. Suppose 167 = -5*h + 3*l, -2*l - 40 = 3*h + 45. Is h bigger than v?
False
Let v = 51 + -138. Let o be (33 - 58)/((-4)/(-14)). Which is smaller: v or o?
o
Let q be (-63)/1*12/(-18). Let b be 3/9 - 122/q. Let r = 43/14 + b. Which is bigger: 1.4 or r?
1.4
Let v = 1419 - 15502/11. Which is greater: v or 10?
10
Let v = -3387 + 3018. Is -369 at most v?
True
Let r(o) = o**2 - 27 + 31 - o - 3 - 33. Let j be r(0). Which is smaller: j or -30?
j
Let c = 2432 + -2431.9. Which is smaller: c or 2432?
c
Suppose -125*c + 450450 = -20*c. Are 4290 and c unequal?
False
Suppose -466*i + 461*i + 1205 = 5*h, 4*i + h = 964. Is i greater than 229?
True
Let l be 2/(-16) - 642/(-4624). Suppose q = -5*j - 7 + 8, 3*j + q = -1. Which is smaller: j or l?
l
Let u(h) = h**3 - 3*h**2 + h - 2. Let r = 309 - 306. Let q be u(r). Which is smaller: 2/119 or q?
2/119
Let w = 33 - 15. Let n be (1 + w/(-15))*(-10)/(-16). Is n at least 0.9?
False
Let v(h) = -h**2 - 28*h + 157. Let q be v(-33). Let s = 10 + -39. Is q >= s?
True
Let o be (-4 - (-22)/6)/(-10 + 45360/(-10)). Is -1 at least o?
False
Let h = 4735 - 4742. Is -1/21 at least h?
True
Let m = -0.172 + 0.1911. Let f = -0.1391 + m. Which is greater: -8 or f?
f
Let v = -0.58 + -34.42. Let z = v - -46. Let q = 13 - z. Which is bigger: -0.03 or q?
q
Let s = -57449 - -57368. Let c = -1.4 - 0.6. Which is greater: s or c?
c
Let o be 68/(-170)*(-32 + (1 - (-3)/3)). Is 1 < o?
True
Let m be (0 - 1) + ((-48)/(-60))/2. Is m greater than -633/8?
True
Let f be (0 - 30/20)/(2/212). Is f > -157?
False
Suppose -15*d + 10*d = 640. Let v = 172 + d. Let w = v - 56. Is -16 smaller than w?
True
Let w = 9.778 + -9.748. Is -57/29 at most as big as w?
True
Let r = 23 - 16. 