. Let h be q(-5). Let t(p) = p**3 - 6*p**2 - 5. Let y be t(6). Let j = h + y. Do j and 2 have the same value?
False
Let p(k) = 3*k**2 + 8*k - 4. Let f be p(-3). Let z(y) = y**3 + 4*y**2 + 4*y + 2. Let d be z(-3). Is f <= d?
True
Let j = 68 + -65. Is 25/7 at least j?
True
Let q(l) = l + 2*l**2 + 2*l - 1 - l**2 + 0*l**2. Let f be q(-3). Is -1/5 > f?
True
Suppose 2*q + 8 = -6*q. Which is smaller: q or -2/15?
q
Let g be 7/5 - (48/20 - 2). Which is greater: -1/3 or g?
g
Let f be (-4)/8*(72/28)/(-3). Which is bigger: f or -1?
f
Suppose 25 = -4*g - 3. Suppose 1 = -3*z - 20. Do g and z have different values?
False
Let h(x) = -4*x + 4. Let l be h(-4). Suppose -5*a = -4*a - l. Suppose -4*p = p + a. Which is bigger: p or -2?
-2
Let n = -97.77 - -112.9. Let h = n - 15. Is h at least 0.1?
True
Suppose l - 2 = -0. Suppose c - 3*c - 2 = 2*g, 0 = 4*g - 2*c - l. Is g at most as big as 2?
True
Suppose 0 = 3*x - 6*x + 3, -x - 31 = -4*p. Which is smaller: 4 or p?
4
Let d = 41789/4 - 10380. Suppose 3*t - 3*i = 201, 5*i + 0 - 345 = -5*t. Let s = d - t. Which is smaller: s or -1?
-1
Suppose -3*n + 0*v + 4*v = 0, 4*n - v - 13 = 0. Suppose -n*l = 3*m - 16, -4*m = 2*l + l - 19. Is -2/9 != l?
True
Let a(l) = -3*l**3 + l. Let r be ((-1)/(-4))/(4/80). Suppose -r = 2*d + 3*d. Let k be a(d). Is k greater than 3/4?
True
Let b = 17 - 13. Which is smaller: b or 1?
1
Suppose 0 = 4*v + 3*d + 13, 4*d + 14 = -v - v. Which is smaller: -3 or v?
-3
Let z = -0.1 + 0.2. Suppose t = 2*r - 43, 4*t + r + 109 = -18. Let y = -65/2 - t. Which is smaller: y or z?
z
Let h = -73 - -75. Is h at most as big as -7?
False
Let s = 110 + -78. Which is bigger: 2 or s?
s
Suppose 2*k + 30 = 46. Are k and -3 equal?
False
Let n = 4 - 5. Let o = n - 2. Is o equal to -1?
False
Let w = 10 + -6. Suppose w*f = 3*a - 19, f + 11 = -5*a - 3*f. Let p = -1/2 + 1. Which is bigger: a or p?
a
Suppose 0*f - 4*f + 4*i = 0, -5*f + 8 = 3*i. Is 3/101 bigger than f?
False
Let w = -1.5 - -0.5. Let q = w + 0.9. Let n = -0.2 - q. Is 0.1 bigger than n?
True
Suppose -s + 4*d = 11, s - 2*d + 3 = -2*s. Let o = 1 + s. Is 8/3 smaller than o?
False
Let v(z) = 3*z - 40. Let t be v(23). Is t at least as big as 30?
False
Let t(f) = f - 4. Let k be t(8). Let q be (-18)/4*(-4)/6. Suppose 0 = q*s + s - 20. Which is smaller: k or s?
k
Let j = -0.77 + -0.21. Let v = j - 0.02. Which is bigger: 3 or v?
3
Let u be (-2)/4*(13 + -13). Is u greater than or equal to 1?
False
Let h = 21 - 2. Is h less than 19?
False
Let c(b) = b**2 - b. Suppose -1 = 3*k + 2. Let h be c(k). Which is bigger: h or 0?
h
Let t be (4/5)/((-4)/(-20)). Suppose 0 = -t*i - 3*b + 23, -i + 4*b - 2*b + 3 = 0. Suppose -11 = 5*l + 3*n, -3*n + 5 = i*l - 8*n. Which is smaller: l or -3?
-3
Let x be (-2 - -1)/(33/((-2)/2)). Which is bigger: x or -1?
x
Suppose 0 = 2*j + 4 - 2. Let a(f) = -5*f**2 - 28*f + 7. Let b(y) = y**2 + 7*y - 2. Let u(l) = -2*a(l) - 9*b(l). Let w be u(6). Does w = j?
False
Let y(k) = k**2 + 4*k + 2. Let q be y(-4). Let i(o) = 2*o + 4*o + 7*o**2 + 3*o**3 - q*o**3 - 1. Let n be i(-6). Which is smaller: -1/5 or n?
n
Let s = 1187 - 39175/33. Which is smaller: -1/3 or s?
-1/3
Suppose -4*j = -q + 14, 0 = 5*j + 6 + 4. Let x be (-3)/q + (-10)/(-36). Suppose -12*v + 13*v + 5 = 0, 4*o - v - 9 = 0. Which is bigger: o or x?
o
Let k be (-2)/(-4) - (-30)/(-44). Let f = 2 - -1. Is k smaller than f?
True
Let n = -2.4 - 15.8. Let d = n + 18. Which is bigger: d or -0.1?
-0.1
Let d be 163/15 + (-6)/(-45). Is 19/2 >= d?
False
Let f be 1/(-113)*(-7 + 8). Let l = 459/791 + f. Which is smaller: l or 1?
l
Suppose t = 3*t + 3*y - 4, 3*t - 5*y - 25 = 0. Suppose t*n - 15 = 10, -5*n + 25 = -5*g. Which is greater: g or 1/17?
1/17
Let s = -10/11 + 59/77. Which is smaller: s or 0?
s
Let h = 1095/8 - 137. Is h greater than 0.16?
False
Let s(a) = a**2 - 12*a - 10. Let m be s(13). Are -4/3 and m non-equal?
True
Suppose -5*m = -8 - 2. Suppose 2*f - 10 = -3*f. Is f smaller than m?
False
Let h = 65 + -43. Is h less than or equal to 21?
False
Let y(q) = -q**3 + 6*q**2 - 6*q - 1. Let p be 2*(-3)/(-12)*0. Suppose 7 = -l + 4*g - p*g, -3*g + 4 = -l. Let r be y(l). Which is bigger: 0.1 or r?
0.1
Let l(q) = q - 6. Let a be l(7). Let n be 0 - (-2)/2*a. Do -1 and n have the same value?
False
Let l(q) = q**2 - 3*q + 3. Let x be l(2). Let c = 3419/17 + -201. Are c and x nonequal?
True
Let d = -39.4 - -39. Is 3/7 at least as big as d?
True
Let y(j) be the second derivative of -j**3/6 - 5*j**2/2 - j. Suppose -4*u = 23 - 3. Let a be y(u). Is 2/9 bigger than a?
True
Let d be (-79)/(-7) + 6/(-21). Let w be d/3 + 4/(-6). Let y be (w + -3)/(0 + 2). Is 2/7 greater than or equal to y?
True
Let j(s) = -2*s**2 + s + 5. Let k be j(0). Suppose -4*y - 9 = -k. Which is bigger: -5/7 or y?
-5/7
Suppose -t - 5*t - 6 = 0. Suppose -y - 2*f = -5*y + 24, 4*y - 10 = -5*f. Is t at most y?
True
Suppose 0 = -2*x + k - 75, 51 = -x - 2*k - 2*k. Is -39 greater than or equal to x?
True
Let d be (-3)/9 - (-10138)/(-51). Let h = 199 + d. Is h greater than or equal to 1?
False
Suppose 5*u - 2*t - 24 = -3*t, -5*u + 4*t = -4. Let f(k) = -k + 3. Let s be f(6). Let o be 25/15 - 1/s. Is o smaller than u?
True
Let x(w) = w**2 - 3*w + 1. Let b be x(2). Is b >= -6/7?
False
Let l be 2/(-3) - 60/(-9). Let v be 2/l + (-14)/6. Let t = 0 + v. Which is greater: -1/2 or t?
-1/2
Let p = -33 - -34. Let y(f) = f**2 + 4*f + 3. Let m be y(-4). Let z = 5 - m. Is p bigger than z?
False
Let f = -78 - -77. Is 2/63 not equal to f?
True
Let m = 203 + -205.98. Let g = 0.02 - m. Is -3 at most as big as g?
True
Suppose -5*r = 3*g - 4 + 13, g + r + 1 = 0. Suppose -g*m - m + 23 = -2*y, -4*m + y + 24 = 0. Suppose -4*l = -m*l. Are l and 0 non-equal?
False
Let b be (-34)/17*(-1)/2. Is 2/395 at least as big as b?
False
Let r be ((-30)/(-25))/(3/10). Let f be 18/4 + r/8. Suppose -f*h + 7 = 4*o, 5*o = -4 + 19. Is 0 > h?
True
Let z = -0.24 - -0.14. Which is smaller: 2/43 or z?
z
Let j = 3 + 0. Let v = 0.6 + -2.6. Let i = v - -3. Is j < i?
False
Suppose -2*f + 2*m + 70 = 0, 3*m = f - 3*f + 75. Let q be (-8)/f - (-485)/36. Let p = q - 13. Is 1 less than p?
False
Suppose l = -3*l - 20. Let k = -16 - -12. Which is bigger: k or l?
k
Let g = 103 + -105. Is -6 at least g?
False
Let s = 2 + 2. Are s and 4 non-equal?
False
Let d(w) = w**2 - 1 + 6 - 2 + 5*w - 4. Let l be d(-5). Suppose -3*b - 16 = 3*i + i, -3*i - 19 = 4*b. Are l and i non-equal?
False
Let l = 44 - 33. Is 11 smaller than l?
False
Suppose -v + 5*v = 0. Let j = 98 - 63. Let l = 106/3 - j. Is l > v?
True
Suppose 4 = -0*h + 4*h. Suppose 5 - 3 = -2*x. Let n be 1*-2*x + -2. Which is smaller: h or n?
n
Let m = -23/5 + 43/10. Which is smaller: -1 or m?
-1
Let g = -12 + -4. Let j be g/(-132)*9/2. Which is smaller: j or 0?
0
Let q(g) = 2*g - 11. Let w be q(7). Let s be (3/(-12) + w)*-4. Is s greater than -11?
False
Let x = -22 - -2. Let r = 81/4 + x. Is 0 greater than or equal to r?
False
Let p be 14 - 1/(-3 - -2). Let z be 1 - 9/p - 2. Which is greater: z or -3?
z
Let z be 2/5 - (-36)/10. Suppose -z = -n - 3. Which is smaller: n or -2/77?
-2/77
Let k = -5 + 4. Let q = -7 + 7.02. Let m = -1.98 - q. Is m at most k?
True
Suppose 3*r - 11 = -n, r + n + n - 7 = 0. Let d be (2 - r)*(-4 - -3). Let l be (-11)/(-3) - (d - -1). Which is smaller: l or -1?
-1
Let t(u) = -u - 3. Suppose -6*c = -c - 10. Suppose c*h = -0*h - 6. Let g be t(h). Is g < 1/8?
True
Suppose 3*i - i = -14. Suppose -17*v + 40 = -22*v. Which is smaller: i or v?
v
Let w = -7416/206965 - 2/3763. Which is smaller: -1 or w?
-1
Let y be (-8 - -4)*(-3 - 4018/(-1340)). Which is bigger: y or 1?
1
Let m(h) = 2*h**2 - h + 1. Let y(c) = -c**2. Let l(g) = m(g) + 3*y(g). Let w be l(2). Let v be 2/w*(-15)/(-9). Which is bigger: -1/4 or v?
-1/4
Let j = -2 + -1. Let g = -11/5 - -7/10. Are j and g equal?
False
Let z = 19 + -21. Let o(u) = -u + 10. Let j be o(8). Let m be (j/3)/(4/(-6)). Which is smaller: z or m?
z
Let x(d) = -d**2 + d + 1. Let a be x(2). Let o(m) = m**2 - 3. Let i be o(-3). Let v = -8 + i. Which is smaller: v or a?
v
Let v = 25 + -27.4. Let k = v - -2. Is 0.1 less than k?
False
Suppose -16*a + 14*a - 2 = 0. Which is bigger: a or -2/137?
-2/137
Let o = 8 - 6. Let p = -25 - -23. Let f = p + o. Which is greater: f or -1?
f
Let n = 1.59 - 0.59. Which is smaller: 2 or n?
n
L