
-2/77
Let z = 0.08 + -0.08. Let j = 7 + z. Let g = -9 + j. Is g bigger than 2/5?
False
Let x be -1 + 1 - (1 + -1). Which is smaller: x or 8/7?
x
Suppose -4*p - 25 = -5*c, p + 4*c = 17 + 3. Let r = 4 - p. Suppose 3*o = -o + r. Which is bigger: -1 or o?
o
Suppose 2*g = -5*p + 28, -27 = -5*p - 2*g - g. Suppose -p*s = -3*s. Which is smaller: s or 3?
s
Suppose 2*d = 3*d - 3. Let c be d - 0 - (-2)/(-1). Let g(p) = -p. Let x be g(-2). Do c and x have the same value?
False
Let h = 17 + -16.9. Which is greater: -14 or h?
h
Suppose 5*k - 2*o - 35 = 0, o + 10 = -2*k + 3*k. Suppose 13 = -k*g - 7. Does -5 = g?
False
Suppose y = -5*c - 19, -2*y + 4 = c - 5*c. Let p be (y/6)/(3/18). Suppose 8*x + 32 = 8. Is p at most as big as x?
True
Let j be -2 - (-2 + 0/(-4)). Which is greater: -2/59 or j?
j
Let v = -10 - -11. Let z = 37 - 110/3. Which is bigger: z or v?
v
Let l = 167 - 170.84. Let i = -0.16 + l. Which is smaller: i or -0.1?
i
Suppose 2 + 2 = 2*b. Let j be (-16)/1*(-172)/(-8). Let c = j + 1728/5. Which is greater: c or b?
b
Let m be (-86)/(-30) - 6/(-45). Which is smaller: -0.4 or m?
-0.4
Suppose 4*i + c = 34, 5*i - 46 = -4*c + 2. Let a(t) = -t + 10. Let h be a(i). Let z(y) = -y**2 - 7*y - 5. Let v be z(-6). Do h and v have the same value?
False
Let s(z) = -z**3 + 8*z**2 + z - 7. Let x be s(8). Let g be 0/(-1 + 0 + 2). Let d = x - g. Is -2/9 at most as big as d?
True
Suppose -3 = -5*j + 4*j. Is j bigger than 0?
True
Suppose 4 + 21 = -5*k. Is k greater than -6?
True
Let v be (-1)/3*-3 - -2. Let p be 1/v*(-6)/23. Which is smaller: -1 or p?
-1
Suppose -24 = -5*x - 9. Let k be x*-1*(-1)/(-3). Is 1/4 greater than k?
True
Suppose -2*w - 15 = -7*w + 5*p, 2*w = 4*p + 2. Suppose -v + 8 = -w*v. Does -3/4 = v?
False
Let w = 13 + -15. Do 1/4 and w have the same value?
False
Suppose -2*h + 5*l = 31, -5*h - 7*l = -3*l - 5. Is -36/13 < h?
False
Let u be (-2)/(-5) - (-8)/30. Let h = 2 + -1.9. Let b = h + -0.3. Which is bigger: u or b?
u
Let a be -3*(-6)/2 - 1. Let m be (-14)/(-10) + a/(-20). Is -1 bigger than m?
False
Let o = -10 + 28/3. Is 0 < o?
False
Let o = -4.03 + 4. Is 2/5 at least o?
True
Let z be (-240)/(-56) + 4/(-14). Suppose -o - 5*k = 1 + 5, z*k - 12 = -5*o. Suppose 4*r + m = 16, r + 3 = -4*m + 2*m. Is r smaller than o?
False
Suppose -23 + 17 = 6*n. Are n and 2/63 nonequal?
True
Let f(m) = m**3 - 6*m**2 + 2*m - 6. Let p be f(6). Which is bigger: 4 or p?
p
Let g be (1/(-3))/(2/3). Suppose -5*c + 8 = -3*i, 3*i + 6*c - c = 32. Suppose -4*o + 0*r = 5*r - 2, -i*r = 4*o. Do o and g have the same value?
False
Let w = 0 + -12. Which is bigger: w or -13?
w
Let k = -0.73 - -0.8. Is k less than 1?
True
Let l = -65 + 197. Which is smaller: 133 or l?
l
Let w(r) = -r + 11. Let x be w(6). Suppose -3*g = -3*o - 6, -x*g + 0 = -10. Which is bigger: -1/5 or o?
o
Let p = 27 - 27. Suppose p = 5*s, 4*d - 3*s + 0*s - 56 = 0. Is 15 equal to d?
False
Let j = -4 - -10. Suppose 0 = -5*q + 2*y - j*y + 22, 0 = -y + 3. Suppose -4*a + q = -6. Do a and 2 have different values?
False
Let c(w) = -11*w - 2. Let n be c(3). Let z be (-30)/7 + (-2)/(-7). Let d be (-10)/n - z/(-14). Is d less than or equal to 2?
True
Let x = -1.7 - 15.3. Let s = -10 - x. Let z = -7.2 + s. Are -0.1 and z equal?
False
Let p = -15 - -15. Suppose p*o - 39 = -3*o. Which is greater: o or 1?
o
Let l = -2 + 0. Let x be 6/(-21) + (-16)/(-7). Let y = x + l. Is y smaller than -1?
False
Suppose 14*c + 132 = -8*c. Let x = -3 + 21. Let k be ((-2)/c)/(3/x). Are 6/7 and k nonequal?
True
Let n = 17895/11 - 1628. Is -1 equal to n?
False
Let m = -52/7 - -305/42. Let u = -55 - -63. Which is bigger: m or u?
u
Let r be (1 - 0)*2/(-2). Let q(z) = -3*z**2 - 1. Let k be q(r). Let s be 3/(-4) + k/(-16). Which is greater: s or 0.4?
0.4
Let h be (-32)/14 + (-4)/(-14). Are -2 and h nonequal?
False
Suppose 4*c = 6*c + 3*y - 18, -5*c - 5*y = -35. Is -1 at most c?
True
Let n = 6 + -8. Let s(z) = -z**3 - 3*z**2 - 3*z. Let i be s(n). Suppose -3*f - 6 = -2*c, -5*c - i*f - 2*f = 8. Are c and 2 equal?
False
Suppose 4*z - z = 3. Let l = 729/8 - 91. Is z less than l?
False
Let v be (-3)/(-2 - (-21)/6). Let j = v - -4. Which is smaller: 3/4 or j?
3/4
Let z be (4/10)/((-2)/(-10)). Suppose -4*q = g, -g = q + z*g. Let k(y) = -y**3 + 8*y**2 + 10*y - 8. Let u be k(9). Is q smaller than u?
True
Suppose 2*v - 4 = -2*v. Is v at least as big as 1/13?
True
Suppose 0 = 2*o - 16 + 8. Let l be 9/(-3) - (0 - o). Which is smaller: 0 or l?
0
Let k = -208 + 93. Let h be (-4)/14 - k/35. Is 4 greater than h?
True
Let k be (70/(-15))/(4/(-6)). Are k and 7 nonequal?
False
Let u = -3 - 5. Let z = -3 - u. Let w = -5 + z. Is 1/7 less than w?
False
Let o be ((-78)/(-204))/(1/2). Is 2 at most o?
False
Let f = -195 + 978/5. Which is bigger: f or 0?
f
Let w = -776036/45 - -17246. Let i = 8/15 - w. Which is smaller: 0 or i?
i
Let y = -36 + 47. Is y bigger than 0?
True
Let f be 21/9 - 2/6. Suppose 0*t - 20 = -2*t - 4*l, 30 = 3*t + f*l. Let y be (4/t)/(6/15). Which is bigger: 0 or y?
y
Suppose -4*p - k + 2*k + 51 = 0, 48 = 3*p - 4*k. Let c = -11 + p. Which is bigger: c or 1/2?
c
Let z be (1 + 10/6)*-3. Let w be (-6)/z - (-2)/(-8). Let t(i) = i**2 + 7*i + 14. Let m be t(-3). Is m at most as big as w?
False
Let i(v) = 0*v - 8*v + 2 - v**2 - 7. Let r be i(-7). Is -0.2 at most as big as r?
True
Suppose -3*g = 2*z - g - 46, 3*z = 4*g + 62. Is 22 >= z?
True
Suppose 4*f = 2*f + d + 7, 5*d = 25. Let n be (4/(-6))/((-4)/f). Let w = 2.86 - 2.9. Which is smaller: w or n?
w
Let s be 22/6 + (-2)/3. Let b(n) = -7*n**3 + 10*n**2 - 7*n + 3. Let g(k) = -4*k**3 + 5*k**2 - 4*k + 1. Let j(y) = s*b(y) - 5*g(y). Let f be j(5). Is -1 > f?
False
Suppose -2*q = -6*q. Suppose -2*o - 3*d + q*d = -18, 3*o + 4*d = 25. Which is smaller: 1 or o?
1
Let j = -234 - -77. Let f = 242795 - 4130182/17. Let r = j - f. Which is greater: 0 or r?
0
Suppose -t + 2*t = -3*i - 1, -5 = 2*i + 5*t. Are i and 8/33 nonequal?
True
Suppose l - 3*l - 5*z + 27 = 0, 0 = l + 5*z - 26. Is 9 > l?
True
Let p be 8 - 1/4*0. Let c be p/32*(-1 - 2). Which is greater: 0 or c?
0
Let z = -224 - -2018/9. Is -1 not equal to z?
True
Let w = 48 + -431/9. Let j(x) = -x**2 + 5*x - 4. Let z be j(4). Which is smaller: z or w?
z
Let k be (1/303)/(4/(-24)). Do k and 0 have different values?
True
Let j be ((-2)/(-2))/((-6)/(-2)). Let i be (4/8)/((-1)/(-2)). Let k = i + -1. Which is bigger: k or j?
j
Let x(l) = -l**3 - 6*l**2 + 5. Let p be x(-6). Suppose p*a - 4*a = 0. Which is bigger: a or 3/4?
3/4
Let o = -122889/5984 + -5/544. Let n = o + 8836/429. Which is bigger: -1 or n?
n
Suppose x = -0*x. Let t = -3 - -3. Let n = t + x. Is 0 greater than n?
False
Let r be (6/(-4))/(9/12). Let w be r/4 + (-1)/(-2). Let i = -29/21 + 12/7. Is w bigger than i?
False
Let k = 182 - 181.98. Let m = 17/33 - 2/11. Is m at most k?
False
Let m(a) = 3*a**2 - 2*a - 2. Let b be m(2). Let j = b - 1. Is j less than 5?
False
Let t = -1673/3498 - -5/583. Let x = t + 3/22. Is x at least 2/9?
False
Let b = 7.2 + -0.2. Let f = -0.01 - 4.99. Let j = f + b. Is 2 smaller than j?
False
Let h(d) = 8 + d + 1 - 8*d**2 - d**3 + 0 - 7*d. Let x be h(-7). Is 0 != x?
True
Let p = 17 - 41. Let m = p + 24.06. Is -0.3 less than m?
True
Suppose -5*z = -5*l - 0*l - 20, 3*z - 2*l - 11 = 0. Suppose 5*r = -2*t + 11, 5*t - 4 - 12 = -r. Suppose -2*k + t = -5. Is k at least as big as z?
True
Suppose x + n + 2 = 0, n - 5*n = 0. Let f be (-33)/6 - 0 - x. Is -4 less than f?
True
Let w be 4/(-6)*(-16)/24. Is w at most as big as 0?
False
Let y = -365/23 + 18983/1173. Let i = 6/17 + y. Which is smaller: 3 or i?
i
Let m be 138/18 + -7 - 4/(-30). Let j = 12/55 - -2/11. Is j at most as big as m?
True
Suppose 2*l = -2*o + 4, 2 = o + 4*l - 6*l. Suppose -3*w + 5*s + 4 = -o*w, s = -2*w - 3. Is -1 bigger than w?
False
Let c be (4/88)/(332/(-1768)). Let r = 3030/11 + -251435/913. Let w = r + c. Is 1 < w?
False
Let m be (-16)/12*(-3)/2. Is 0 at least m?
False
Suppose 15 = -0*o + o + 3*m, -3*m = 3*o - 21. Let u be 3/(-9) + o + -2. Let q = u + -1/3. Are q and -0.03 unequal?
True
Let y be 0/((-1)/1*1). Suppose y = -4*d + 2*d + 14. Let o = -6 + d. Which is smaller: 4/9 or o?
4/9
Suppose -2*q = -3*x + 17, -3*q + q = 2*x + 2. Let u be (2 - 3)/(x/3). Let g(z) = -z**2 + z - 1. Let p be g(0). Are p and u equal?
True
Let u(n) = 14*