 at least as big as m?
False
Let g = -19 + 13. Let x be (42/(-8))/(-7)*4. Let p be (-1 + x)*(-1)/1. Is p greater than or equal to g?
True
Suppose 183 = 5*t + 138. Which is smaller: t or 15/2?
15/2
Let a(f) = f**2 + 17*f + 80. Let l be a(-7). Are l and 270/29 non-equal?
True
Let a = 11 - 10.75. Let z = a + 7.75. Let q = 7 - z. Which is bigger: 0.01 or q?
0.01
Suppose -q - 5*a = -24, -8 = -a - 3. Is -3/97 equal to q?
False
Let w(o) = -3*o - 46. Let a be w(-6). Which is greater: 2 or a?
2
Let z = 16 - -9. Let l be (30/z)/((-6)/(-20)). Let n be 0 - -1 - (l + -5). Which is greater: n or 1?
n
Let b be (2/6)/((-18)/54). Is 82 >= b?
True
Let k = -3.31 - -3.47. Let z be 2/(-9) - (-68)/144. Do k and z have different values?
True
Let l be (0/(24/(-6)))/(4/2). Let v = -0.59 + -0.01. Which is smaller: l or v?
v
Suppose 80 = -4*y + l, -y + 4*l - 37 + 2 = 0. Are y and -9 equal?
False
Let t = -204 + 145. Let d = t - -58. Which is smaller: d or -5?
-5
Let n(h) = h**3 + h**2 + h - 8. Let c be n(0). Let r = -770/3 + 250. Is r < c?
False
Suppose 0 = -3*j + 4*t + 23 + 12, 5*t = -25. Suppose 0*l = j*l. Which is greater: 3/11 or l?
3/11
Suppose 20*t - 51 = 3*t. Suppose 0 = 2*r - t*b + 14, 3*r - 3*b = -13 - 2. Is r equal to 1/57?
False
Let y(r) = 2*r. Let o be y(2). Suppose -o*p - 5*q = -3, -5*p = -p + q - 7. Suppose p*f = 1 + 21. Is 11 greater than or equal to f?
True
Let h = 54.2 + -50. Let w = h + -4. Let z(c) = c + 6. Let r be z(-3). Is r < w?
False
Let f = -0.41 + -9.59. Let z = -1 - -2. Let t = z + 0. Which is smaller: f or t?
f
Suppose 8 = -2*d - 0. Suppose 3*x - 12 = 2*n, 5*x + 1 = 3*n + 21. Let w be (-9)/5 + (n - 1). Which is greater: w or d?
w
Let s = -17 - -24. Let w = -6.9 + s. Is w at least as big as 7?
False
Suppose -23*k + 615 + 949 = 0. Which is smaller: 63 or k?
63
Let z = 3/1463 - -391/13167. Suppose -5*u - 15 = -x, 0 = 2*x - 2*u + 2 - 8. Let i(v) = -v**2 - 2*v. Let q be i(x). Which is smaller: q or z?
q
Let y(l) = -5*l**3 + 2*l**2 + l + 1. Let b be y(1). Let m be (-10)/(-25) - 78/190. Which is bigger: b or m?
m
Let g = 14/3 + -37/15. Are -3 and g non-equal?
True
Suppose -2*x + 2*l - 84 = 0, 2*l = -2*l - 8. Let a be (-4)/22 - (-168)/x. Let o be -2*(14/a - -3). Is 2/13 less than o?
True
Let i = 138/101 - 2904/4343. Which is smaller: i or 2?
i
Let f be 4/6 - (-20)/(-3). Suppose -2*a = -l + 64, -3*l + 4*l + 2*a - 60 = 0. Let n be l/f + 6/(-9). Is 0 <= n?
False
Let g be (135/36)/(2/16). Let r be (-20)/g + (-44)/(-3). Let n be (-93)/91 - (-14)/r. Is n >= 0?
False
Let h(o) = -o**2 - 19*o. Let l be h(-19). Suppose 0 = 2*g - 3*i + 7*i - 16, l = g - 5*i + 27. Which is smaller: g or -14?
-14
Let m = -80/3 - -203/6. Is 6 >= m?
False
Suppose -4*z + 11 + 8 = l, 0 = 2*l + 2*z - 14. Suppose 0 = 2*k - l + 5. Which is smaller: -2/115 or k?
k
Suppose 0 = -0*m + 2*m - q - 90, -4*m = 4*q - 192. Is 44 smaller than m?
True
Suppose 1 = -0*o - o, -4*b = 5*o - 7. Suppose 0*v + 5*v + 2*y + 87 = 0, b*y = v + 14. Is -16 > v?
True
Let p(x) = -x**2 + 5*x. Suppose -3*z + 5*z - 8 = 0. Let v be p(z). Suppose -3 = v*c + 1. Which is bigger: c or 2/33?
2/33
Suppose 2*c - 456 = -5*d, 2*d - c - 174 = c. Let l be -4 - (0 + d/(-25)). Which is smaller: l or -4?
-4
Suppose -457*h = -229*h - 236*h - 160. Let n(q) = -4*q**3 + 4*q**2 - 4*q + 2. Let l be n(2). Which is smaller: h or l?
l
Suppose 2*o - 2*m + 112 = 36, -3*o + 5*m - 104 = 0. Which is smaller: -44 or o?
-44
Let m be (-4)/(-6) + (-57)/(-9). Suppose m - 41 = -3*c - 5*v, 4*c + 8 = 4*v. Let q(b) = -b**3 + 2*b**2 + 4*b - 2. Let i be q(c). Which is bigger: i or -3/2?
i
Suppose -78 = 2*a - 112. Let u be -34*((-18)/4)/3. Let j be 1*3*u/9. Is a >= j?
True
Let d = 0.0285 - -1.9715. Let l be (-49)/(-28) + 1 + -2. Is l at most d?
True
Let g = -24 + 31. Suppose 12 = -p + g. Is p equal to -4?
False
Suppose 11*f - 13*f = n - 2595, 0 = -4*f - 4*n + 5196. Which is smaller: 2/3 or f?
2/3
Let p = 461 + -686. Is p at least -1?
False
Let k = 5 + -2. Suppose 4*m - 16 = 3*d, -k*m + 2*d + 7 = d. Are m and 0 non-equal?
True
Suppose -49*s = -41*s - 16. Suppose 0 = f - 7 + 2. Suppose 2*q - 3*q + 13 = s*n, 4*q - f*n + 13 = 0. Which is greater: q or 1?
q
Let g = -0.183 + -0.217. Is -6 at least g?
False
Suppose m + 21 = 77. Which is smaller: m or 76?
m
Let p be (-2)/6 + 101673/303237. Is p smaller than -1?
False
Let t = 41 + -42. Let k be (3 - 0) + -3 + t. Which is greater: -2/9 or k?
-2/9
Suppose 0 = -3*p + 5 + 25. Let q = -45 + 45.068. Let v = 0.032 + q. Are v and p nonequal?
True
Let p = -43 + 77. Let v = p - 34. Which is smaller: -0.02 or v?
-0.02
Let k(u) = -u**3 - 12*u**2 - 12*u - 10. Let n be k(-11). Let i be 4784/(-3232) + n/((-4)/(-6)). Which is bigger: i or 0?
i
Let w be -8*-3*(-28)/(-48). Let f be 4/w - 611/(-91). Which is bigger: f or 5?
f
Let k = -99 - -166. Let y = -840699/14 - -59983. Let i = y + k. Are -1 and i non-equal?
True
Let q(m) = m**3 - 9*m**2 - 24*m + 20. Let t be q(11). Which is bigger: -7 or t?
t
Let f = 629249/241 - 2611. Is 1 at most as big as f?
False
Let a = -559 + 558. Which is smaller: -1/254 or a?
a
Let j = -2222 + 2207. Suppose -5*g + 3*s - 30 - 50 = 0, -2*s = g + 16. Which is smaller: g or j?
g
Suppose -86*r + 91*r = -40. Let u(v) = v**2 + v + 1. Let q be u(0). Let l = r + q. Which is greater: l or -6?
-6
Let o = 300 - 298. Let c = 29/52 + -4/13. Which is smaller: o or c?
c
Let i = -5.7 + 6. Let p = -0.4 + i. Let x = -8.2 - -7.4. Is p bigger than x?
True
Let o = -0.787 - -0.987. Which is bigger: o or -3.81?
o
Let s = 1002/11 - 91. Suppose 5*v - v = -7*v. Is v <= s?
True
Let q be 2/(-5) + (-427)/45. Let j = q + 10. Let n(b) = -2*b**2 + 7*b + 4. Let z be n(4). Which is smaller: z or j?
z
Let d(m) = -4*m + 11. Let h be d(3). Suppose -15 = 3*c - 3. Let y be (-76)/144 - 3/c. Is y <= h?
False
Let q be (-1)/3 - 33/(-369). Let b = q - -219/1066. Which is bigger: b or -1?
b
Let g = -1 + 1. Let m(x) = -x**3 - 3*x**2 + 2*x. Let q be m(-5). Let z be q/(-35)*(-1)/(-4). Which is greater: z or g?
g
Let w(i) = -i**3 - 4*i**2 + 3. Let v be w(-4). Suppose -v*h - 14 - 4 = 0. Let m = -5 - h. Is m less than or equal to 1/3?
False
Let j be -3*30/(-25)*5. Let l = j + -18. Let r be (1/2)/1*l. Is r < 3/4?
True
Let u = 0 + 5. Let v(s) = 7*s**3 - 10*s**2 - 7*s + 9. Let p(t) = 10*t**3 - 15*t**2 - 10*t + 14. Let l(m) = u*p(m) - 7*v(m). Let w be l(5). Is w > 1?
True
Let d(r) = -2*r**2 + 13*r - 4. Let z be d(9). Let y = 17 + z. Let p = -33 - y. Is -6 <= p?
True
Let y be (1 - (-18)/(-3)) + 10. Which is smaller: y or -10?
-10
Let b(r) = 2*r**2 + 5*r + 2. Let g(p) = -p**2 + p - 1. Let v(x) = b(x) + 4*g(x). Let q be v(4). Is -1 at least q?
False
Suppose j = 2*j + 3*z + 38, 0 = -2*z + 6. Let c = j - -30. Which is greater: -19 or c?
c
Let z be 0 + 436 - (-10)/10. Suppose 5*o - 37 = -z. Which is smaller: -81 or o?
-81
Let n(w) = -6*w + 41. Let b be n(7). Let a = -6 + 4. Is b greater than or equal to a?
True
Let f = 99 + -96. Suppose f*w = 10*w - 14. Is w >= 2/3?
True
Let t = 2/609 - 4472/1827. Which is smaller: -2 or t?
t
Let g = -1844.3 - -1863. Is g greater than -1?
True
Suppose -w + 253*s - 257*s = 113, 0 = 2*w - s + 271. Is w bigger than -135?
True
Suppose 0 = 2*k - 21 + 17. Suppose -k*t + 2 = 3*c, 0 = -t + 4*t + 4*c - 4. Suppose 3 = -3*r + t*r. Is r smaller than 2?
False
Let f = -761 + 731. Is f less than or equal to -22?
True
Suppose -a = 8 - 12. Let b be 13/12 - (a/3 + -1). Is b less than 0?
False
Suppose -32*v + 476 = -46*v. Which is bigger: v or -1?
-1
Let l = -133.58 + 133. Let p = l + 0.38. Which is bigger: -69 or p?
p
Suppose 4*t + 36 = 6*t. Suppose 419 = 44*l - 651 + 322. Do l and t have different values?
True
Let y be 17*(-2)/70 - (-9)/45. Let w = -4.1 + -0.9. Which is smaller: w or y?
w
Suppose -3*u - 3*p = 63, 0 = 3*u - 4*p + 41 + 15. Which is greater: u or -5?
-5
Let r be 11/4 - (-3)/12. Let c = 8 - r. Let t = -1 + c. Are 4 and t nonequal?
False
Let s = 4102/3 - 1391. Is -23 greater than or equal to s?
True
Suppose 7*s - 10 = 2*s. Suppose -4*p - p - 24 = -z, -5*z - s*p - 15 = 0. Let a = -1/119 - 589/714. Are z and a equal?
False
Let a = 433 - 435. Is a bigger than -159?
True
Let g be ((-3)/6 - 1)*(5 - 7). Suppose 4*k + g + 25 = 0. Suppose 31 = -4*h - b - 0*b, 4*h + 3*b = -37. Is h > k?
False
Let s = 37.1 + -33. Let c = s + -4. Let f(t) = -7*