pose 0 = 10*g + 83 - 23. Let q be -1 - (6 - 0/2). Which is smaller: g or q?
q
Suppose 4 = -3*q - q. Let t = -6568592/135 + 48656. Let k = t + 1/27. Is k at least q?
True
Suppose -5*a = -5*r - 60, r + 68 = 5*a - 0*r. Is a equal to 14?
True
Suppose 5*y = -3*h + y + 68, -3*h = -3*y - 54. Suppose 0 = -4*s - 0 - h. Is -5 bigger than s?
False
Let s = -28/85 - -15206/45645. Which is greater: s or 1?
1
Let s = -17 + 10. Which is smaller: s or -6?
s
Let h = 99/4 - 25. Which is smaller: h or -0.09?
h
Let r = -5.1 + 14.1. Which is bigger: r or -1?
r
Suppose 5*b = -q - 16, 4*q - 3*b + 1 = 29. Suppose 0 = q*o - 5*h - 6, 1 = 2*o - 3*h - 3. Do -1/2 and o have different values?
True
Suppose -f + 6*f - 30 = 0. Is f <= 16/3?
False
Let s be 10/5 - (-3 + 0 - -3). Let t = -0.3 - -1.3. Let c = -1.3 + t. Is c smaller than s?
True
Let m be (-1)/(-4) - ((-31014)/(-9528) + -3). Which is smaller: m or 0?
m
Let u(w) = 2*w + 9. Let k be u(-7). Let s be (k + 6)/((-2)/(-14)). Suppose s = -3*n + 2*n. Is n at least as big as -6?
False
Let h(n) = 4*n**2. Let y be h(1). Let g be 1/y + (-3)/(-4). Which is smaller: 2/19 or g?
2/19
Let u be (-2 - (2 - 4))/1. Suppose u*a - 7 = v - 3*a, 2*v = -3*a + 13. Which is greater: v or 1?
v
Let m(x) = x**3 + x**2. Let t(v) = 4*v**3 + 9*v**2 + 2. Let c(g) = 3*m(g) - t(g). Let j be c(-6). Let k = j + 4. Which is bigger: k or 4/7?
k
Suppose -5*b - 8 - 32 = 0. Let r be 2/b + (-1)/(-4). Which is smaller: 4/9 or r?
r
Let v(y) = -y**2 + 6*y - 4. Let k(m) = -m**3 + 8*m**2 - 5*m - 10. Let n be k(7). Let b be v(n). Is 6 not equal to b?
True
Let k = 3 + 29. Let f be k/22 + (1 - 3). Which is smaller: f or -1?
-1
Let m = -1/28 - 3/14. Is -16 equal to m?
False
Let r = 68 - 68.1. Let q = 0.8 - 7.8. Which is smaller: r or q?
q
Let o be 7 - 1 - 1 - -1. Let l(v) = -v**3 - v**2 + 2. Let j be l(-2). Is j less than o?
False
Let a = -11 - -14. Let d(t) = -t**2 + 3*t - 1. Let w be d(a). Are 1/22 and w non-equal?
True
Let r be (-6 - 1335/(-222))/1. Which is smaller: r or -1?
-1
Let u be -2*(-1)/4*-2. Let s be (-211)/(-2)*4/7. Let b = -60 + s. Which is smaller: u or b?
u
Let b(i) = 5*i + 69. Let g be b(22). Is g smaller than 180?
True
Suppose 0 = 11*s - 5*s. Which is smaller: -2 or s?
-2
Let r(s) = s**3 - 6*s**2 + 5*s - 6. Suppose -2*v - 1 = -11. Let w be r(v). Let b be (-8)/w*(-12)/(-8). Is 1 < b?
True
Let n(o) = o + 3. Let z be n(1). Is 4 <= z?
True
Suppose -q + 2 = 7. Let t(w) = -w**3 - 4*w**2 + 4*w. Let k be t(q). Suppose 4*c - 8 = -4*v, 3*v + 8 = -1. Is k at least c?
True
Suppose 39 = -2*z + z. Let q be (-33)/z + (-6)/(-39). Let x be 2*((-3)/6)/q. Which is smaller: -1/2 or x?
x
Let n be 12 + (-1 - 2) + 1. Suppose 0 = -5*g + 2*o + n, g + 3*o = 3*g - 15. Is g != 0?
False
Suppose -b = d - 0*d - 19, -2*d + 4*b + 62 = 0. Is 23 at most d?
True
Suppose 4*z - 5*c - 27 = 6*z, 0 = -2*z - 4*c - 22. Let j(q) = -q**3 + 5*q**2 + 7*q - 2. Let r be j(6). Let u be (-1)/(r/3*3). Is u at most z?
False
Let p = -45 - -76. Does p = 32?
False
Suppose 10 = 2*g - 7*g. Let v be 1 + g + (-1 - -1). Does v = -2?
False
Let c be (3/(-2))/((-1)/(-4)). Let o be (c/4)/(-3)*2. Let n(k) = 2*k - 4. Let q be n(3). Which is greater: q or o?
q
Let o = -2 + 3. Let s = 8.9 + 0.1. Let f = -8 + s. Is o < f?
False
Suppose -2*c = -4*r + 10, 9*r + c = 4*r + 9. Suppose 0 = 4*i + 5*z + 33, 2*i - r*z + 24 = -6*z. Let d = i + 1. Is d < -2?
False
Let s be 2 + -2 - ((-138)/48 - -2). Which is smaller: s or 1?
s
Let a be 614/12 + 3/6. Let h = a - 1091/21. Let r = -0.29 - -0.49. Is h > r?
False
Let o(n) = -22*n. Let j be o(1). Let l be (3/j)/((-15)/(-20)). Which is greater: -1 or l?
l
Let d = -118 + 120. Which is bigger: -0.13 or d?
d
Suppose 5*l + 2*s = -77, -25 = -0*l + l - 2*s. Let o = 7 + l. Let f be ((-12)/(-10))/((-4)/o). Is 2 at most as big as f?
True
Suppose 9*u + 19 = 1. Suppose -4*m = -4*q - 56, -q = 4*m + m - 76. Suppose -2*k + m = -4*k + 3*p, p = k + 5. Which is smaller: u or k?
u
Let z be (10/15)/(6/243). Is 28 smaller than z?
False
Let u be 4 - -3*4/(-6). Suppose 3*k + 0*r = 5*r + 16, 3*r - 12 = 0. Suppose 0 = -q + 5*q - k. Is u at least q?
False
Suppose 0 = -u + o + 4*o - 15, 4*u + o + 39 = 0. Which is bigger: -9 or u?
-9
Suppose -20 = 8*t - 3*t. Let f = -5 - t. Which is bigger: f or -3/4?
-3/4
Let x = 204 + -1425/7. Is x bigger than 0?
True
Let t be (28/(-24))/(-3 + 18/4). Which is smaller: 0 or t?
t
Let t(a) = -2*a - 3. Let i be t(-3). Suppose 2*x = -3*n - 5, 0 = 3*x + n + i + 1. Which is smaller: x or -1/5?
x
Suppose 6 = 2*p + 4*t, 0 = -3*p - 3*t - 0*t + 9. Suppose -2*h + 5*k - 12 = 0, 1 = p*h - 0*k + 2*k. Let w = h - -2. Is w greater than or equal to 2/9?
True
Suppose 3*f = -5*l + 13, -7 = 4*l - 9*l + 3*f. Let z = -9 + 5. Let m be l*((-2)/z)/1. Which is smaller: m or 2/11?
2/11
Let d be (-426)/24 - 2/8. Let c = d - -13. Is c bigger than -2/3?
False
Suppose 3 = -3*u - 0. Let r be (-2)/5 + (3/5 - 1). Is r at most u?
False
Let c = 8 + -23. Let y be 1/(c/6 + 3). Which is greater: 4/5 or y?
y
Let q be (8/(-12))/((-6)/27). Let f(s) = s - 4. Let y be f(q). Is -4 less than y?
True
Let a(z) = z + 4. Let s be a(-4). Which is bigger: s or 2/25?
2/25
Let s = 1.4 + -1.3. Which is smaller: 38 or s?
s
Let a = 9 - 2. Are a and 7 equal?
True
Suppose q + g = 2, -2*g + 1 = 3*q - 6. Suppose 0*h + 4 = -h + 2*k, -4*k + 22 = 5*h. Which is smaller: q or h?
h
Suppose -86*b = -87*b - 12. Is b at least -10?
False
Let y = 0.009 - -0.001. Are -3 and y equal?
False
Suppose -11*d + 6*d + 100 = 0. Which is bigger: d or 21?
21
Suppose -v + 6*w - 12 = 3*w, 4*v - 7 = w. Let r be 1/v - 2/9. Is r < -1?
False
Suppose -4*i = -i - 9. Let p be (-2)/6 - 3/(-9). Is p equal to i?
False
Let x = -27 - -193/7. Is 0 greater than x?
False
Let d = -14/9 + 4/3. Suppose 4*a + 2 = 6. Let f = 0 - a. Which is bigger: d or f?
d
Let m = 2 + -1.8. Let y = m - 0. Suppose -2*s + 2 = -s. Which is bigger: s or y?
s
Let c = -0.26 - 0.04. Let y = -0.7 + c. Is 6 < y?
False
Let c be (3 + -2 - -2)*-7. Is -21 greater than c?
False
Suppose -2*y = -0*y + 2. Is y > 1/50?
False
Let y = 22/23 + -152/207. Let b = 15 - 16. Is b at least as big as y?
False
Let t be 4 + -1 + 30/(-9) - 0. Which is bigger: 2/27 or t?
2/27
Let x = 1/3 - 7/12. Suppose -v + 8 = -z, -4*v + 11 = -2*v - z. Suppose -2*m = -v*m. Is m at least x?
True
Suppose -5*b + 112 = -4*g, 3*g + 9 = -4*b + 111. Let h be (b/(-224))/(18/(-16)). Is -1 less than h?
True
Let x be -1977*(-1)/3345 - 6/10. Which is smaller: 1 or x?
x
Let o = -228 - -3647/16. Let h = o - -5/16. Which is smaller: 0 or h?
0
Let f = 0.9 - 1. Let l(i) = i + 9. Let d be l(-7). Is d greater than f?
True
Let z(i) = i + 4. Let o(d) = -d - 4. Let a(v) = -3*o(v) - 4*z(v). Suppose j = -4*j - 4*f - 12, -18 = 3*j - 3*f. Let c be a(j). Is -3/5 greater than c?
False
Suppose t = 3 - 2. Let l = 25/4 + -13/2. Which is bigger: t or l?
t
Let s = -5 - -19. Suppose -2*p - 3*p - s = 4*y, 0 = p + y + 3. Which is bigger: p or -1?
-1
Let c = 31 + -26. Suppose -x + c*s + 4 - 14 = 0, 0 = -2*x - 4*s + 8. Which is smaller: x or 4?
x
Let f = 28 + -9. Is 0 at most f?
True
Suppose u = 4*n - 0*n, 5*u + 19 = n. Let t = u + 6. Let r = 1 - 0. Is r at least as big as t?
False
Let w = -14 + 20. Let p = -1 + 7. Is p < w?
False
Let y = 1 - -3. Suppose 3*s + y*n + 9 = 0, -n = s - 2*s + 4. Is s less than 6/5?
True
Let s be (-5 - 1)*9/(-2295). Are s and 1 nonequal?
True
Let i = 0 + 1. Let h = 2293/26 - 175/2. Let k = h + -19/65. Which is smaller: i or k?
k
Let i be ((-2)/2)/(13/2). Let z = -3.2 - -3. Which is bigger: i or z?
i
Let c = 0.6 + -0.7. Is c bigger than -4?
True
Let t = -1 - 0. Let z = 3 + t. Suppose 0 = 3*p - 4*l + 3*l - 10, -2*p = -3*l - 16. Is z != p?
False
Let a = -7 + 1. Are 2 and a unequal?
True
Suppose 2*k + 0 = -10, 38 = 3*m - k. Suppose -4*t + m = -9. Suppose 5*f = 5*s - 5, -4*s = -8*f + 3*f - t. Is 0.2 greater than f?
True
Let f = -48 + 49. Is f smaller than -7?
False
Suppose -17*o + 9*o = -664. Which is bigger: 82 or o?
o
Let t = -14 - -37. Is 0 less than t?
True
Let c = 101/18 + -304/63. Which is smaller: c or 2?
c
Let w = 4 + -2. Let o = 34 - 31.9. Let r = w - o. Is r equal to 3?
False
Let b = -3.1 - -3. Let c = -67.9 + 67. Is b less than c?
False
Let h be 9/(-63) - (-2 - (-16)/(-14)). Let q(d) = -d + 1. Let y be q(-2). Is h less than y?
False
Let p = -1