h is greater: 3/2 or y?
y
Let v(r) = -r**2 - 6*r - 2. Let m be v(-5). Let x be 0 - (-1 + m)*-2. Let i(q) = 2*q - 6. Let w be i(4). Is w less than or equal to x?
True
Let w be 1/(360/(-176) - -2). Do w and -64/3 have the same value?
False
Let w = -6 + 5.9. Suppose -3*z + 0*z - 150 = 0. Let i = 103/2 + z. Which is smaller: i or w?
w
Let w = -0.11 - -0.21. Let i = w + -0.3. Is i greater than or equal to -2/23?
False
Let d(g) = 3*g. Suppose -2*o - 3*t = 2*t + 8, 0 = -4*o - 2*t. Let z be d(o). Suppose -z*h - 20 = -7*h. Is h bigger than 6?
False
Suppose -4*c + 0*c + 12 = 0. Suppose c*h - 8*h = -4*o + 30, 3*h + 15 = 3*o. Let d be 2071/(-95) + 2/h. Which is bigger: -23 or d?
d
Suppose -24 = 7*i + 11. Which is bigger: 0 or i?
0
Let n = -1/26 - 11/52. Is n less than or equal to 66?
True
Let o = 10 - -5. Suppose -15 - o = -m - 4*i, 4*i + 26 = 3*m. Let s be (-4)/(-18) + 0/m. Is 3 at most s?
False
Suppose 360 = -20*b + 8*b. Is -144/5 < b?
False
Let o = 0.22 + -0.4. Let h = -50 + 48.18. Let x = o + h. Do 3 and x have different values?
True
Let s be 2/(-10) - 305/(-25). Suppose -s*m = -2*m. Is m > 5?
False
Let f(l) = l**2 + 6*l + 1. Let n(w) = -w**2 - 5*w - 5. Let y be n(-5). Let i be f(y). Suppose 21*m - 29 = -92. Is i >= m?
False
Let t = 118.19 - 119. Let n = t + 0.74. Are -3 and n equal?
False
Suppose 21*v = 14*v - 35. Let m(w) = -4*w - 21. Let g be m(v). Which is smaller: g or -2/155?
g
Let f(j) = -16*j**2 + 2*j + 4. Let u be f(-1). Let s = 65 - 22. Suppose 4*z - 34 = x, -3*x + x + 3*z - s = 0. Is u > x?
False
Let q = 452 - 453. Which is smaller: 6/59 or q?
q
Suppose -3*d = c - 12, -3*d - 4 = -19. Let t = 0 - 0. Suppose t = -4*x - 2 - 2. Which is smaller: c or x?
c
Let a(u) = -u**3 + 26*u**2 + 56*u - 1. Let i be a(28). Let z be ((-2)/(-2))/(126/(-9)). Which is smaller: i or z?
i
Suppose -4*m - 500 = -2*v, -6*v - 512 = 4*m - 5*v. Are -127 and m nonequal?
False
Let g(l) = -3*l**3 + 23*l**2 - 21*l + 129. Let b be g(9). Is b at most as big as -384?
True
Suppose -7*v = -8*v + 6. Suppose -2*c = 2*m + 8, -3*m - v*c + 2*c - 12 = 0. Which is bigger: -3 or m?
-3
Let m = 35 - -23. Let s = -54 + m. Do 1 and s have the same value?
False
Let x = -71.9 + 73.9. Suppose -3*s - z - 22 = -0*z, 0 = s + 2*z + 9. Let n be 3/(-1)*1/s. Which is bigger: n or x?
x
Suppose 0 = -5*r + 2*t + 13, 4*t + 9 = -2*r - 5. Let p = -4 + 3.92. Let a = -0.1 - p. Which is smaller: a or r?
a
Let o be (-441)/3 - 2 - 1. Let m be (4104/o)/6 + 4. Which is greater: -2 or m?
m
Let n be (-9)/(-2*(-3)/6). Let t = 24 + -60. Let p = -45 - t. Is p equal to n?
True
Let x = -129268732/95 + 1360739. Let i = 77/5 - x. Which is smaller: 0 or i?
i
Let v = -7/5 + 11/15. Let j = 11 - 10.4. Let l = -0.58 + j. Are l and v nonequal?
True
Suppose p + 4*u = 11, -3*p + 3*u + 2*u - 18 = 0. Is p greater than or equal to -1/198?
False
Let r be (-2260)/(-13040)*-52 - -9. Suppose -6 = 5*d - 1. Which is greater: d or r?
r
Let d = -4902406/639 + 7672. Which is smaller: 1 or d?
d
Let g(c) = -2*c + 4. Let u be g(41). Is u != -79?
True
Suppose -51*l = 3361 + 19640. Is l < -451?
False
Let p = -17/42 + -2/21. Suppose 4*m = 5*m. Suppose -3*j + 4*j + 4 = m, 4*v - 12 = 4*j. Is v at most as big as p?
True
Suppose 5*q + 5*r = -305, 4*q + 3*r + 127 = 2*q. Which is smaller: -0.22 or q?
q
Let d = -969766988/448385 - 18/89677. Let h = 2171 + d. Are 9 and h nonequal?
True
Let v be -4*4/(-16)*(1 + -104). Let l = 67 + v. Is l not equal to -37?
True
Let v(a) = -a - 2. Suppose -b - 3 = -0. Let r be v(b). Suppose 2*w = 5*y - 9, -7*y - 5 = -2*y + 5*w. Is r not equal to y?
False
Let d(o) = o**2 + 23*o - 3. Let n be d(-18). Let s = n + 94. Is 1/60 at most as big as s?
True
Let u be (-12)/(-32)*-2*-104. Suppose 5*s + 117 = -u. Let p be s/26*(-7)/6. Which is smaller: 3 or p?
p
Let s(a) = 5*a**3 + 12*a**2 - 11*a + 19. Let t(m) = -3*m**3 - 8*m**2 + 7*m - 13. Let l(h) = -5*s(h) - 8*t(h). Let q be l(4). Let c = q - 2. Is 3 less than c?
False
Suppose 3*a + p - 958 = 156, 3*a - p = 1124. Let v = -11564/31 + a. Which is smaller: v or 0?
v
Let u(j) = -j**3 + 24*j**2 - 43*j - 5. Let q be u(22). Suppose -2*p = v - 6*p - 4, 5*p = 2*v - q. Let z = -21 + 37. Does z = v?
True
Let w = -14479/543 + -1/543. Suppose 420*p + 9492 = 81*p. Which is bigger: w or p?
w
Let l(q) = q**3 + 6*q**2 - 5*q + 3. Let c be l(-7). Which is smaller: c or -35/3?
-35/3
Let w = -16 - 1. Let r = 16 + w. Let y = -41/30 + 13/10. Which is greater: r or y?
y
Let i be (2/(-3))/((-20)/(-12)). Suppose -3*o + 1 = -4*s - 21, -3*s = 3*o + 6. Suppose -o*j = j. Which is smaller: j or i?
i
Let x = 5267/16 - 329. Let h(w) = -w**2 - 2*w + 17. Let g be h(0). Suppose -5*p = -3*s - p + g, -3*p = 2*s + 17. Which is bigger: x or s?
x
Let k = -44 - -23. Which is smaller: k or -18?
k
Let q = -4524 - -307619/68. Which is smaller: 0 or q?
q
Let z = -1.963 + 1.825. Is z smaller than -1?
False
Let g = -4.36 - -4.26. Are 0.007 and g unequal?
True
Let v = -1.62 - -0.12. Let z = 1.2 + v. Let f be 4/(-6) + (-285)/45. Which is bigger: z or f?
z
Let t = 676.9 - 682. Is t smaller than 1?
True
Suppose 0 = m - 5*z - 8, -2*m + 5*m - 2*z - 24 = 0. Suppose -m = -f - 9. Is -4/25 greater than or equal to f?
True
Suppose -13 = -3*f - 73. Suppose 146*r - 95 = 151*r. Which is bigger: r or f?
r
Let r be (5 - 9) + 274/67. Is r equal to 0?
False
Suppose -15*p - 1434 = 2691. Is -272 smaller than p?
False
Let j be ((-5214)/(-1043) - 12) + 7. Which is smaller: 1 or j?
j
Let m(x) = -2*x + 4*x + 10 + 2 - x. Let u be m(5). Let r = u + -20. Is r less than -3?
False
Let q = -0.7 + 0.73. Let i = q - -4.97. Let a = -271/534 - -2/267. Are a and i equal?
False
Let i = -1.87 + 152.87. Let c = -151.5 + i. Which is smaller: -0.2 or c?
c
Let t(y) = 3*y**2 + 3*y - 168. Let u be t(7). Let q = 522/1375 - 2/125. Is u greater than or equal to q?
False
Let t(y) = -94*y**2 + 2*y. Let i be t(-1). Let p = -96 - i. Is 0 >= p?
True
Suppose 0 = -3*c + g + 11, -2*c + 4 = g - 0. Let b be 20/3*(-18)/15. Let k be 10/b*(-28)/21. Is k equal to c?
False
Let i be -2*1*3/138. Let k(n) = 5*n + 43. Let o be k(-8). Which is bigger: i or o?
o
Suppose 11*y - 7*y = 24. Let v = y - -59. Is v at least 64?
True
Let b be (-72)/270*5/2 - -4. Do b and 3 have the same value?
False
Let b = -11 + -9. Let h be 6/(-4) - 1510/b. Let y = h - 52. Is -0.1 at most as big as y?
True
Let z(q) = 11*q + 8*q - 15*q + 4 + 23. Let k be z(-11). Which is bigger: k or -47/3?
-47/3
Let q(a) = a - 14. Let p be q(0). Let j be p/(-48) - 10/15. Is j less than -1/2?
False
Let i = 8 - 4. Suppose -j - c = -i, 4*j - 3*c = -j - 20. Let y = -5 + 11. Are j and y unequal?
True
Let j = 2908.6 + -2909. Is j less than or equal to 313?
True
Suppose -18 = 4*x + 134. Suppose p = -2*q - 74, -40 = q - 2*p - 3. Which is smaller: q or x?
x
Let d = 0.09 + 3.11. Let c = -12.2 + d. Let v = 0 + c. Is v <= 0?
True
Let k = -4 - 52. Is k != 0.1?
True
Let u(l) = -l**2 - 6*l + 2. Let b be u(-6). Let s be ((-4)/(-8) - 0)*6. Suppose s*k + b*k = 35. Is k at most 4?
False
Let o = 0.2049 + 400.7951. Which is smaller: 0 or o?
0
Suppose 6 - 16 = -2*y. Let a be -3 + (10/4)/y. Let o be (3/5)/((-3)/15). Which is greater: o or a?
a
Let o be (4 - (-39)/(-9))*12. Let h be o/(-5)*(-65)/143. Which is smaller: h or 0?
h
Let k = -1 - -2. Suppose -19*y + 39 = -6*y. Let d be (1 + k - y)*1. Which is smaller: d or -2/25?
d
Let l = -897479/861 - -7298/7. Is l > 1?
False
Let f(v) = 2*v - 1. Let s be f(5). Let i = s + -7. Let z = i + -2. Is 6/5 bigger than z?
True
Let h be 2 - 1*3/3*2. Let o = 8 - 4. Let n(t) = t + 1. Let d be n(o). Which is bigger: h or d?
d
Suppose -3*u = 5*u - 600. Let x = 223/3 - u. Is 3/4 at least as big as x?
True
Let f = 0.2 - -0.7. Let u = f + 3.1. Is u equal to -0.3?
False
Suppose -4*o = -4*l - 32, 4*o = 5*l + 25 + 12. Let r be (3 - 5) + 3 + 1. Suppose -v - 2 - r = 0. Which is bigger: l or v?
v
Suppose o + 10 - 29 = 0. Suppose -2*p = -7*p - 3*b + 17, -5*p = b - o. Let v be (52/10)/2 - 28/(-70). Is v greater than or equal to p?
False
Let k(x) = -3*x - 105. Let m be k(-35). Which is greater: -4/183 or m?
m
Let c = 1286 - 1277. Which is smaller: c or -80?
-80
Let b(a) = 28*a - 200. Let f be b(7). Which is bigger: f or -14/15?
-14/15
Let y = -1/26 + 7/13. Is 0.0273 greater than or equal to y?
False
Suppose 3*h + h = 5*h. Suppose -4