 2/5 or l?
l
Let g = -7 - -4. Suppose j = -3*v - 0*j + 28, 3*j = 3*v - 24. Let s be g*(6/v + -1). Which is greater: s or 3/2?
3/2
Let o = 3 + -2. Let h = o - 4. Which is greater: h or -4?
h
Let k(u) = -u**3 - 12*u**2 + 14*u + 16. Let b be k(-13). Which is greater: b or 1?
b
Suppose 4*w = -w - 20. Suppose -6 = 2*n + 4*r, -3*n + 2*r = 5*r + 9. Are w and n non-equal?
True
Let b(c) = -c - 3. Let z be b(-3). Let j be 136/(-14) - (-8)/(-28). Let h be 2 + 21/j - z. Which is bigger: -1 or h?
h
Let f(g) = -4*g**2 - 2*g + 2. Let x be f(-2). Let v(q) = -q**2 - 11*q - 9. Let o be v(x). Do o and -1/17 have different values?
True
Let z be 20 + -22 + 11/(-5). Is -3 smaller than z?
False
Let l = -75 - -112. Is 37 smaller than l?
False
Let w be 1*-2 - (1 + -3). Suppose d + 4*d = w. Which is greater: 5/4 or d?
5/4
Suppose 10 + 12 = -2*y + w, -11 = 3*y + 4*w. Which is smaller: -8 or y?
y
Let f be 0 - -2 - (-14)/(-8). Let l be (0 + 2/32*-2)/1. Which is smaller: l or f?
l
Let z = 1463/9 + -162. Which is smaller: 0 or z?
0
Let x = -3.3 + -5.7. Is -1 greater than x?
True
Let r be ((-28)/(-5))/(3/(-30)). Let s be r/2*(-2)/4. Let y be (-2)/(-6) - s/78. Which is smaller: 1 or y?
y
Let m be 9/6*(-4)/(-2). Which is greater: 4 or m?
4
Let u = -25/2 + 13. Let z(t) = t**2. Let q be z(0). Which is smaller: q or u?
q
Let r = -7 + 6.7. Let j = -43 - -42.5. Let i = j - r. Which is bigger: i or -3?
i
Let y = 5 - 7. Let k = -0.04 - 4.96. Let m = k - -7. Which is greater: m or y?
m
Let k(i) = i**3 - i**2 + 1. Let p be k(1). Let s = p - 9. Let n = s + 3. Is n smaller than -6?
False
Let v(n) = n - 4. Let b be v(6). Suppose 5*f - u - 15 = 0, -5*f + 24 = -3*f - 4*u. Suppose -8 = b*m + f*m. Which is smaller: m or -3?
-3
Let p = 0 - 2. Let c = -2.46 - -0.26. Let a = p - c. Does 0.2 = a?
True
Let j = -6 + 7. Let h be (2 + 0 + -1)/1. Let n be h - 2 - (-7 + 6). Is j greater than n?
True
Let n = 638/1141 + 2/163. Suppose 1 = 8*u - 9*u. Which is greater: n or u?
n
Let g = 57 - 56.8. Is g < -38?
False
Let m = 0.2 + -0.3. Let s = 12 + -12. Let n = m + s. Which is smaller: n or 0.1?
n
Let c = -13 + 9. Suppose 2*i - 5 = 3*i. Which is smaller: i or c?
i
Let x = 0.6 + -0.7. Is 16 >= x?
True
Let d = -6.8 - -7.1. Let w = 0.75 + 0.05. Let i = 0.2 + w. Which is bigger: i or d?
i
Let r = -2/429 + 68/429. Is 1/79 bigger than r?
False
Let j = -4 + 7. Suppose 3*v - j + 0 = 0. Which is smaller: v or -1?
-1
Let t = 9/2 + -5. Which is smaller: t or 1/7?
t
Let t = -0.05 - -0.05. Is -12 less than or equal to t?
True
Suppose 4*v + 2*c = -6, 5*v - 2*c = 3*c + 15. Let l be (v + -1)*-2 - 0. Let q be (-2)/4 + (-1)/l. Is 0 less than q?
False
Let t = -20 - -20.06. Which is smaller: t or -0.3?
-0.3
Let n(y) = 2*y + 6. Let b be n(-5). Let m = -3 - b. Is 2 bigger than m?
True
Suppose 5*x = 4*l + 21, x + 3 = -4*l + 12. Let i be l*3*2/6. Is i equal to -0.2?
False
Suppose 336 = -7*h + 21*h. Does 24 = h?
True
Let w(x) be the second derivative of -x**4/12 + x. Let u be w(-2). Let m(g) = g**2 - 8*g - 24. Let b be m(10). Is u at least as big as b?
True
Suppose 3*a - 2*a - 4 = 0. Let u be a/26 + (-264)/195. Which is greater: u or -2?
u
Let s = 74 + -514/7. Let p = -22/63 + s. Is p at least 1?
False
Let i = 0.38 - -0.62. Let j be 27/10*(1 - -17). Let q = -48 + j. Is i greater than q?
True
Let w be ((-1)/1)/(1/(-1)). Let a(t) be the second derivative of t**3/6 - t**2 - 3*t. Let u be a(4). Which is smaller: w or u?
w
Let p(n) = -n**3 - 2*n**2 - 2*n - 3. Let v be p(-2). Suppose 2*j = 5*j - 9. Suppose j*w - 7 = -2*l, -2*l - l = 5*w - 12. Is v less than or equal to l?
False
Let m be (2/((-18)/3))/((-4)/12). Is m less than or equal to 2/33?
False
Suppose 0 = -3*w - 2*z - 42, -3*w + 2*z - 54 = -0*z. Are w and -17 nonequal?
True
Let u = -703/535 + 3/214. Is u <= 0?
True
Let r = 0 - 0. Let d = r + 0. Let n be -4*(d - (-1)/2). Which is smaller: n or -3?
-3
Let k = 21 - 43/2. Let t = 4.6 - 5. Let p = t - 0.6. Which is smaller: k or p?
p
Let y be ((-3)/9)/(7/21). Let p = 4 + -3. Is y smaller than p?
True
Let k = 169/3 - 55. Suppose 0 = -3*f + 3. Is f bigger than k?
False
Let m = -0.06 + 0.06. Let k = -0.03 - m. Does 0.1 = k?
False
Let u be 4/10 + (-284)/10. Let r = 138/5 + u. Is r at most as big as 1?
True
Let f = -65 - -65.05. Is f equal to 1?
False
Let v = 15.8 + -17.8. Let d = -1 + 1. Let i = d - -0.2. Is i > v?
True
Let h be (-8)/(-36)*9/(-6). Is h bigger than 0?
False
Let m = -3.7 - -4. Let t = m + -0.2. Which is greater: 2 or t?
2
Suppose 4*b = 2*b - 8. Let m = b + 2. Let p(f) = -f + 2. Let i be p(4). Is i smaller than m?
False
Suppose 0 = 5*a - 0*a + 10. Which is greater: -6 or a?
a
Suppose 3*x - 2 = h, h - 3*x - 10 = -3*h. Let i = -1 + h. Let w be 78/15 + (-1)/5. Is w less than or equal to i?
False
Suppose 5*s + 16 = -14. Is -8 > s?
False
Let p(b) be the second derivative of -b**5/20 - b**4/2 + 4*b**3/3 + 9*b**2/2 + 2*b. Let f be p(-7). Do -1 and f have the same value?
False
Let c = 0.05 + -0.15. Let h = -6.87 - 0.13. Which is greater: h or c?
c
Suppose -4*c + 10 = c. Let z be 5/4 + 3/(-12). Are c and z non-equal?
True
Suppose 0 = -m + 2*m. Suppose m = 5*i + k, 0*i + i = -4*k. Which is smaller: -4/3 or i?
-4/3
Let g be (-3*1/65)/(-1). Let i = g - -2/13. Let c = 0 + 0. Which is greater: i or c?
i
Suppose m + 35 = 2*w, -2*w + 26 = 2*m - 0*m. Is w less than or equal to 16?
True
Suppose 0 = -0*y - 4*y. Let l = 6 + -3. Let d be y + 0 + (1 - l). Which is greater: -3 or d?
d
Let g = 8.79 - 2.84. Let w = g - -0.05. Do 1/3 and w have different values?
True
Let m(j) = -53*j**3 + j**2 - 3*j + 1. Let h be m(1). Which is smaller: h or -53?
h
Let d = -0.09 - -0.04. Let y = d - 0.15. Let h = 4 + -6. Is h at most as big as y?
True
Let f = 139 - 161. Is 2 >= f?
True
Let z(t) = -t**2 + 4*t + 6. Let d be 2/14 - 170/(-35). Let s be z(d). Is 3 != s?
True
Let s(y) = -y**2 - 9*y - 7. Let f = 42 - 16. Suppose 5*a = -0 - 5, 0 = -3*w - 2*a - f. Let m be s(w). Is 2/5 >= m?
False
Suppose 4*u - 17 = 19. Let t be ((-3)/9)/(3/u). Which is smaller: 1 or t?
t
Let c(u) = u**2 - 6. Let p be c(0). Let t be (-6)/165*(p + 1). Is t less than or equal to -2/7?
False
Suppose -3*v + 2*q + 74 = 0, -4*v + v - 4*q + 50 = 0. Let u be -1 + v/12 + -1. Is u at most as big as 0?
True
Let m = -0.11 + 0.21. Suppose -5*b = -4*n + 20, 3*b + 17 = 5*n + 5. Let a be (3 + -1)/(2 + n). Is m greater than or equal to a?
False
Suppose 2*f = 7*f. Suppose -3*d + 0*m = 2*m, -4*d + 5*m = f. Which is greater: d or -1/6?
d
Suppose -2*a + a = -2. Let f be -4*1*(-3)/a. Is f greater than or equal to 6?
True
Let m = -186 - -192. Which is smaller: m or 9?
m
Let g(a) = a**3 - 8*a**2 - 9*a + 6. Let i be g(9). Let w be 55/(-33) - (-4)/i. Does w = -1/12?
False
Suppose k + 11 = 5*h, 3*h - 2 = 3*k - 7*k. Let x be k/(-100)*(-3 - -2). Let v = x - -19/25. Is v less than 1?
True
Suppose 4*l + 98 = 5*c, l - 3*c = 3*l + 38. Which is smaller: -21 or l?
l
Let b = 1.5 - -1.2. Let z = b + -0.7. Is z less than 0?
False
Let j = -0.19 - -0.09. Let a = -3.4 - -10.4. Is a at most as big as j?
False
Suppose 3*m - 36 + 13 = c, 0 = m + 3*c - 1. Is m smaller than 8?
True
Let g = 6 - 11. Let t = -1 + 3. Suppose y + 9 = 2*c, -5*y - t*c - 11 - 10 = 0. Is y > g?
False
Let v = 7 + -7. Let a be v + 2*2/4. Is 3 equal to a?
False
Let s = -0.4 + 0.3. Let t = s + 1.1. Is 2 at least as big as t?
True
Suppose -3*p + 0*p = 0. Suppose 2*i + 2*i + 4*d - 12 = 0, -11 = -2*i + 3*d. Let x be 36/(-40) + 2/i. Is p <= x?
False
Suppose -5*k + 87 = -73. Do 33 and k have different values?
True
Let a(o) = o**2 + 7*o - 2. Let v(i) = 4*i**2 + 22*i - 6. Let p(n) = 7*a(n) - 2*v(n). Let t be p(2). Let b(f) = -f**2 + 5*f - 5. Let l be b(t). Is l >= 0?
False
Suppose 4*n - 104 = -4*l + 48, 2*n = 0. Is l equal to 38?
True
Let d = 495 + -295. Let u = -592/3 + d. Is 3 < u?
False
Let b = -148 + 443/3. Which is greater: -12 or b?
b
Suppose -72 = -t - 6. Let a be 2/(-6) - t/(-9). Let i be ((-2)/4)/(a/4). Which is bigger: i or 1?
1
Let j = -8 - -2. Suppose 0 = -2*u - 0*u - 16. Let o = j - u. Do o and 1 have the same value?
False
Let x(s) = s**3 + 4*s**2 - 4*s - 7. Suppose -9*u = -3*u + 30. Let o be x(u). Is o smaller than -13?
False
Suppose -2*t + 4*v + 22 = 0, 4 = 3*t + v - 1. Suppose 23 = -5*n + 2*d + 2*d, t*n + 3*d = -30. Let o = n + 4. Is o greater than or equ