 2*h**2 + 5*h - 3. Let g be i(-4). Is g at least as big as t?
True
Let u = -17 - -18. Is u at most as big as 1/9?
False
Let c = 7.8 - 7. Let s = -0.2 - c. Let d = -3 + 2.9. Which is smaller: s or d?
s
Let v = -9 - -4. Let b be v*(-1)/3 - 1. Do 2 and b have different values?
True
Let l be 4/6*2/(-6). Let a be (-2)/(-7) + (-22)/28. Is l not equal to a?
True
Let m(g) = -g + 14. Let a be m(11). Is a < 3?
False
Let z = -4.8 - -3.8. Do -2.5 and z have the same value?
False
Let k(l) be the third derivative of -l**5/60 + l**4/3 + l**3/6 - 4*l**2. Let a = -5 - -13. Let n be k(a). Do 1 and n have the same value?
True
Let k(i) = -2*i - 6. Let t = -2 - 3. Let u be k(t). Which is greater: u or 3?
u
Suppose 5*l + 6 = 4*a, 0 = -5*a + 20. Suppose l*u + v = -9, 0 = -2*u + 3*v - 6 + 1. Is u at most as big as -5?
False
Let y(z) = -z**3 + 10*z**2 + 11*z + 8. Let o be y(10). Let c = -1296/11 + o. Does c = 1?
False
Let i = -4 + 7. Suppose 4*b + 8 = -2*p + 6*p, 3*b + 24 = -3*p. Are p and i equal?
False
Suppose 3*c - 3*n - 15 = 0, -2*c - n + 1 = -3. Which is smaller: 18/11 or c?
18/11
Let y(a) = -a**3 - 2*a**2 - 3*a - 1. Let j be y(-2). Suppose -3*x + 4*x - 7 = -g, -5 = 5*x - j*g. Suppose -x = -0*v - 3*v. Do -1 and v have the same value?
False
Let b(t) = -t**3 - 6*t**2 + t + 4. Let d be b(-6). Let i = d + -3. Suppose -3*a = a - s + 15, 13 = -2*a - 5*s. Which is bigger: i or a?
a
Let v = 69 + -75. Is v less than -2?
True
Let m = 131 + -112. Which is smaller: 17 or m?
17
Suppose -21 = -c - 3*t - 6, t = -4*c + 5. Suppose -2*g - 5 + 13 = c. Is 3 at most as big as g?
True
Let t(h) = -h + 1. Let r be t(3). Let b be ((-105)/(-6))/(1/r). Let p be 10/b - (-75)/189. Which is smaller: p or 0?
0
Let j = -0.5 - 0.1. Let y = 0.4 + j. Let k = -0.2 - y. Which is bigger: k or -2/9?
k
Suppose 3*q + 2*f = 2, 0 = q - 2*f - 4 - 2. Let l be (3/(-15))/(q/2). Is l equal to -1?
False
Let h(k) = k**2 - 19*k - 47. Let b be h(21). Let g be (1*-1)/(3/15). Is g greater than b?
False
Let p be (-4)/18 - (-5)/9. Let x = -105.9 - -113. Let l = x - 7. Is p at least as big as l?
True
Let b(v) = -v - 1. Let q be b(-1). Suppose 2*m - 7 - 3 = q. Which is greater: m or 4?
m
Let o = -4 + 1.4. Let i = -5 - -5.4. Let z = i - o. Which is bigger: z or -2/5?
z
Let f be 83/(-85) + 1 + 0/2. Is f bigger than 1?
False
Suppose -2*m = -0*m - 6. Let p = -13 + 15. Suppose y + p*y = m. Do 1/6 and y have different values?
True
Let z be 2/3 - 40/24. Is -1/12 < z?
False
Let q(t) = -3*t + 2. Let j be (-2)/3*3/(-2). Let p be q(j). Are p and -2/15 equal?
False
Let z be -4 - 2 - -4 - (8 - 2). Is -9 at least z?
False
Let n = 2895/2 - 912071/630. Let x = 2/63 + n. Let c be 8/20*10/8. Which is greater: x or c?
c
Let k(x) = x**2 + 5*x - 1. Let b be k(-7). Which is smaller: -2 or b?
-2
Let d = 6 + -7. Let s be (d - 0)/(3 - 4). Is 2 >= s?
True
Let k = -13 - -13. Is k <= 0.4?
True
Suppose 4*x + 7*d + 253 = 2*d, 3*d - 99 = 2*x. Is -56 greater than x?
True
Let g be -2 + (1 - (-3 + 5)) + 9. Let h(z) = z**3 - 3*z**2 + 2*z + 3. Let x be h(3). Let v = g - x. Which is greater: v or -4?
v
Suppose -11*u = -7*u. Let p be (0/1 + 1)/12. Which is bigger: u or p?
p
Suppose -3*r - 3*a = 63, r - 3*a + 52 = -r. Let x = 22 + r. Is x less than or equal to 2?
True
Let w = 1 + -2. Let c = 4 - 5. Are c and w equal?
True
Let m = -3 + 6. Is 33/8 smaller than m?
False
Let c be (-10)/(-4)*(-16)/(-20). Suppose -f - 4 = 0, -2*f = -0*a + 2*a + c. Is a greater than or equal to 5/2?
True
Let o = 0.1 + -0.2. Let r = 14.348 - 0.148. Let l = -14 + r. Which is smaller: o or l?
o
Suppose -2*t = t - 6. Suppose -t*m = 5*j + 35, 5*j = j - 4*m - 40. Is j at least as big as -4?
False
Suppose -n + 2 = -4. Let s be ((-4)/n)/(2/(-3)). Let c be 6/12 - 45/66. Is s > c?
True
Let p be (-315)/506 + (-2)/4. Let c = p - -30/23. Let n(o) = -o**3 + o**2 - 2*o + 1. Let s be n(1). Does c = s?
False
Let u = 0 - 15. Let j be u/(-2)*(-5)/50. Which is smaller: j or -1?
-1
Suppose 0 = 3*k - 9, -2*k + 6 = -3*i + 7*i. Let b be ((-4)/(-6) - i)/(-1). Suppose h + 0*l + 16 = -4*l, 5*l + 20 = 3*h. Is h bigger than b?
True
Let u = -3 - 5. Let c be 3 - -2*11/u. Is c < -3/8?
False
Let u = 17216538 - 1738895493/101. Let o = u + 249. Let y = 279/404 - o. Which is smaller: 0 or y?
0
Let l = -25 - -67. Suppose -12*q = -10*q + l. Is q bigger than -22?
True
Let b = 6.6 + -0.6. Let f = 6 - b. Which is bigger: f or -0.1?
f
Let u(l) = -l**2 + l + 4*l**2 - 5*l**2 + 1 - 2*l. Let s be u(1). Is -3 bigger than s?
False
Let r = -0.2 + 0.2. Let q = r - -0.1. Let p = -8 + 5. Is q < p?
False
Let w(u) = u**3 + 10*u**2 + 9*u + 6. Let z be w(-9). Let y(o) = -o**2 + 5*o + 6. Let c be y(z). Which is bigger: c or 3/5?
3/5
Let u = -11 + 11. Let z be (21/(-6) - -3)*u. Do z and 1 have different values?
True
Let o = -15/44 - -12/11. Let a = 2.01 - 0.01. Which is smaller: o or a?
o
Let r = -9 - -8. Let f = 10 + -15. Is r at most as big as f?
False
Suppose 3*v - 5 = -m, 0*v - 2*v + m = -10. Let f be -3 - 3/(v/(-13)). Is f < 10?
False
Let y be 42/(-8) - 27/36. Is y < -4?
True
Let j(h) = 7*h + 3. Let k be j(9). Suppose 7*u + k = u. Is 0 not equal to u?
True
Let c = 84 - 24. Suppose p + c = 6*p + t, -5*p + 5*t + 60 = 0. Suppose 0 = -2*g - u - p, u = 5*g + 23. Which is bigger: -1 or g?
-1
Let h(u) = u + 19. Let g be h(-17). Let i be 2/2 + 0/1. Suppose -q - i = -g. Which is smaller: -1/12 or q?
-1/12
Let c be (3 - 0) + (0 - -1). Let i = c - 3. Is i equal to 1/10?
False
Let u(n) = -3*n**2 - 1 + 2*n**2 - 2*n - n - 4*n. Let v be 3/(-6)*(-28)/(-2). Let t be u(v). Which is bigger: -1/6 or t?
-1/6
Let z be (-2)/9 + (-342)/(-81). Let n be (-2 + 0)/((-1)/1). Suppose -z = n*a - 0. Which is smaller: -1 or a?
a
Let p = 53.107 + -30.114. Let x = -0.007 - p. Is x bigger than 0?
False
Let k = -28/13 + 745/364. Which is greater: k or 1?
1
Suppose j + 15 = -2*j. Suppose -5*w + 3*p - 36 = 0, 5*w + 26 = w + p. Which is smaller: w or j?
w
Let k(y) = y**3 - 3*y**2 - 3*y - 5. Let f be k(4). Let s be -22*(3 + (-19)/2). Let r = -998/7 + s. Which is smaller: f or r?
f
Let f = -73/4 - -18. Which is smaller: 0 or f?
f
Suppose 4*i = -0*i - 4*j - 20, 2*i + 8 = -j. Let a be (1 + i)*(-1)/(-6). Does 0 = a?
False
Let r be 0/(5/(20/8)). Let l = 4823/114 - -1/38. Let n = l - 42. Which is greater: r or n?
n
Let o be 2/(-132) - (-3)/18. Which is smaller: 1 or o?
o
Suppose 7*k + 604 = 163. Which is smaller: -1 or k?
k
Let g = 0 - 2. Suppose -5*u + 20 = -3*u. Let r be 6/u*g/(-3). Is 0.2 bigger than r?
False
Let p = -2.5 + 6. Let q = p - 4. Are q and 2 equal?
False
Let d = 18.17 + -0.17. Let a = -20.1 + d. Let c = a + 0.1. Which is smaller: c or -1?
c
Let y(u) = -3*u + 16. Let t = 9 - 4. Let n be y(t). Is n smaller than -1/7?
False
Let y(s) = -s**3 + 5*s**2 + 7*s - 2. Let j be y(6). Suppose 5*b - 5*l + l = j, -l = b - 8. Suppose -3*r + 5 = 3*f + r, -f + b = -r. Which is greater: 2 or f?
f
Let n be (-2*3)/((-3)/4). Suppose 0 = 4*f - 2*j + 4*j + n, 0 = 5*f + 3*j + 9. Which is greater: -1 or f?
-1
Let d be 6/(-9)*162/8. Let j = 14 + d. Which is bigger: 1 or j?
1
Suppose 2*f + 1 = -1. Suppose 0 = 3*x - 2*m, -4*x - 2 = -2*m - 0. Let d = f - x. Does 1/6 = d?
False
Let p = -14 - -7. Which is greater: p or 1/3?
1/3
Let q = 1.7 - 15.7. Let n = q + 15. Is 0.1 not equal to n?
True
Let r be 2 + 5 + 3/(-1). Suppose 4*g - 5*y + 7 = 0, 0 = -3*g + r*y - 1 - 4. Which is bigger: -2 or g?
-2
Let r = 116.9 - 117. Is r at least as big as 0.93?
False
Suppose 4*d + v + 17 = 0, -2*d + 3*v = -2*v + 3. Which is smaller: -14/5 or d?
d
Let t = 285 + -549/2. Suppose -22*f + 44 = -18*f. Which is greater: t or f?
f
Let p be ((-4)/(-2))/((-12)/(-18)). Suppose -p*z = -4*z + 3. Let j = -123/2 - -64. Which is smaller: j or z?
j
Let g(k) = -k**3 - 5*k**2 + 8*k + 9. Let q be g(-6). Does q = 5?
False
Suppose a = 4 - 3. Which is bigger: a or -2/7?
a
Let g = 7 - 5. Let o be (1 - 1) + g/(-7). Let c = -2 - -2.2. Which is smaller: c or o?
o
Suppose 3*b - 2*w = 1, -2*b = -3*b - 5*w + 6. Let q = 12.98 + 0.02. Let y = 9 - q. Is y <= b?
True
Suppose 0 = 5*b - 5 - 10. Suppose k = 3*k + 2. Let s be k*1/2*-8. Are b and s unequal?
True
Suppose 5*f + 34 = -4*i, 8*f - 3*f = -5*i - 40. Let o = -2 - 4. Is i at most o?
True
Suppose 0 = -8*b + 7*b - 69. Is -69 < b?
False
Let k = 0.13 - -0.27. Let n = 2 + -2. Is k not equal to 