0. Is p greater than f?
False
Let g = 198 + -197. Let c be ((5 - 7) + (-123)/(-61))*g. Are c and 0 non-equal?
True
Let t be (-56608)/(-14208) + 2 + -5 + -1. Which is smaller: 1 or t?
t
Suppose 76*o = 79*o - 15, -582 = f + o. Which is bigger: -585 or f?
-585
Suppose 0 = -8*m + 6 + 26. Let h be (-51)/m + 2/(-8). Let c = 0 - 13. Is h less than or equal to c?
True
Let j(g) = -2*g + 20. Let y be j(4). Suppose -816 = y*s - 24*s. Suppose 3*c = -l - c + 60, 3*l + 5*c = 194. Is s greater than l?
False
Let q = 13282/1245 + -2/1245. Let l = -29654 - -29658. Which is bigger: q or l?
q
Let k = -0.474 + 0.674. Do k and 1460 have different values?
True
Let n be -1 - 10*21128/64. Let q = 3278 + n. Is q greater than or equal to -24?
False
Let w(c) = -19 + 2*c**2 + 3 + 0*c**2 - 8*c. Let o be w(5). Let u be o/33 + (1 - 622/(-154)). Which is smaller: 4 or u?
4
Let o be ((-616)/528 - (-3247)/(-1422)) + 4/18. Which is bigger: o or -4?
o
Let w = -2467 - -37027/15. Suppose -5*u + 10 = -i, -4*u + 49*i - 52*i - 11 = 0. Is w at most as big as u?
False
Suppose -7782 + 3142 = 20*d. Is d >= -235?
True
Suppose -971*a + 2623 = -928*a. Which is bigger: a or -5?
a
Suppose -x + 17 - 11 = 0. Let r be (6 - x)/(0 + 3). Let b be (-2)/(12/(-15)) - 3. Which is greater: r or b?
r
Let w = 4.37121 + -0.19121. Is 1/2 < w?
True
Suppose 49*g + 8009 = 47*g + x, 2*g = -5*x - 8015. Is -4004 at least as big as g?
True
Let t = -2196.15 - -2195. Which is smaller: -1/3 or t?
t
Let b be (2/3)/(2/6). Suppose b*c + 2*c - 8 = 0. Let i = 423 + -423. Which is greater: c or i?
c
Suppose 0 = -4*w + 2*w - 12, 0 = -4*q + 10*w - 1628. Is -4/7 < q?
False
Let s be 5806/(-448) - (9 + 625/(-70)). Is -13 bigger than s?
True
Let a = 7525 - 7660. Is a < -105?
True
Let a = 281.691 - 278.9. Let t = -0.209 - a. Which is greater: t or 19?
19
Let a = 58 - 56. Let i(k) = -k**3 + k**2 + 4*k - 2. Let g be i(a). Suppose -9*y = g*y + 121. Are -9 and y equal?
False
Let p be 476/595 + 1608/(-3410). Which is greater: -1 or p?
p
Let m be 0/(0 - 11/((-66)/12)). Is -28/151 less than m?
True
Let u(t) = -115 - 6 + 1367*t - 1387*t. Let k be u(-8). Is 39 at least k?
True
Let u = 27.46 + -159.56. Let i = -132 - u. Is i greater than or equal to 13?
False
Let y be 1042/(-180) + (-22)/(-55) + 6. Let r(b) = -b**3 + 13*b**2 + 1. Let w be r(13). Which is smaller: w or y?
y
Let x = 5.7 + -308.7. Let s = x - -303.7. Do s and 8/5 have the same value?
False
Let j = 3361619/32384 + 39/2944. Is j > 104?
False
Let p be (0 + 1)/((-2)/26). Let r = 109 + -139. Let q be ((-132)/r - 4) + (-67)/5. Is q equal to p?
True
Let m = 10 + 82. Let y be (8/(-6))/(m/138). Are y and -15/11 equal?
False
Suppose 0*c = 6*c - 24. Let v = 0 + 3. Suppose -l + c = v. Which is greater: l or 4?
4
Let b be (-1487)/(-4940) + 345/(-6900). Which is greater: b or 0?
b
Let x = 2746 + -4591. Let q be (-4)/10 - 603/x. Is q <= 1?
True
Let q be -3 - (0 + 59/(-19)). Suppose -18804 = -2*a - 18806. Which is smaller: a or q?
a
Let i be ((-2)/78)/((-14)/(-12)). Let g = -51225 + 51224. Which is bigger: i or g?
i
Suppose 21*o - 18*o = 15. Let y be 8 - (0 + (2 - -2)) - o. Which is bigger: 3/62 or y?
3/62
Let r(o) = 2*o**3 + 14*o**2 - 11*o - 76. Let n be r(-7). Let b = 4 - 5. Let i be b - 99/(-105) - 0. Which is smaller: n or i?
i
Let q(v) be the first derivative of v**5/20 - v**3 + 23*v**2/2 - v + 19. Let u(r) be the second derivative of q(r). Let w be u(-2). Are 8 and w equal?
False
Let x be 3*3/(-9)*2 + (-625)/25. Is -334 >= x?
False
Let z(w) = 8*w + 3. Let f be z(-2). Suppose -108*k + 372 = -102*k. Let m be 4/2*k/(-217). Which is greater: m or f?
m
Suppose 1372 = -21*k - 11564. Which is smaller: k or -612?
k
Let c = 8 - 10. Let o = -147 - -226. Let x = 77 - o. Is x less than c?
False
Let l = -0.4109 - -0.414529. Let n = -50.974629 + l. Let x = 51 + n. Which is smaller: x or 1?
x
Suppose -5*s + 3*u + u - 945 = 0, 0 = -4*u + 20. Let k = -192 - s. Which is smaller: k or -36/5?
-36/5
Let r(h) = 21 + 13 - 4*h + 11. Let x be r(11). Let u be (5 + x)*((-25)/(-10) + -4). Are -11 and u equal?
False
Suppose -d - 31202 = -31437. Does 233 = d?
False
Let p = -26 + 30. Let k be -2 + p*1/4. Which is greater: -10/9 or k?
k
Let r(k) = -24*k - 981. Let f be r(-42). Is 39 >= f?
True
Suppose -t + 22 = 2. Let b be 5/t*3 + (-189)/(-276). Which is greater: 0 or b?
b
Let a(g) be the third derivative of g**4/2 - 8*g**3 + g**2 + 19*g. Let h be a(10). Which is greater: h or 73?
73
Let h = -46733 - -46733. Which is greater: 3/6203 or h?
3/6203
Let i(g) = 141 - 5*g - 68 - 5*g - 65 + 3*g**2. Let p be i(2). Is p greater than 0?
False
Let w = 760946/21 + -36229. Let q = w + -48/7. Do q and -2/117 have different values?
True
Let u be (-3)/15 - 130/(-25). Let r(m) = 2 + m + u - 2. Let d be r(0). Which is smaller: d or 13/3?
13/3
Let p(w) = 70*w**2 + w + 1. Let h be p(-2). Suppose 12*n + 12*n = 2021 + 4699. Is h greater than n?
False
Let y(i) = 7*i**3 + 19*i**2 + 17*i + 19. Let d be y(-3). Is -84 at most d?
True
Suppose 5*x + 16 + 0 = -l, 2*x + 2*l = 0. Suppose 0 = -3*r + 2*j + 153, r + 559*j - 46 = 558*j. Let m be r - (0 - (-5 - x)). Is m <= 49?
True
Let p(d) = d**2 + 6*d + 2. Let l be p(-3). Let q(f) = -22*f - 91. Let y be q(l). Let r = 4 + -3. Are r and y equal?
False
Let r = -586323485/3271 + 179249. Which is greater: r or 1?
1
Let r = 35 - 31. Let p be (r/(-8))/(5/(-10)). Let o = -0.289 - -0.299. Which is greater: p or o?
p
Let v be 143442/(-716235) + 3/15. Is v smaller than -1?
False
Let m(b) = -18*b + 2. Let t be m(1). Let d = t + 16. Let v = -510/13 - -1504/39. Is v less than or equal to d?
True
Let i = -417005/63348 - 3/5279. Are i and -8 nonequal?
True
Let l be (-18 + (0 - 0))*(-3426)/(-9039501). Is -1 less than l?
True
Let v be -34*((-13)/8 - (-5)/40). Suppose a - 19 = -2*g + 3*g, -3*g = -a + v. Are -15 and g equal?
False
Let p = -1868 - -1868. Let b = -0.7 + 0.72. Which is bigger: p or b?
b
Suppose -42*v = -40*v - 130. Let r be (v + -67)/(1 + (-65)/58). Are r and 18 nonequal?
True
Let v = 93.66 + 1352.34. Are -6/11 and v nonequal?
True
Suppose 32085 = 10*h + 13*h. Which is smaller: 1396 or h?
h
Let l be -1*((-5)/((-25825)/20))/(-2). Which is bigger: l or -0.3?
l
Suppose -16 = p + 12*u, -p + 5*u = 4*p + 600. Which is smaller: p or -127?
-127
Suppose -3*v = 2*a + 2*a + 19, v = -3*a - 13. Let g = 139/1815 + -10/121. Is v equal to g?
False
Suppose -82*a - 968 - 1043 = 10043. Which is smaller: a or -151?
-151
Let g = 3019 + -998. Which is bigger: 2019 or g?
g
Suppose 17*h = -18*h. Which is smaller: h or 69/103?
h
Let t(w) = w**2 - 68*w - 427. Let j be t(72). Which is smaller: j or -127?
j
Let x(c) = 14*c**2 + 30*c + 47. Let k(v) = 5*v**2 + 10*v + 16. Let l(s) = -11*k(s) + 4*x(s). Let m be l(-7). Is -9 at most m?
True
Let j(p) = 7*p**3 + 9*p**2 + 3*p - 13. Let o be j(-4). Let b = 332 + o. Is 5 at least b?
True
Let k = -2259/265 - -36831531/4320560. Which is smaller: 0 or k?
0
Let p be (-1264)/420 - 30/(-25). Let u = p + 5641/3129. Is u smaller than -1?
False
Suppose 2*d = -u - 1708, 35*d - 5*u - 4260 = 40*d. Let l = -855 - d. Is -1/99 smaller than l?
True
Let j = 57604501 + -3629184113/63. Let z = 1596 + j. Is 0 less than or equal to z?
False
Suppose 2310 = 133*r - 135*r + 4*f, 3*r + 3459 = 4*f. Is -1149 <= r?
True
Let h be 1 - 1/((-1)/15). Suppose -3 = y + 3*s, 0 = -10*s + 9*s - 1. Suppose y = 4*x - 4*w - 16, -5*w = 3*x - w + h. Which is greater: x or 3/5?
3/5
Suppose 4*p + 22 = -2*l, 0*l + p + 1 = l. Let a be (-42)/9*l/(-12). Are -2 and a equal?
False
Suppose -5*o + 30 = -5*w, -4*o = -5*w + 7*w + 6. Is o > -9/127?
True
Let p(y) = -769*y + 768. Let b be p(1). Let k = 0 + -33. Let a = k - -131/4. Is b <= a?
True
Let t(w) = 154*w - 1849. Let v be t(12). Are -14/169 and v equal?
False
Let i = 57 - 14. Let s = i + 23. Suppose -s*l - 54 = -64*l. Are l and -26 non-equal?
True
Suppose 59 = -12*n + 16*n - 5*o, -4*o - 16 = 2*n. Are 37 and n equal?
False
Suppose -51*m + 58344 = 15*m. Which is bigger: m or 886?
886
Let w(i) = -i**2 + 31*i + 20349. Let x be w(159). Let u = 1.727 - 0.157. Is u at least as big as x?
True
Suppose 0 = -8*f - 90 - 78. Let s be (178/(-7))/(6/f). Is 89 greater than or equal to s?
True
Let o = -4659 + 4661. Is 115/174 != o?
True
Let a = 481 + -499. Which is smaller: -73/4 or a?
-73/4
Let w(i) = i*