 z be (-1 + 46/4)*(-16)/6. Which is bigger: z or -27?
-27
Suppose -2*w - 2*m + 2 = -12, -2*w + 3*m = 1. Let z be 2 - w - (-10)/4. Which is greater: 0 or z?
z
Let l = 5 - 4. Let b be (l/(-1) - 0)/18. Let q = 7/36 - b. Is q smaller than 1?
True
Suppose 5*c = -3*f + 150, 3*f - 3*c - 12 = 114. Let k be 25/f + 2/(-9). Which is greater: k or 0?
k
Let k = 21 - 14. Let v = 6.9 - k. Is 3 <= v?
False
Let x(b) = -1 - 5*b - b**2 - 3*b - 2. Let l be x(-7). Let h be (-15)/25 - l/10. Is -2 at most h?
True
Let j = 101 - 64. Which is greater: j or 36?
j
Suppose 0 = z + 1 - 2. Let x be -10*(-4)/(-70)*z. Let b(s) = -s**3 - s**2 + 3*s - 2. Let k be b(1). Is x equal to k?
False
Suppose 4*d + 2*r = -14, 2*d - 8 = 4*r - 2*r. Which is bigger: -3 or d?
d
Let n(d) = d**3 - 4*d**2 - 6*d + 7. Let w = 0 - -2. Let q = w - -3. Let z be n(q). Is 3 >= z?
True
Let p = -48/11 - -262/55. Let j be 0*(3 - 12/3). Let n be (j + -1)*1*0. Which is bigger: n or p?
p
Let x(a) = -a + 3. Let o be x(5). Let u = 7 + -5. Suppose u*n - 12 + 2 = 3*r, n = -4*r + 5. Are r and o non-equal?
True
Let h = 14.3 - -2. Let g = h - 17. Which is greater: 0.1 or g?
0.1
Let r = -2 - -3. Suppose 3*i + 4*o + 3 - 2 = 0, 0 = 4*o + 4. Is r smaller than i?
False
Let n = -66 - -329/5. Which is greater: 0.3 or n?
0.3
Suppose 69 = -6*y - 9. Which is bigger: -12 or y?
-12
Suppose 0 = 6*n - 13*n + 161. Are n and 25 non-equal?
True
Let c = -19 + 18. Which is bigger: c or -3/8?
-3/8
Let d(j) = 3*j - 1. Let k be d(-2). Which is bigger: -6 or k?
-6
Let q be (4/(-25))/(10/25). Which is smaller: -0.3 or q?
q
Let t(c) = 2*c. Let h be t(2). Let n be (-30)/4*(-8)/6. Let g be h/15 + 4/n. Is g < 0.1?
False
Let l be (15/(-410))/((-6)/(-8)). Are 1 and l equal?
False
Let p = 4 - -1. Suppose -10*q = -p*q. Is 3/16 greater than q?
True
Let p be (-31)/2 - 5/(-10). Suppose 2*h + 27 = -a - 8, 3*h = -2*a - 54. Is h != p?
True
Let u = -0.866 + -0.134. Which is smaller: -0.074 or u?
u
Suppose -2*z = 1 + 15. Which is smaller: -7 or z?
z
Let a(q) be the third derivative of q**4/12 - 7*q**3/6 - q**2. Let m be a(6). Suppose -m*k + 0*k = 0. Is 0 greater than k?
False
Let m(l) = l - 7. Let c be (1 + 1)*(2 - -1). Let j be m(c). Which is smaller: 2/5 or j?
j
Let l = 10 + -6. Is -3 at least as big as l?
False
Suppose -c - k = -4, c - 3 = -0*c - 2*k. Suppose -c*b - 2 - 3 = 0. Let o be -2 + b + 0 + 3. Are 1 and o equal?
False
Let f = 0 + -0.1. Is f less than 1?
True
Let f(j) = -22*j**2 + 1. Let y(m) = -m**2. Let z(d) = f(d) - 6*y(d). Let g be z(-1). Let n be 10/g - (-2)/30. Which is smaller: 0 or n?
n
Let r be 72/(-38) - 6/(-3). Suppose 0 = 3*u - 10 - 14. Suppose -2*f + 2*d - u = 0, -9 - 8 = 5*f - 4*d. Which is smaller: r or f?
f
Let z = 15 + -14. Let b = -0.21 - 0.09. Is z equal to b?
False
Let l = -357/4 - -90. Let u(s) = -s**3 - 4*s**2 + 4*s - 5. Let g be u(-5). Suppose -3*f + 0 + 3 = g. Which is smaller: f or l?
l
Let m(j) = j**2 - 6*j + 11. Let g be m(7). Suppose -2*t = 2*r + 3*t - 3, -5*r - 2*t = -g. Is 6 smaller than r?
False
Suppose 0 = -2*a - 8, -3*i - 2*a - 4 = -a. Let y be -2 - (56/(-26) + 0). Is y equal to i?
False
Let m(l) = l**3 + 3*l**2 - l - 3. Let x = -2 + -1. Let j be m(x). Let y be 140/(-30) - 4/(-1). Do j and y have the same value?
False
Let d = 26/3 - 8. Let i = 0.2 + -0.15. Let q = -1.95 - i. Is q at most d?
True
Let v(g) = -2*g + 17. Suppose 0 = 3*f - 23 - 1. Let h be v(f). Which is smaller: h or -5/12?
-5/12
Let q(p) = -p + 6. Let o be q(5). Which is bigger: -2 or o?
o
Suppose -4*j - 4 = -3*j, 0 = 3*o - 5*j - 17. Is o less than or equal to -3?
False
Suppose -o + 10 = -1. Let v = o + -8. Are v and 3 nonequal?
False
Let o(z) = -z**2 - 2*z + 1. Let d be o(-3). Is -2 > d?
False
Let g = 50.1 + -50. Is 0.2 smaller than g?
False
Suppose -d = d - 4. Let j be (-3)/(6/4) - d. Let r = j + 3. Is r less than -1?
False
Let n = -9 + 10. Let l = n - 3. Which is greater: l or 3/2?
3/2
Suppose -6*d - 6 + 0 = 0. Let f = 18 - 12. Let y = f - 5. Are y and d nonequal?
True
Suppose 2*q + 2 = 20. Let k be 12/q + (-2)/(-3). Is k at least as big as 0?
True
Let i be 1*(0/3 + -24). Let s be (-2)/8 - 2/i. Is -1 less than or equal to s?
True
Let c = 3/464 - 293/464. Is 0 > c?
True
Let n be 6/(-10) + (432/15)/(-2). Is -13 bigger than n?
True
Let k be 8/12 + (-4)/(-3). Are 5/7 and k nonequal?
True
Suppose 0 = -4*t + 6*t + 8. Let p be ((-6)/(-14))/(t/(-7)). Which is smaller: 1 or p?
p
Let z = -3 - -5. Suppose 2*m + m - z = -a, -a = 5*m. Is -6 at most m?
True
Let w be 1/(-1*(2 + -3)). Let m be (-27)/(-333)*(-1 + (-1)/(-3)). Which is bigger: w or m?
w
Let u = 6 + 1. Let d = u - 6. Is d greater than -2?
True
Suppose -5*m + 8 = 3*m. Which is greater: 2/53 or m?
m
Let x be -1*(1 + -3 + 1). Which is bigger: x or 0?
x
Suppose -4*z - z + 15 = 0. Suppose -z = -3*v + 15. Which is smaller: 5 or v?
5
Let n = 5.7 - 6. Let y = 0.1 + n. Let d = -35 - -104/3. Are d and y non-equal?
True
Let o = 841/136 + -120/17. Which is greater: 0.1 or o?
0.1
Let y = 45/11 - 4029/1001. Let f = 303/455 - y. Let v = -1.1 + 0.1. Which is smaller: f or v?
v
Let s be 7332/112 - (-1)/4. Let y = s + -66. Which is greater: y or 1?
1
Let j(c) = 0*c + 2*c + 1 - 7. Let m be j(3). Is m at most 0?
True
Let t(p) = -p**3 - 11*p**2 - 11*p - 7. Let z be t(-10). Which is greater: z or 2?
z
Let z be 1 + 7/(-5) + (-10)/(-25). Is z <= -2/33?
False
Let a = 1905/1978 - 8580707/8357050. Let r = a + 4/169. Let d = r + 53/75. Which is smaller: d or 2?
d
Let f = -2 + -4. Let r = -4 - f. Let j = r - 2.3. Which is smaller: 1 or j?
j
Suppose -v - 3*v = 2*a + 12, 3*a - 2*v = 14. Are a and 6 non-equal?
True
Let b be 3/(-4) + (-7)/28. Let x = 2 + b. Which is greater: x or -1?
x
Suppose -5*s = -4*s + 6. Let t = 5 + s. Which is bigger: t or -5/6?
-5/6
Let p = -0.34 + 0.4. Let d = p - -0.54. Let g = d + -0.4. Is g at most 1?
True
Suppose 14*s - 14 = 13*s. Is s >= 18?
False
Let q = -1 + 3. Is q > 18/11?
True
Let z = 7.3 - 1.3. Let x = 5.7 - z. Is x at most 2/3?
True
Let x = -0.1 + -3.9. Let w = -1.29 + 2.35. Let v = -0.06 + w. Which is smaller: v or x?
x
Let u = -264 + 183. Let q = -245/3 - u. Are q and -2/5 nonequal?
True
Let x be 1/2*(-16)/244. Let n = x - -65/122. Is n >= -0.3?
True
Let v = 0.62 - 0.52. Which is greater: -54 or v?
v
Let w(k) = k**2 + k - 2. Let b be w(2). Let y = b - 0. Suppose 7*i - y*i = 12. Which is smaller: i or 2?
2
Suppose 2*f = 5*s - 14, -4*f + 3 - 1 = 5*s. Let r be -1 + (s - 12/10). Suppose 5*v - 3*v = 0. Is r not equal to v?
True
Suppose 0*n = -3*n - 3*k + 15, 34 = 2*n - 4*k. Are 11 and n non-equal?
True
Let h = -9 + 5. Let x = h - -4. Is x greater than or equal to 2?
False
Let b be (-22)/28 - (-2)/4. Suppose o + o = k - 14, 0 = o + 2*k - 3. Let y be 10/15 + o/3. Which is smaller: b or y?
y
Let u(s) = 3*s**3 + s**2 - 2*s + 1. Let r be u(1). Are -5/11 and r unequal?
True
Let b(v) = v**3 - 5*v**2 - 3. Let k(p) = p + 1. Let w be k(4). Let f be b(w). Let y be f - -2 - (-2)/2. Which is bigger: y or 1?
1
Let c = 6 + -3. Suppose -c*b = -0*b + 15, 4*b = -4*j - 32. Is j greater than or equal to -1?
False
Let g be (-4)/14 + (-10)/14. Let z be 4/(-48)*(9/(-5))/(-3). Which is greater: z or g?
z
Suppose -5*f = -3*d + 65, -f + 0*f + 2*d = 20. Let s be ((-5)/f)/((-4)/24). Is s less than or equal to -15/4?
False
Let s be (-19)/((-665)/294)*(1 + 4). Which is smaller: 43 or s?
s
Let k = 43 - 43.09. Let a = -5 - -4.93. Let h = k - a. Which is smaller: -1/2 or h?
-1/2
Let l = -5.9 + 6. Let m(h) = 2*h + 6. Let u be m(-4). Which is bigger: u or l?
l
Let h(j) = j**3 - 2*j + 1. Let g = -4 - -5. Let r be h(g). Which is greater: r or 1/10?
1/10
Let b be 3/6*-1*0. Let a be (1 - (-1 - -1))*28. Let n = a - 82/3. Are n and b equal?
False
Let o = -0.4 - 0. Let v = o + -1.6. Let i = 148 - 148. Which is smaller: i or v?
v
Let v = 61 + -41. Suppose 5*u - v = 0, -3 = -4*s - 3*u + 1. Let a be (-2)/s*(1 + -1). Which is smaller: -2 or a?
-2
Let r = 132 - 922/7. Let i(f) be the first derivative of f**3/3 + 5*f**2/2 - 7*f - 3. Let a be i(-6). Which is smaller: a or r?
a
Let f = 0.06 - -3.94. Let m = 0 - -0.1. Which is greater: m or f?
f
Let r = 0 + 0.5. Let a = -0.44 + 0.04. Let u = r + a. Which is bigger: -1/5 or u?
u
Let c(u) = -u - 3. Suppose 4*x - 4*o + 4 = 0, 3*o - 9 = -x + 6*o. Let v be c(x). Which is bigger: 4 or v?
4
Let t 