be (22/(-6) + 4)*(s + 27). Suppose -11*b - 1365 = g*b. Is b greater than -64?
False
Suppose 4*f + h = f + 217, 0 = -2*f + 4*h + 168. Let v = -60 + f. Are v and 10 nonequal?
True
Let b(x) = 2*x**2 + 5 - 16 - x**2 - 6*x + 3*x. Let h be b(9). Are 45 and h nonequal?
True
Suppose 5*b - 75 = -15. Let m be ((-58)/(-4))/(b/24). Let r = 8 - -20. Which is bigger: r or m?
m
Let l be (0/6)/(6/(-22) + 1432/(-1969)). Which is bigger: l or -3591?
l
Let b = -4591 + 4590.9. Is b at most 3204?
True
Let b = 27448 - 51450. Which is greater: -24001 or b?
-24001
Let t = 52804 - 52804.04. Suppose 2*j - 5*o = 15 - 63, -4*j - 76 = -5*o. Is j at least as big as t?
False
Let w(z) = -z**3 - 5*z**2 + 3*z - 7. Let g be w(-6). Let p(d) = d**2 - 12*d + 15. Let a be p(g). Suppose 2*m - 2 = a*m. Which is smaller: 2/11 or m?
m
Suppose -w + 10 = 4*w. Let i be (4/24*-2)/(w/42). Which is smaller: i or -51/7?
-51/7
Let h = 247 - 238. Suppose -3*m + 3*v - 5*v = -96, 3*v - h = 0. Which is bigger: m or 1?
m
Let u = 0.31599 + -0.23599. Let h(l) = l + 1. Let q be h(5). Is q bigger than u?
True
Let w = -0.189 - -8.205. Let l = w - 8. Let p = -0.984 - l. Is -20 at least p?
False
Let g = -406997 + 12391837658/30447. Is 0 > g?
True
Let t be 2/12*(-108)/(-45). Which is smaller: -806 or t?
-806
Suppose g + 4*v + 22 = 0, -5*g + 2*v - 6*v - 158 = 0. Let w = -311 + 255. Let p = 23 + w. Is g >= p?
False
Let r be (-190)/38 + 73/7. Suppose 8*o = 153 - 57. Suppose 2*s - 11 + 5 = -u, -s + 4*u = -o. Is s at least as big as r?
False
Let c = -91 - -1789. Is 1699 > c?
True
Suppose -25*p - 12 = -29*p. Suppose -6*i + 4*i + 82 = -p*c, 5*c + 132 = i. Let b = c + 15. Are -9 and b nonequal?
True
Let h be 6 - (42372/11)/12. Let p be -2 - -4 - -1 - 317. Is p at most h?
False
Suppose 4*m = 6*m + 88. Let g be (-303110)/765 - 4/(-18). Let r = g - -353. Which is bigger: r or m?
r
Let x(n) = -n**3 - 5*n**2 + n - 4. Let w be x(-7). Suppose -f - 90 + w = 0. Which is smaller: -35 or f?
-35
Let v = -93366813 + 11484229193/123. Let s = v + -904. Let f = -7 + 6. Which is bigger: s or f?
s
Suppose 0 = -3*l + 2*u + 1487, -l - 10*u = -15*u - 500. Let y be (l/(-1250) - (-6)/15)*2. Which is smaller: 1 or y?
y
Let t(x) be the second derivative of x**4/12 - 7*x**3/3 + 6*x**2 - 15*x. Let p be t(16). Suppose 5*d + p = d. Which is bigger: d or -13?
d
Suppose 0 = 5*h - 4*n - 57, 3*n + 6 = h + 4*n. Let s = h - -35. Which is smaller: s or 45?
s
Let l = -813 + 780. Let d = 99 + l. Is d equal to 1?
False
Let q = -7094 + 9943. Suppose 0*f = -f + q. Let a = 48403/17 - f. Which is greater: a or -1?
-1
Let h = -67 + 63.3. Let o = -22.7 - h. Let l = o + 18.94. Is 2/7 not equal to l?
True
Let v = 2345 - 2350. Let l be (-2)/(-6) - (-2824)/(-72). Let h = l + 34. Which is smaller: h or v?
v
Let b = -6996.86 - -5214.1. Let f = -1831 - b. Let l = 48 + f. Which is smaller: l or 0.2?
l
Let v = -395.5 - -394.171. Is 0.2 < v?
False
Let i = -721 + 659. Suppose -69*b - 4 = -70*b. Which is smaller: i or b?
i
Let c be (-13000)/(-19590) - 4/6. Let d = c - -1975/5224. Let j = 1 - 1. Which is greater: j or d?
d
Let b = 4410 - 6337. Is -1927 <= b?
True
Let s(l) = -19*l + 18. Let c be s(1). Is 2/195 < c?
False
Let l = -13617 + 13723. Which is bigger: 526/5 or l?
l
Let p(x) = -x - 13. Let q be p(-9). Let z be (-4 - q)/((-2)/(6/(-3))). Let b = 8955/14 - 640. Does z = b?
False
Let j be 33483/(3 + (-7 - -1)). Let h = j + 144961/13. Which is greater: h or -11?
h
Let m(a) = 7*a**2 - 97*a**3 - 7*a + 96*a**3 - 15 + 0*a. Let u be m(5). Which is smaller: u or 3/157?
u
Let j = -1 + -15. Suppose -2*m + 27*b = 23*b + 74, 0 = 4*b - 28. Which is smaller: j or m?
m
Let y = -2616 - -2134. Are -481 and y equal?
False
Let k be (-3)/2*(56/(-90) + 0). Suppose -2*j + 11 = -5*w - 14, -2*w = 2*j + 10. Which is smaller: j or k?
j
Let c = -110/7 + 16. Let z = 0.52 - 0.62. Let o = -2.1 - z. Is c bigger than o?
True
Let i(v) = -v**3 + 2*v + 2. Let f be i(0). Suppose 4*t - 2*c = 20, -4*c + 0*c + 32 = 4*t. Suppose 0 = f*j - 5*a + 45 - t, -a = -2*j - 19. Is j bigger than -7?
False
Let x = 32.87 + -33. Let z = -1290.13 - -1290. Let q = x - z. Is 60 smaller than q?
False
Let u(f) = 162*f + 431. Let l be u(-8). Is l bigger than -866?
True
Let q(j) = 2*j**2 + j + 243. Let v be q(0). Suppose -v = 4*r - 2*l + 213, 4 = 2*l. Which is greater: r or 1?
1
Let x = 806/119 + -120/17. Is -0.0335 at most as big as x?
False
Let p(y) = -y**2 - 3*y - 8. Let x(t) = -2*t**2 - 5*t - 16. Let f = 49 + -47. Let w(c) = f*x(c) - 5*p(c). Let d be w(-4). Is d bigger than 2?
True
Suppose -28 = -4*i - 4*a, -1678 = 2*i + a - 1686. Let f be 12/94*1/(-4). Is i smaller than f?
False
Let c = -160 + 162. Suppose -2*v + o = 5*o + 4, 2*o = -4*v - c. Which is bigger: 1 or v?
1
Let b = 23.001 - 22.9. Which is smaller: b or -16?
-16
Let i = 22055 - 22056. Is i at least as big as 27/1021?
False
Let k(w) = 2*w - 7. Let m be k(6). Suppose -12*o - 5 = 5*j - 7*o, 3*o = -2*j. Let n be (-3)/j + m/(-5). Is 12/19 at least as big as n?
True
Let d(t) = -t**3 - 5*t**2 - 3. Suppose 2*s + 3*c + c + 10 = 0, -3*s - 15 = -c. Let n be d(s). Let h = 146234 + -1608622/11. Is h bigger than n?
False
Suppose -3322*r + 3311*r + 1210 = 0. Is r < 107?
False
Let q(t) = -t**3 - 89*t**2 - 581*t - 8. Let f be q(-7). Which is smaller: f or 708/17?
f
Suppose s = -4*s. Let x be (22384/(-8394))/(((-932)/6)/1). Is x at most as big as s?
False
Let t = 3/2390 + 2369/16730. Is t less than 106?
True
Let u = -28680224/63 - -455260. Let v = u - 142/9. Is v less than -1/3?
False
Suppose l - 18*g = -14*g + 19, 25 = -5*l - 4*g. Does l = -24/283?
False
Let s = 2 + 4. Suppose s*o = o. Let g be -1986*10/3315 + 6. Which is greater: g or o?
g
Let r = 66 + -65. Let v(m) = -9*m + 15*m - 7 - 13*m. Let d be v(-5). Do d and r have different values?
True
Let g(u) = -357*u - 72526. Let v be g(-203). Let y = -45 - 12. Which is greater: y or v?
v
Let g be (9 - (-5)/5) + 1. Suppose g*k = 5*k + 288. Suppose -7*z + 4*z = -k. Is z at most 14?
False
Let z = -3.77593 + -0.22407. Which is greater: z or 2796?
2796
Let y = -10.526 - -10. Let r = 1.026 + y. Which is smaller: r or 3?
r
Let d = 15761.8 + -15762. Which is smaller: -37.8 or d?
-37.8
Let j = 37204/1533 + 35/219. Let b = -1080 - -1105. Is j at least b?
False
Let s be 3/(-2)*(4 - 684/(-27)). Let l be 2/s*-1*8/(-2). Is -1 at most l?
True
Suppose 4*g + n = 2409, -5*g + 585 = n - 2426. Let d = g - 6019/10. Do -1 and d have different values?
True
Let k = -730 - -729.193. Let b = -48.093 + k. Let h = 49 + b. Which is smaller: -4.9 or h?
-4.9
Let i = -200.62 + 196. Let z = 4.53 + i. Is z equal to 1/5?
False
Let q = 527 + -534. Let u be 92/322 - (-16)/q. Are -35/16 and u unequal?
True
Let m(t) = -t - 54. Suppose -2*v - 32 - 12 = 3*x, -3*v - 88 = -x. Let a be m(v). Let l(o) = -3*o**2 - o + 4. Let h be l(3). Do a and h have different values?
False
Suppose 4*r = 4*h - 2*h + 50, r - 2*h - 17 = 0. Suppose -v + 4*c + 28 = 0, 4*v + 4*c = -v + 116. Suppose 0 = 218*k - 216*k - v. Is k at least r?
True
Let h = 4 + -3. Suppose -9*p = -6*p - 60. Let t be (-9)/((-45)/p) - (17 - 3). Is h at least as big as t?
True
Let g be (18 + -16)/((-2)/(0 - -2)). Let q be 8/(-9)*g/(72/513). Which is smaller: 12 or q?
12
Let s(d) = 68*d - 1. Let r be s(1). Suppose -340 = -5*k - i, -4*k + 203 = i - 71. Which is bigger: k or r?
r
Let n be 1*(-2)/(-6) + (-518)/6. Let v = n - -36. Let q = 50 + v. Do q and -5 have the same value?
False
Let a be (14/35 - ((-48)/30 - -7)) + 1554. Which is greater: a or 1547?
a
Suppose -1024*s + 1028*s - 19 = 3*i, 5*i = -5*s - 20. Does -1/45821 = s?
False
Let d be -20*(-12)/56*56/(-6). Is -197/5 >= d?
True
Let l be (-4)/18*(2 + -10 + 16/(-10)). Which is smaller: l or 2?
2
Let r(l) = -l**3 - 16*l**2 - 66*l - 520. Let z be r(-14). Let v(m) = -22*m + 2. Let d be v(-3). Suppose -4*o = u - 33 - 22, -u + d = 5*o. Is z < o?
True
Let h(i) = i**3 - 4*i**2 + 5*i - 4. Let s be h(4). Let l be s/24*(-2 - -29). Let c be 3/(-27)*3*l. Is -3 greater than or equal to c?
True
Suppose -2*m + l + 482 = 0, -6*l = -3*l. Let r = m + -240. Is 3/17 != r?
True
Let x = -18.6 - -21. Let y = -0.375 + -0.025. Let w = x + y. Is w at most 2?
True
Let s = -5345 - -5346. Which is bigger: 1/4058 or s?
s
Suppose -4*a + 9 = -d - 35, -4*a + 188 = -5*d. Let w be 1*((-5)/10)/((-2)/d