e
Let x be -2*(4/(-2) - -1). Suppose -3 = x*v + 3*h + 2, -v + 4*h + 14 = 0. Let p be v - (-3 - (-43)/9). Do p and 0 have the same value?
False
Let c(v) be the first derivative of 2*v**2 - 27*v - 22. Let g be c(6). Which is bigger: 5 or g?
5
Let o = 4.3 - 4. Let f be (-24)/(-4) - 4/2. Let l be -3 + ((-2)/f)/(-1). Is l at most as big as o?
True
Let n be ((-32)/48)/((-4)/6). Let i be (-10)/2*n/5. Let z = 0 - 1. Is i != z?
False
Let s(t) = -t - 22 - 24 + 33. Let y = -21 - -12. Let n be s(y). Do n and -16/3 have the same value?
False
Let o = -9 + 7. Let l(i) = 2*i**3 + 4*i**2 + 3*i. Let y be l(o). Let a be 11/(-165)*y/1. Which is smaller: a or -0.13?
-0.13
Let f(y) = -y**2 + 16*y - 51. Let l be f(13). Do l and 2 have different values?
True
Let d = -204.3 + 205. Is d != 1.9?
True
Suppose 4*z = 5*k - 434, 2*k + 239 + 287 = -5*z. Is -105 < z?
False
Let p = 11713 + -11716. Let m = 2.2 - 0.9. Let t = 0.3 - m. Which is smaller: p or t?
p
Let s(z) = -z**3 - 4*z**2 + 7*z + 6. Let p be s(-5). Let b be (p - -1) + (0 - -4). Which is bigger: b or -1?
b
Let y = 13.1 + -13. Which is bigger: -1.7 or y?
y
Let i = -42 + 41.6. Suppose 2*k = -u, -4*u - 13 + 5 = 0. Let y be (k/2)/(13/(-4)). Do i and y have different values?
True
Let t = -4 - -2. Let d = 3791 - 18943/5. Which is greater: t or d?
d
Let b = -1.8 + 1.68. Let x = -0.62 - b. Is -1/4 bigger than x?
True
Let c = -286 - -270.9. Let k = 29 + -14. Let r = c + k. Is -0.09 not equal to r?
True
Suppose 76 = 8*n + 900. Which is smaller: n or -104?
-104
Let k(o) = -2*o**2 - 5*o + 2. Let b be k(3). Is b < -31?
False
Let a = -696 - -698. Which is smaller: 3 or a?
a
Let m(v) = v - 4. Let w be m(5). Let p be 12/(-48) - (-5)/140. Which is greater: p or w?
w
Let g = 5 - -4. Let u be (g/(-2))/(12 + -297). Let v = -6/19 + u. Is v at most as big as 0?
True
Let n be (2 - (-18)/(-6))*1*1. Which is bigger: n or -122?
n
Let a(f) = -2*f + 5. Let v be a(4). Let t(l) = -l**3 + 0*l**2 - 5 - 2*l + 0*l**2 + 2. Let z be t(0). Is v > z?
False
Suppose 39 = -4*r + 35. Let v = 5 - 3. Let n be 1 - (4 - (v + r)). Is -3 at least as big as n?
False
Let m be 32/(-42) - (-2)/6. Let f be 2/10*-1 - 399/(-95). Suppose -f*l - l = -5. Which is greater: l or m?
l
Let c = -2 + 1. Let d be ((-2)/(-28))/(0 + -3). Let o = -23/42 + d. Which is bigger: c or o?
o
Let w = -190 - -190. Is -23 less than w?
True
Let u = 1.02 - 0.63. Let h = -0.09 + u. Is h not equal to 0.3?
False
Suppose 5*t - 19*s + 17*s = 1699, 3*s + 1696 = 5*t. Is 339 > t?
False
Let v = 5.6 + -8.5. Let k = -0.08 - 0.02. Let a = v + k. Which is bigger: 1 or a?
1
Let f(j) = j**3 + 5*j**2 + 2*j + 6. Let y be f(-4). Suppose 0 = -19*d + y*d. Is d greater than or equal to 18?
False
Let q(l) = l**2 - 4*l - 2. Let d be q(5). Suppose -d*t + 27 = 3*c, -5*c - 63 = -2*t - 2*t. Which is smaller: t or 13?
t
Let o(q) = -q**3 - 4*q**2 + 4*q - 4. Let u be o(-5). Suppose -3*l - 7 = 3*c - l, 5*c + 4*l = -13. Is c < u?
True
Suppose 4*i - 1 = 7. Suppose 2*y = y + 3*u + 7, i*y = u + 9. Let n be 1 + (0 - 7) + y. Is n smaller than -2?
False
Let q be (8 + 117/(-13))/((-3)/3). Are -11/61 and q nonequal?
True
Let h = 210 - 210.2. Which is smaller: -1.5 or h?
-1.5
Suppose 0 = -2*u - 3*u + 35. Let p be (-2)/(-7) + (-2)/u. Let n = p + 1. Is 1 at most as big as n?
True
Let j be 1*((11 - 6) + -2). Are j and 0 equal?
False
Let g(n) = -8*n**2 + 11*n - 6. Let i be g(4). Let u be (2/3)/((-20)/i). Suppose -u = 2*t + t. Is t at most as big as -15/8?
False
Let b = 1096.9 + -1097. Which is smaller: b or 70?
b
Let u be (-11700)/(-21) - (2 + -5 + 6). Let w = -553 + u. Which is smaller: w or 1?
1
Let y = 5.73 + -6.1. Let g be (-68)/(-17) - 208/56. Is g <= y?
False
Let t = -19/5 - -4. Suppose 0 = j - 2 - 0. Let v = j - 2. Which is smaller: t or v?
v
Suppose -3*i + 4*i - 14 = 0. Let y = i - 13. Let p be 2 + (-15)/27 - y. Which is greater: -1 or p?
p
Suppose -3*m - 43 = -820. Let y = m - 6217/24. Let x(j) = 29*j + 174. Let b be x(-6). Which is bigger: y or b?
b
Let s = -0.27 - -21.27. Let l = s - 21.1. Is 31 at least as big as l?
True
Let u(d) = 17*d + 47. Let w be u(0). Which is smaller: 91/2 or w?
91/2
Let s = 0.35 - 1.45. Let b = s + -8.9. Let j = b + 14. Which is greater: 3 or j?
j
Suppose -3*d = -4*d. Let q(z) = z**3 + 8*z**2 + 6*z + 4. Let v be q(-8). Let y be 3/(-3) - v/28. Is y at least as big as d?
True
Let n = -9 - -7. Let a = 4 + n. Let h = 125 - 125.06. Is a > h?
True
Suppose -3*s + 2*w = 25, 14 = -5*s + 4*s - 5*w. Is s at least as big as -25?
True
Let t(x) = -x**2 + 25*x + 82. Let g be t(-3). Let i = 27 + -15. Let q be (1/i)/((-2)/20). Do q and g have the same value?
False
Let p = 9.2 - 4.2. Let d = p - 3.5. Which is bigger: d or -1/2?
d
Let i(w) = -4*w**3 + w**2 + 40*w - 8*w**2 - 4 - 32*w + 3*w**3. Let a be i(-8). Let t = a + 5. Is 3 greater than t?
True
Let g = 11.6 + -11. Let a = 0.78 - g. Let f = a - 0.18. Which is smaller: f or 0.18?
f
Let g(z) = -4*z - 20. Let h be g(-6). Let d be -2 + (-2380)/1195 + h. Which is smaller: d or 1?
d
Let h be -3 + 3 + -1 + 1. Suppose 4*u - 1 = r, -r + 8*u - 3*u = 2. Which is smaller: r or h?
h
Suppose d + 3 + 15 = 0. Suppose -6*l + 0*l - 108 = 0. Do l and d have the same value?
True
Suppose -36*x - 7*x + 43215 = 0. Which is smaller: x or 1006?
x
Let z(b) = b + 9. Let h be z(-4). Suppose -3*t = -h*v + 29, -10 = -v + t + t. Suppose v = -0*m + 4*m. Is m at most 4?
True
Suppose 3*v - 5*g + 124 = 0, 194 = -5*v + 4*g - 2*g. Let r = 474 + -474. Are v and r equal?
False
Let v = 73.5 + 22.5. Let s = -99.5 + v. Which is smaller: -0.1 or s?
s
Suppose -r - 4*u + 33 = 0, -4*r - 4*u + 168 = 36. Let y = r - 31. Which is bigger: y or 1/2?
y
Suppose -8 = -l - 4. Let a be 6*(l + 20/(-12)). Let h be (-1)/(a/(-8) - 0). Is 1 < h?
False
Suppose -15 = 42*s - 39*s + 3*b, -25 = s + 5*b. Which is smaller: s or 11?
s
Let q be (-2)/10 - (-48)/15. Let h = q - 13. Let y(m) = m**3 + 8*m**2 - m - 19. Let w be y(-8). Is h at most as big as w?
False
Let y = -1684.188 + 1684. Are 0.3 and y nonequal?
True
Let w = -30 + 77. Suppose -119 = 6*b - w. Is b <= -38/3?
False
Let y be (-6)/(-4)*((-23)/3 - 1). Let u be ((-38)/(-10))/(y/(-5) + -3). Is u equal to -10?
False
Let l = 10.1 - 10.73. Let j = l + 0.13. Let d = 0.5 - j. Which is smaller: d or 11?
d
Let p = 0.13 + 0. Let b = 0.07 + p. Are b and -9 equal?
False
Suppose -5*b - 208 - 62 = 0. Let f = -27 + 15. Let o be ((-4)/(-33))/(f/b). Is -0.1 < o?
True
Suppose 3*g = -z - 1, z + 16 = 2*g - 0*g. Let o = z + 18. Let b be 13 + (-4 - 3 - -3). Is o greater than b?
False
Suppose 0 = 2*n - 4, 5*l - 2*n = -5*n - 254. Is -50 not equal to l?
True
Let m be (-4)/14 + (-4)/(-14). Suppose m*l - 96 = -4*l. Suppose -144 = -8*i + 48. Is l bigger than i?
False
Let p(h) = -18*h - 109. Let o be p(-6). Which is bigger: 1/346 or o?
1/346
Let z(w) = -64*w - 501. Let s be z(-8). Which is smaller: s or 78/7?
s
Let u be (10/(-12))/((-9540)/144). Let i(q) = q**3 - 2*q**2 - 2*q - 4. Let o be i(3). Which is smaller: u or o?
o
Let n be 23/(-4) + (-28)/112 + 7. Which is bigger: -1/851 or n?
n
Let k = 4 - 9. Let l = 3.3 + k. Let i = l + -1.3. Is -2 greater than or equal to i?
True
Let a = 1060 - 1049. Let i be 64/6 - (-4)/(-6). Is a bigger than i?
True
Let z = -8.2 - -8.14. Let i = 332 - 75. Let t = i + -1802/7. Is t less than z?
True
Let w(q) = -q**3 + 74*q**2 - 2*q + 180. Let t be w(74). Which is bigger: t or 36?
36
Let r = -2.2 + -25.8. Let t = r + 29. Which is smaller: t or 1/4?
1/4
Suppose -4*c - 2 = 4*o + 6, 9 = 3*o - 2*c. Let q be ((-35)/(-20))/(o/8). Let z = q + -19. Is z greater than -5?
False
Let z(x) = x**2 + 20*x + 44. Let h be z(-18). Let d be -10*(4 + (-28)/h). Which is greater: d or -3?
-3
Let z = -291 - -2034/7. Which is smaller: z or 15/2?
z
Let j be (-3)/((-6)/14) - (-4 - -11). Suppose 2*g = -2*g. Is j at least g?
True
Suppose -4*j = t - 9, -33 + 6 = -5*t - 2*j. Suppose 2*a - t*c - 15 = 0, -6*a + 4*a = 3*c - 7. Suppose 5*h - 4 - 3 = -u, 5*u + 15 = 0. Are a and h nonequal?
True
Let t be -19*(26/(-6) + 5). Which is bigger: 0.2 or t?
0.2
Let c(a) = 3*a**2 + a + 3. Let q be c(-1). Is 52/9 at most q?
False
Let p = -393 + 396. Is -22 equal to p?
False
Suppose -2*z + 4*k + 4 = 0, 5*z + k + 2 = 1. Which is bigger: z or 5/37?
5/37
Let o = 2/1495 - 13483/20930. Let i = o + 8/7. Is -40 less than i?