t b = -31 + 51. Suppose -4*w = b, a - w = 3*a + 3. Which is smaller: a or 0?
0
Let q(t) = t**2 + 6*t - 10. Let g = -6 - 2. Let j be q(g). Suppose k = j*k. Which is bigger: k or -2?
k
Suppose -k + 4 = 1. Suppose -4*l + 5*c = -k*l + 15, -5*c = 5*l - 15. Let r be ((-36)/15)/(-4) - 1. Which is greater: r or l?
l
Let v = 15.79 + 0.21. Let a = -27 + v. Which is smaller: a or 1?
a
Suppose 50*u - 49*u = 3. Suppose 0 = -2*k + 10. Is u > k?
False
Let d = -4 - -7. Let y be (d - 1)/(0 - -4). Which is smaller: y or 1?
y
Let p be (-16)/7 + 0 + 2. Let n(z) be the third derivative of -z**6/120 - z**5/60 - z**4/24 - z**3/6 + z**2. Let u be n(0). Which is smaller: p or u?
u
Suppose 5*p - 3*z = -129, -z - 131 = 4*p - 38. Which is greater: -23 or p?
-23
Suppose 0 = -g - 5*n + 7, -5*n + 15 = 2*g + 3*g. Suppose -8*z + 3*z = -o + 10, 26 = -g*z - 4*o. Which is bigger: -22/5 or z?
z
Let h = -82 + 985/12. Which is greater: h or 0?
h
Let d be (-2)/(78/(-11733) - 0). Let s = d - 301. Which is bigger: 0 or s?
0
Let c(o) = -o - 8. Let r be c(-7). Which is smaller: -6/17 or r?
r
Let q be 5/(-6)*(-8 - 263). Let t = q - 225. Are 1 and t non-equal?
True
Let g(i) = i**2 + 3*i - 4. Let b be g(-4). Let z = 34 - 22. Suppose u = 6*u - 2*m + 5, 2*u + 2*m = z. Is u bigger than b?
True
Let l = -3.85 + -0.15. Let a = 3.96 + l. Let i = -0.2 + 0.3. Which is greater: a or i?
i
Let k = -4.81 - 0.19. Let t = k + 10. Let z = 2 + -2. Which is smaller: z or t?
z
Let o = -8.7 + 9. Let v = 2.2 - 2. Let b = -0.2 + v. Are o and b nonequal?
True
Suppose 3*x + 3 - 6 = t, 0 = -t - 5*x + 5. Let d be ((-1)/2)/((-5)/(-2)). Is d at most t?
True
Let w(b) = 2 - 1 + 0 - 4 - b. Let z be w(-6). Suppose z*k = -5*l + 4 + 6, -5*l + 5 = 4*k. Which is smaller: -4 or k?
k
Suppose -7*l = -2*l - 10. Is l > 1/8?
True
Let t = 61 - 185/3. Let n = t - -1/6. Which is smaller: n or 0?
n
Let t = 9 + -2. Let b(c) = -t - c**3 - 7 + 5 + 5*c**2 + 7*c. Let u be b(6). Is -1 less than u?
False
Let h be (-7)/(-3) - (-4)/6. Let n = h + 6. Suppose -n = 3*g + 3. Are g and 0 unequal?
True
Suppose 13 = -2*o + 1. Let l(g) = -g**3 - 7*g**2 - 8*g - 6. Let f be l(o). Let h(y) = -y - 2. Let k be h(-8). Is k < f?
False
Let z(w) = 3*w + 5. Let j be z(3). Is -0.2 smaller than j?
True
Suppose 0 = -2*l - 2 - 0. Which is bigger: l or 7?
7
Let n(m) = m**3 + 5*m**2 - 5*m + 4. Let b be n(-6). Let l be (b/36)/((-9)/144). Is l less than 0?
False
Let f = -80.66 + -1.34. Is 0 at least f?
True
Let l = 6.3 + -6. Let g = 0.3 - -0.1. Let v = l - g. Which is smaller: -1 or v?
-1
Let o(j) = -j**3 - 10*j**2 + 10*j - 8. Let u be o(-11). Let i = 13 - u. Which is smaller: i or 8?
8
Let k = -4 - -3. Let h be 1*(-12)/5 - -2. Which is greater: h or k?
h
Let g = -69 + 59. Which is bigger: g or -8?
-8
Let p = 22 + -21.18. Let n = p - 0.02. Let z = 0.3 - n. Is z bigger than -1/3?
False
Suppose 3 - 14 = 2*j + 5*o, j + 13 = -5*o. Suppose -5*s = -j*n - 7, -3*n + 7 = -2*n + s. Let d = -3 + n. Is 0 > d?
False
Let c = 38 - 37.6. Are 1/4 and c equal?
False
Let n = -3 - -6. Which is smaller: 4 or n?
n
Suppose 4*g = -3 + 7. Let d = 1753/4123 - -2/589. Is d <= g?
True
Let m = 17 + -16.7. Let p(k) = -k**3 - 4*k**2 + 1. Let b be p(-4). Let r = b + 0. Do r and m have different values?
True
Let b = 38 + -40. Which is bigger: -0.1 or b?
-0.1
Suppose 3*o = -o + 4. Let x be (14/10 - o)*-5. Does x = -3?
False
Let u = 3/11 + 2/33. Is 21/4 not equal to u?
True
Let m be 0 + 3 + (-332)/108. Which is greater: 1 or m?
1
Suppose 0 = 2*c - 4 - 2. Suppose -2*w - c = -1. Let z be w/2 - (-12)/56. Which is smaller: 1 or z?
z
Let o(z) = -29*z**2 - 2*z - 1. Let p be o(-1). Which is bigger: p or -27?
-27
Suppose 3*f = 2*f. Let m = -25 - -149/6. Is f < m?
False
Let v = 4 + -9. Let r(o) = -o - 4. Let j be r(v). Let n = 43/111 + -2/37. Which is smaller: j or n?
n
Let x = -98 - -129. Is x != 1?
True
Let v = 6977/32 + -218. Suppose 94 = -6*y + 100. Does v = y?
False
Let l be (-1)/2*-2 + -2. Suppose 0 = t - 4*j - 21, 3*t - 2*j - 28 = 3*j. Suppose g + t + 9 = -4*u, -u - 7 = -2*g. Which is smaller: l or g?
l
Let q = -1.1 - -0.1. Which is smaller: q or -22?
-22
Let v = -37 + 26. Which is bigger: 1 or v?
1
Let q be (20/6)/(12/(-18)). Which is greater: q or -2?
-2
Let w(k) = k**2 - 1. Let b be w(2). Which is bigger: b or 2?
b
Suppose -5*q = -q - 116. Let i = -40 + q. Which is greater: i or -10?
-10
Let x = -26 - -26. Is x less than -2?
False
Let b = 19 + -19.13. Let r = b + 0.03. Is -1 < r?
True
Let t = -154/87 + 3/29. Let f(j) = j**2 + j. Let o(k) = -6*k**2 - 11*k - 7. Let x(u) = -5*f(u) - o(u). Let g be x(-3). Which is greater: g or t?
t
Let w = 26 - 5. Which is smaller: 23 or w?
w
Let b be 43/(-76) - (-1)/4. Suppose -2*q + 4*d - 10 = -d, q = -2*d + 4. Which is smaller: q or b?
b
Let g be (-184)/32 + 7 - (-1)/(-4). Which is bigger: g or -7/33?
g
Let h = 0.966 - -0.034. Suppose -o - 8 = -2*o. Let p be 8/21*6/o. Which is smaller: h or p?
p
Suppose -2*w + 4*l = -0 - 2, -5*l + 5 = 5*w. Is -22 less than w?
True
Let t be (-42)/2 - (4 - 4). Let s be 3/t + 4/(-14). Is -1 < s?
True
Let h(l) = l**2 + 9*l - 7. Suppose 0*n = -2*n - 20. Let c be h(n). Suppose 0 = 5*p - c*p. Which is bigger: -1 or p?
p
Let r = 53 - 108. Which is bigger: -54 or r?
-54
Let a = 5.9 + -6. Let g = a + 0.4. Is 1 equal to g?
False
Let x = 9 + -7. Let j be -4 + 2 - -1*x. Let h be 5*-1 - (j + -2). Is h smaller than -4?
False
Let j = -13/15 - -19/15. Is 0.2 greater than j?
False
Let u(c) = -c**3 + 9*c**2 - 9*c - 4. Let y be u(8). Let l be (-2)/1 - y/5. Which is greater: -1 or l?
l
Let c = 43 + -27. Suppose -y - 3*y = -c. Is 4 bigger than y?
False
Let w = -10 - -13. Let f = 59/2 - 29. Which is bigger: f or w?
w
Let g be (6/(-12) - 2/(-4)) + 0. Let q be -4*(10/(-8) + 2). Is g not equal to q?
True
Let o = 1.3 - 1.4. Is o greater than or equal to 5/2?
False
Let r be (10983/14)/(21/(-1)). Let t = -75/2 - r. Which is smaller: t or 1?
t
Suppose 5*a - 50 = 5*g, 3*g - 11 = -4*a + 43. Suppose o + 0 = -6. Let p be (2/a)/(o/8). Which is smaller: p or 1?
p
Let c be (-3)/(-2)*(-20)/45. Let r(f) be the second derivative of f**5/20 - f**4/3 + f**3/6 + f**2/2 - f. Let i be r(4). Is c less than or equal to i?
True
Let v = 3 + 0. Suppose -v*n + 32 = -2*t, 0 = 7*n - 2*n. Let g be 2/4*t/20. Is 0 greater than g?
True
Let u be (-938)/396 + 4/(-18). Let l = -56/11 - u. Which is bigger: l or 0.1?
0.1
Suppose 3 = -f + 17. Which is smaller: 43/3 or f?
f
Let r = -5 - -7. Suppose -r*g = -g - 3. Suppose k + v - 6 = -0*v, -g*v = 5*k - 24. Is k smaller than 3?
False
Let z be 2*1/(-2) + -13 + 8. Which is greater: z or -10?
z
Let h(d) be the first derivative of -d**4/4 + 2*d**3 - 7*d**2/2 + 6*d + 5. Let l be h(5). Are l and -1 unequal?
True
Let q = 36 + -26. Suppose -q = 5*v - 0. Let i be v/10 - (-1 - 0). Which is bigger: 2 or i?
2
Suppose -z - 4*l + 80 = 4*z, -5*z + 3*l + 45 = 0. Suppose -3*x + 3 = -z. Let i(p) = -p - 3. Let g be i(-7). Is g < x?
True
Let k = -179/24 - -47/6. Let c(f) = -2*f - 4. Let v be c(-2). Which is bigger: k or v?
k
Suppose -2*x + x = -d - 1, -2*x + 5*d = 1. Suppose 4*b = 2*o + 24, x*o - 3*b = 2*b - 23. Let m be o/6 + (-4)/(-2). Which is bigger: -2 or m?
m
Suppose 0 = 2*h - 8, 0*h = -5*s + h + 26. Let l = s - 15. Which is smaller: -8 or l?
l
Let y = 29 - 639/22. Is y greater than 1?
False
Let w = -0.03 - -0.13. Suppose -2*m - 10 = -2, -5*l + 56 = -4*m. Suppose -4*j - s = -27, 4*j - 21 = s + l. Which is smaller: j or w?
w
Let d = -1 + -3. Is d equal to 2/5?
False
Let c(r) = r**3 - 5*r**2 + 5*r - 6. Let f be c(4). Is f less than or equal to -6/7?
True
Let m(a) = -a**2 + 7*a + 1. Let c be m(7). Suppose -3*t + 5 = -4. Is t greater than c?
True
Let f = -13 + 37/3. Let o(h) = -h**2 - 7*h - 8. Let x be o(-6). Let z = x + 1. Which is smaller: f or z?
z
Let k(t) = -t**2 + 9*t + 6. Let i be k(9). Suppose 2*q + 4*y + 0*y - 10 = 0, 0 = 2*q - 4*y + i. Let w be 2/(-6) - 19/(-21). Is w bigger than q?
False
Let w = 108781 + -34265939/315. Let z = 2/45 + w. Let l = 257/3 + -85. Are l and z non-equal?
True
Suppose k = -k - 4. Is -10/11 less than k?
False
Let d be (-3)/27*3*-3. Let q(h) = -11*h**2 + 1. Let o be q(d). Is o at most -10?
True
Let p(c) = -c**2 + 3*c - 24. Let j be p(11). Is j at most as big as -113?
False
Let d(z) = z**2 + z**2 + z**3 + 3*z + 1 - 2*z**3. Let y b