es h = 2/59?
False
Let x be (248/60 - (-12)/18)/(18/15885). Is x at least as big as 4236?
True
Let o be (-3)/18*-2*(14 + 847). Let p be 2 + (-12)/(-54) + o/45. Is 9 < p?
False
Let b = 29566 + -29565. Does b = 3286?
False
Let k = 16265 + -16265.1. Is -21.449 >= k?
False
Let v = -3/1231 + 8000/3787787. Which is smaller: v or 1?
v
Suppose 2*j = 44 - 42. Let d(w) = -4*w**2. Let c be d(j). Let i be c - 1 - -4 - 62/4. Which is greater: -17 or i?
i
Let h = -194/45 - -21/5. Let j = 90.89 + 2.11. Let u = 92.99 - j. Is h bigger than u?
False
Let t = -35 + 41. Let x be ((-11)/(-1))/(t/30). Suppose 135 = 4*j + x. Does 22 = j?
False
Let d = 120.2 + 242.3. Let h = d - 363. Is h greater than -9.1?
True
Let r be (-67)/(-13869)*(14/26 - 1). Does r = -1?
False
Let w be 12/(-2) - (0 + -5). Let z be (-4 + (-104)/(-36))/((-3)/(-9)). Which is smaller: z or w?
z
Let l = 14951 + -14792. Is l not equal to -11?
True
Suppose -664*s - 27723 = -661*s. Are s and -9241 equal?
True
Let o(f) = -f**3 - 5*f**2 + 4*f - 5. Let m be o(-6). Suppose m*i - 38*i - 1922 = 0. Is i < -123/2?
True
Suppose -132 = -4*u - g, -3*u + 99 = -0*g + 2*g. Suppose -8*f = -u + 1. Suppose 5*w = -5*h - 20, -h = 3*w - f*h - 12. Which is greater: -1/57 or w?
w
Suppose -3*o - 725 + 302 = -h, 9 = -3*h. Which is greater: -859/6 or o?
o
Let r = -30.038 - -30.2. Let g = r + -0.082. Is -0.04 greater than g?
False
Suppose 7002 - 1424 = 5*y - 2*k, -4*y + 4484 = 2*k. Which is bigger: 1119 or y?
1119
Let q(k) = 20*k**2 - 88*k - 6. Let p be q(2). Are -817/8 and p non-equal?
True
Let m(o) = o**3 - 11*o**2 + 9*o + 13. Let a be m(10). Let n = 45356/13 - 3486. Is a >= n?
True
Let s = 311 + -297.7. Let b = s + -12. Let c be ((-14)/((-952)/(-85)))/(-5*(2 - 1)). Which is smaller: c or b?
c
Suppose 11504 + 6321 = -31*q. Let o = 532 + q. Is o equal to -376/9?
False
Let u = -0.26 + 15.56. Let x = u + -15.3. Do x and -3/65 have the same value?
False
Let r = -4.58 - -283.58. Let o = r - 278.9. Is -0.12 < o?
True
Let c be 10 + 16 - (1 - 0)*-1. Suppose q = -3*l + 11, -q + c*l - 31*l + 14 = 0. Which is smaller: q or 50/17?
q
Let s(o) = -26*o**2 + 3*o. Let m(k) = 77*k**2 - 8*k. Let p(a) = 3*m(a) + 8*s(a). Suppose -12*i + 7*i = -5. Let y be p(i). Is 22 less than y?
True
Let s = 3039.97154 - 3040. Which is smaller: -2 or s?
-2
Let k be (15/(-24)*-6)/((-18)/(-3120)). Suppose -4*q = 6*j - j + k, 2*j - 4 = 0. Is -165 equal to q?
True
Let d = -30145 + 30194. Is d equal to 1444/29?
False
Let s(y) = -10*y**3 + 24 - 14*y - 5 - 16*y**2 + 11*y**3 + 10*y**2. Let m be s(8). Is m smaller than 36?
True
Let y = -22 + -3. Suppose p + p = -2*x - 600, 0 = -4*p - 5*x - 1196. Let t = p + 306. Which is smaller: y or t?
y
Let f = -4504.8 + 4505. Which is greater: -1769 or f?
f
Let l be (0*8/40)/1. Let z = -35 - -16029/458. Which is bigger: z or l?
l
Let d = 277 - 273. Let c be d/3 - 14/21. Is c >= -0.26?
True
Suppose -12*f + 340 = -10*f. Let d be (-3)/(-4) - 135/f. Let u(h) = 35*h + 1680. Let r be u(-48). Which is smaller: d or r?
d
Let i = -63.43 - -55.9. Let l = -0.47 + i. Let n = l + 8.3. Which is smaller: -4/7 or n?
-4/7
Suppose -11930 - 12705 = 7*t + 236. Is -3554 less than or equal to t?
True
Let u = -501175/56 - -68361/8. Is -405 greater than u?
False
Let o = 0 - 0. Let n = -2044571/39021600 + -1/170400. Which is smaller: o or n?
n
Suppose -1 = -2*t + 11. Let g be ((-15)/t - -2)/2. Let r = 1.25 - 1.25. Which is bigger: r or g?
r
Let q(v) = 6*v - 30. Let k be q(15). Let n be -8 + k/8 + 1/(-6). Is 46 equal to n?
False
Let y = 2888 - 2889. Is y at least as big as 21.67?
False
Let d = -1345/51 + 420/17. Which is smaller: d or 1/4?
d
Let u = 1757 - 3006. Which is smaller: -1248 or u?
u
Let v(w) = -3*w**2 + 31*w - 14. Suppose 25*m - 483 = -183. Let u be v(m). Which is smaller: 2 or u?
u
Suppose -2*s - 1634 = -4*g, 37*s = 39*s - 3*g + 1630. Is s at most -810?
False
Let k = 16972 + -16971.9. Is k less than -2/9565?
False
Let m = 0.0567 - -0.3133. Let u = -197 - -197.263. Let x = u - m. Which is bigger: -1 or x?
x
Suppose -3*a = -a + 18. Let z(h) = 6*h + 428. Let j be z(-71). Let q be (-9)/a*(j - 4). Which is smaller: q or -14/15?
q
Let f = 31.3 + -29. Let c = f - -75.7. Let n = c - 26. Which is bigger: n or 1/4?
n
Let u be 2/12 + (4/(-24) - -2). Suppose 3*w + 2*r + 331 = -u*w, 0 = 3*w + 5*r + 210. Let g be (-8)/(-36) + 1156/(-18). Is g at most w?
False
Let g be (-30)/55 - (-1185)/55. Suppose -2*i - 2*w = 78, 0 = g*i - 17*i - 3*w + 142. Which is greater: -38 or i?
i
Let y be (15/(-50))/(((-13525542)/90)/(-29)). Which is smaller: y or 0?
y
Let l be (2/2)/(-3 + 4 + -2). Let j = 888899/95508 + -4/2653. Let f = j + -37/4. Do l and f have different values?
True
Suppose -6 = -2*u + 4. Suppose -50 = u*a - 5*z, 5*a = 6*z - 2*z - 48. Let r(w) = w**3 + 9*w**2 + 7*w - 7. Let s be r(a). Is s >= 1?
True
Suppose d = -5*p - 17, -2*p - 2*p = 2*d + 22. Let m be (d - (-162)/(-6))*(-1 - -2). Which is bigger: m or -69/2?
m
Let u be (2*(-255)/6)/(-1). Suppose -20*f - 3182 = -57*f. Which is greater: u or f?
f
Let r be 3/(-24) - (7 - 2805/40). Is r greater than or equal to 86?
False
Let b be -51 + 42 + (-1 - 52). Are b and -67 nonequal?
True
Let h be (70497/(-23508) - -3)*(-10)/120. Which is bigger: h or 0?
0
Let q be -2*5*3/(-15). Which is smaller: q or 969?
q
Let u(i) = 10*i**2 + 727*i - 2947. Let b be u(4). Suppose -360 = 6*k - 9*k. Which is greater: b or k?
b
Let y be ((-14)/4)/((10/28)/5). Let n = y - -52. Suppose n*l + 4*i = 5*i - 1, -l + 5*i - 5 = 0. Which is bigger: l or 2/79?
2/79
Suppose -59 = -50*j + 241. Suppose 5 = -c - 6*v + 9*v, 0 = -4*c - v + j. Which is greater: c or 136?
136
Let k(z) = z**2 + 5*z + 3. Let h be k(-5). Suppose h*v - 50 = 34. Let c = 32 - v. Is c less than 1?
False
Suppose 0 = 24*c - 61*c - 4218. Which is bigger: 13 or c?
13
Suppose 2*s + 12 = 2*a, 4 = -0*s - 4*s - a. Let g = s - -3. Let n = -5.82438 - 1.17562. Is g less than or equal to n?
False
Let r(t) = -t**2 + 117*t + 1403. Let g be r(-11). Is 96 at most g?
False
Let v be (-7)/21 + (-446)/3. Let n = 150 + v. Is -37 <= n?
True
Suppose 2*t + 32 = -3*x, 4*t = 2*x + 2*t + 8. Is x not equal to -203/25?
True
Let g = 1152 - 1151.9288. Is 1 != g?
True
Let i(m) = m**3 - 2*m**2 - 2*m - 6. Let g be i(3). Let o be (-64)/4 + 6 - 0. Do o and g have different values?
True
Suppose 228 = 282*j - 54. Which is greater: 5/822 or j?
j
Let w(r) = -r**2 - 196. Let x be w(0). Let d = 21.0436 + -20.0436. Which is bigger: x or d?
d
Suppose -5*g - m = 274, -4*g = m + 71 + 147. Is g equal to -91?
False
Let y be (1 - 2 - 279)/(3553/1122). Is y > -89?
True
Let u = 11 - 7. Let d(b) = b**2 + 2*b - 17. Let a be d(u). Is a <= 102/13?
True
Let m = -3874 + 10264. Let q be m/28980 - 4/14. Is -0.1 equal to q?
False
Suppose -61*h = -60*h - 2*u + 293, -4*h + 2*u = 1118. Do h and -273 have different values?
True
Let i be (-1482)/(1 + (-15)/6). Let n = i + -18776/19. Let q = 12883/45066 + -1/6438. Is n > q?
False
Let l = -2274 - -2273.8. Let v be (15/76)/(-5)*(-3)/(-9). Which is bigger: v or l?
v
Suppose 4*i - 6*k = -4*k - 2, i + 5*k = 27. Let l be (114/48 - i)*4/(-63). Are l and 0 nonequal?
True
Let o = 1669 - 1591. Suppose -48*n = -46*n - 160. Which is smaller: o or n?
o
Suppose 392*r + s = 389*r - 979, 5*r = s - 1621. Is -1623/5 greater than r?
True
Let t be 174/45 - (-2)/15. Suppose -a - 253 + 72 = -2*p, -t*a = p - 77. Is p less than 88?
False
Let y = 144 - 223.7. Let q = -80.2 - y. Which is smaller: 2/25 or q?
q
Suppose 2*m + 8 = 0, -4*l + 2*m - 3 = 21. Suppose -v = 2*g - 7, -v - v = -2. Suppose g + 7 = -5*b. Is l at least as big as b?
False
Let g = 204468/13 + -15770. Are g and -41 unequal?
True
Let c = -290/381 + 12/127. Which is greater: c or 4140?
4140
Let k be (-220 - -4 - -4)/((-22830)/(-6117)). Let w = k - -2/761. Is -57 >= w?
False
Let n(h) = h**3 - h**2 + 6*h - 3. Let k be n(2). Suppose k*o = 9*o + 32. Let b be o/3 + -2 + (-22)/33. Do b and 2/3 have the same value?
False
Suppose 5*v + 5*u = -2035, -4*v + 2*u - 1610 = -3*u. Let j = v - -4467/11. Let r be -1*((-3)/9)/((-3)/(-9)). Which is bigger: j or r?
j
Suppose -16 = -4*z, -4*p - 3*z + 16 = -0*p. Is 7.3 < p?
False
Let d = -9431 - -6455. Is d equal to -2978?
False
Let p = -2/55773 - -13218215/390411. Is 35 less than or equal to p?
False
Let d = -37233.51 + 37233. 