 be 4/10*30/(-3). Let k(x) = -x - 5. Let w be k(u). Is w bigger than b?
True
Let a(g) = g**3 + 8*g**2 + 3*g - 1. Let r be a(-7). Let m be 1/(3*1/r). Is 9 less than m?
False
Let k(z) = z**3 - 10*z**2 + z - 6. Let m be k(10). Which is greater: m or 5?
5
Let c = 0.15 - 0.05. Is c <= 0.1?
True
Suppose -2*c + 1 = -3*c. Let r = 121/10 + -12. Which is smaller: r or c?
c
Let z(x) be the third derivative of -x**4/24 + 4*x**3/3 - 3*x**2. Let g be z(7). Let a be 2/(-2) - -1 - 1. Which is smaller: g or a?
a
Let d(u) = 14*u + 24. Let b(o) = -5*o - 8. Let v(z) = -8*b(z) - 3*d(z). Let f be v(-4). Which is greater: 2/43 or f?
2/43
Let t = 2 - 1. Let h be (14/2 - t)/2. Do 2 and h have different values?
True
Let l be (-13 + 3)/((-1)/4). Which is smaller: 39 or l?
39
Let v = 34.93 - 35. Which is smaller: -0.3 or v?
-0.3
Let v(l) = -l + 5. Let p be v(3). Let o be 0 + (2 + p - 1). Is o at most as big as 4?
True
Suppose -3*w = -5*w. Suppose 0 = -3*t - 3*f, w = 5*t + f + 2*f - 8. Let h be ((-27)/60)/3*t. Is -1 less than or equal to h?
True
Let w = -6675/13 + 513. Is w greater than 0?
False
Let b(s) be the third derivative of -s**4/8 - s**3/6 - 3*s**2. Let k be b(-4). Does k = 10?
False
Let c = 4 - 3. Let j be (-30)/(-4)*12/15. Let i = j + -6. Which is greater: c or i?
c
Let x = -10505/9 + 1169. Is 2 greater than or equal to x?
True
Let y = -539 + 21019/39. Is 0 <= y?
False
Let s = -42 - -26. Is -16 <= s?
True
Let b = 0.18 + 0. Let f = b + 0.02. Which is smaller: f or -0.3?
-0.3
Suppose 3*r - 10 = 2. Let u(m) = -m**3 + 4*m**2 - 2*m + 6. Let c be u(r). Let i be 6/9 + c/6. Which is bigger: i or -2?
i
Let l = 36 - 7. Let c = 6 - l. Let j = -70/3 - c. Which is smaller: j or 0?
j
Suppose q + 0*q + 17 = 5*s, -5*s + 35 = 5*q. Let v(k) = -k**2 - 6*k + 1. Let x be v(-5). Suppose 4*r = 2 + x. Is q at most r?
False
Let v = -11 - -15. Suppose -v*l + 3 = -13. Is l <= -0.1?
False
Let n = 2 - -1. Let q = -187 - -188. Which is smaller: q or n?
q
Let f(x) = -17*x**2 + 2*x - 3. Let t be f(1). Which is bigger: -19 or t?
t
Let i = -0.2 - 0. Let o = i - 0. Let q = -1069/7 - -153. Which is smaller: q or o?
o
Suppose -4*l = l + 50. Let m = 16 + l. Suppose -2*k = 3*w - m*w + 9, 5*w - 14 = 3*k. Which is greater: 2 or w?
2
Let n(o) = -o**2 + 3*o - o - 4*o + 9*o + 3. Let k = -2 + 9. Let u be n(k). Is u >= 3?
True
Suppose 5*p = -7 + 2, 5*p - 90 = 5*j. Let z = j + 5. Which is smaller: z or 0?
z
Let q be (-3)/(-6) - 10/4. Let t be (6/(-21))/((-2)/q). Let y(m) = -m**2 + 9*m - 17. Let b be y(6). Which is smaller: t or b?
t
Let q(k) = 4*k**3 - k**2 + 1. Let x be q(-1). Suppose t = -2*t - 3*z - 9, -5*t = -3*z + 31. Which is greater: t or x?
x
Let k = -3207/65 + 249/5. Is k greater than or equal to 1?
False
Let m be 2 + (2 - (-121)/(-3)). Let n = 36 + m. Let v = -0.1 + 0. Is n equal to v?
False
Suppose -5*q + 13 + 7 = 0. Let k = q - 2. Is 1 equal to k?
False
Let i = 8 - 5. Suppose i*n = -n + 8. Let s be 1/(-1 + (n - 0)). Is s > 0.1?
True
Let m = -3 + 5. Let w be m + (2 - 51/12). Let t = -32.7 + 33. Which is smaller: t or w?
w
Suppose 5*z = q + 25, z + 4*q + 36 = 5*z. Suppose -z*c = 19 - 3. Let s be 1 - 0 - c/(-3). Which is greater: 2 or s?
2
Suppose -3*x = 2*u + 22, 4*x - 6*u = -3*u - 35. Let i = -5 - x. Let w = 33/2 - 15. Is i less than w?
False
Let l = -12847/44 - -292. Do l and -1 have the same value?
False
Let g = 9.3 + -9. Which is greater: g or -3?
g
Let c = -0.6 - 2.4. Let u = 3 - 4. Let s = u + 0.9. Which is smaller: c or s?
c
Let v(p) = -p**3 - 12*p**2 - 13*p - 4. Let w be v(-11). Let n = w - 27. Which is bigger: -8 or n?
-8
Let h(c) = c**3 - 6*c**2 + 2*c - 7. Let d be h(6). Suppose d*w + 244 = w. Let q = w + 301/5. Which is smaller: q or -1?
-1
Let a = -103 + 103.2. Is 0.05 less than a?
True
Let s(z) = -z**3 - 9*z**2 + 3. Let u be s(-9). Let h be (u/30)/(2/(-4)). Is h less than 0?
True
Suppose 0 = -6*k + k + 10. Suppose 0 = 3*v - 5*v - 3*n - k, 2*v - 4*n = -16. Is -4 at least v?
True
Let y(m) = -m**2 - 10*m - 2. Let j be y(-10). Let b be j - 2/(2/3). Are b and -1 nonequal?
True
Suppose a = -3*f + 69, 3*a = 4*a + 4*f - 67. Let s = 3 + -7. Let h be (8/a)/s*3. Do h and 0 have the same value?
False
Let s be (-4 - -12)/(-4) + 3. Suppose q + 4*q - 5 = 0. Let w be (0 - q)*(-4)/(-10). Is s greater than w?
True
Let v = -135 - -136. Which is smaller: -9/20 or v?
-9/20
Suppose 5*j = 8 - 3. Let s be (-2)/(j + -2 + 3). Which is smaller: s or -2/19?
s
Let r = 5.98 - -0.02. Let x = 6 - r. Let f be 8/6*(-1)/2. Which is smaller: x or f?
f
Let h = 23 - 22. Is 2/3 >= h?
False
Suppose -4*q - 11 = -5*t, -2*t - t + 4 = -5*q. Let k = 0 + 2. Is k bigger than t?
False
Let n(t) = -t**2 - 5*t - 2. Let a be n(-5). Which is smaller: a or -13?
-13
Let d = 26 + -25. Which is smaller: d or 3/29?
3/29
Let l(w) = -17*w**3 + w**2 - 6*w. Let c(b) = 6*b**3 + 2*b. Let k(t) = 8*c(t) + 3*l(t). Let m be k(2). Let r be m/(-7) + 4/(-14). Which is bigger: 4/5 or r?
r
Let o = -1269/7 + 181. Is o less than or equal to -1?
False
Let c be (-6)/10*(-5)/(-4). Let u = -0.04 - -0.34. Let q = 0.2 - u. Which is smaller: q or c?
c
Let s = -1220 - -1220. Let q = -14/3 + 76/15. Which is smaller: s or q?
s
Let z be (-93)/(-124) - (-3)/(-8). Let y(x) = 2*x**3 + x**2. Let g be -2*(-1)/(2/(-1)). Let d be y(g). Which is bigger: z or d?
z
Suppose 2*o - 18 = -4*c, -2 = -5*c + 8. Let z be (2/o)/(3/(-15)). Is z > -2?
False
Let u be (10/56)/1*12. Let i = -23/14 + u. Which is greater: 4/7 or i?
4/7
Let k(d) = d**3 + 5*d**2 - 4*d + 11. Let f be k(-6). Let y be 50/(-4)*4/6. Let s = 17/2 + y. Do f and s have the same value?
False
Let f = -2.6 - -1.6. Are f and 0.7 non-equal?
True
Let q = -1 - -4. Let l be ((-9)/6)/((-2)/4). Suppose l*w + 2*w - 10 = 0. Is w greater than or equal to q?
False
Suppose -19 = -3*g + 5. Suppose t = -3*t + g. Is t < 2?
False
Let m be 6/88 - (-3)/(-12). Suppose 2*d - 5*l + 14 = 0, -3*d - 2*l + 19 - 2 = 0. Let h = -3 + d. Which is greater: m or h?
h
Let w be (11 + -1)*(-4)/(-10). Suppose -r + 5 = w*r. Is -2/9 < r?
True
Let x = -0.7 + 0.7. Let w = x - 0.2. Let b = 5 + -5. Which is greater: w or b?
b
Let t = -192809/111 + 1737. Which is smaller: t or 1?
t
Let u(a) = 2*a + 1. Let b be u(-5). Let x = -8 - b. Which is smaller: 0.11 or x?
0.11
Suppose -2*w = 2*q - 18, -3*w + 34 - 2 = 4*q. Let x be (q - (2 - 0)) + 1. Let y be (54/48)/(6/x). Do y and 0 have different values?
True
Let a = 13172/19 + -693. Is 1 greater than a?
True
Suppose 4*i + 3*z - 78 = 0, 3*i + z - 53 = -4*z. Suppose u + 7 = 4*q, u + 3*q = -2*u - i. Is u at least as big as -6?
False
Let p(f) = f + 3. Let x be p(2). Suppose 15 = -x*l - 5*c, 3*c - 7 - 8 = 5*l. Is l less than -3?
False
Let h(j) = j**2 - 4*j - 15. Let t be h(-4). Is 73/4 greater than or equal to t?
True
Suppose 0 = c - 2*c + 5. Suppose -c*b + 1 = 2*j + 83, 4*b - 5*j + 92 = 0. Let y be (-4)/b + 114/(-27). Is y <= -3?
True
Let z(q) = 2*q**3 - q**2 + q + 1. Let k be z(-1). Let a be (k/(-1)*-4)/1. Let h = a - -25/2. Which is smaller: h or 0?
0
Suppose -11 = -t + 2. Which is greater: t or 12?
t
Let j = -397 - -13893/35. Which is bigger: j or 0?
0
Let i = 7.96 + 0.04. Let m = -7.8 + i. Do m and 7 have different values?
True
Let b = 7153/1105 + -84/13. Which is greater: 1 or b?
1
Suppose 0 = 5*k - 15. Let y = 3 + -1. Which is greater: k or y?
k
Let v be ((-19)/3 - -1)*(-1)/(-4). Which is smaller: v or 2?
v
Let l = -189 - -377/2. Let v = 2 - -1. Suppose 0*n + v*j = 3*n + 6, -2*n - 3*j + 1 = 0. Which is greater: n or l?
l
Suppose 2*c + 3*c = 0. Is c at least as big as 2?
False
Suppose 2*u = 4*u - 24. Let g = 11 - u. Suppose 0 = j - z + 4, 0*z = -2*j - z + 4. Which is smaller: j or g?
g
Let h(x) = -2*x - 6. Let a be h(-13). Let w = a + -11. Is w smaller than 10?
True
Let m(y) = y**3 - 2*y**2 - 2*y + 2. Let k be m(2). Let d = -3.34 + 5.34. Which is smaller: k or d?
k
Suppose t = 4*n + 22, 2*n - 3*t - 30 = 6*n. Let l be n/(-110)*(-8)/(-6). Let h = l + 1/55. Is -1 equal to h?
False
Let t be 0/(-4*2/(-4)). Suppose 2*m - 8 = -3*j, -3*m - j - 6 + 18 = t. Suppose -5*w + 5*r + 9 = -1, m*w = 3*r + 7. Is w not equal to -0.3?
True
Suppose -19 + 3 = 4*f. Let j = 4 - 1. Suppose -j*c = 5*h + 26, -2*c - 6 = 2*h - 3*c. Is h not equal to f?
False
Let i = -3.6 + 3. Let u = 0.2 - 0.6. Let x = u + i. Which is smaller: x or 1/4?
x
Let i be