e
Suppose r = 0, -b + 12 = 2*r - r. Suppose -b*z + 8*z + 44 = 0. Is z at least 12?
False
Let b = 5 - 5. Which is greater: 2/15 or b?
2/15
Let g be 33/55 + (-33)/45. Suppose -5*o + r + 5 = 0, -3*o + 23 - 3 = -4*r. Is g greater than o?
False
Let n = -15 + 14. Suppose 10 = -5*f, 0 = -4*s - f + 2 - 0. Let a be (2 + s)/(21/2). Which is smaller: a or n?
n
Let n(f) = 5*f - 6. Let s(k) = -k + 1. Let t(z) = -n(z) - 4*s(z). Let u be t(2). Do u and 2/17 have different values?
True
Let w(n) = -n**3 + 4*n**2 + 2*n - 4. Let v = 1 + 1. Suppose 0 = v*f + 3 - 11. Let y be w(f). Which is smaller: y or 5?
y
Suppose 3*a - 1 - 2 = 0, -5*a + 20 = -5*t. Let d be -4*(28/(-16))/(-7). Is d at least t?
True
Let i = 16 - 31/2. Suppose 12 = -3*p, -2*u + 4*p + 16 = -0*p. Which is smaller: i or u?
u
Let k = 25 - 17. Let i be (2/16)/(3/k). Suppose 2*m - 4*v - 5 = 5*m, -v + 1 = 3*m. Is i >= m?
False
Let g(b) = 2*b + 33. Let h be g(0). Let l be h/42 + 3/(-6). Which is smaller: l or 0.3?
l
Let b = -134 + 203. Is b >= 70?
False
Suppose 0 = -a + 2*b + 20, 2 = -4*a - 2*b + 102. Are 25 and a non-equal?
True
Suppose 38*l - 34*l = -172. Which is smaller: l or -42?
l
Suppose -2*l - u + 25 = 2*l, 0 = 2*l - 2*u. Is l < 6?
True
Let w = -8 - -11. Let i = -1 + 2. Let d = 4 - i. Is d at most w?
True
Let i(c) = 2*c + 15. Let s be i(-7). Let k be (1 - (-8)/(-6))/1. Which is bigger: s or k?
s
Let c be 1/(-5) - (-603)/90. Let b = -7 + c. Which is smaller: 0.04 or b?
b
Let j(w) = w**2 - 19*w + 34. Let q be j(17). Let z be 1/(-2)*8/6. Is z greater than q?
False
Let h be ((-14)/(-21))/((-11)/(-12)). Let c = -53/88 + h. Which is bigger: 1 or c?
1
Let k = -0.1 + 1.1. Let s(q) = -q**2 - 11*q - 10. Let l be s(-11). Let t be l/4*(-2)/10. Which is greater: t or k?
k
Suppose 5*j - 2*j = 36. Do j and 12 have different values?
False
Suppose -5*m + 773 = -3*b, 0 = -4*b + 3*m - 2*m - 1025. Let l = 2045/8 + b. Is 0 > l?
True
Let i = 7 - 4.6. Let t = i - 1.4. Which is greater: 3 or t?
3
Suppose 0 = -4*d + 3*d + 2. Suppose -d*o + 4*o = 4*l, -2*l - 20 = 4*o. Let r = -5 - l. Which is smaller: -2 or r?
r
Let h = 1 - -7. Let s be ((-2)/1)/(h - 1). Let v = 0.03 + 2.97. Is s equal to v?
False
Let z(j) = j**3 + 6*j**2 + j + 8. Let k be z(-6). Let u be -2 + 1/(-1) + 8. Suppose -4 = -4*p + u*t - 10, -4*t + 13 = 5*p. Which is smaller: p or k?
p
Suppose 3 - 12 = 3*c. Let g be -2 - c/((-9)/(-6)). Is g at least as big as -2/19?
True
Suppose 3*q + 2 = 2*a, q = -2*q + a - 4. Suppose -5*o = 4*h + 30, 1 = 2*o + h - 2*h. Is o greater than q?
False
Let b be -1*69*(-1 - -2). Let i = b - -485/7. Are i and -0.1 unequal?
True
Let f(l) = 7*l + 1. Let u be f(0). Which is greater: u or 3/4?
u
Let u = -224 - -198. Is -1/4 < u?
False
Let c = -9 - -13. Suppose -2*o + c*k = 18, 3*o + k - 10 = -2*o. Let y = -2 - -9. Which is greater: o or y?
y
Let x be ((-1)/(-1) + -2)*2. Let l be (-9)/7 - x/7. Let z = 142/9 - 16. Which is bigger: l or z?
z
Let u be (-110 + -4)*1/(-4). Let t = 29 - u. Which is smaller: 0 or t?
0
Let l = -1 - -11. Let o be (l/(-4))/((-1)/2). Suppose 0 = -3*v + o*v. Is -1/11 less than v?
True
Suppose 3*t - 57 = -3*p, -t + 16 = 4*p - 12. Is t greater than 16?
False
Let s = 9 + -5. Let q be (s/45)/(4/40). Which is greater: 1 or q?
1
Let g be ((-8)/10)/(2/10). Let d be g/(-8)*16/(-2). Is -4 != d?
False
Suppose -s = -5*s. Are 1/6 and s nonequal?
True
Let h = 2144/9 - 238. Suppose 3*t - 7*t = 0. Suppose -5*k + 3*b = 12, 3*k - 3*b + 4*b - 4 = t. Which is smaller: h or k?
k
Let p = 0.024 - -23.976. Let g = -23.9 + p. Are g and 1 equal?
False
Suppose -4*h - 2*c = -3*c - 29, 0 = 5*h - 3*c - 38. Is h less than 6?
False
Let p(r) = -r**2 - 10*r - 12. Let h be p(-8). Is h < 4?
False
Let c be (-1)/4*-2 + 1. Let p be (-4)/(-10) + 18/5. Suppose -h - h = 3*v - 16, h + p*v - 18 = 0. Which is greater: h or c?
h
Let r = -11 + 8. Let c(t) = 3*t**3 - 2*t**2 + 1. Let o be c(1). Let i = o + r. Which is greater: -2 or i?
i
Let q be 6/2*4/(-6). Suppose -3*o = -o + 4. Is q greater than o?
False
Let i = -25 + 27. Which is smaller: -0.06 or i?
-0.06
Let r(a) = a**3 + 13*a**2 - 9*a - 2. Let y(j) = j**3 + 12*j**2 - 9*j - 3. Let x(o) = -5*r(o) + 6*y(o). Let f be x(-8). Which is bigger: f or -1/13?
f
Let p = -6 - -9. Let j = 4 - p. Is j > 0?
True
Suppose -2*p - 9 = -4*q + 1, -15 = -5*q + 2*p. Suppose q*f = 6*f + 7. Is f smaller than -6?
True
Let a be 175/(-14) + (-1)/(-2). Let i be (-1)/(a/3 + 3). Is 1 at least i?
True
Let f be (1/2)/(-7 - (-95)/4). Which is greater: 1 or f?
1
Let b be 80/32*8/90. Suppose h - 6 = 2. Let i be (-2)/8 - (-2)/h. Are i and b equal?
False
Let v = 3 - 0. Suppose -v*z - 4*u = 9, 4*z = z + 3*u - 9. Is -3 bigger than z?
False
Let b = 1.1 - 1. Which is smaller: b or 1/9?
b
Suppose -f - f - 3*c = 20, 48 = -4*f - 4*c. Are -17 and f unequal?
True
Let h = 0.1 + 0. Let b = -2 + -4. Which is smaller: h or b?
b
Let x be -4*(2/4)/((-6)/9). Is 3 not equal to x?
False
Let s = -563/5 + 113. Which is bigger: s or 0.14?
s
Let a(y) = -y + 3 + 0*y - 6. Let g be a(-6). Suppose -5*z = -g*z. Which is bigger: 1/3 or z?
1/3
Let m = 0.1 - 0.1. Let z = -0.44 + 0.14. Is z < m?
True
Let q = -8 + 10. Which is smaller: 2/5 or q?
2/5
Let u = 23 - 15. Let w be ((-5)/9)/(4/u). Is w greater than -1?
False
Let k = -65/28 - -18/7. Let d be (3/(-6))/(1/2). Let t = d + 1. Which is bigger: k or t?
k
Let w be (-2)/(-28)*24/2*7. Do w and 22/3 have the same value?
False
Let z be 1/(1/3*-1). Let j = -26 - -28. Let y be j*z/12*2. Which is bigger: y or 1?
1
Suppose 2*p + 7 - 23 = 0. Let d(u) = u**3 - 8*u**2 - u + 5. Let z be d(p). Which is smaller: z or -1?
z
Let o(k) = -4*k + 21. Let x be o(6). Is 0.6 > x?
True
Let d(o) = -o**3 - 13*o**2 + 8. Let u be d(-13). Suppose 5*j + 6*y - y = 40, 0 = 2*j + 4*y - 14. Is j at most as big as u?
False
Let a = 144/13 + -11. Let q(w) = 2*w**2 + 4*w + 4. Let o be q(-4). Suppose -2*d = -5*k + o, 3*k + 2*k = 3*d + 20. Is a less than d?
False
Suppose -7 = -3*g + 8. Suppose -y + g = 2*q, -5 = -2*y + 5. Is -4/9 smaller than q?
True
Suppose -58 - 77 = -3*s. Let q be (3 + 0)*(-6)/s. Which is greater: 1/4 or q?
1/4
Suppose 4*l - 10 = 6. Suppose -f - 2 = q, 5*f + 4 = 3*q - 6. Suppose q*a + 3*a + 5 = -w, 0 = -5*a - l*w - 6. Which is greater: a or 0?
0
Let t = 0.39 - 0.39. Which is smaller: 30 or t?
t
Suppose 4*x - 3*x = -5. Which is bigger: x or -4?
-4
Let z = 4.7 - 31.7. Let s = -22 - z. Is 1/2 <= s?
True
Let x = 1 + -0.8. Let o = -1.8 - x. Does o = 2?
False
Suppose 89*p = 77*p + 312. Suppose 0 = -2*b + 5*b - 81. Is b equal to p?
False
Let k = -1022 + 693. Let y be 3/2 - k/(-126). Which is bigger: -2 or y?
y
Let a be 32/(-150)*(6/4 - -1). Which is bigger: a or -1?
a
Let x = 0.2 + -0.4. Does x = -2?
False
Let l = -31/68 + -3/68. Let i(d) = 5*d**2 - 1. Let r be i(-1). Suppose -c - 5*u - 17 + 2 = 0, -r*c + 9 = -3*u. Which is smaller: c or l?
l
Let f be 2/(-4)*(-1 + -11). Let i be f/(5/((-15)/6)). Is -3/2 > i?
True
Let a be 4/(-10) - 42/(-5). Let y = 6 - a. Let k be ((-75)/(-10) - 4) + -4. Which is bigger: y or k?
k
Let y = 3 + -3. Let b be y + 3 - (4 + -1). Let c be ((-1)/(-2) - 2)/3. Which is smaller: b or c?
c
Suppose 4*o + 5*r + 4 = 0, 2*o + o + 4*r = -3. Is o at least as big as -3/53?
False
Let y be 7 + (-3 - (0 - 0)). Suppose -5*s = -y*s. Let j be (4/10)/(8/10). Is s != j?
True
Let a be 3 - (-1)/(-1) - -2. Let f be 2 - 13 - (a + -6). Which is greater: -8 or f?
-8
Let h = -32 + 55. Let a = h - 68/3. Is 1 > a?
True
Suppose 3*t = 5*b + 8, 5*t - b = 3*b + 9. Which is greater: -2/19 or t?
t
Suppose 3*z = 2*u + 40, -2*z + 7*z = -4*u + 74. Let b be 2/(-7) + 8/z. Suppose 4*v + c + 8 = 4*c, 0 = -5*v - 3*c + 17. Which is smaller: b or v?
b
Let y be (-4)/10 - (-2)/5. Let l = -8 - -3. Let o(k) = -k - 6. Let q be o(l). Do y and q have the same value?
False
Let w be (22 + -2)/(-4)*3. Is -15 greater than w?
False
Suppose -2*u = -3*g - 1, 3*g + u = 7*g + 3. Is 0 > g?
True
Let f = 77 + -80. Let b = 0.1 + -0.1. Is f <= b?
True
Suppose 5 = 2*p + 7. Which is smaller: 2/21 or p?
p
Let m = 0.1 + 0.5. Let s = m - 2.6. Is s greater than or equal to -2?
True
Let q = -193108/205 - -942. Is -1 greater than or equal to q?
False
Let t be (2/(-6))/(5/15). Let p be t*(-3)/((-3)/(-1)). Let q = p - 0. Is q > 1/2?
True
Let g = 13 + -8. Suppose -4*l + g*l = 3. Is l less than 1?
