ose m*s = -6 + 1. Is -4/3 bigger than s?
False
Let p be (5/5)/(2/6). Let v = 3 + p. Do v and 7 have different values?
True
Suppose 2*a = -1 + 7. Suppose -40 = 5*v + 5*s, -s = -a*s. Suppose -12 = 4*t + 24. Which is smaller: t or v?
t
Let n = -56 - -53. Is n > -9/5?
False
Let i(h) = -h**2 + 1. Let j be i(-1). Let z = 15 + -3. Let o be j + (-15)/z + 2. Which is smaller: o or -0.3?
-0.3
Suppose 3 = 4*j - 1. Are j and 1 nonequal?
False
Let v = 6 + -3. Let n = 12 - 17. Let k = v + n. Do 2 and k have the same value?
False
Let d = -5.3 + -3. Let o = d + -0.7. Which is greater: o or 0?
0
Let p(v) = v**3 + 2*v**2 + 6*v + 4. Let h(b) = 3*b**3 + 3*b**2 + 13*b + 8. Let r(g) = -2*h(g) + 5*p(g). Let c be r(5). Is -1/5 at most as big as c?
False
Let x = 4 + -1. Suppose -x*q - 12 + 0 = 0. Let b = q - -6. Is b greater than 3?
False
Let w = 7 + -4. Let z be -2 - (w - (-57)/(-12)). Which is bigger: z or 1?
1
Suppose 3*k = 3*r + 60, -5*r + r - 2*k = 68. Let v be (2/r)/((-4)/24). Is v greater than 1?
False
Suppose -d + 3*d = -10, 2*d = -f + 15. Does -0.1 = f?
False
Let n = -2.8 - -1.6. Let f = -7.2 - n. Let r = f - -4. Is r greater than 0.1?
False
Let q = 6.8 - 7. Let y = q + 0.3. Which is bigger: y or -0.3?
y
Let c = -16 + 3. Which is smaller: 0 or c?
c
Let a be (12/(-24))/(2/(-8)*-2). Which is bigger: -2 or a?
a
Let b(y) = 2*y + 8. Let q be b(-6). Let k = -2 - q. Let u = -7 - -8. Is k at most as big as u?
False
Let z = 0.04 + -4.04. Let g = -0.9 - -1. Is z != g?
True
Let p be (-1 - -2)*-1 - 2. Let a be (-2)/p*21/(-6). Let r = a + 11/6. Which is bigger: r or 3?
3
Let r = 1.7 - 2.7. Is -0.2 at most as big as r?
False
Let c be (1 - 12)*(-1 + 2). Let q(l) = -l**2 + 6*l + 43. Let i be q(11). Which is smaller: i or c?
i
Suppose 3*o + 21 = -0*o. Let m = 111 - 118. Are m and o equal?
True
Suppose n + 3*n - 4 = 0. Let b = n - 5. Let t be b/6 - (-50)/48. Is t at most as big as 1?
True
Let s = -296037947/45 + 6579585. Let h = 964 - s. Let n = h + -49/90. Which is greater: 0 or n?
0
Let j be 4/10 - (-2)/(-5). Is j less than 0?
False
Suppose 3 = -5*h - 2. Let o be -1 + (-3 - h - 1). Let v = -5 - o. Is -2/3 at least as big as v?
True
Let x = 2670314218/1359 - 1964911. Let u = x + -2/151. Which is bigger: 1 or u?
1
Let g = -0.126 - -0.026. Is -3/56 greater than g?
True
Let h = -6 - -6.8. Let m = h - -0.4. Let l = 1.1 - m. Is l less than 3?
True
Let i = 79/1608 - 1/24. Which is greater: i or -1?
i
Let p = 283/150 + -14281/8550. Let y = p - 2/19. Is 1 < y?
False
Let g = -2.16 + -0.04. Let p = g - -2. Let t = p + 0. Which is greater: t or 1?
1
Let q(f) = -f. Let s be q(-4). Suppose -2*w + 8 = s*o, -3*w = -w - 3*o + 6. Let h = 23/2 + -12. Which is bigger: w or h?
w
Suppose -4*q = -6 - 6. Suppose -5*u + 5*d - 40 = 0, 13 = -q*u + d - 5. Let s = u - -16/3. Is s greater than 0?
True
Suppose 0 = 4*a + 5*t + 52, 4*a = -t + 13 - 49. Let f = -2 - a. Let h = 1.9 - 2. Do f and h have the same value?
False
Suppose -4*j + 23 = -3*q, -6*j = -4*j - 4*q - 24. Which is smaller: j or 2/3?
2/3
Let q be 2 + -15*(-2)/3. Let u be ((-36)/q)/(78/4). Is 0 at least as big as u?
True
Suppose -t + 0*q - 10 = -3*q, 5*q - 13 = -2*t. Is -1 at least t?
True
Suppose 3*u - u + 10 = l, 0 = -5*l - u + 6. Let o = l + -7. Which is bigger: o or -7?
o
Suppose n - 4*g + 9 = 2, -4*n + 3*g = 2. Let p(y) = 3*y - 3. Let f(q) = q - 1. Let z(k) = -5*f(k) + 2*p(k). Let c be z(1). Does n = c?
False
Let v = -56 - -56. Is v less than or equal to -0.025?
False
Let k(j) = j**2 + 2*j - 5. Let m be k(0). Let l(g) = -g**2 - 5*g + 1. Let f be l(m). Let o be (-1)/(-4)*16/7. Is o at least as big as f?
False
Suppose 3*y - 15 = -6. Let w be (-2)/4 - (-9)/2. Is w < y?
False
Let m(o) = 9*o - 2. Let p be m(2). Suppose -p = -j - 2*d, 2*j - 56 = 4*d - 2*d. Let b be (64/j)/((-4)/(-6)). Is 3 at least b?
False
Let s = -17 + 17. Suppose s = 2*a - 4*a. Is 0 >= a?
True
Suppose -4*u + 4 = -3*u. Let n = -3 + 7. Suppose -3*x - 20 = -u*z - 5*x, -n*x = -3*z - 7. Which is smaller: -2/7 or z?
-2/7
Suppose -56 = 9*y + 61. Is -11 at most as big as y?
False
Let i = 7 - 3. Let w = i + -3. Which is greater: w or 2?
2
Let n = 3.51 - 0.21. Let s = -1.3 + n. Which is bigger: s or -2/11?
s
Let h = -512/7 + 74. Let y be (-3)/3 - (-2 - -1). Let x be (2 + 1)/3*y. Is h greater than x?
True
Let c = 51.7 - 54. Let h = c - -0.3. Are -1 and h nonequal?
True
Suppose 0 = 8*w - 9 + 1. Which is smaller: -2/71 or w?
-2/71
Let l = -1.2 + 10.2. Let f = l - 8. Is -1/10 greater than or equal to f?
False
Let a = -36 - -33. Which is bigger: 3 or a?
3
Let y = -437/4 + 109. Which is bigger: y or 1/4?
1/4
Suppose 5*p - 17 + 62 = 5*z, 11 = 4*z + p. Let n be 0/49 - ((-48)/5)/3. Is z >= n?
True
Let y be 18/14 - (-2)/(-7). Let h(p) = -p**2 + 13*p - 9. Let m be h(12). Is m >= y?
True
Let b = 34 + -125. Let z = 82.6 + b. Let w = z + 8. Which is bigger: 1/3 or w?
1/3
Let f = 20 + -30. Let u be 12/(-14)*5/f. Suppose 2 + 0 = -2*q. Are q and u unequal?
True
Let q be 28/(-45) - (-46)/115. Let f = 2 + -3. Is q greater than or equal to f?
True
Let a = -38 - -32.2. Let t = -5.85 - 0.15. Let m = t - a. Which is smaller: m or 0?
m
Let y be 8 - 9 - (-2)/6. Which is smaller: 3 or y?
y
Suppose -2*l - 128 = -150. Suppose 0*d = 4*d - 40. Which is smaller: l or d?
d
Let i = -6 - -3. Let b = 1 + -4. Is i smaller than b?
False
Let y = -0.38 - -0.7. Let o = -0.28 - y. Which is greater: o or 1?
1
Let l = -12 + 11.5. Which is smaller: 1/3 or l?
l
Suppose c = -c - 2*s + 26, -2*s - 30 = -5*c. Which is greater: c or 13?
13
Suppose 5*p + 2 = -13. Suppose -113 - 85 = 66*g. Is p <= g?
True
Let t = -11 + 20. Suppose t = y - 4*y. Which is smaller: -2 or y?
y
Suppose 0 = -13*j + 5*j - 88. Which is smaller: -13 or j?
-13
Let a = -11 - 17. Let t be 8/a + (-106)/(-126). Is 1 bigger than t?
True
Let s = -23248807/322 - -72201. Let a be 2/(-9) - 664/(-3312). Let r = s + a. Are 0 and r non-equal?
True
Let g = 24.8 - 23. Let d = g - 2. Let z = 5 - 4. Are z and d equal?
False
Suppose -3 = m - j - 0*j, 4*m + 12 = -3*j. Which is smaller: 0 or m?
m
Suppose 3*f + 4 = 7. Which is smaller: -3/40 or f?
-3/40
Let o = -0.052 + 0.152. Which is greater: o or 4?
4
Let c = -2 - -3. Suppose 2*w = w + c. Suppose 4*p + 7 = -j, -3*j - w - 4 = -4*p. Are -1/5 and p unequal?
True
Let o be (2/6)/((-60)/9). Let z = -37/60 + o. Are z and -0.2 nonequal?
True
Let j be (-26)/22 + (-24)/(-132). Suppose -1 = -2*w + n - 6*n, 0 = 3*n + 3. Suppose -8 = -5*a - w. Do j and a have the same value?
False
Suppose 5*j + 23 = 3*d, 3*d + 11 = -5*j - 6. Is -3/16 bigger than d?
False
Let x = -176 + 174.99. Let r = 0.01 + x. Let i = 0.8 + -1. Is i != r?
True
Suppose 3*r = -9, -5*p = 2*r - 6 - 13. Suppose p = -4*k - k. Let s be (1 + k)/(-4 + 2). Is 1/5 at most as big as s?
False
Let d = 3/17 + -67/187. Is d not equal to 0?
True
Suppose 0*j + 40 = 4*j. Is j equal to 10?
True
Let v be (-1 + 3)*42/(-12). Let d(o) be the second derivative of -o**5/20 - o**4/2 + 7*o**3/6 + o. Let g be d(v). Are g and 1 nonequal?
True
Let p = 9 - 7. Suppose 5*o - 35 = 5*t, -p*t + 9 = 3*o - 2. Suppose -2*h + 3*u = 6, o*h - 5*u + 23 = 6*h. Is 3 greater than h?
False
Let q = -0.8 + -6.2. Let d = -10 - q. Is 4 >= d?
True
Let w be (3/1)/(15/2). Suppose -2*s = 2*p - 2, -p - 2 = -5*s - 3. Is w greater than or equal to p?
False
Let r be (3/(-28))/((-3)/(-12)). Is r > 1?
False
Let c(k) = 3*k**2 + 4*k - 9. Let i be c(-3). Which is smaller: i or -5?
-5
Let g = 525.84 + -517. Let u = 0.16 + g. Let n = 8.99 - u. Which is greater: -2/7 or n?
n
Let c = -6 + 17. Suppose 4*m + 3*a = -7 - 3, m = -5*a - c. Let s(g) = -g. Let b be s(m). Is 1 bigger than b?
False
Let h(n) = -n**3 + n**2 + 1. Let k be h(0). Let l be (-116)/(-6) + (-6)/(-9). Let c be 35/l - (-1)/4. Which is smaller: c or k?
k
Let w = -6.8 + 6.7. Are w and 21 unequal?
True
Let v = -38 - -39. Let h = -2 - -2. Is h < v?
True
Let v(o) = o - o - 3 + 4*o - 5*o. Let j be v(-7). Suppose j*w - 8 = 2*w. Which is greater: 2 or w?
w
Let g = 0.083 - 1.683. Which is bigger: 1/2 or g?
1/2
Let k be ((1 - 1)/(-1))/2. Which is bigger: k or 10/9?
10/9
Let u = -1 - 0. Let n be ((-6)/21 + (-2)/(-7))/(-2). Which is greater: n or u?
n
Let q = -7 - -18. Let g = 11.2 - q. Which is smaller: g or 2?
g
Let n = -49/15 + 11/3. Which is smaller: 0.2 or n?
0.2
Let i = 0.06 + -2.0