s - v - 11 = 3*s, 3*s + 11 = 4*v. Which is greater: 1 or s?
1
Let t be (-46)/(-115) - (-4)/(-10). Which is bigger: -4/11 or t?
t
Let b = 305/108 - 11/4. Which is smaller: b or 1?
b
Let c be (-662)/60 + 5/(-30). Let o = -12 - c. Which is bigger: o or -2?
o
Let a be (0 - (-9)/12)/(30/40). Is a < 1/7?
False
Let k be ((-4)/70)/(12/15). Suppose -4 + 3 = -s. Which is smaller: s or k?
k
Let m = 14 - 6. Let k be (12 + -10)/(1*m). Is -1/10 > k?
False
Let l = 91 + -269/3. Let u(d) = -d**2 + 1. Let f be u(0). Is f smaller than l?
True
Let z be -2*((-3)/4 - -1). Let q = -17 - -18. Let w = q - 0.8. Is w at least z?
True
Let y be ((-15)/(-10))/(5/2). Let i(l) = -l + 1. Let a(t) = t**2 + 2*t. Let p be a(-2). Let q be i(p). Which is smaller: q or y?
y
Let r = -6 - -25/4. Let n = 7/4 - r. Let k = -2 + 3. Which is smaller: k or n?
k
Suppose 5*x + 2 - 33 = 2*m, 3*m = 2*x - 30. Let u = 9 + m. Which is smaller: u or -4/11?
-4/11
Let u = 90 - 91. Is u equal to 1/4?
False
Let t = -11398/25 + 456. Is t less than -1?
False
Let n = -9 - -17. Does n = 7?
False
Let j(c) = 2*c - 9. Let l be j(6). Let d be -5 + l*2/3. Let f = d - -3. Does f = 2?
False
Let f(k) = -k + 5*k - 13 - 5*k + 2*k. Let z be f(13). Is -6 smaller than z?
True
Let i(f) = 0*f - 2 - 4 + f + 0. Let n be i(7). Which is smaller: 0 or n?
0
Let a(d) = 5*d**3 + 3*d**2 + 3*d + 3. Let w(q) = -4*q**3 - 4*q**2 - 4*q - 4. Let c(v) = -3*a(v) - 4*w(v). Let j be c(-6). Which is bigger: j or 8/5?
8/5
Let f = 16 + -7. Let h = 8 - f. Which is smaller: h or 1.2?
h
Let c(o) = 9*o + 63. Let s be c(-7). Which is bigger: s or 2/65?
2/65
Let u(w) = -5*w**2 - w. Let g be u(-1). Let f be 22 - g*(-2)/4. Suppose 0 = -4*t - 2*b - f, -5*b = 3*t - 2*t + 23. Which is bigger: -1 or t?
-1
Let y = 228/65 - 7/65. Is y not equal to 3?
True
Let u(c) = -2*c + 4. Let v(d) = -d - 1. Let a(w) = -u(w) - v(w). Let z be a(2). Let r = z - 2. Is 2 >= r?
True
Suppose 3*b - 6 = 3*k, -2*k + 4*b - 3 = 9. Suppose -4*h = -k*h + 3*x + 10, 2*x + 3 = -5*h. Let a be 1 - (2 + (-6)/5). Are a and h non-equal?
True
Let y(i) = -5*i. Let w be y(-3). Let z be w/3 + (-1 - 2). Let c be (-1)/(1/(-2)) - 0. Is c at most as big as z?
True
Suppose 0*n = -n - 1. Let j be n/(-1) + 5 + -2. Suppose -c - 5 + j = 0. Which is bigger: c or 1/11?
1/11
Suppose 0 = -0*k - k + 80. Let n be k/36 - (-4)/(-18). Let m be (n - 1)/((-4)/(-12)). Which is greater: m or -1?
m
Let y = 3.9 - 4. Let h = -18 - -89/5. Is h > y?
False
Suppose -2*c - 30 = -7*c. Let a be c/(-4) - (-65)/10. Let w = -0.2 - -0.3. Is w bigger than a?
False
Suppose -30 = 3*o - 8*o. Suppose 0 = o*n - 3*n + 3. Let i = n - 0. Is i < 0.1?
True
Let g = 3.97 - -0.03. Let d = 0 - -0.1. Which is smaller: d or g?
d
Let u(s) = s + 6. Let d be u(-6). Suppose -16 = 3*r - 4*w, d*w - 4 = -2*r - w. Which is bigger: -2/3 or r?
r
Suppose 3*p + 5 + 1 = -3*x, 2*x + 7 = p. Let v be 1 - (p + 26/57). Let w = 4/19 - v. Which is smaller: w or -1?
-1
Let x = 1 + 8. Which is smaller: x or 8?
8
Suppose 5 - 2 = 3*l. Let v(y) = -y**2 - 10*y - 12. Let d be v(-9). Let j be d + 2 + l/1. Is -2/7 at least as big as j?
False
Let k(d) = 2*d**2 - 2*d + 2. Let x be k(1). Which is bigger: 4/7 or x?
x
Let r be 1*2/5*5. Let l = 4 - -2. Suppose l*k - r*k = 0. Which is greater: -1/5 or k?
k
Let l be ((-3)/5)/(5/(-25)). Suppose 2*t - 15 = -l*t. Let m be t/((-1)/(2/3)). Is -3 greater than or equal to m?
False
Suppose 3*q - q + 2 = 0. Let b = -7 + 6. Does b = q?
True
Let g = -9 - -9. Is g > -6/13?
True
Let w(a) = -a**2 + a + 1. Let s be w(2). Let x be (s*1)/(70/(-60)). Which is greater: 2 or x?
2
Let h(l) = 3*l**2 - l - 1. Let v be h(-1). Let f(u) = u**3 - 10*u**2 - 10*u - 8. Let r be f(11). Are r and v unequal?
False
Let i be (42/15 - 2)*-5. Let j = i + 16/3. Do 0 and j have different values?
True
Let x be (-2)/(-7) - (-4)/(-7). Let w be (-1)/4 - (-10)/8. Is w at least as big as x?
True
Let r = 107 - 855/8. Let j = 1 - -3. Let n = -5 + j. Is n equal to r?
False
Let u = 25 - 24. Let m be (-4)/(-2)*u/(-9). Is m at most 1?
True
Suppose n - 1 = -2. Let h be (0/(-2))/n*1. Suppose h*y + 10 = 2*u - 5*y, 8 = -5*u - 4*y. Is 1 equal to u?
False
Let n = -190 + 189. Which is bigger: 70 or n?
70
Let a = -1 - 3. Let l = 6 - 11. Which is smaller: a or l?
l
Let o = -71495/108 + 662. Which is smaller: -1 or o?
-1
Let v(f) = -20*f**3 - 1. Let l be v(1). Let c = 13 + l. Which is greater: -9 or c?
c
Let q = 16 - 11. Let z = 7 - q. Let m = z - 3. Is m smaller than 2/11?
True
Let l(s) = -s**2 - 6*s - 2. Let v be l(-5). Is 3 < v?
False
Suppose 0*r + 3*t - 6 = 3*r, r + 4*t - 13 = 0. Let z = -52 - -53. Are r and z nonequal?
False
Let d(a) be the second derivative of -a**3/6 + 13*a**2/2 + 2*a. Let p be d(11). Let i be p - ((-5)/2)/(-5). Which is smaller: 3 or i?
i
Let g(q) = -3*q - 3. Let o = 6 + -8. Let z be g(o). Which is smaller: z or 1?
1
Let a be 3/(((-60)/32)/(-5)). Is 7 < a?
True
Let u = -9.2 + 9. Let s = u + 0.3. Is 1 bigger than s?
True
Let f be (-2)/14*519/9. Let d = -26/3 - f. Is d <= 0?
True
Let q = -3.1 + 4.1. Is 0.26 >= q?
False
Let o = 1.97 - -0.03. Let j = -4 + o. Let n = j + 2. Which is smaller: -2/7 or n?
-2/7
Let j = -1.5 + 1.6. Let m = j - 0.2. Do 2 and m have different values?
True
Let z = -15 + 15.5. Which is greater: z or -1?
z
Let i = 42 - 43.7. Let k = 5.3 + i. Let c = k - 3. Is c < 1?
True
Suppose -3*w + x = -4*x + 13, -17 = -3*w - x. Suppose -z - 5*i = 4*z - 25, w*z = i + 10. Let y be (-24)/(-14) - 2/(-7). Which is bigger: z or y?
z
Let i(q) = -2*q - 6. Let f be i(-4). Suppose l + 10 = -4*n, -n - f = 3*n - 3*l. Let j be -1 - (n - (-3 - -2)). Is j < -4?
False
Let o = -17305/27 - -641. Let q = 22 - 23. Which is greater: q or o?
o
Let n be (-15 + 9)/((-1)/(-2)). Which is bigger: -11 or n?
-11
Let n = 0.1 - 3.1. Let v = 1 - n. Let m = v + -3.9. Is m at most 3?
True
Let o(r) = r**2 + 6*r + 1. Let a be 3/2*(-10)/3. Let c be o(a). Are -5 and c unequal?
True
Suppose 0*t + 4 = -4*t. Are -0.05 and t non-equal?
True
Let k(p) be the third derivative of p**6/360 - p**5/24 - p**4/6 + p**3/3 + p**2. Let q(f) be the first derivative of k(f). Let u be q(5). Is u smaller than -3?
True
Let v be (18/48)/(6/(-2276)). Let z = -140 - v. Is z greater than 3?
False
Let b = 3 - 3. Is b >= 4/5?
False
Let m = 29 + -59. Is m greater than -30?
False
Suppose 2*g + 4*k - 14 = 0, g + 2 = -3*k + 9. Do 6 and g have different values?
True
Let d = 56 - 281/5. Let r = 3 - 0. Let f be r*(-2)/(-12)*-2. Which is bigger: f or d?
d
Let z(n) be the third derivative of -n**4/24 + n**3/6 + 3*n**2. Let b be z(5). Which is smaller: -0.2 or b?
b
Let b = 144 - 137. Is b > 14?
False
Let x be 3 + ((-33)/9 - 0). Which is greater: 1/22 or x?
1/22
Let c(i) = -2*i**3 - 9*i**2 + 7*i + 2. Let q(m) = m**3 + 5*m**2 - 4*m - 1. Let p(s) = 4*c(s) + 7*q(s). Let a be p(2). Which is smaller: a or -10?
a
Let x(l) = -l**3 - 8*l**2 - 6*l + 9. Let g be x(-7). Suppose -j - g*j = 24. Is -6 > j?
True
Let p be (50/(-15) - -3)/(1/3). Which is smaller: -3/4 or p?
p
Let t be (0 + 0)*3/(-6). Let x be 32/10 + -1 + -2. Are t and x unequal?
True
Suppose 5 = -5*x + 110. Let h = -10 + x. Suppose -8 = -5*l - y - 1, 2*l + h = -5*y. Are l and 1 unequal?
True
Let r be 4/(-10)*570/(-9). Let u = r + -24. Let o be (4 + -8)*(-3)/6. Which is smaller: o or u?
u
Let n = -7 + 8. Which is smaller: 0.3 or n?
0.3
Let b(l) = -l**3 + 7*l**2 + l - 5. Let r be b(7). Let z be (-4)/2*3/(-2). Which is greater: r or z?
z
Let w = -116 - -114. Which is bigger: w or -4?
w
Let d = 1.96 - -0.04. Let r = -2.5 + d. Let l = r + 0.7. Is l at least as big as -0.1?
True
Let k = 4 + -4. Let q(s) = -4*s + 1. Let a be q(1). Let d be k/(-2)*(-4 - a). Which is smaller: -6/5 or d?
-6/5
Suppose 0 = 3*v + 2*h - 11, -4*v = -0*v - 2*h - 24. Suppose 0 = -v*m + 25, -6*f + 120 = -f + 5*m. Is 19 < f?
False
Let l(i) = -i**3 + 10*i**2 + 13*i - 15. Let s be l(11). Which is bigger: s or 8?
8
Suppose -y + 8 = 12. Is -4 >= y?
True
Suppose 0 = -4*h - w - 9, w + 0*w + 1 = 0. Let s(n) = -3*n - 3. Let g be s(h). Let c(x) = x - 3. Let u be c(g). Which is bigger: u or -1?
u
Let o(b) = b**2 + 10*b + 4. Let d be o(-8). Let j be (-1)/(-1)*-2 + -10. Is j > d?
False
Suppose -x + 6*x = 85. Let p = 6.1 - 6.1. Is x at most as big as p?
False
Let r = -12 + 12. Is r less than or equal to -1/14?
False
Let u = 17