4*z + 2*g - 4, -z + 5*g = -2*z - 1. Is z > -6/11?
False
Let y be (1 - 0 - 0)/1. Let t be 4 + 0 - (y - -1). Suppose t*q + 2*o - 3 = -9, -2*q = o + 4. Which is greater: 3 or q?
3
Let w = -3 + 5. Suppose -2*j = -2*k - 2, -w*k = -3*j - k - 3. Let h = 1 + j. Is -2/5 != h?
True
Suppose -34 = 3*x - 157. Is 41 at most x?
True
Let h(o) = o - 2. Let y be h(-4). Let v = -35 - 55. Let s be 4/y + (-24)/v. Do s and 0 have different values?
True
Suppose -2*z - 5*t = 18, 2*z + 7 = t + 1. Let b be 5*((-608)/140 - z). Which is bigger: -3 or b?
b
Let y = -3 + 7. Suppose -y*q + 7*q + 3*n = 3, 2*n = -5*q + 8. Do 3 and q have different values?
True
Suppose -2*y + 12 = -5*y. Let t(h) = h**3 + 3*h**2 - 5*h - 4. Let d be t(y). Which is smaller: d or -1/2?
-1/2
Suppose 3*i + 5*z + 18 = 0, 0 = z + 1 + 2. Let m be (-2390)/(-14) - (i - -1). Let d = 171 - m. Is 0 smaller than d?
True
Let q(j) = 8*j - 2. Let k(w) = 3*w - 1. Let c(u) = -11*k(u) + 4*q(u). Let p be c(3). Which is bigger: p or -5?
p
Let f = -12 - -16. Let h = 4145/922 + 2/461. Is h > f?
True
Let n be (-5 - 8)*(-98)/10. Let c = 128 - n. Which is smaller: 1 or c?
c
Suppose -4*k = -3*k. Let y be 11 + -10 + 10/(-7). Is y less than or equal to k?
True
Suppose -4 = 4*v + 12. Is v equal to -5?
False
Let h = -5.6 + 3.9. Let t = h + 0.7. Which is bigger: 0.08 or t?
0.08
Suppose 8 + 7 = -5*y. Suppose v = -w + 20, -4*v - 3*w + 75 = -0*v. Suppose -8*t = -3*t + v. Is y at most t?
True
Let v = -43.1 - -43. Let a(t) = 3*t + 1. Let i be a(-4). Which is smaller: i or v?
i
Let o = 23.89 - -1.11. Which is bigger: o or 1?
o
Let p = -5/7 - -2/7. Let c(i) = -22*i**3 + i**2 - 2*i + 1. Let o be c(1). Let x be (-9)/11 + 4/o. Which is smaller: x or p?
x
Let v = -52 + 935/18. Suppose -4*h + 8 = -3*b + h, b - h = -2. Is v bigger than b?
True
Let g be (-12)/(-48) + (-17)/4. Which is smaller: g or -5?
-5
Suppose 5*r - 2*r - 18 = 0. Suppose 8 = 2*t + 2*t, -4*y + r = 3*t. Suppose -s = 0, -3*p + y*p = 3*s. Is p at most -1?
False
Let q = -258 + 8515/33. Let p = -10/33 - q. Is p <= 1?
True
Let l = -1.1 - -0.1. Is l less than 0?
True
Let a = -53 - -47. Is -14 greater than a?
False
Let v = -6 - -5. Let f = v - -3. Is -0.1 smaller than f?
True
Let x = 0 + -22. Do -22 and x have the same value?
True
Suppose -k + 10 = 3*d, 3 = 5*d - 2*k + 1. Suppose -4*f - r = -13, 4*r = 4*f + 6 + 6. Let a be f/4 - 5/18. Which is greater: d or a?
d
Suppose -2*q = 3*j + 58, -3*j + 2*q = 5*q + 54. Which is smaller: j or -0.2?
j
Suppose -4*i + 12 + 0 = 0. Suppose 5 = 2*g - i. Which is bigger: g or -1/4?
g
Let p = 1/22 + -13/44. Which is greater: p or 15/2?
15/2
Let l = -1616 + 250482/155. Which is smaller: -1 or l?
-1
Let x = -12422/23 - -540. Which is bigger: 0 or x?
0
Suppose -6*m + 2*m = 0. Is m at most -6/17?
False
Let i be 5 + (1 + -7)/3. Let v be i/(-2)*4/3. Let a(j) = 2*j + 9. Let f be a(-6). Which is bigger: f or v?
v
Let b be 12/10*(-390)/9. Let z = 415/8 + b. Suppose 0 = -p + 4*o + 15, -5*p - o - o - 13 = 0. Is z at least p?
True
Let j be 112/(-24)*(-174)/(-1). Let z = j + 120175/148. Let i = z - -28/37. Which is bigger: 0 or i?
i
Suppose -y + 5 = -2*k, y - 5*k - 2 = -3. Is y greater than 10?
False
Suppose -3*d = 2*d - 70. Is d > 14?
False
Let u = 4 + 0. Suppose 18*m - 8*m + 10 = 0. Is u at least m?
True
Let b = 0.01 + 0.07. Let n = b - -0.02. Which is smaller: 0.4 or n?
n
Let s = -11 + 10. Which is greater: -2/31 or s?
-2/31
Suppose 34 - 4 = -5*q. Let y(x) = -x - 4. Let o be y(q). Suppose -3*c + 2 = 4*d - 4, 0 = -5*d. Are o and c unequal?
False
Let y = 36 + -20. Let k = y - 16.9. Let i = k - -1. Is -6 < i?
True
Let o(y) = 4 + 4*y - 4*y + y. Let n be o(0). Are 4 and n equal?
True
Let v(j) = j**2 - j. Let x be v(1). Let t(r) = 7*r**2 - r + 1. Let n be t(1). Let g = 9 - n. Is x less than g?
True
Let j(x) = x + 11. Let g be j(-9). Let s be 1/6 + (-4)/(-12). Is g at most as big as s?
False
Suppose 11*j = -11 - 0. Which is smaller: j or -92?
-92
Let m = -24 - -30.2. Let t = 6 - m. Let f = t + 0.4. Which is greater: 0 or f?
f
Let f(w) = w + 1. Let x be f(-3). Let y(o) = -o**3 + 4*o**2 + 4*o + 3. Let k be y(5). Is k bigger than x?
False
Let r be (-2)/(-9)*(63/(-18) + 5). Does 0.04 = r?
False
Suppose -4*k - 21*k = 750. Is k > -30?
False
Let b be (12 - 15) + (-50)/(-16). Is b greater than or equal to -5?
True
Let f = -6 + 10. Let c = f - 3. Do c and 3 have the same value?
False
Let h = 4 + -3.94. Let g = h + 0.24. Which is smaller: 2 or g?
g
Let w(y) = -2*y - 11. Let d(l) = l + 4. Let z(x) = 8*d(x) + 3*w(x). Let f be z(1). Let k be 4/38*1/1. Is f at most as big as k?
False
Let r(p) = -p - 11. Let u be r(-6). Let j be (4/15)/(u/30). Which is smaller: -1 or j?
j
Suppose 0 = 3*h - 6*h. Suppose h = 3*o + 6 + 9. Let b = o - -5. Is -2/23 > b?
False
Let s(o) = -o**2 - 8*o + 6. Let h be s(-9). Let b(m) = m**2 + 6*m - 1. Let k be b(h). Let d be 6/k*(-24)/18. Which is bigger: 0 or d?
d
Let v = -3/71 - -67/3266. Let j = 34/23 - v. Which is greater: j or 3?
3
Let t(w) = w**3 + 5*w**2 + 4*w - 1. Let z(m) = -2*m**2 - 1. Let p be z(-1). Let d be t(p). Suppose 0*k + 10 = -2*k - 4*l, 4*k + 14 = -d*l. Is -1 smaller than k?
False
Suppose 0*l = 3*l - 12. Suppose 0 = l*x + 6 - 2. Which is greater: x or -1/4?
-1/4
Let p be 8/6*(-1107)/18. Is p < -82?
False
Suppose 1 = -2*t - 5. Let o = -4 - t. Which is greater: 2/5 or o?
2/5
Suppose z - 320 = 4*n + 140, -2*z - 562 = 5*n. Let d be (-354)/n - (1 + 2). Which is greater: 1 or d?
1
Let k be 191/9 - (-10)/(-45). Which is greater: k or 98/5?
k
Let u(w) = -w**2 - 8*w - 7. Let y be u(-6). Suppose -15 = 3*a, -5 + 27 = 3*i - y*a. Suppose -3*b - 9 = -0. Which is smaller: b or i?
b
Let m = -4301 + 47277/11. Is -2 >= m?
True
Suppose 3*r - 2 = -j + 3, 5 = 2*r - j. Which is smaller: r or 22?
r
Suppose -4 = -r - 3. Suppose -4*w - 2*k = -7*k + 1, 0 = w - 3*k + 2. Is w < r?
False
Suppose 0 = -4*m - 20 - 12. Let u = 2 - m. Let v be (12/18)/(u/(-6)). Is v at least as big as 2?
False
Let n be 4 - ((-2)/10)/((-638)/12905). Let q = -2 + 1. Is n greater than q?
True
Let f = -2/21925 + 2653097/1885550. Let b = f - -4/43. Let g = b + -11/6. Is -0.2 less than g?
False
Let f = 0.22 - 0.22. Which is smaller: 0.03 or f?
f
Let y be (-1)/5*(-24)/(-9). Let g = 4/5 - y. Which is smaller: 1 or g?
1
Let q = -22 + 8. Is -14 smaller than q?
False
Let h(f) = -f. Let t be h(-4). Let c be 12/10*10/t. Suppose 4*p + 5*n - c = 11, -4*p - 4*n = -12. Is 1 > p?
False
Let t = 9.12 - 9. Is 2/7 at most as big as t?
False
Let z be 2/13 - (44/(-52) + 1). Let j = -19/30 + 2/15. Is z greater than j?
True
Let a = 3.02 + -3. Let w = -0.02 + a. Let j = 2 - 0. Which is smaller: w or j?
w
Let w = 1 - 0. Let h be (6/(-8))/(15/590). Let a = 30 + h. Which is smaller: a or w?
a
Let f(v) = v**3 + 2*v**2 - 2*v - 1. Let n be f(2). Let x = -11 + n. Which is greater: -1 or x?
x
Let a be -4*((-5)/(-2))/(-5). Suppose 4*g + 8*t - 7 = 3*t, 0 = -a*g + 5*t - 19. Let p = 76 - 79. Is p bigger than g?
False
Suppose 4*l + 8 = -5*n, 5*l + 2 + 8 = 5*n. Which is smaller: n or -1/14?
-1/14
Let r be (4/6)/(6/9). Which is greater: r or -1/40?
r
Let s(v) = 5*v + 3 - 13*v + v**2 + 4. Let r be s(7). Is r less than or equal to 0?
True
Let w = -1163/38 - -2/19. Let t = -30 - w. Let u be (-4)/(-6)*13*6/13. Is t <= u?
True
Let r = 29.9 + -26. Let n = r - 4. Let o = 11 - 35/3. Which is smaller: n or o?
o
Suppose -s - 2*s = -5*n, -3*n + 2*s = 0. Let q = -2 + 3. Let m = q - 0. Do m and n have different values?
True
Let n = 1.5 - 1.3. Which is smaller: 0 or n?
0
Let y = 7.21 - 0.21. Which is smaller: -0.2 or y?
-0.2
Let s = 404/119 + -25/7. Which is smaller: -1 or s?
-1
Let j = 15 - 9. Let w = j - 5.99. Which is greater: -0.1 or w?
w
Suppose 0 = -4*s + 3*s. Let x be (2 + 1)*12/(-9). Let a be (s + 2/x)*1. Which is bigger: a or -2/3?
a
Suppose 8 - 38 = -3*p. Let b be ((-4)/(-15))/((-2)/p). Suppose -5 - 5 = 5*s. Is s not equal to b?
True
Let y = -12 + 16. Suppose -5*m = 4*a - 18 - 7, -y*a = -m + 5. Which is smaller: a or -3/5?
-3/5
Let d = 1 + -1. Let h be (2 - 6/(-3)) + -2. Suppose h*o = 3*o + 1. Is d not equal to o?
True
Suppose 4*h = -7 + 3. Is 1/6 at most as big as h?
False
Let v be (1 - -3) + 0 - 0. Which is bigger: -3/5 or v?
v
Suppose 7*g - 8 = 3*g. Which is bigger: -1 or g?
g
Let o(y) = y**2 + 5*y + 4. Let b be o(-4). Suppos