
Let w be 14/(-162)*(-3744)/4368. Suppose -2*p + 6 = -5*s, -3*p = 2*p - 5*s. Let u = 2 + p. Is w less than u?
False
Suppose 31*m - 5*l = 28*m + 4, 4*l + 8 = 0. Let a be 0/(m*(-6 + 5)). Is a at least as big as -2/745?
True
Let n = 287610/1427137 + 4/13093. Which is bigger: 1 or n?
1
Let h(q) = q**2 + 10*q + 2. Let l be h(-10). Suppose z + r + 3*r = 0, -z + l = 3*r. Suppose 4*i - 24 = z*i. Does i = -0.2?
False
Let w(v) = -v - 23. Let y be w(-27). Suppose -y*h = -3*z + 306, -3*z - 2*z = -5*h - 380. Which is smaller: h or -80?
-80
Suppose -v = 3*z - 20, 0*z = 2*z - 6. Suppose u - v = 4*q, -4*q = -2*q + 6. Which is smaller: u or -3/109?
u
Let n be 2/8*(5 + (-5313)/1045). Which is greater: 2 or n?
2
Let h = -137265 - -21138907/154. Is 2/5 <= h?
True
Let y = -1.58612 - 0.08318. Let q = y - 69.4207. Let v = q - -71. Which is greater: 3 or v?
3
Let u(f) = -f**2 + 16*f + 16. Let b be u(13). Let m = b - 59. Let n = m + 5. Which is smaller: -19 or n?
-19
Let f be 0 + 2 + 59/(-59)*2/1. Which is bigger: 12/949 or f?
12/949
Suppose 0 = -2*o - 2*x + x - 359, -4*o - x = 717. Suppose -6469 = 72*a + 6491. Are a and o nonequal?
True
Suppose -1564*h - 107128 = -1508*h. Which is greater: h or 1/4?
1/4
Let a = 20279229/112217 + -2/16031. Let s = -181 + a. Let c = 1 - 10. Which is smaller: s or c?
c
Let w = -357 - -706. Let j = 350 - w. Which is smaller: j or 21/10?
j
Let i = -3967 - -4569. Which is bigger: 601 or i?
i
Let r = 51 + -143. Let m = 104 + r. Which is smaller: 0.4 or m?
0.4
Let q = 285 - 159. Let n = q + -126.06. Let k = 2/17 - 40/51. Are k and n equal?
False
Let l = 319 + -695. Let x = l - -434. Is 59 greater than or equal to x?
True
Let g(c) = -c**2 + 5*c - 2. Let v be g(3). Suppose 0 = -m - q + 34, v = q - 0. Let h be ((-16)/6)/(m/18). Is h < 1?
True
Let w be 592866/(-81)*6/(-152). Let z = 289 - w. Is z less than 1?
True
Let r(i) = 142*i - 9848. Let w be r(69). Let u = 4 + -2. Is w > u?
False
Let r(b) = 2*b**2 + 3*b - 77. Suppose 3*f + 2*p + 23 - 10 = 0, 16 = 4*p. Let c be r(f). Is -14/115 < c?
True
Let t(m) = -2*m**2 - 13*m + 7. Let f be t(-11). Let n = -156 - f. Let h = n + 97. Which is smaller: h or 34?
h
Let h = 166.089 + -166. Let q = h - 0.089. Let w = -15 + -12. Is w smaller than q?
True
Let l be 3/150 + (1635/150 - 11). Which is smaller: 2/33 or l?
l
Let w(q) = -q**2 + 6*q + 109. Let j be w(20). Let y be (-57)/j*20/(-3). Which is bigger: y or -3?
y
Let a be 3 + (292/(-1) - 6). Let f = 260 + a. Is f >= -29?
False
Let h(c) = 2*c**2 - 11*c + 13. Let i be h(7). Suppose m - i = 6. Let s be ((-60)/m)/((-6)/(-4)). Is -5 greater than s?
False
Let k = -0.125 + -18.675. Let a = k - -18.6. Are 6.8 and a equal?
False
Let y = -3461 + 1569. Which is greater: y or 0?
0
Let a be 70131/1843 + 2/(-38). Is a not equal to 7/11?
True
Suppose -3*y - 53 = -q, 10*y = 2*q + 13*y - 115. Let g = -0.048 + 20.048. Let k = 19 - g. Is q at least k?
True
Let r(q) be the third derivative of q**5/60 - q**4/12 - q**3/2 - 16*q**2 - 1. Let t be r(6). Is 21 at most t?
True
Let c = 6/7 + -32/21. Let z = -2862 - -2859.41. Which is greater: c or z?
c
Suppose 4*j + 13 = 33, -2*h + j = 3. Let s be -9*((6 - 3) + -4)*h. Let g be 6/(-27) + 2/s. Does g = 0?
True
Let n(i) be the first derivative of i**3 + 4*i**2 + 4*i - 93. Let m be n(-3). Which is smaller: -26 or m?
-26
Let q be 194/(8/(-108)*9). Is -291 smaller than q?
False
Let d be (1230/(-82))/(21/(-11) - -2). Which is smaller: -159 or d?
d
Let m = -3743 - -3742.985. Is 5/2 at least as big as m?
True
Let k be 491617/(-237) - -18*1. Which is greater: k or -2055?
-2055
Let i(d) be the third derivative of d**4/12 - 5*d**3/6 - d**2 - 166*d. Suppose 9 = 6*y - 3*y. Let x be i(y). Are 1/4 and x nonequal?
True
Suppose 1 = t + 14*j - 13*j, 10*t + 4*j - 76 = 0. Let b = -5/94 - -4109/376. Is b at least as big as t?
False
Let l = 138.95 - 134. Let g = 4.9878 + 0.0122. Let a = l - g. Which is bigger: -1/2 or a?
a
Suppose 130*s + 20994 + 26446 = -72940. Which is bigger: s or -4?
-4
Let a be -1 + (8/12)/(2/(-3)). Let n be (1 - a) + (4 - 7). Is n less than 1/88?
True
Let r = -1042 - -1064. Is -4/11 > r?
False
Let q = -7/4 + 29/12. Let h = -4999.01 + 5001. Which is smaller: q or h?
q
Suppose -43*m = -42*m + 4. Let z be 800/198 + (m - -1). Let i = 9/11 - z. Do i and 1 have different values?
True
Let l be 864/64 - 15 - (3163/(-2))/(-1). Is -1584 at least as big as l?
False
Let m be (2 + 2 - 130/(-4))*8. Suppose 23*l + 5*r - 1470 = 18*l, 2*l = -r + 585. Do l and m have the same value?
False
Let t = 6981 - 6980. Is t greater than -7/870?
True
Let s = 795 + -809. Let v = 29 + -8. Let o = -35 + v. Is s <= o?
True
Let q be 27 - 128 - 3/(6/8). Let b be 1*q - 25/(350/28). Is b not equal to -2?
True
Let v = -1533.7 + 1533.5. Which is greater: 1/4256 or v?
1/4256
Suppose -d = -2 + 1. Suppose -z + d - 2 = -v, -1 = z. Is 58/9 greater than v?
True
Let p = -9024 - -9036. Is p less than 430?
True
Suppose -2738 = 5*f - 4*v, -2*f - 5*v - 2133 = 2*f. Is f smaller than -539?
True
Let k = 4339/289 + 3796830/3757. Let i = k - 1025. Suppose -2*v - 4 = -4*s - v, 5*v = 0. Is i greater than s?
False
Let x be (-4)/(-6) - 4/12. Let g = -3514 - -3583. Which is greater: g or x?
g
Let i = 16110735/2078 - 7753. Is i equal to 0?
False
Suppose -3*d + v = 375 - 68, 322 = -3*d - 2*v. Suppose -98 + 28 = -a. Let q = a + d. Is q < 2?
True
Let k be 7726/720 - 6/(-48). Let q = -16/45 + k. Is 11 equal to q?
False
Suppose 5*p - 14 + 30 = 4*y, 2*y + 4*p = -18. Which is smaller: y or 1.808?
y
Let s = 3618541/686609 + 2/18557. Which is bigger: 4 or s?
s
Let m = -5 - -5.5. Let j = m - 0.4. Let h = -2282.3 - -2282. Is j equal to h?
False
Let h be (-224016)/15990 + (12 - -2). Let l(d) = -d**3 - 6*d**2 - 4*d + 6. Let m be l(-5). Is m > h?
True
Let d(p) = -3*p - 8. Let b be d(-4). Suppose 0 = b*k - 17 + 13. Let u = -679/230 - -33/10. Which is greater: k or u?
k
Suppose 11 - 1 = 2*g. Suppose 0 = u - 2, b - 6 - 9 = -2*u. Suppose -b = g*c - 6. Which is greater: c or -16/17?
-16/17
Let o = 1475 + -1474. Let i be (-14)/(-3)*(-54)/(-240). Is i != o?
True
Suppose -39*j = -38*j + 4. Let m be (-4 - (3 + j)) + 4. Let d be 8/(-36) + 14/72. Which is bigger: d or m?
m
Let h = -2268 - -2267.79. Is -5.4 >= h?
False
Suppose 5*j = 9*j - 4*l - 12, 2*j = l + 3. Suppose -3*k - 2*v = -j*v - 31, 5*k = 2*v + 41. Let p be (-16)/12*k - -1*3. Which is bigger: p or -5?
-5
Let u = -0.227 - 0.078. Let g = -1.905 - u. Which is smaller: g or 2?
g
Suppose 510 + 0 = -5*f. Let d be (-3)/(f/(-140)) + 44/374. Let h(v) = -v**3 + 6*v**2 - 3. Let n be h(6). Which is smaller: n or d?
d
Let g be 3/15 + 23/(-40). Let w = 3029/18 - 707/6. Let n = w - 152/3. Which is greater: g or n?
n
Suppose 2*j - 16 = 0, 4*o + 7079 - 7187 = 3*j. Let m = 77 + -45. Suppose 3*h - 2*h = m. Are h and o non-equal?
True
Let a = -3780 + 3756. Let k(m) = m + 1. Let q be k(3). Suppose 0*z = -q*z - 104. Which is bigger: z or a?
a
Let h = 12986 - 740222/57. Which is bigger: h or -0.1?
-0.1
Let g(f) = -628*f + 629. Let r be g(1). Which is bigger: -1/5905 or r?
r
Let i(k) = k**2 + 200*k + 1352. Let x be i(-7). Is -12/1549 > x?
False
Suppose 1 = -w, -2*g + 19227 = -15*w + 14*w. Which is greater: g or 9614?
9614
Let u = -17 + 9. Let r be (-6)/u*30/27. Let k(t) = -4*t**2 + 103*t + 28. Let q be k(26). Is q != r?
True
Let o(s) = 5*s**3 - 3*s**2 + 2*s - 2. Let a be o(2). Let b(c) = -c**3 - c + 8. Let g be b(0). Suppose -51 = g*y - 291. Is a at most y?
True
Suppose g = 9 + 11. Suppose 0 = 5*q - 3*k + g, -3*k - 2*k = 4*q - 21. Let v(t) = -118*t - 6. Let f be v(q). Is f not equal to 112?
False
Let r(z) = -83*z - 271. Let l be 8 + (-15)/3 - 7. Let a be r(l). Suppose -4*t - 203 = -j - 2*j, 0 = 4*t + 20. Do a and j have the same value?
True
Let t be ((-1392279)/334)/(1/(-1) + (-7)/(-4)). Which is greater: -5559 or t?
t
Suppose -60*d = -57*d - 23*d + 442060. Is 22103 bigger than d?
False
Let h = -109 + 118. Suppose h*i = 13*i + 184. Is i at least 1?
False
Let m be 11/33 + 71/(-33). Suppose -3*t + h = -2, -189*h + 22 = -2*t - 193*h. Which is bigger: t or m?
t
Let a(x) = x - 30. Let d(k) = k - 60. Let u(g) = -5*a(g) + 2*d(g). Let m be ((-4)/(-7))/((-515)/175 + 3). Let t be u(m). Is 0 equal to t?
True
Let z be 1/(-7) - 2990/91. Let n be z/44*(-1)/(-3). Let f be (85/(-6) + -1)*27/42. W