?
False
Let f be (-3)/((-1)/(2/3)). Suppose f*z + 13 = -5. Let l be (6/(-25))/(z/(-30)). Are l and -1 equal?
False
Let o be (-4)/(-10) - 10/25. Suppose -5*z + 2*y + 14 + 41 = 0, o = -5*z - y + 40. Suppose 6 = -5*d - z. Is -3 at least as big as d?
True
Suppose 3*b + 2*u - 5 = 0, 2*b + 0*b + 2*u - 4 = 0. Let m be (-1)/4 - 39/(-12). Let c = -2 + m. Are c and b unequal?
False
Let a be -4 + (-40)/(-48) - (-5 + 1). Which is smaller: a or 1?
a
Let w be (-2 - (2 - 0))/(-29). Let j = w + -94/261. Which is bigger: 0 or j?
0
Let f = 2 + 4. Let h(w) = 4*w**3 - 4*w**2 - 4*w - 3. Let q(o) = 3*o**3 - 4*o**2 - 3*o - 2. Let a(r) = 4*h(r) - 5*q(r). Let x be a(-4). Are x and f non-equal?
True
Let w = 2 - 4. Let b be 3/(3*w)*0. Which is smaller: -2/9 or b?
-2/9
Let o = 0.06 - 0.08. Which is bigger: 0.1 or o?
0.1
Let q = 1 - 1. Suppose q*o = 3*o. Which is bigger: o or 1?
1
Suppose 0 = 3*r - 26 + 2. Suppose 2*g - 4 = -r. Is -2 smaller than g?
False
Suppose 2*n = n - 2. Let f = n + -1. Let p be f/27*-3*-2. Are 0 and p nonequal?
True
Suppose -2 = m - 0*m + 3*l, -3*l = 4*m - 1. Let d be 3*-1 + m - 1. Let z = d + 5. Is z >= 4?
False
Let s = 34 + -67/2. Is -2/7 equal to s?
False
Let m = 0.125 + -3.125. Which is bigger: m or 0.13?
0.13
Let h be ((-2)/2)/((-1)/(-5)). Let q be 2/(-5)*-1*h. Let p = -23/2 + 11. Which is greater: p or q?
p
Let i = 19 + -17. Let g = 0 - i. Do g and -2 have the same value?
True
Suppose 5*j + 45 = -4*n, 0 = 3*j + 2*j + 5*n + 40. Is j <= -13?
True
Suppose 5*f = w - 67, -7*f - 4*w - 57 = -2*f. Let z = f - -10. Is z less than 0?
True
Let s be (-66)/15*(-2)/(-32). Let v = -7/8 - s. Suppose 3*b = 4*b. Is v greater than b?
False
Let k = 0.1 + 0. Let w = 5.2 - 2. Let a = -3 + w. Which is bigger: k or a?
a
Let b = -7.4 + 7.6. Is 2 less than b?
False
Let a be (4/6)/((-2)/12). Let t be 2/(-3)*(a + 1). Is 4/5 >= t?
False
Let r be 1 + 0/(-2 - -1). Let t be (r/(-4) + 0)/1. Let h = 2.26 - -0.74. Which is smaller: t or h?
t
Suppose 0 = 2*a + 2*k - 8, 3*a - 9 - 3 = k. Let n(u) be the first derivative of u**4/4 - 4*u**3/3 - 3*u**2/2 - 6*u - 2. Let w be n(5). Is a > w?
False
Suppose -1 + 5 = c. Suppose 2*i + c*b - 18 = -i, 0 = -5*i - 3*b + 19. Let f be (2/(-6))/((-1)/9). Which is greater: i or f?
f
Suppose -5*r - 9 = 11. Let j(a) = a**3. Let b be j(1). Let i(h) = -4*h**3 + 2*h**2 - 1. Let w be i(b). Which is bigger: r or w?
w
Let t = -1.17 - -0.17. Which is smaller: 0 or t?
t
Let z be 15/(-10)*(-8)/3. Let l = 7 - 2. Is z greater than l?
False
Suppose 0 = 3*x - 2*x - 2. Is 7/6 at least as big as x?
False
Let k be (2/(-4))/((-3)/(-14)) - -1. Is k not equal to -0.1?
True
Suppose -187 = 4*f + 5*a, -5*a + 67 + 133 = -5*f. Is -43 greater than f?
False
Suppose v + 3*w - 4 = 0, -3*v + w + 62 = -0*w. Suppose 89 = 4*x - 3*a, 2*a - 12 = 6*a. Which is bigger: v or x?
x
Let t = -6 - -8. Let d(r) = r**2 - r. Let y be d(t). Are y and 2 non-equal?
False
Let d = -6.21 - -6.2. Is d < 7?
True
Let q = -659/3 + 223. Is q >= 2?
True
Let y be 19/2*12/54 - 2. Which is bigger: y or -1/6?
y
Let g be (2 - 1) + 18/(-6). Let l = 5 + g. Let f(s) = -2*s - 5. Let p be f(-5). Which is smaller: p or l?
l
Suppose 4*k = 4*f - 0*k, 0 = -3*f + k. Let n = -239 + 1189/5. Is f at least as big as n?
True
Let z = -2.4 + 0.4. Let p = z - -3. Is 2 < p?
False
Let s be 2/(-3) - 1/(-3). Let h = 65.83 - 65. Let p = h - -0.17. Which is smaller: p or s?
s
Let i = 640 + -1321/2. Let x = i + 21. Which is greater: 1 or x?
1
Let l = -141/2 + 72. Let t = -4 - -6. Suppose -t*u = -u - 2. Which is smaller: l or u?
l
Let w = 23 + -16. Suppose 2*f = 4*b + 20, -25 = -2*f + 7*b - 2*b. Which is greater: w or f?
w
Let u = -138 - -137. Let y be 6/(-10) - 1/(-2). Which is smaller: u or y?
u
Suppose 4*h + 53 = -15. Which is bigger: h or -19?
h
Let d = 2.4 + -2.4. Is 7 smaller than d?
False
Let p be 556/8 - 2/(-6). Let m = -70 + p. Which is bigger: 1 or m?
1
Suppose 5 = -4*b - 15, f + 2*b + 7 = 0. Is f < 13/4?
True
Let c be 8 - (-6)/(-3) - 3. Let d be c/5 + (-493)/680. Which is smaller: 1 or d?
d
Let q = 2.7 - -0.3. Which is smaller: 1 or q?
1
Let o(f) = 9*f - 37. Let z be o(11). Does z = 62?
True
Suppose -3 - 1 = -2*o. Let z be (-18)/(-12) - (-1)/o. Suppose 2*g + z = g, -3*g = n + 6. Are n and -2 non-equal?
True
Suppose -3*r = -7*r + 8. Is r greater than 14/5?
False
Let z be 0 + 0 - (3 + -3). Let m be 0/(-1) + z/(-8). Suppose 1 + 1 = -v + b, -2*v + 4 = 2*b. Is m >= v?
True
Suppose 4*o = 12, 0 = -5*p - 2*o + 3*o - 8. Let m = -0.99 + -0.01. Is p < m?
False
Suppose -2*l - 1 = 4*c - 27, 2*c = -4*l + 16. Is 6 equal to c?
True
Let c = 19 + -37. Let d be 2 + (c/(-1) - 2). Let u be (-8)/d*6/4. Which is bigger: -1 or u?
u
Let h = 1.9 + -1.97. Is h less than -1?
False
Let t(v) be the third derivative of -v**4/24 + v**3/2 + 4*v**2. Let o be t(3). Suppose o = n + 6. Which is greater: -7 or n?
n
Suppose 6*i - 2*i = 60. Let z be (-3)/6 - (-66)/4. Which is bigger: z or i?
z
Let d(x) = x**2 - 7. Let w be d(0). Let b be -2 + (238/(-4))/w. Which is smaller: b or 7?
b
Let c(o) = -o - 4. Let r be c(-2). Let v be 2 + -5 + r/(-1). Do v and -1 have different values?
False
Let b be (-1)/(-6)*3*-12. Let o = 11 + b. Let g = 7 - o. Is 3 less than g?
False
Suppose 0 = 4*n + 4*a - 5*a + 11, -4*a = 4*n + 16. Let y be n/(-1)*(-1)/(-3). Suppose 2*o + 0*o = 0. Which is greater: o or y?
y
Let l = -28 + 40. Which is greater: 14 or l?
14
Let o = 0.83 - 0.23. Is o >= -2?
True
Suppose -2*m + 1 = 5. Let i be m/8 - (-10)/8. Is i smaller than 1?
False
Let s(a) = a**3 - 5*a**2 - 3*a + 2. Let g be s(5). Let b be -3 + (-3)/(15/g). Are b and 0 equal?
False
Let b be (-730)/(-36) - 6/(-54)*2. Does b = 21?
False
Suppose 63*b - 66*b = -75. Is 24 greater than b?
False
Suppose -5*n = -4*w - 2, -3*w + 4*w + n + 5 = 0. Let b(g) = -g - 3. Let o be b(w). Suppose 3*c - 1 = 5. Is o > c?
False
Suppose 0 = 116*z - 117*z + 2. Are -14/13 and z unequal?
True
Let r = -3.7 + 11.2. Let t = r - 7. Let h = t + 1.5. Which is greater: h or 3?
3
Let a = 2.2 + -2.3. Which is smaller: a or -2/11?
-2/11
Let j = 1035/1799 + -1/257. Which is greater: j or 2?
2
Suppose 12 + 3 = -5*u. Let l(y) = y**3 + 3*y**2 - 1. Let x be l(u). Is 1/6 > x?
True
Let b(n) = 4*n - 1. Let r be b(1). Suppose -5*u - 8 + 68 = 0. Suppose -u = -r*h - h. Which is smaller: 2 or h?
2
Suppose 8*z + 5 + 3 = 0. Is -2/51 less than z?
False
Suppose -4*r - 23 = -n, -r = 2*r + 2*n + 20. Let i be (0*(-3)/r)/(-1). Let v = -236 - -1655/7. Which is smaller: v or i?
i
Let q = 1501/8 + -188. Is 0 greater than q?
True
Let r = -43/33 - -7/11. Let p = 5 + -3. Let m be (p/(-39))/(1/(-3)). Which is smaller: r or m?
r
Let a be 0 - ((-1)/(-5))/(-1). Suppose 4*o = -16, 0 = 2*g + 3*o - 2 + 14. Suppose 0 = 4*d - g + 4. Which is smaller: d or a?
d
Let w = 15 - 9. Suppose b + v = 4, 0*b + 4*v - 14 = -2*b. Suppose b - w = c. Is -4 < c?
False
Suppose -5*z + 7 = -5*g - 8, -4*g = -z + 12. Let q = g + 2. Do q and -1 have different values?
False
Let o = -5256/1283629 + -2/3049. Let m = o - -852/2105. Which is smaller: -1 or m?
-1
Let j be (-11)/(-51) + 2/(-6). Let x(c) = -c - 5. Let q be x(-7). Suppose 1 + q = -3*k. Is k > j?
False
Let d be 1/(-3) - (-12)/9. Let u = -43/14 - -405/133. Let f = u + 21/76. Is f <= d?
True
Let c = -71.84 + 70. Let s = -0.16 + c. Are s and 0 equal?
False
Suppose -4 = 3*p - 16. Suppose -p*o + 6 + 10 = 0. Suppose -2*l + 4 = 2*y, o*y - 2*y - 4*l = -20. Are y and -3 unequal?
True
Let n be ((-14)/42)/((-1)/(-57)). Which is greater: -20 or n?
n
Let u(l) = -l**3 - l**2 - l - 2. Let h be u(-2). Suppose -19 = 2*d - 1. Let s be ((-24)/d)/(2/3). Is s equal to h?
True
Let u = 37/12 - 13/3. Let j = -7 - -11. Suppose 13 - 5 = -j*p. Is u less than or equal to p?
False
Let c = 55 - 46. Which is smaller: c or 6?
6
Let l be (-2 + (-70)/(-34))/1. Are l and 1 equal?
False
Let l be (1/4)/((-3)/2). Let t be (4 + -4)/(2/(-2))*1. Is l smaller than t?
True
Let x = 13.1 - 4.1. Does 0.3 = x?
False
Suppose k + 115 = -80. Let f be k/(-52)*2/(-3). Which is smaller: -2 or f?
f
Let s = -0.8 - -0.7. Let i = s - 0.1. Which is greater: -2 or i?
i
Let v(d) = -d + 6. Let a be v(8). Let k be 2/3 - a/(-3). Suppose w = 3*c + 9, -5*c - w - 11 = -4. Which is greater: k or c?
k
Suppose -2*y - 4 + 2 = 0. Let j = y + 2. Suppose -5 = 4*p - j. Is p <= -1?
True
Let z = 135/46 