(1 + s)/(-1)). Which is smaller: 2/35 or b?
b
Let t be -316*(-1)/5 - 740/(-925). Is 71 greater than or equal to t?
True
Suppose 0 = -24*o + 28*o + 8, 2*o - 311 = 5*z. Is z >= -8?
False
Let v(l) = -l**3 + l**2 + l - 4. Let c be v(0). Let i = 5 + c. Let z(y) = -y**2 + 11*y - 9. Let t be z(10). Are t and i unequal?
False
Let x = 9 - 13. Let r = x + -2. Let h = 14 + r. Is h bigger than 0.1?
True
Let i be (34/4)/(1/2). Let f = 224 - 208. Let b = i - f. Is 1/5 less than b?
True
Let w be (-1 - 204/(-200))*2/(-7). Do 0 and w have the same value?
False
Let p = 14 + 34. Let k = -48.3 + p. Is k smaller than -0.1?
True
Let d = 23.91792 - 0.02792. Let z = d - 24. Let j = -0.01 - z. Are j and -7 unequal?
True
Let s(u) = -8*u**2 - 11*u + 84. Let x be s(-13). Is -1125 at least as big as x?
True
Suppose 5*k + 3*s - 35 = 0, k - 2*k - 2*s = -14. Suppose -5*u + 7*n - 2*n = 0, k*n = -5*u - 18. Which is smaller: u or 1?
u
Let k be (-2)/(-6)*(-6)/8. Let b = 760 + -759.99. Which is bigger: k or b?
b
Let x = -2135 + 394963/185. Are x and 0 non-equal?
True
Suppose v = 2*v - 4*i + 8, -4*v + 4 = 2*i. Suppose v = x - 7 + 6. Which is greater: 1/9 or x?
x
Suppose 5*r = 3*h - 2*h, 0 = -2*r + 2*h. Which is smaller: r or 3/188?
r
Suppose 3*z - 32 = a - 106, -5*z = -4*a + 275. Let q = -66 + a. Which is greater: q or -8?
q
Let r = 36.3 - 5.3. Let y = -33 + r. Which is smaller: 9/5 or y?
y
Let u be 21/2520*(-10)/(-36). Which is bigger: -1 or u?
u
Let q = -92 - -99. Suppose -q*s = -9*s + 38. Is -2 greater than s?
False
Let v(t) = 9*t**2 + 1. Let d be v(-1). Let y be 1 - d/25*5. Which is greater: 6/19 or y?
6/19
Let s(u) = 0*u**2 + 4*u**2 - 5*u**2 - 8 + 6*u + 2*u**2. Let v be s(-7). Let o = 4049/21424 - 2/1339. Do v and o have the same value?
False
Suppose -2012 = -11*o + 2608. Which is greater: 0 or o?
o
Let r = -23/348636 - 12535555441/8715900. Let k = r - -1438. Is k at least 1?
False
Let v be (-3416)/1696 - 2*-1. Is -1 greater than v?
False
Suppose -3*g + 2*c = 0, -6*c = 5*g - 5*c. Are -9/62 and g nonequal?
True
Let t = -4 + 0. Let x = -0.035 + 2.035. Let s = t + x. Which is bigger: s or 1?
1
Let v = -0.2 + -1.8. Let g = -6 - -11. Let h = g - 6. Is h > v?
True
Let u = 4386709/437 + -50028/23. Let r = u + -7587. Let w = r + -276. Which is greater: w or -1/3?
w
Suppose 1 = 2*i - 7. Suppose 2*r - 10 = i*u - 2*u, -4 = 4*r + 2*u. Suppose z + 2 = 4*a - 6, -3*a = -2*z - 11. Is r at least as big as a?
True
Let i(j) = -j**2 + 35*j - 169. Let z be i(29). Let y = -45/7 - -246/35. Which is smaller: y or z?
y
Let o = 2/18215 - 182632/4389815. Which is smaller: -1 or o?
-1
Let v = -1 - -1. Let x = 326114/133 + -2452. Is v bigger than x?
True
Let c be ((-81)/27)/((-1)/((-12)/622)). Which is greater: 1 or c?
1
Suppose g - 2447 = 70*p - 72*p, -2*p + 2*g + 2450 = 0. Is 1224 less than or equal to p?
True
Suppose -40*d + 29*d - 484 = 0. Is d at least as big as -50?
True
Suppose -4*x = 5*u + 2674, -5*x - 2*u - 3349 = u. Which is greater: -672 or x?
x
Let s(g) = 255*g + 2808. Let j be s(-11). Let u(v) = v**2 - 5*v + 2. Let a be u(5). Which is bigger: j or a?
j
Let m(q) = -q**2 - 12*q + 2. Let h be m(-12). Suppose -2*c + h*t + 1 = -1, 2*c - 3*t = -1. Let b be 1/c + 6/(-2). Do -3 and b have different values?
True
Let j(n) = -n**3 + 15*n**2 - n + 15. Let l be j(15). Let z be l + (-9)/(-10) - 1. Is 1 >= z?
True
Let x = 138 + -194. Which is bigger: -58 or x?
x
Suppose 2*t - 7 = -19. Let f be 2/(-10) - (-136)/(-20). Are t and f unequal?
True
Let p be 6/((-90)/12 + 6) + -210. Are -212 and p nonequal?
True
Let i be 40*4/(40/5). Let o = 21 - i. Which is smaller: o or -1?
-1
Let x = 89 + -88. Let k be (x/(-26))/(14/56). Let a = -1 + 2. Is a smaller than k?
False
Suppose t + 4 = 5*t. Suppose -3*m = -t - 5. Which is smaller: m or 1?
1
Let r = -12.2 + 12.3. Let y = 4.88 - -0.12. Let l = y - 5.6. Do r and l have different values?
True
Let n = 3 - 4. Let x = 100 - 1001/10. Do n and x have the same value?
False
Let b = 1451 - 1451.61. Let p = 0 + -1. Is p not equal to b?
True
Let s be (-11)/(-55) - ((-126)/265)/(-2). Let t be (5/10)/((-1)/(-2)). Is t <= s?
False
Suppose 0 = -0*o + o + 16. Let q = 8 + o. Suppose -12 = 4*n - 5*j, 3*j + 28 = -3*n + 2*j. Is q <= n?
True
Let p(c) = -2*c**2 + 3*c - 2. Let z be p(1). Let g = -68 + -5. Let i = g + 512/7. Is i greater than or equal to z?
True
Let r = 344 - 344.111. Is 0 equal to r?
False
Let g be 1 + (8 - 6) - -1*94. Let s = g - 92. Which is smaller: s or 4?
4
Let d(s) = s. Suppose 4*t = -5*f - 7 - 6, -4*f = 4*t + 8. Suppose -q - 3*x + 7 = -0*q, -35 = t*q - 5*x. Let r be d(q). Are r and -3 nonequal?
True
Let b be (-80)/(-33)*6/(-39). Let l be ((-28)/99)/(0 - (-2)/3). Let d = l - b. Is d < 1?
True
Let k be -79*(-1 + 0)*3. Let o = 21181 + -85667/4. Let j = o + k. Which is bigger: j or 2?
2
Let h = -1226 - -1225.41. Is 5 greater than h?
True
Let y be 70/28 + (-6)/4 - -7. Let x(u) = -u + 50. Let g be x(y). Is g bigger than 42?
False
Let x = 0.07 + 1.43. Let y = 0.98 - -0.62. Let v = x - y. Is -18 at least v?
False
Let x = -84 + 49. Let c = 176/5 + x. Does 1 = c?
False
Let f = 33 - 70. Let o = 34 + f. Is o at most -9?
False
Let l = 54.77 - -0.23. Let m = l + -56. Which is smaller: m or -2?
-2
Let s be (2 + -2)/(12/(-6)). Let n be 1/(-2)*s/9. Is n at least as big as 3/4?
False
Let s(i) = i**2 - 12*i + 15. Let r be s(10). Let h = 9/13 + -23/52. Which is bigger: r or h?
h
Let g = 769 + -57674/75. Which is smaller: -1 or g?
-1
Let f be (5 + 390/(-81))*(-2)/5. Suppose 0 = -4*w - o, 3*w + 5*o + 9 + 8 = 0. Is w > f?
True
Let n(u) = u**2 + 3*u - 4. Let w(i) = -3*i + 2. Let o be w(2). Let a be n(o). Is -1/119 equal to a?
False
Let v = 2 + 3. Suppose 0 = v*c - 58 + 13. Let f(o) = 2*o - 1. Let i be f(5). Is i <= c?
True
Let k(l) = -l**2 - 8*l + 20. Let w be k(-10). Suppose z = -4*p - 47, 5*p - 3*z = -2*z - 61. Let f be (2/p)/(28/(-12)). Is w > f?
False
Suppose -2*m + 135 = 39. Let r be m/(-42) + 6/42. Which is bigger: r or -3/58?
-3/58
Let c be (-18)/(-4) - 3/2. Suppose -c*r + 40 = -35. Is r greater than or equal to 25?
True
Let f(a) = -2*a + 11. Suppose 3*y - 18 = 5*v, -11 - 1 = -2*y + 5*v. Let l be f(y). Is 6/17 equal to l?
False
Suppose -35 = -3*q + y + 87, 2*q - 64 = 5*y. Let d be q/144*2/7. Which is smaller: -1 or d?
-1
Let i = 39 - 37. Suppose -p = 2*c + 35, -i*c + 5*p - 5 = -0*c. Are c and -15 nonequal?
False
Let t be 1 + 44/(-28) + (-8)/(-14). Is t at least as big as -4/3?
True
Let q = -729 - -670. Let w = 0.5 - 0.4. Is w not equal to q?
True
Let y = -256 - -316.6. Let f = -61 + y. Let l = 4 - 7. Which is greater: l or f?
f
Let s(g) = -4*g + 6. Let t be s(6). Let f be (10/3)/((-12)/t). Suppose f = 3*r - 8*r. Is -2/13 at least r?
True
Suppose -56*t + 61*t = 20. Suppose 4*h = -t*o + 8, -2 = -3*o + 8*o + h. Let m = -1273/7 - -181. Is o smaller than m?
True
Let g be 15/(-3) + 3 + 315/155. Let t be 136/(-32) + 2/8. Let y be (1 - 2)/(3 + t). Is g > y?
False
Let z(k) = 23*k - 169. Let w be z(8). Is w less than -6?
False
Let f = 45.019 - 0.019. Let w = f - 45.03. Which is smaller: w or 1/4?
w
Let j be (-1)/2*(7 - 101). Which is greater: 46 or j?
j
Suppose 0 = -85*z + 88*z + 237. Which is smaller: -84 or z?
-84
Let h(u) = -9*u**2 - u + 37. Let o(n) = 5*n**2 - 19. Let v(q) = -6*h(q) - 11*o(q). Let f be v(4). Which is greater: f or -52/9?
f
Let v be 1092/7 + -2 - 4. Which is smaller: 152 or v?
v
Let s be -3 - (3/(-11))/((-66)/(-462)). Let a = 4 + -6. Which is smaller: s or a?
a
Let p = -0.841 - -1.041. Let z be (-2)/(-24) + 2/8. Is z greater than or equal to p?
True
Let k = -0.2 - -0.18. Let i = -249.98 - -252. Let n = i + k. Which is smaller: n or -0.3?
-0.3
Let a be (-35)/(-15) + (-4)/(-6). Let d be ((-40)/25)/(12/(-30)) - 1. Are a and d unequal?
False
Let r be ((-40)/12)/(634/12 - -2). Let x = 24/47 - r. Are x and 0 non-equal?
True
Let b(p) = -6*p - 10. Let o be b(-2). Suppose 0 = 4*u - 3*v - 24, -5*v - 8 = 2*u + o*u. Is 3 equal to u?
True
Let i be 1 - 27/15 - ((-1054)/280 + 3). Let h = -0.2 - -0.1. Which is bigger: h or i?
i
Let c = -147/16 + 3493/368. Which is greater: c or -1?
c
Suppose 16*g - 2*g = 11*g. Which is smaller: 1/438 or g?
g
Let l(x) = x**3 + 3*x**2 - 3*x + 1. Let a = 6 - 9. Let o be l(a). Let f be 31/o - (5 + -2). Which is greater: f or 1?
1
Suppose 5*p = -62 - 38. Is 