et z = -296 + 486. Suppose 2*p + 5*g - 67 + z = 0, -2*p = 3*g + 113. Let f be (-6)/(-14) + 217/p + 0. Is f at least -21/4?
True
Let a = 583 - 571. Let t(p) = p**3 - 5*p**2 + 2*p + 8. Let y be t(4). Let d be y + 9/(162/(-4)). Is d bigger than a?
False
Let v = -78 - 4. Let d = v + 81.817. Let m = -0.037 + d. Is m equal to -1?
False
Let q(r) = r**3 - 12*r**2 + 9*r + 9. Let t be q(11). Suppose 9*a - 6*a = 0. Let n(v) = -v**3 - 2*v**2 - 14. Let j be n(a). Which is greater: j or t?
t
Let w = -11 + 7. Let c(t) = 56*t - 61. Let j(d) = 4. Let y(s) = -c(s) - 4*j(s). Let r be y(1). Which is bigger: r or w?
w
Let c = -1770991/31 + 57121. Which is greater: c or -9?
c
Suppose 0*f - 2*m + 434 = 4*f, f + 3*m = 101. Suppose 0 = -5*o - 4*g - 107, g + f = -5*o - 4*g. Which is greater: -15 or o?
-15
Let c = -14914 - -343100/23. Which is smaller: 2/3 or c?
2/3
Let h be (-35)/14*-4*3. Let z be ((-1)/h*5)/(2/(-20)). Which is smaller: 2/9 or z?
2/9
Let w be 2*1/9 - 455866/1941966. Which is greater: 1 or w?
1
Suppose 8*s = 4*s + 2*x + 18, 2*s = -3*x + 21. Suppose 0 = q - c + 5, 0*c = -2*c + s. Which is greater: 102 or q?
102
Let i(j) = 17*j - 714. Let x be i(42). Which is smaller: x or -1312?
-1312
Let j = 3085 + -3085.614. Which is greater: j or -1/5?
-1/5
Let y = 3896 + -3893. Is -209 greater than or equal to y?
False
Let j(n) be the first derivative of 3*n**4/4 - 8*n**3/3 + n**2 - 6*n - 73. Let b be j(3). Is 8 bigger than b?
False
Let n be (4 - 2) + 6 + 285/(-10). Suppose -3*j = 27 - 36. Let c be ((297/6)/j)/((-6)/8). Are c and n unequal?
True
Let u be (-9 - 6/18 - -9)*-3180. Are 1062 and u nonequal?
True
Suppose -504 = -64*u + 60*u. Let w = u - 114. Let g(b) = 3*b**2 + b + 1. Let h be g(-2). Which is greater: w or h?
w
Let s = 1263 + -376379/298. Is s smaller than 1?
True
Let r = -903 + 899. Let g be (r - -2) + 273*4/570. Are -1 and g unequal?
True
Let r be -7 - (3/(-1) + 3). Let c = -835/126 + 8/63. Which is greater: c or r?
c
Suppose 4*u = 3*l + 3*u + 8, 12 = -3*u. Let z be 1/(-14) - (-2)/l. Let d = 23863 + -95453/4. Is z greater than or equal to d?
False
Suppose c - 4*w = -5, -106*w + 102*w + 2 = -2*c. Is 232/141 smaller than c?
True
Let m be 162/455 - 4/10. Let l = 108992 + -108991. Is l greater than or equal to m?
True
Let s be (-1490)/(-14) - ((-5974)/(-203) - 29). Which is smaller: 527/5 or s?
527/5
Let n(f) = -52*f - 1921. Let d be n(-37). Which is smaller: d or 7/18?
7/18
Let l = 6 + 108. Let h = l + -110. Suppose -4*f - 5*g + 48 = 0, -h*g = g. Are 8 and f equal?
False
Let f = -20.073 - 14.527. Which is greater: f or 1?
1
Let i = -198 - -200. Let w be 1600/4992 - (i/13 + 0). Let l = -12 + 5. Which is bigger: l or w?
w
Let l(j) = -j**3 - 5*j**2 + 12*j + 11. Suppose 31 = 5*r + 11. Let i be 4*(21/r)/(-3). Let w be l(i). Is 24 greater than or equal to w?
False
Let w = 42471 + -42370. Let q = 0 - 0.1. Which is smaller: w or q?
q
Let t be (-2 - 354/(-80)) + (-214)/(-1070). Which is greater: -2 or t?
t
Let x = -53/14 + 2/7. Let n = 51/10 + x. Is n greater than 3?
False
Let y = -12242 - -11916. Is y bigger than -327?
True
Let o be (-3 - (-12 + 2)) + 1*-4. Let m be (-3 + 52/4)/((-3)/(-9)). Let k be (-20)/m - (-23)/o. Is k at most as big as 31/4?
True
Suppose k + 19 = -s, -13*k + 31 = -s - 18*k. Let p be (-296)/s - (-15)/(-10). Is 19 bigger than p?
True
Let b be 7/(-5) - ((-2101914)/(-340) + 4). Is -6188 greater than b?
False
Let l be (-6)/7*154/(-44). Suppose g + 3*w - 22 = 0, -l*g + 2*w = -2*g - 12. Which is smaller: 12 or g?
12
Let x be (-330)/275*6065/3. Which is greater: x or -2425?
-2425
Suppose 5*u - 22 = 10*b - 13*b, -3*b = 4*u - 17. Which is bigger: -3/127 or b?
-3/127
Suppose 0*c = -2*c + 7320. Let m be c/14 + -3 + (-75)/(-21). Which is smaller: 264 or m?
m
Let a be (((-135850)/(-33))/25)/(4/6). Let c = a - 217. Suppose 5*y = 6 + 149. Which is smaller: y or c?
c
Suppose j + 11 - 5 = 0. Let l be j/42 + 230/(-7). Suppose 19*s - 3*w - 40 = 20*s, -w - 36 = s. Is s <= l?
True
Let o = 0.422 + 79.978. Let z = -13.4 + o. Let u = -5 - -5. Which is bigger: u or z?
z
Let y = 4491 - 31439/7. Which is smaller: -1.688 or y?
-1.688
Suppose -o = 3*o + 4. Let y(c) = c + 228. Let s be y(0). Let q = s + -228. Which is greater: q or o?
q
Let q(k) = k**3 + 18*k**2 + 20*k - 6. Let o be q(-17). Let x be (o/19)/(-1 - -2). Let i be ((-11)/2)/(x/2). Which is smaller: 4 or i?
i
Let n be ((-1515)/(-101))/(((-18)/8)/3). Let d(m) = m**2 + 19*m + 48. Let u be d(n). Which is smaller: 69 or u?
u
Suppose -t - 10*c + 44 = -7*c, 90 = 2*t + 5*c. Do 50 and t have different values?
False
Suppose 0 = 6*o - 6 - 6. Suppose -o*u + 10 = -4. Is u at least as big as 19?
False
Suppose z = -5*k - 3, -5*k - 19 = 4*z - 7. Do k and 2/16851 have different values?
True
Suppose 12*y = 17*y - 10. Let r = -24 + 24. Suppose -y*c = 2*b - 26, c + 2*b - 4*b - 13 = r. Is 14 smaller than c?
False
Suppose -3*g = -0*b + b + 9, -3 = -3*g + 3*b. Suppose -11*l + 43 - 65 = 0. Let m be ((-1)/l)/((-99)/48 - g). Which is smaller: m or -11?
-11
Let r(i) = 47*i - 2315. Let n be r(46). Is 4 less than n?
False
Let m be 171*13/(-39) + 9. Which is bigger: -19 or m?
-19
Let d(p) = 4*p**3 - p**2 - 3*p. Let x be d(-2). Let n be x/(-100)*(-8 - -3). Let v be (2/6)/(1/(-3)). Which is greater: v or n?
v
Let y = 145 + -273. Let w = y - -121. Let f = 7 + -14. Are w and f nonequal?
False
Suppose -3*n = 5*v - 28, 4*v = 4*n + 13 + 3. Suppose -v = -18*z + 23*z. Is 0.136 != z?
True
Let f = 1656 + -801. Which is greater: 858 or f?
858
Let v be (22/(-132))/((-309)/18 - -1). Let q = 801/64 + -79185/6208. Let b = q - v. Which is smaller: 1 or b?
b
Suppose -3*x = h - 3*h - 84385, 5*h - x = -210956. Let o be (166/(-82) + 2)*h. Let r = o - 1029. Which is bigger: 0 or r?
r
Let r(j) = j**2 + 9*j + 5. Let g be r(-4). Let b be ((-8)/(-5))/((-6)/(-75)). Let k = -37 + b. Is k smaller than g?
True
Let r be -22 + (18*(-12)/(-30) - 12/60). Which is greater: r or -415/26?
r
Let z be (-582)/199917*(-1)/(-6). Are z and -1 equal?
False
Let m be (-1 + -51)*(0 - 1/4). Suppose 0 = 15*d - m*d + 68. Is -34 smaller than d?
False
Let p(b) = 2*b - 8. Let l be 36/15*(-1 + (-291)/9). Let z = l + 63. Let m be p(z). Is -41 less than or equal to m?
False
Let v = 2124 - 2124.4. Which is smaller: v or 135?
v
Let g be ((-1309)/55 - -24) + (-10266)/15. Which is greater: -685 or g?
g
Let y = -2192.6 - -2195. Do y and -0.21 have the same value?
False
Suppose -d + 0*l = -5*l - 1, 0 = 3*d + 2*l + 65. Suppose 0 = -4*w + 3*c - 104, -53*c = -56*c + 12. Is w at least as big as d?
False
Let v = -167 + 203. Suppose -v*p = -48*p + 240. Which is greater: 23 or p?
23
Let y = 662 - 659. Which is smaller: -7 or y?
-7
Let w be (-9*(-9)/(-45))/((-3)/(-10)). Let f be w/7*1274/(-21). Which is smaller: 358/7 or f?
358/7
Let t(q) = 410*q**2 - 31. Let d be t(5). Which is greater: d or 10220?
10220
Let r = 13.19 + -13. Let o = -1029 - -1035.19. Let c = o - r. Do c and -0.3 have the same value?
False
Suppose -5*x - 4 = -x. Let o(z) be the first derivative of 3*z**2 + 6*z + 122. Let r be o(x). Which is smaller: 1/14 or r?
r
Suppose -9*k - 21 = -696. Let v = k + -76. Which is greater: v or -2/613?
-2/613
Let t be (-811)/(-55) + 2/1 + (-44)/220. Which is smaller: t or 18?
t
Let r = 1007.8 + -1096. Let q = -528 - -440. Let p = r - q. Is p <= -0.15?
True
Let b = 3770 + -2547. Let g = -4825/4 + b. Does g = 18?
False
Let u be (-1)/(-3) - ((-2874)/(-9) + -9). Let x = u - -309. Which is greater: x or -2/499?
-2/499
Let c = 4518 + -4529. Is 12.6 greater than c?
True
Let f = 55112 - 55113. Let u = -4274 - -1320665/309. Does u = f?
False
Let t be 2 - (-1 + 0 + 0). Let g be (-4)/2 - t*9. Let o(h) = 2*h**2 - 112*h + 1409. Let n be o(36). Which is bigger: n or g?
g
Let m = -17445/4 + 4361. Which is smaller: m or -936?
-936
Let b = -244.09 - -243. Let z = b + -11.16. Let g = z - -0.25. Is 2 > g?
True
Let m = 248157/176 - 1410. Which is smaller: m or 0?
m
Let n = -1.94 - 0.06. Let p be 23688/(-13160)*(-10)/22. Which is smaller: n or p?
n
Let c(t) = t**2 - 2*t**3 + 10 - 5 + 2*t**3 + 9*t + t**2 - 4*t**3. Let r be c(-3). Is r less than 104?
False
Let g = -67804/19 + 3570. Suppose -3*c - 12 = 0, 5*c + 13 = -5*p - 2. Do p and g have different values?
True
Suppose -17*z - 5 = -18*z. Suppose z*r - 15 = -40. Is -80/19 great