 + r + 3. Let f be v(0). Which is smaller: f or 1?
1
Let l = 23 - 22. Is l smaller than 2/45?
False
Let t(f) = f**3 - 1. Let m be t(1). Which is greater: 1/5 or m?
1/5
Let j be 29/2 - (-6)/4. Is 15 < j?
True
Let v = -34 + 31. Is v not equal to -3?
False
Let f = 12962/189449 + -2/3211. Which is bigger: -1 or f?
f
Let a = -0.06 - -0.07. Which is bigger: 0 or a?
a
Let f be -1 + 3 - (-41)/3. Let o = f + -145/9. Is o not equal to 1?
True
Suppose 2*l = -3*r + 1 - 3, -5*l - 4*r - 5 = 0. Which is smaller: l or 0?
l
Let d = 77 + -113. Is d at most -36?
True
Let v = -0.01 - 1.99. Let d = 0.03 - -0.27. Let l = 0.5 - d. Is l at most as big as v?
False
Let p = -64/5 + 13. Are p and -1/3 nonequal?
True
Suppose 0 = -3*f + 3 + 3. Let j = f + 2. Suppose -3*z + 5*h = -3 + 1, -5*z = 4*h - 28. Is z equal to j?
True
Let o = -27 - -40. Let m = 8 - o. Do -4 and m have the same value?
False
Let v = -944 + 74577/79. Is v > -1?
True
Let i = 5 - 5. Is 2/35 not equal to i?
True
Let h = 3 + 4. Suppose 4*f - 6 = 3*f. Do h and f have different values?
True
Let g(n) = -n**3 - 5*n**2 + 5*n - 3. Let l be g(-6). Is 2 >= l?
False
Let f(d) = -d**3 + 2*d**2 + 1. Let s be f(2). Suppose 0*i = i - s. Let t = 33 - 33. Is t less than or equal to i?
True
Let y = 115.9 + -116. Let z = 76 + -534/7. Which is greater: y or z?
y
Suppose -21 = -5*u - 6. Suppose -3*m + u = -0. Let c be 0/m - (-2)/8. Is -4 at most c?
True
Let d = -0.646 - 0.164. Let j = -0.7 - d. Which is smaller: j or 1?
j
Let b(n) = -4*n - 1. Let y be b(-2). Suppose -4*g - 3 = -y. Let l be (-3)/(-39)*(-4)/(-2). Which is bigger: g or l?
g
Let x(k) = -2*k + 35. Let b be x(22). Do -9 and b have different values?
False
Let b(d) = -7*d**3 + 2*d**2 - 3*d + 2. Let s be b(1). Which is greater: -5 or s?
-5
Let d be 2*2 - (-3)/(-3). Suppose -15 = -d*v - 2*v. Suppose -v*q = -4*q. Which is greater: -2/3 or q?
q
Let d(a) = -a**3 - 2*a**2 + a + 2. Let x be d(-2). Let h = -60 - -61. Is x >= h?
False
Let v(q) = -3*q - 3. Let w be v(-2). Suppose 21 = 2*n + w*a, -n + 3*a = a + 7. Which is smaller: 2 or n?
2
Let g = -0.05 - -7.05. Let z = g + -8. Is z > -0.2?
False
Let u = 7 - 4. Let g = -2 - u. Is g at least as big as -1/3?
False
Let t(c) = -c - 4. Let k be t(0). Let m = 6 + k. Let q = -22 - -22. Which is smaller: q or m?
q
Let v be (-2)/(-8) - (-6)/8. Let u be (404/52)/((-23)/2). Let p = 12/23 + u. Is p bigger than v?
False
Let y be (-21)/(-35) - ((-18)/15)/3. Which is smaller: 56 or y?
y
Let q(n) = -n**2 - n - 6. Let j be q(0). Let d = j + 14. Suppose f - 2 + 6 = 3*o, d = 5*o - 2*f. Which is smaller: o or 1/2?
o
Let b = 37 - 36. Is 17 at least b?
True
Let x = -5 + -2. Is -4 at most x?
False
Let j = -1372263063/2982617 - 5/129679. Let m = j - -460. Is -1 at least as big as m?
False
Let v be (-2)/1 - (-3408)/1698. Which is smaller: v or -1?
-1
Let b = 0.04 + 0.11. Let g = b - 0.05. Let f be 1*1/5*2. Do f and g have the same value?
False
Let p = 1710965 + -1688722744/987. Let h be ((-6)/846)/((-2)/2). Let v = h + p. Which is bigger: -0.2 or v?
-0.2
Suppose 0 = -3*v + 5*v - 70. Which is smaller: v or 0?
0
Suppose 3*p - 391 = 5*a, -5*a - 415 = 7*p - 2*p. Does a = -79?
False
Let i(k) = k**2 + 2*k + 3. Let v be i(-3). Suppose -3*x = 5*h - 82, v*h = -5*x + 3*h + 110. Is x less than 19?
False
Let v be 1 + (-4 - -5)*-1. Let k = 38 + -155/4. Is k <= v?
True
Let n = -5380/201201 + 2/2613. Is -1 less than or equal to n?
True
Let m = -83 - -95. Let q be -2*1/(-2) + 10. Which is smaller: q or m?
q
Let j(w) = -w**2 + 6*w - 14. Let b be j(6). Which is smaller: -13 or b?
b
Let u = 14/15 - 11/10. Let r = 1 - 1. Which is bigger: r or u?
r
Let j(d) = -d**2 + 8*d. Let v be j(6). Let l be 4/v + 0 + -1. Is l > 0?
False
Let w be (-210)/28 - 3/(-2). Let n(m) = m**2 - 4*m - 2. Let p be n(6). Let v = -39/4 + p. Which is smaller: w or v?
w
Let j be (-7)/(-3)*(-3 - 0). Let q(l) = -l**2 - 7*l + 2. Let y be q(j). Let f be 20/(-16) + (-3)/(-2). Which is smaller: f or y?
f
Let f(h) = -h**3 + 11*h**2 - 9*h - 5. Let y be f(10). Let a(l) = 2*l + 1. Let z be a(1). Which is smaller: y or z?
z
Let i = 13 + -12. Which is bigger: i or 16?
16
Let n(w) = 4*w + 20. Let s be n(-3). Which is smaller: 31/4 or s?
31/4
Let f be ((-24)/(-10))/((-10)/(-25)). Suppose -100 = d - f*d. Let s be (-4)/(-5) - 8/d. Which is bigger: -7 or s?
s
Suppose q + 3*q = -n + 4, -5*n - 10 = 5*q. Suppose 8*g - 3*g = -10. Let y be (-3 - -2)/q - g. Which is bigger: -1 or y?
y
Let q = 0 + 0. Let m = -34 + 167. Let w be 6/(-21) + 52/m. Which is smaller: w or q?
q
Let i = -310618 + 350998443/1130. Let o = i + 1/113. Which is smaller: o or -1?
-1
Let a(l) = -l**3 + 9*l**2 + 12*l - 15. Suppose d = -c - d, d - 25 = -3*c. Let p be a(c). Suppose -5*t = k - 16, -3*k + p*t = 14 + 18. Which is smaller: k or -5?
-5
Suppose 6 = 4*j + 18. Let v be (j + 2)*1/2. Is 0 greater than or equal to v?
True
Let k(b) = b**3 + 5*b**2 + 2*b - 6. Let z be k(-6). Which is bigger: z or -55?
z
Let p be 438/(-10) + (-1 - -2). Let b = 151 + -108. Let m = p + b. Which is bigger: m or -1?
m
Suppose 2*w + a + 4*a = -1, 3 = 4*w + 5*a. Suppose -y = -0 + 3, 6 = w*i - 2*y. Is 4/5 smaller than i?
False
Let x be ((-417)/105 - -4)*-293. Let f = 60/7 + x. Which is bigger: 1 or f?
1
Let n be 10 + -6 - (1 - -11). Let s be (-38)/(-10) + (n - -4). Let t = -1 + 1. Which is greater: s or t?
t
Let u be (-2)/(-5)*(-50)/70. Which is greater: 0 or u?
0
Let f = -0.63 - -0.6. Let g = f + -0.27. Which is greater: -2 or g?
g
Let x(t) be the first derivative of -t**2/2 + 7*t + 4. Let k be x(6). Is k at least 1/2?
True
Let y(a) be the third derivative of a**4/24 + 4*a**3/3 - 2*a**2. Let g be y(-8). Suppose 9 = 3*s - g. Is s at least as big as 4?
False
Let w = 18 + -18. Is -15/13 not equal to w?
True
Suppose 0 = -w - 8*v + 5*v - 7, 0 = -5*w - v + 7. Let l(u) = 2 - 3 + 0 - w*u. Let g be l(1). Which is bigger: g or -2?
-2
Let i = -18 - -14. Let f = -15 - i. Is f != -11?
False
Suppose 6*g - 18 = 3*g. Is 6 >= g?
True
Suppose -96 = -2*w + 24. Suppose -4*b + w = -40. Suppose 5*t + 4*m = -b, -m + 1 - 6 = 0. Is 2/9 bigger than t?
True
Suppose 0 = -4*l + 2 + 2. Suppose 4*s + l - 5 = 0. Is 1/4 > s?
False
Let s be ((-10)/(-220))/((-5)/4). Which is smaller: -1 or s?
-1
Let b = 11 - 16. Let j(c) = -c**2 - 6*c - 4. Let t be j(b). Let r be (-2)/((-8)/14) - 3. Which is smaller: t or r?
r
Let d(x) = -x**2 - 6*x + 1. Let h be d(-6). Which is bigger: h or -2/17?
h
Suppose s - 2*n - 16 = -5*n, 0 = -4*s + n - 1. Let o be -2*(s/(-2) - 1). Suppose w + o*q - 18 = 0, 2*q - 8 = -2*w + 8. Is 4 not equal to w?
True
Let n = -65 - -974/15. Is -1 less than n?
True
Let g = -30/13 - -322/117. Which is smaller: g or -1?
-1
Let b = 5 - 5. Suppose b*s = 3*s. Let y = -1/1499 - 2969/43471. Is s > y?
True
Let j = -11 - -11. Is 1/4 at least as big as j?
True
Let v = 104 + -55. Suppose -4*x + 11 + v = 5*o, 4*x = 5*o - 20. Is 9 >= o?
True
Let y = -12 - -7. Suppose 5*s + 3 = -17, 0 = -t - 2*s - 10. Let j be (2 - (-6)/t)*5. Does y = j?
True
Suppose -34*d - 12 = -30*d. Suppose -t = -4*v - 6, 0 = 3*v + 2*v - 4*t + 2. Let n be 4/6*(1 - v). Is d greater than or equal to n?
False
Suppose 5*o + 2*a = -68, 2*a = o + 17 - 1. Which is smaller: -15 or o?
-15
Suppose -3 = -5*w + 22. Is w at most as big as 7?
True
Suppose 18*y + 465 = 3*y. Is y < -1?
True
Let w = 5 - 15. Let t = 6 + w. Let v(b) = -b + 4. Let z be v(7). Which is smaller: z or t?
t
Let f = 197 + -1377/7. Is f greater than 16?
False
Suppose 0*q - 4*q + 16 = 4*a, 0 = 3*q + 5*a - 20. Suppose q = 2*h + 3*h - 10. Let j = h + -1. Is 2/11 equal to j?
False
Let u(i) = 8*i**2 - i + 1. Let x be u(1). Let s be ((-36)/x)/(-1)*-2. Is -9 > s?
False
Let f(o) = -o**3 - o**2 - 1. Let h(v) = -4*v**3 - v**2 - 2*v. Let d(u) = -3*f(u) + h(u). Let x be d(2). Which is smaller: 2/9 or x?
x
Let d = -38 + 40.1. Let i = 2.2 - d. Is -2/9 <= i?
True
Let o be 2*1 + 21/(-7). Let w be -2 - (o + (-32)/10). Which is smaller: 1 or w?
1
Let h = -14 - -6. Let y(m) = m**2 + 7*m - 4. Let p be y(h). Suppose 3*q - p = 7*q. Which is bigger: 1/4 or q?
1/4
Suppose -k - 2*j + 0*j = 5, 3*k - 3 = 3*j. Let f = k - -2/3. Is 3 >= f?
True
Let n(i) = -i**2 - 7*i + 6. Let x be n(-7). Suppose 0 = 3*w - 3 - 0. Let o be w - 1 - x/(-21). Is -0.1 at most as big as o?
True
Let p = 13 - 19. Let v be (2/6)/((-2)/p). Le