3. Which is greater: 4 or h?
4
Let t = -140 + 140.1. Which is smaller: t or -0.2302?
-0.2302
Let n = -1313/744 + 67/120. Let o = -6/31 + n. Suppose 32 = -15*j - j. Which is smaller: o or j?
j
Let x = 86 - 75. Suppose -12*v + x*v + 10 = 0. Which is bigger: 11 or v?
11
Let h = 1630 + -1629. Does 1/1219 = h?
False
Let x(u) = u + 7. Let h be x(-5). Suppose 4*s = h*v - 7*v + 7, 19 = -4*v + 5*s. Which is smaller: v or 0?
v
Let k = 534377/24993591 - -2/76433. Are k and 0 equal?
False
Let m(z) = -2 + 0*z**2 + 2*z**2 + 1. Let o(q) = -q**2 - 7*q - 11. Let x be o(-5). Let t be m(x). Which is smaller: t or -1?
-1
Let k = -7 - -17. Let w be ((-27)/(-6))/((-6)/k). Let b(y) = y**2 + 8*y - 7. Let r be b(-8). Which is bigger: r or w?
r
Let v be ((-28)/110)/(7 + 93/(-15)). Does -0.2 = v?
False
Let q be (2/(-3))/(24/(-18)). Let a(r) = 6*r + 24. Let z be a(-4). Is q greater than z?
True
Let w(f) be the third derivative of f**6/120 - f**5/12 + f**4/6 + f**3/3 + f**2. Let t be w(4). Suppose -3*v = -2*q - 3, -18 = 5*v + 5*q + t. Does v = -2/7?
False
Let s = 504 + -6. Let j = s + -24401/49. Which is smaller: j or -1?
-1
Let s = 0.043 - -36.957. Let g = s + -46.2. Let p = -9 - g. Is -0.7 greater than p?
False
Let v = -929 - -929.9. Is v less than -3.1?
False
Suppose a + 15 = -j + 6*a, -j = a + 3. Let q = 25 + j. Let o be 9/(-4 + q/8). Which is smaller: -4 or o?
o
Let i(p) = p**3 + 2*p + 5. Let g be i(-2). Are g and -53/8 nonequal?
True
Let h = 29.8728 + 0.0272. Let n = 30 - h. Which is greater: 18 or n?
18
Suppose 5*o - 71 - 39 = 0. Let l(a) = -3*a**2 + 23*a + 3. Let s be l(7). Suppose -2*k = 5*w - 9*w + 78, w = k + s. Do o and w have different values?
False
Let g be 1446/33 - (2/(-11) - 0). Let r be 4*((g/16)/1 - 3). Is r > -0.6?
False
Let y(h) = -45*h + 328. Let q be y(7). Is 19 > q?
True
Let i = -78 - -451. Is i greater than or equal to 374?
False
Let w = -0.21 - 0.43. Let b = 0.84 + w. Is b <= 1/5?
True
Let w = -313 - -313. Is 0 not equal to w?
False
Let c be (-3)/(-5 + (-46)/(-8)). Let t be 2/(-2) - 13/3. Is t greater than c?
False
Suppose -5*p + 1351 = 3*t + 248, -t - 2*p + 368 = 0. Is t <= 367?
True
Let v = -571/99 - -61/11. Which is smaller: v or 43?
v
Let i = -7 - -13. Suppose -i*p = -p - 5. Is -2/7 < p?
True
Let c = -6.92 - -7. Let m = -3.25 + 0.25. Which is greater: m or c?
c
Let s = -5 - -5. Suppose -4*a - 28 = -0*a. Let v be a/5 + (-8)/(-20). Is v >= s?
False
Let p(o) = -o. Let b be p(12). Let h be (-16 - b) + 32/7. Let q be ((-1)/(-1))/(-1 + 0). Is h greater than q?
True
Let b = -658 + 11180/17. Is b equal to 0?
False
Let a = 38 - 36.04. Let p = a - 2. Let k = p + -0.26. Which is smaller: 0.1 or k?
k
Let f be 6 - 1/((-2)/(-156)). Which is smaller: -69 or f?
f
Let o(f) = f**3 - 11*f**2 + 5. Let g be o(11). Let j be g/18*(-18)/(-45). Which is smaller: -1 or j?
-1
Suppose 0 = 5*h + 2*m - 344, -h + 5*m + 58 = -0*h. Suppose 0 = -s + s + 9*s. Which is smaller: s or h?
s
Let r = 15 - 4. Is 11 >= r?
True
Suppose 57 = 6*l - 9. Let z(x) = -2*x**2 + 23*x + 14. Let j be z(l). Does 26 = j?
False
Let f = -446 + 445.18. Is f equal to -0.01?
False
Suppose -9*y + 38*y = 0. Which is greater: -3/61 or y?
y
Let x = -1 + 3. Let a = -848 + 833. Which is smaller: x or a?
a
Let u(q) = q**3 + 5*q**2 + q + 5. Let x be u(-5). Is x greater than -6/427?
True
Suppose 125 = -3*b + 2*h, -4*b + 2*h - 77 = 91. Which is smaller: b or 1?
b
Suppose 5*l = 2*s, 4*s = 43*l - 44*l. Is -8/33 equal to l?
False
Let k be 3/(-15)*3*135/(-9). Let w(j) = j**2 - 8*j - 1. Let z be w(k). Suppose -20 = -l - 2*h, -h + 25 = 4*l - 2*l. Is l less than z?
False
Let f = -0.258 - -1.258. Let k = 84.7 - 73. Let o = -13 + k. Do f and o have the same value?
False
Let w be 9/12 - 2/(-8). Let s(q) = -q**3 - 10*q**2 + 13*q + 19. Let g be s(-11). Let v be g*(-110)/(-105) - -3. Which is smaller: v or w?
v
Suppose -14*b + 21*b - 98 = 0. Suppose b*o = 5*o + 9. Let h = 4521/19 + -238. Is o greater than h?
True
Let f = -366 + 15012/41. Which is smaller: 0 or f?
0
Let k(p) = -p**2 - 53*p - 543. Let c be k(-38). Which is smaller: c or -2/79?
-2/79
Let r(c) = -c**2 - 2*c + 2. Let o(d) = d + 8. Let y be o(-7). Let x be 0/1 - (3 - y). Let a be r(x). Does -6 = a?
False
Let g(k) = 3 + 3 + 0 + k. Let p be ((-5)/2)/(-2 + 10/4). Let z be g(p). Which is greater: -2/9 or z?
z
Suppose 3*n + 13 = -0*n + 5*w, -3*w = -5*n - 11. Suppose 0 = -6*c + 3474 + 2232. Let g = c - 12369/13. Which is smaller: g or n?
n
Let p be 6/21 - (2 + 188/(-28)). Suppose -p*q - 1 = -21. Are q and 13/3 nonequal?
True
Let h = -746 + 746.1. Which is smaller: 52.5 or h?
h
Let t be (2/(-16))/(1829/(-472)). Is 12 less than t?
False
Let i(p) = -52*p + 18. Let h be i(-2). Is h >= 122?
True
Let k(f) be the second derivative of 1/2*f**2 + 1/20*f**5 - 1/2*f**3 - 4*f + 0 + 1/6*f**4. Let v be k(-3). Is 1 at most v?
True
Suppose n - 99 - 64 = -u, 4*u = 0. Which is bigger: n or 157?
n
Let k(v) = -v**3 - 3*v**2 + 9*v + 14. Let c be k(-4). Is c smaller than -68/13?
True
Let q be 2/(-4)*(1 + -1). Let j be ((-1)/(-12))/(15/(-30)). Are q and j non-equal?
True
Let j be 9*-3*((-5080)/(-5085) + -1). Which is greater: j or -1?
j
Let l be (-35)/((4 - 7)/(-9)). Let a = -108 - l. Which is smaller: -0.08 or a?
a
Let m = -7165/4 + 1781. Let d(u) = -u - 16. Let n be d(-6). Is m <= n?
True
Let w = -186 + 261. Let v = 32/3 - 67/6. Which is bigger: w or v?
w
Let z = 2.6 + 0.4. Suppose -j - 6 = 2*b, 3*j + 2*b + 10 = -0*b. Let v be 1/j*12/2. Are z and v unequal?
True
Let l = 54 + -52. Let w be (0 + (l - 3))*0. Let g be (-15)/(-28) - (-2)/(-8). Is g at least as big as w?
True
Let y = -13 - -13. Let m be (y*(-4)/8)/(-2). Is m not equal to -1/84?
True
Suppose -2247 + 742 = 7*a. Is a <= -216?
False
Suppose -209 = 24*t - 43*t. Are t and -2 non-equal?
True
Let t = 145 - 157. Which is smaller: t or -17?
-17
Let u be ((-52)/10 + 2)*-5. Suppose -2*v + 88 = 5*p - 88, 5*p + 5*v - 170 = 0. Let d be 16/p*(-6)/u. Which is greater: d or 0?
0
Let a = -146 + 155. Suppose 3*v - 10 = -5*z, -5*v - 4*z + 4 - a = 0. Are v and -2 equal?
False
Let w be (1/(-493))/(3/(-1515)). Let i = -58615/17 + 3449. Let a = w - i. Which is smaller: 1 or a?
a
Let t(v) = v**3 + 7*v**2 + 5*v + 3. Let k be t(-6). Suppose -50*g = -66*g + 256. Which is bigger: g or k?
g
Let x(s) = 2*s. Let a be x(0). Let u be (-3 - -1)/(a + 5). Is u at most as big as -1?
False
Let r = 190/3 + -383/6. Which is bigger: -12/49 or r?
-12/49
Let c = -16201 + 64379/4. Which is bigger: c or -107?
c
Let b = 2 - 1.5. Let s = -18.5 - b. Is s < -1/2?
True
Let r be (1 + -4)*(-76)/6. Suppose 0 = -5*w - 31*w + 1368. Is w equal to r?
True
Let p = -9666/91 + 736/7. Is -2 >= p?
False
Let a = 0.04 + -6.04. Let o(r) = -2*r**2 + 2*r - 5. Let f be o(0). Do f and a have different values?
True
Suppose -4*d + 5*n = -17, d + 16 = 3*d - 4*n. Which is bigger: d or 2/21?
2/21
Let y = -65 + 86. Let v be (4/(-426))/(22 - y). Which is smaller: -1 or v?
-1
Let v = 0.4076 - 0.2076. Let h(s) = s - 14. Let o be h(0). Which is smaller: v or o?
o
Suppose -4*p - 4 = -0*p. Let i be ((-9)/48)/(p/(-4)). Let r be (-4)/30*(7 - 2). Is r less than i?
False
Let j be 4/10 - 3822/130. Suppose -5*o = -10*o + 4*v + 11, 11 = -3*o - 2*v. Is o >= j?
True
Let w be (2/5)/(502/15). Is w greater than -1?
True
Let z(a) = a**3 - 16*a**2 + 38*a + 12. Let s be z(13). Is -69 greater than or equal to s?
False
Let h be (51 - 1)/(2/18*9). Is h > 50?
False
Suppose 5*v - v + 5*t = 80, 3*v + 3*t - 57 = 0. Let q be 24/v*5/34. Which is smaller: q or -1?
-1
Let a = -29 + 36. Suppose 4*p - a*p + 90 = 0. Let l = -25 + p. Are l and 3 nonequal?
True
Let f = -1.109 + 0.909. Is 17/6 greater than or equal to f?
True
Let a be (-5 - 203/(-22)) + -4. Is 0 at least as big as a?
False
Let q = 0 + 3. Let h = 47 - 59. Let a = -12 - h. Which is smaller: a or q?
a
Let r be (0 - 0 - -1) + 2. Let d = r - 8. Suppose 2 + 4 = -s. Do d and s have different values?
True
Let j = -1970 + 1970.1. Is 3/164 >= j?
False
Suppose s + 20 = -4*j - 3*s, 2*s + 28 = -5*j. Let y be 7/j - (-4)/6. Does 21/4 = y?
False
Let d = 23 - 21. Let q(u) = -u**2 + u + 1. Let o be q(2). Let j be (o/(-1))/(2/(-2)). Is j less than d?
True
Let t be ((-3)/(-4))/(15/(-300)). Suppose 5*o = 3*n + 16 + 1, 0 = 5*n + 2*o - 13. Is n smaller than t?
False
Let h = -2.13 + 2.13. Which 