w**2. Let j be y(6). Is -1/4 at least as big as j?
True
Let t(o) = 2*o + 10. Let a be t(-3). Let h(q) = -q + 1. Let m be h(-1). Let k be m/6 + (-28)/(-6). Is a >= k?
False
Let n = 4 - 6. Is -5/6 greater than or equal to n?
True
Suppose g - 5*u = -1 - 19, 3*g - u = -4. Let n be ((-108)/(-15))/3 - 2. Which is smaller: g or n?
g
Let d = 422/711 - 3/79. Is d at least as big as 1?
False
Suppose -5*u = 4 + 1. Let d = 7 - 7.9. Let w = 1 + d. Are u and w unequal?
True
Suppose 2*x - 2 = -0. Which is greater: x or 5/17?
x
Let s = 235 + -236. Let f be 4/(-6) - 2/(-6). Is f != s?
True
Let l = 5 + -4. Let o = -1 + l. Let v = 2270/9 + -252. Does o = v?
False
Suppose -2*r = -u - 5, 0*r - 1 = r + 3*u. Suppose 0*y + 2 = r*y. Which is greater: y or -1/13?
y
Let z = 22/27 + 131/27. Is 6 equal to z?
False
Let d(w) = 4*w**3 + 5*w**2 + w + 8. Let p be (-4)/6 + 1/(-3). Let y(l) = l**3 + 1. Let z(r) = p*d(r) + 3*y(r). Let u be z(-5). Which is greater: u or 3/5?
3/5
Suppose -m - 7 + 2 = 0. Let f = m + 14/3. Which is smaller: f or 0?
f
Let k be (20/(-15))/(4/(-6)). Let j be k/(-3) + 8/(-24). Is -2/3 >= j?
True
Let s = 3 + -3. Let w be (1 - s)*(1 - 1). Is w at least as big as 0?
True
Suppose 0 = -2*f - 0 + 2. Let x be (-1)/(6/3 - f). Is 1/8 equal to x?
False
Let h(n) = 3*n**3 - n**2 + 2*n - 1. Let c be h(1). Suppose 0 = -2*t - c*t. Let f be (-32)/(-20) + 1/(-1). Which is greater: t or f?
f
Let m(i) = -i**3 + 12*i**2 - 11*i + 3. Let b be m(11). Suppose -3*o = -b*w + 9, 5*o - 4*w + 8 = -5. Let v be (3/10)/(12/10). Is o equal to v?
False
Let f = 2/7 + -31/35. Suppose -5*v + 2 = -2*a, 5*a = 5*v - 3*v - 5. Is a bigger than f?
False
Let z = 3.16 - 0.16. Let k = -4 + z. Which is smaller: k or -9/2?
-9/2
Let o be (4 + -3)/((-3)/177). Let c = o - -296/5. Is 1 smaller than c?
False
Suppose c + 4*w - 11 = 0, -3*w + 2*w + 3 = 0. Let z be 2/2*(c + 1). Let x = -3/10 + 4/5. Is z >= x?
False
Let j = -18 - -25. Let f be (10/(-6))/((-25)/90). Which is smaller: j or f?
f
Let v = 0.64 - 0.19. Let j = -0.05 + v. Which is greater: j or 1?
1
Let o = -9.3 + 10. Suppose -5*z - 9 = -6*z + 5*m, -z + m = -9. Let y be (-3)/10*12/z. Is o at least as big as y?
True
Let m be 4 + -2 - -2*1. Let y = 5 - m. Let s be (15/(-6) - -5)*(-8)/(-30). Is s greater than y?
False
Let q be 0/(-3) + 1*3. Suppose 0 = -2*f + 7*f. Suppose -v + 1 = -f*v, -q*c - v = 5. Is -2 greater than c?
False
Let q(m) = 2*m**2 - 4*m - 1. Let t be q(5). Let y = 146/5 - t. Is 5 greater than y?
True
Let n = 0 - -6. Suppose -s + 2*s = 4. Let h be (-3)/(-9) + s/n. Which is greater: 3/2 or h?
3/2
Let i(s) = s + 3. Let y be i(-3). Let g = -0.74 + 0.84. Which is greater: y or g?
g
Let m = -8.6 + 7.53. Let d = 0.07 + m. Let t(l) = -l**2 + 7*l + 7. Let s be t(8). Is s >= d?
True
Let b = -12 - -10. Let r be (-17)/(-4) + (-2)/8. Let u be 8/(-48)*r*b. Which is smaller: u or 1?
1
Let v be ((-2)/(-3))/((-2)/3). Let g be 12 + -2 - (2 + -2). Suppose 0 = 2*n - 2*a, 4*n + a + 0 = -g. Is n < v?
True
Let i = 5 - 6. Is i at least 0?
False
Let x = 93.2 + -91. Which is bigger: 3/4 or x?
x
Let g = 33 - 20. Let v = 13 - g. Which is smaller: v or 4?
v
Suppose 3*o - y = 17, 5*o - 3*y = y + 19. Let z be (-7)/14*(-4)/o. Suppose -3*l = 4*q - 4, 0*q - 2*q + 4 = 2*l. Is z > q?
True
Let o(m) = m**2 - 4*m - 2. Let h be o(5). Suppose c + 3*c = -4, -2*c + h = -5*n. Which is greater: 2/5 or n?
2/5
Let k be 4*(3/(-6) + 39/12). Which is greater: k or 9?
k
Suppose 3*t + 6*t = 189. Is t less than or equal to 0.1?
False
Let b(u) = -u**2. Let d be b(0). Do 1/4 and d have the same value?
False
Let k be (1 - (-8)/(-20))*15. Let a(y) = -y**2 + 8*y + 7. Let l be a(k). Is l bigger than -7/4?
False
Let q be (-2)/(-10) + 12/(-10). Suppose -4*p - 2 = -3*n, -4*p + n = -n. Let u = p + 7. Is q at most u?
True
Let b(d) = -d - 14. Let s be b(-8). Let h = s + 5. Which is smaller: h or -1/11?
h
Let u = 47 + -53. Which is smaller: 3 or u?
u
Suppose -3*m + l - 15 = -2*l, -5*m = -l + 5. Is m >= 2/125?
False
Let k(u) = u**3 - 11*u**2 - 11*u - 10. Let r be k(12). Let v be (r*2)/(36/(-4)). Which is bigger: v or 0?
0
Let j = 6 + -5. Let d = 7 + j. Is d less than 7?
False
Suppose -4*k + 0*k + j = 3, -j - 3 = 2*k. Suppose 16 = -5*p - 3*d, 4*d = -2*p - 2*p - 16. Let h be p*9/(-10) - 2. Which is bigger: h or k?
h
Suppose 1 - 11 = 5*t. Suppose -3*i = 2*i. Is i bigger than t?
True
Let i = 5 + -3. Let y be 4 + -5 - 1*-2. Which is smaller: i or y?
y
Let t = 50 - 80. Is -28 at least as big as t?
True
Let w = -19 + 20. Let s be (9/(-27))/(w/(-15)). Is 5 not equal to s?
False
Let t be (-15)/(-50)*5*(-4)/39. Is -1 smaller than t?
True
Let s be 9*4/30*45/(-153). Is 0 < s?
False
Let r = 5 - 6. Is r bigger than 2/15?
False
Let d(y) = 15*y - 3. Let z be d(3). Suppose 0 = 4*n + 6 - z. Is 10 greater than n?
True
Suppose -a = -4*a - 3. Which is smaller: a or 1/22?
a
Suppose 16*t - 15*t = 1. Which is greater: -1/4 or t?
t
Let u be (2 + -2)*1/2. Which is greater: 3/7 or u?
3/7
Let k(s) = s**3 + 4*s**2 + 4*s + 4. Let y be k(-4). Let r be y*(-4)/(4*-2). Which is bigger: r or -5?
-5
Let g(h) = -3*h - 5*h - 1 - h + 7. Let d be g(4). Let j be 3/d*(-10)/6. Which is smaller: 1 or j?
j
Let o = 0.9 + 0.1. Which is smaller: o or 0.5?
0.5
Suppose 2*r + 14 = 4. Let w be r/15 + 1/3. Is 1 >= w?
True
Let g = 3.2 + -3.1. Which is bigger: g or 1/7?
1/7
Let d be (-10 - -7)*(-4)/42. Let y be ((-36)/45)/((-14)/10). Is y less than d?
False
Let m = -219 + 429/2. Is -4 greater than or equal to m?
True
Let q = 0.1 + 0. Suppose 0 = 2*x - 5*d - 25, 4*d = 6*x - x - 37. Let k be x/(20/14) - 3. Which is smaller: q or k?
q
Let p = 0.3 - 0.7. Which is smaller: p or -0.2?
p
Let y(v) = -4 + 2*v + 0*v + v**3 - 5*v**2 - 2*v. Let h be 5 + (-6)/(-3) + -2. Let s be y(h). Is -3 less than or equal to s?
False
Suppose -83 - 117 = 4*p. Are -50 and p unequal?
False
Let o be (2 - 0)*(-8 + 1). Let k = o - -20. Is k greater than 6?
False
Let q(l) = -2*l**3 - 2*l**2 + 2*l. Let t be (3 + -6)/3 + 9. Suppose 0 = 3*h - 7*h - t. Let i be q(h). Which is smaller: i or 3?
3
Let h be 15/(-60) + (-6)/104. Do h and 0 have the same value?
False
Suppose -3*n + 5 = 3*m - 4, 4*n - 7 = m. Let p be (1 + (-38)/39)*25. Let c = 4/13 - p. Do m and c have the same value?
False
Let s = 7 + -7.1. Let t = 22 + -21.9. Are s and t nonequal?
True
Let a = 59.4 - 57.4. Let x = -30.9 + 33. Let c = x - 2. Which is smaller: c or a?
c
Let u be 15/9 - (-1 + 2). Let h be ((-3)/(-1))/(2/6). Let g be (3/h)/(2/6). Is u >= g?
False
Let x = -2.6 - 0.4. Let i = -0.39 + -0.61. Is x >= i?
False
Suppose 31*y - 26*y - 65 = 0. Let i = 23 + -11. Which is smaller: y or i?
i
Let z(w) = w + 0*w + 5 - 2*w. Let j be z(5). Let s(f) = f**2. Let l be s(j). Is -2 at most as big as l?
True
Let h = 14 - 17. Which is bigger: 1/7 or h?
1/7
Let p = 32399/72 - 450. Let o = p + -13/36. Is o <= -1?
False
Let x = 0.6 - 1. Let z be (-1)/(-1) + (-120)/18 + 5. Which is smaller: x or z?
z
Suppose -2*d + 16 + 4 = 3*x, 2*d - x - 4 = 0. Suppose 0*p = -d*p + 16. Let u be p/(-18) + 294/108. Which is smaller: u or 4?
u
Suppose 3*n = -4 + 1. Let i = -2 + -2. Let a be -2 - (-1 + i/(-2)). Is a at most as big as n?
True
Let v = 8.4 - -0.6. Does -1 = v?
False
Let g be (-7)/(-68) + 1/4. Let d be (1 - 2) + 147/595. Let s = g + d. Is s at most 1?
True
Let m = -9 + 9. Is m <= 1/80?
True
Suppose 3*w + g + 2*g = 3, 5*w - 9 = -4*g. Let y(f) = f**2 - f + 11. Let m be y(0). Let t = 15 - m. Are t and w nonequal?
True
Let v(z) = 2*z + 7. Let f be v(-6). Let d = f + 4. Do d and 1/6 have the same value?
False
Let l(z) = z**2 + 6*z + 6. Let m be l(-4). Suppose -2*u = -u. Suppose 3*y + a + 0 - 1 = u, 0 = -4*y + 2*a - 12. Is y equal to m?
False
Let g = -7/3 - -3. Let n = -0.1 + 0.1. Let y = 0 - n. Is g <= y?
False
Let g = 1 - 1.2. Let m = 12 - 20. Let h be (-1)/(-2)*m/14. Is g equal to h?
False
Let o be 4/(-23)*(-5)/(-10). Let y = 6 - 6. Suppose 5*r = -y*r - 5. Which is bigger: o or r?
o
Let m = 51 - 254/5. Let k(h) = -h**3 + 3*h**2 - 1. Let n be k(1). Is m equal to n?
False
Suppose 0 = 5*i - 21 + 1. Suppose -19 = 2*z - 3*u, -2*z = 3*z + i*u + 13. Let s be (-13)/(-20) - (-2)/z. Which is greater: s or 0?
s
Suppose 5 + 5 = 3*i - 2*q, i = 3*q + 1. Suppose -12 - i = 5*r - 3*p, 3*p = 6. Is r >= -1?
False
Let u be (-39)/6 - 1/2. Let r = 6 + u. Is 0 at least as b