pose 0 = -j + o. Which is smaller: 4 or j?
j
Let h be 17/4 - (-1)/(-4). Let p(q) = q**2 - 11*q + 13. Let o be p(10). Suppose o*z = h*z - 2. Which is greater: 1 or z?
z
Let v = 113/6 - 19. Let o = -2.8 + 3. Is o at most v?
False
Let v(j) be the second derivative of 0 - 9/2*j**2 + 3*j - 1/3*j**3. Let u be v(-7). Which is bigger: 4 or u?
u
Let z be (-6)/55*(2 + 3). Let i(n) = n**2 + 4*n + 2. Let x be i(-3). Is x less than z?
True
Let o = -287 - -6600/23. Which is bigger: o or 1?
1
Suppose 4*c + 54 = -30. Let n be (-7)/(c/4)*3. Is n at most 5?
True
Let l = -15457/32 + 483. Do 0 and l have different values?
True
Suppose 4*f + 3*h + 2 + 11 = 0, 3*f - 2*h = -31. Is f less than or equal to -5?
True
Suppose -12 = -8*o + 4*o. Let f = 2/45 - -131/90. Are o and f equal?
False
Let f(j) = -2*j + 10. Let q be f(5). Is 2/31 less than q?
False
Suppose -3*j - 6 = 4*g - 19, j = 2*g + 1. Is g smaller than 3/10?
False
Let w be ((-108)/(-10))/((-3)/(-10)). Let j = 72 - w. Let l be (-3)/2*(-3)/j. Is 0 smaller than l?
True
Let t be 7/(-6) - 5/10. Let z(s) = -s**3 + 3*s**2 + 6*s - 5. Let n be z(4). Suppose n*i = -g - 17, -5*g + 0 = i + 15. Are t and g equal?
False
Let f = 4 - 3. Let c be 34/(-2) + -3*1. Let d be (-4)/c - 2/10. Which is bigger: d or f?
f
Let v be (6/(-4))/((-21)/112). Which is smaller: v or 6?
6
Let c be 60/(-72) - (0 - 0). Which is greater: c or 0?
0
Let m(i) be the third derivative of i**5/60 - i**4/6 - i**3/6 - 3*i**2. Let w be m(4). Which is smaller: w or 0?
w
Suppose 12 = -3*d - 27. Is -13 smaller than d?
False
Let n = -6 - -5.6. Let u = n - -3.4. Let p = u + -1. Which is greater: 0 or p?
p
Let d be 10/(-35) - (-4)/(-35). Which is greater: 1 or d?
1
Let x be -12*(0 + (-1)/2). Let m = x - 7. Let u = m - -3. Is u > 2?
False
Let y = 17 - 16.8. Which is greater: y or 7?
7
Let v(n) = -4*n - 1. Let x be v(-1). Suppose -13 - x = -4*f. Suppose -a = -f*a. Is 0 at least a?
True
Let k be (-6 - -8)*(117/(-40) - -3). Is 1 equal to k?
False
Let w be -1 - (-1 - 6/34). Is 1 at least as big as w?
True
Suppose a = -4*r - 8 - 4, 9 = -3*r + 5*a. Which is greater: r or -6?
r
Let l = 4.9 + -5.08. Is -1 < l?
True
Let p = -2/1241 + 21127/18615. Let d = -4/5 + p. Which is smaller: d or 3/2?
d
Let r = 6 + -5.89. Let b = r + -0.01. Do 0.13 and b have different values?
True
Let c = -5 - -4. Let r = -3/22 + -17/198. Is r != c?
True
Let a = 68 - 80. Suppose 2*s + 3*s = -2*p - 18, -5*s = 20. Which is smaller: p or a?
a
Suppose 5*i + 91 = 12*i. Suppose -3*l - i = 14. Is l at most -7?
True
Suppose 10 = -r - 3*d, -r + 19 = -4*d + 1. Suppose -3*n - r*n + 10 = 0. Let u be -2*n*(-1)/2. Is u smaller than 3?
True
Let c = -0.39 + 0.5. Let q = 0.89 + c. Is q equal to 0.1?
False
Suppose 0 = -5*l + 4*l - 1. Is -1/22 >= l?
True
Suppose -5*m + 56 - 1 = 3*i, 2*m - 10 = 0. Let z be (1/2)/(5/i). Let r = -0.02 + 2.02. Is r bigger than z?
True
Let i = -8 - -16. Let k = -5 - i. Is -13 greater than or equal to k?
True
Let n = 2/129 - -329/43. Let r = n - 7. Which is smaller: r or 2?
r
Suppose 3*f = -0*f + 3. Which is smaller: 2 or f?
f
Let z be 4/3*(-1572)/40. Let v(j) = 6*j**2 + j + 1. Let k be v(-3). Let b = k + z. Is b <= 1?
True
Let q(j) = j**2 + 2*j - 14. Let p be q(0). Are -1 and p unequal?
True
Suppose -3*r - c + 1 = -2*c, 5*r = 5*c + 5. Let v(o) = 0*o + 3*o + r*o**2 + 3*o + o**2. Let f be v(-5). Which is smaller: -4 or f?
f
Let t be (-30)/4*(-6)/(-9) + -3. Is t != -8?
False
Suppose -5*v + 21 + 4 = -z, -5*v + 3*z + 35 = 0. Suppose 0 = p - 3*u + 8, -v*p - 4*u + 6 = -10. Which is greater: 1/3 or p?
p
Let k(b) = -b - 5. Let p be k(-9). Suppose 0 = 4*s + 37 + 3. Let i be (-5)/s + (-14)/(-4). Is i not equal to p?
False
Let m = -1 + 6. Suppose 4 = -u - 3*u. Let d be 2 + 1*(u - -2). Which is smaller: m or d?
d
Suppose -3*o = -95 - 1. Let v = o + -26. Are 6 and v equal?
True
Let g(l) = 3*l**2 + l + 1. Let n be g(-1). Suppose -2*k = 5*x, n*x = 5*k + 1 + 30. Suppose -3*z + 7 = -x. Is 3 at least z?
True
Suppose 4*y = 2*y + 2*h + 16, 3*y - h = 14. Suppose -2*q = -y*q + 1. Let g be 0 + (q - (-3)/(-3)). Which is bigger: 0.1 or g?
0.1
Let p(q) be the second derivative of q**4/24 + 7*q**3/6 + q**2/2 + 2*q. Let f(m) be the first derivative of p(m). Let z be f(-7). Which is greater: z or -2/13?
z
Let i(x) be the first derivative of -x**3/3 + 3*x**2/2 + 3*x - 2. Let q be i(3). Let z be ((-4)/6)/((-2)/q). Which is smaller: 0 or z?
0
Suppose 2*n = 5*n. Suppose 1 = -5*d - 14. Let h = d - -3. Is h at least as big as n?
True
Suppose 0 = -0*u + u - 14. Let t be ((-32)/u + 2)/2. Let a = -148/371 + 6/53. Which is smaller: t or a?
a
Let u = 2.27 - 2.3. Which is smaller: u or 3?
u
Let c = -3.01 - -0.01. Let n = 2 + c. Let m = 5.1 + -5. Which is bigger: n or m?
m
Suppose 0 = -4*r + 28. Let h(l) = 8*l - 90. Let m be h(12). Which is greater: m or r?
r
Let f = -214 - -215. Suppose 4 = 2*n + 2*n + 2*m, -2*n + 4*m - 8 = 0. Is n less than f?
True
Suppose 2 = 3*d - 4. Let r(p) = 2*p**2 + p**2 - p - 3*p**3 + d*p**3. Let c be r(1). Is c smaller than 1/4?
False
Let a = -4273132/63 - -67826. Let m = 16/9 + a. Suppose -3*q - 14 = q - 2*s, -15 = -5*q - 4*s. Which is smaller: m or q?
q
Let q be 725/(-7)*(-16)/(-220). Let o = q - -54/7. Is 1 at most o?
False
Suppose -4*b = -4*f + 8, 6 = 3*b - b. Suppose f*q + d - 5 = 44, 0 = 2*q + d - 22. Is q less than 9?
False
Suppose 77 = 16*y - 35. Is y <= 8?
True
Let f(c) = c**3 - 4*c**2 + c + 4. Let z be f(3). Let m be (2/5)/((-7)/(-35)). Let b be 4/m + z + 0. Which is greater: -1 or b?
b
Let h = -7572157853 - -931370253047/123. Let v = h - -41974. Let s = -4/41 + v. Which is smaller: s or -1?
-1
Let o be 24/(-10) + 8/20. Let q be o/(-1)*1/2. Is q > -1/9?
True
Let t = -2/251 - 16311/502. Which is greater: -33 or t?
t
Let z = -1 - 5. Let x(k) = -k + 1. Let y(j) = -1. Let p(m) = z*y(m) + x(m). Let c be p(7). Which is bigger: 2/5 or c?
2/5
Let b = 4/29 - 37/58. Let g = -3 + 2. Let i = g + 0. Do b and i have the same value?
False
Let t = -10.79 + -0.21. Let a = -11.1 - t. Which is smaller: a or 5?
a
Suppose 0 = -3*d + 79 + 11. Let m be (-1)/(-3) - (-2)/d. Let p(j) = j**3 - 5*j**2 + j - 6. Let w be p(5). Which is greater: m or w?
m
Let w(o) = -7*o**2 - 1 + 2*o**2 + 6*o + 2 - o**3. Let j = 11 + -17. Let s be w(j). Which is smaller: s or 5/6?
5/6
Let v(z) = z - 5. Let l be v(6). Let s be (l - (-7)/2) + -3. Suppose t - 3*t = 0. Which is greater: s or t?
s
Let r(w) = w**3 + 5*w**2 + 5. Let b be r(-5). Suppose -2*u - 12 = -4*g, b*u + 2*g = -2*g + 12. Let y be 1*1/4*-1. Is y at most u?
True
Suppose 0 = -2*i - 3*a - 8, i - 3*a - 4 = -i. Which is smaller: i or 2/41?
i
Let k(p) = -3*p + 2. Let d be k(-3). Is 11 != d?
False
Let r be (8/(-138))/(4/12). Do -1 and r have the same value?
False
Let q be (-14)/(-8)*(-40)/(-140). Which is bigger: 0.77 or q?
0.77
Let n(a) = 2*a**2 + 7*a + 4. Let x be n(-3). Let d = -7 - -4. Let i = d - -4. Are i and x unequal?
False
Let d = 0.3 - -0.7. Let r = -1.93 - -2. Does d = r?
False
Suppose 4*m + 29 = 5*i, -5*m + 6*i - 20 = 3*i. Let h = -5 + 4. Are h and m nonequal?
False
Suppose 0 = -5*z - 3*n + 28 + 115, 4*z - n = 128. Which is bigger: z or 30?
z
Let r = -3 + 3. Suppose 5*g + 5 = -r. Let d be (-1)/1 - (g + -1). Which is smaller: d or -2/5?
-2/5
Let f(u) = u**2 + 3*u + 2. Let b be f(-3). Suppose -7 - 5 = -4*i. Suppose 0 = i*r - 3. Which is smaller: b or r?
r
Let m = 0 - 0. Suppose 0*f - f - 4 = m. Is f != -3?
True
Let b = -58 - -27. Are -32 and b non-equal?
True
Suppose 4*r - 10 = 3*r. Suppose -r*p + 9*p = 1. Which is smaller: p or 0?
p
Let d = 4.061 - 0.061. Which is greater: -7 or d?
d
Suppose 0 = 2*y + 3 - 11. Let l be (1/3*-1)/(3/(-27)). Suppose 0 = 5*q - 5*f, y*f + l = -3*q - 11. Which is greater: -1 or q?
-1
Let d be (-2)/1 - 9*(-16)/8. Is d != 101/6?
True
Let j = 4.005 - 0.005. Which is greater: j or -3?
j
Let c = -1 + 1.2. Let t = c + -2.4. Let y = -2 - t. Which is smaller: y or -2/3?
-2/3
Suppose -3*o + 3 = 5*r - 4, -3*o + 3 = 3*r. Is 3 at most as big as r?
False
Let x(v) = v**3 + 4*v**2 + 3*v. Let k be x(-3). Let u = -497 + 3477/7. Which is smaller: k or u?
u
Let w = 439/7 + -63. Which is greater: w or -0.1?
-0.1
Let p(s) = -s**3 + s**2 + 2*s + 1. Let b be p(-1). Which is smaller: b or 1/6?
1/6
Let q(o) = o**2 + 4*o. Let s be q(-4). Let f = -26/15 - -316/165. Is 