) + -2). Let j = g - -3. Let f(u) = u**2 - 11*u + 10. Let y be f(10). Is j less than or equal to y?
False
Let a = -18 - -17.7. Is -1 at most as big as a?
True
Let w = 11 + -15. Which is smaller: 3 or w?
w
Let t = -23 + 25. Let h = 21 + -23.1. Let x = t + h. Which is greater: x or 2/11?
2/11
Let g = -3 - -2. Let z be 3/(-4 + 1)*1. Is g at most as big as z?
True
Suppose -2*z - z - 6 = 0. Let b be (1 + -3)/z - -2. Suppose -8 = -b*a + 6*a - 5*q, q = -4*a + 20. Is 3 less than a?
True
Let f(k) be the second derivative of k**3/6 + 3*k**2 + 3*k. Let w be f(-7). Is w < -4/9?
True
Let o be 1/5 - 136/(-20). Let s = -9 - -11. Suppose -5*b + 45 = -2*f, -s*b + 3 = 4*f + 9. Is b less than or equal to o?
True
Let v = -10 + 12. Let x be 294/322 - (v + -1). Let n = 3 + -2. Which is smaller: n or x?
x
Let x(k) = k + 1. Let s be x(-2). Let t be (35/(-10))/(s/(-2)). Which is bigger: t or -8?
t
Let i = -10 - -11. Is i at least as big as 3?
False
Suppose 86 = -4*t + 6. Is t >= -19?
False
Let x be (2/3)/((-2)/(-15)). Suppose 5 = x*q - 5. Which is smaller: q or 1?
1
Suppose 0 = -h - 0*h + 4. Let i be -4 - (-3)/(1 - h). Which is smaller: i or -4?
i
Let c = -0.1 - -0.3. Let v = c - 0. Let l = -4.5 - -4.6. Which is smaller: l or v?
l
Let f = -7/4 - -5/4. Suppose 0 = 5*w - 0*w + 40. Let g = w - -5. Is g less than f?
True
Suppose -5*h + 2*v = -0*v + 11, 4*v = -5*h + 7. Which is smaller: h or 6?
h
Let a = 2 + -1. Are a and -4/35 nonequal?
True
Let o be 0 - -3 - (52/(-22) - -5). Which is greater: o or 1?
1
Let c(v) = -1 + 3*v - 3*v + 0*v + v. Let j be c(1). Which is bigger: -1/2 or j?
j
Let s = -7075/21 + 337. Let i = 1 - 0. Is s at least i?
False
Let w = -3.96 - 0.04. Let c be 4/(-6)*(-9)/(-6). Is c greater than or equal to w?
True
Let n = -0.08 - -7.08. Which is greater: 3 or n?
n
Let u(q) = q - 4. Suppose -3*r = 2*w + 7 - 2, -3*r = 4*w + 1. Let t = r + 9. Let n be u(t). Is 1 less than or equal to n?
True
Let i = -35 + 106. Let p = i + -73.9. Let u = p - -3. Is 4 at most as big as u?
False
Let a = -6.7 - -7. Let p = 10 + -16. Let o be 3/p*(-8)/(-6). Which is greater: o or a?
a
Suppose -4*b = -6*b - 6. Let v = 3 + -2.9. Which is bigger: v or b?
v
Let a = 19/15 + -3/5. Let d be 4/6 - (-102)/9. Suppose 4 = -4*c - y, -2*c + 3*c - 3*y - d = 0. Which is smaller: a or c?
c
Let q = 98 - 100. Is -6 at most as big as q?
True
Let w = 0.06 - 0.66. Let v = 4.2 - 5. Let f = v - w. Is 1/2 less than f?
False
Let a = -12 + 7. Let y = a - -7. Suppose 1 = 3*d - y*d. Is 2 at most d?
False
Let j be ((-47)/28)/(27/12). Let m = j - -6/7. Which is smaller: m or -1?
-1
Let f be (-8)/(-6) - 2/(-3). Suppose -f*s = -s - 3. Suppose s = -0*r + 3*r. Which is greater: r or 0?
r
Let o = 13 + -6. Let n(f) = f**2 - 6*f - 6. Let x be n(o). Let t be x*-3 - 72/(-32). Which is bigger: t or -2?
t
Let z be 0 + 10 + (-18)/(7 - -2). Suppose 0 = -5*t - 5*b + b + 25, 0 = -4*t - b + 31. Which is smaller: z or t?
z
Let s = 12 - 11. Let k(g) = -3*g**2 + 1. Let r be k(-1). Let c be -3*s/(3/r). Is -2/11 less than or equal to c?
True
Let m = -19 + 27. Let u be m/70*(-10)/(-4). Which is smaller: u or -0.1?
-0.1
Let p = 1 - 13/11. Let i = 17 - 3. Suppose -2*c + w = 4*w + i, 3*c = -w - 7. Which is smaller: p or c?
c
Suppose -5*y = -y. Let q = -2135/48 + 134/3. Is q equal to y?
False
Suppose -q + 4 = -5*q. Let n(y) = y**3 - 19*y**2 - 21*y + 19. Let l be n(20). Is q at least l?
True
Suppose 13 = -3*u - 5. Let h = -4 - u. Let k(w) = -w**3 - 9*w**2 + 9*w - 7. Let f be k(-10). Which is greater: f or h?
f
Let o = -1/364 + -1447/3276. Let x(h) = h - 14. Let t be x(13). Which is greater: o or t?
o
Suppose 2 + 2 = 2*t. Let a be (-2)/(-8) + 2/(-4). Which is smaller: t or a?
a
Let k be 1584/(-320) - 8/10. Is -7 bigger than k?
False
Suppose -6*k - 6 = -3*k + 3*v, 5*v = k + 14. Let s be (-12)/(-10)*(-10)/4. Is s >= k?
True
Suppose 0 = y - 6 - 5. Is 11 greater than y?
False
Let h be (40/(-25))/(948/340 + -3). Which is smaller: 7 or h?
7
Let o be ((-1)/2)/(10/(-60)). Suppose 0 = -5*j - 4*h + o, -8*h + 4*h + 10 = -2*j. Is j equal to 2/19?
False
Let o be ((-2)/2)/(1/(-9)). Suppose o = -z + 2*z. Let q = z + -9. Which is bigger: 0.1 or q?
0.1
Suppose 0 = s - c - 8, 0*s + 32 = 4*s - c. Let b(u) = u**2 - 5*u - 11. Let z be b(s). Which is smaller: z or 14?
z
Suppose -5*y = -4*l + 41, 0 = 5*y - l - l + 33. Let a = 9 + y. Which is bigger: 6 or a?
6
Let o = 8 + 1. Which is bigger: 8 or o?
o
Suppose -2*h = 3*h. Let w = 30 + -30. Is w > h?
False
Let s = 5.5 + -6. Let a = s - -0.6. Is 3 at most as big as a?
False
Let n(w) = w + 8. Let k be n(-8). Are 12/19 and k nonequal?
True
Let i be 9*(-25)/15 - (-5 + 1). Is i at most -12?
False
Let k = 101 - 83. Is k greater than -0.3?
True
Suppose -t - 6 = u - 1, u - t = -7. Do u and -4 have different values?
True
Let o = -7 - -7.4. Let n = 0.3 + -0.1. Let k = o - n. Which is smaller: -2/11 or k?
-2/11
Let h = -5 + 4. Let b be 0*2*(-3)/6. Let r be 0/4*(b + 1). Which is smaller: r or h?
h
Suppose m = -888 - 2958. Let p be m/(-54) + 4/(-18). Let v = -352/5 + p. Which is smaller: 1 or v?
v
Let o(g) = g + 11. Let m be o(-11). Is 4/13 at least m?
True
Let w = 2.03 - 0.03. Does -1 = w?
False
Let p(o) = -o**3 + 15*o**2 + 15*o + 14. Let d be p(16). Let z = 4 + -1. Let s = d + z. Which is bigger: s or -2?
s
Suppose -8 = -5*n + n. Which is greater: n or 0?
n
Let j = -170 - -170.18. Which is bigger: -0.3 or j?
j
Suppose 0*n = 4*n. Suppose n*q = -3*q - 3. Is 2/9 > q?
True
Let k = -39 - -35. Is k less than or equal to 2?
True
Let w be 1/(-3)*(-1 + 1). Suppose 2*h + 4 - 8 = w. Is 1/2 less than h?
True
Let p(t) be the second derivative of -t**5/20 + t**4/12 - t**3/6 - 5*t**2/2 - t. Let y be p(0). Let j(z) = -z**3 - 6*z**2 - 4*z + 2. Let s be j(y). Is -2 <= s?
False
Let l be (3 + (-38)/12)*-2. Which is smaller: -14 or l?
-14
Let u be -12 - 344/(-28) - (-4)/(-63). Suppose -q + 15 = 4*h, 2*h = 2*q - 0*q + 10. Is u greater than q?
True
Suppose -m - 2*v + 6 = 0, 3*m + 4*v = -m + 16. Which is smaller: -1/3 or m?
-1/3
Let m be (-9)/(-36) - (-290)/(-8). Which is smaller: -37 or m?
-37
Let g be 60/18 + (-6)/(-9). Is -1 >= g?
False
Let t = -40.5 + 40. Do 0.3 and t have different values?
True
Let i(r) = r - 1. Let h be i(1). Let y be (0 - h) + (-3)/9. Which is smaller: y or -1?
-1
Let y(g) = 2*g**2 + g - 15. Let u(v) = v**2 - 8. Let r(t) = -7*u(t) + 3*y(t). Let f be r(5). Which is smaller: 2/47 or f?
2/47
Let b = -1/135 - 16/27. Let x(q) = -q - 4. Let v = -7 + 4. Let d be x(v). Is b <= d?
False
Suppose -4*b + 5*g + 130 = b, 0 = -4*b - 2*g + 98. Let y = b - 26. Is 1 at most as big as y?
False
Let d = -0.8 + 1. Let h be -1 + -1 - 18/(-8). Which is greater: d or h?
h
Let r be 4 - (-3 + -2 - -4). Is 0 > r?
False
Suppose 2*o = 5*r - 0*o - 115, r = -o + 30. Suppose -4*x + 3*t - 15 = 0, 0*t - r = -4*x - 5*t. Suppose -u + 3*u = x. Is u bigger than 2?
False
Suppose -5 - 7 = -4*w. Suppose 0 = 4*v + 3*g - 0*g + w, 2*v - 5*g = 5. Let b = -96 - -478/5. Which is greater: b or v?
v
Suppose -3*c - 3 = 2*s + 3, 5*c = -4*s - 12. Let q be (2 + -26)/(-4) + -4. Let t be q + -2 + -1 + 2. Is t > c?
True
Let t = 57 - 5873/103. Is -1 greater than t?
False
Suppose 3*f = -5*w + 34, -f - 3*w - 34 = -6*f. Suppose f*b = 6*b. Does 2/17 = b?
False
Suppose -2*f - 9 - 1 = 2*l, -5*f - 13 = 3*l. Let r = -5 - l. Which is smaller: -2/17 or r?
-2/17
Let m(p) = p**2 - 18*p - 22. Let h be m(19). Let f be (4/(-6))/(2/12). Is h > f?
True
Let f = -0.2 + 0. Let v = 0.1 + f. Let m = -51/5 - -551/55. Is m not equal to v?
True
Let s = -7 - -10. Suppose -6 + 3 = l, f + 10 = -s*l. Is -1 greater than or equal to f?
True
Suppose w - 11 = 2*j, -2*j = 2*w + 2*j + 18. Is -0.17 <= w?
True
Let j = 0.11 + 0.19. Which is smaller: j or 10/3?
j
Let i be (-15)/20 + (-3)/12. Is 1 smaller than i?
False
Let s be -86*(-14)/(-10) - -1. Let y(k) = -k**3 - 3*k**2 - k + 5. Let b be y(-6). Let a = b + s. Which is greater: a or 1?
1
Let o(m) be the third derivative of 0 - 1/20*m**5 + 1/24*m**4 + 1/120*m**6 + 0*m - 1/3*m**3 + m**2. Let l be o(3). Which is greater: 2/3 or l?
l
Let k = -45 - -46. Which is greater: 12/11 or k?
12/11
Let g = 0.6 - 0.7. Is g smaller than 17/3?
True
Suppose -2*s - 3 = s. Let q = 0 + 16. Let w be (-4)/(-9) - q/72. Which is smaller: w or s?
s
Let k be 5 + (0 - 3)*(-1)/(-1). Is 1/2 