- 73/105. Let q(r) = r - 8. Let h be q(6). Let c be ((-3)/h + -2)*10. Is j greater than c?
True
Let c = 3 + -6. Suppose 20 = -5*v - 5*p, -2*v + 14 = -5*v - 2*p. Let y be (-4)/v + 5/(-3). Is y <= c?
False
Let h = 0.11 - 0.05. Let v = h - 0.06. Do v and 1/2 have different values?
True
Let x = -14 - 0. Let w = x + 10. Let n = 3 + w. Is n >= -1/2?
False
Let a = -2 - -2.1. Let k(d) = -d**3 - 6*d**2 - 3*d + 7. Let z be k(-5). Let y be (-60)/(-18) + z + 1. Is a less than y?
True
Suppose 7*v - 4*v = -3. Is v equal to 2/37?
False
Let n(o) = o**3 + 5*o**2 + 4*o + 3. Let x be n(-3). Let j = x + -3. Let w be ((-3)/(-40))/(j/5). Are w and 1 nonequal?
True
Let a = -3 + -8. Let v = a + 17. Let r be 3/18*(-6)/(-4). Which is bigger: v or r?
v
Let o(r) = -r**2 + r - 2. Let x(k) = -k**2 - 9*k - 6. Let n be x(-8). Let w be o(n). Which is smaller: w or -7/2?
w
Suppose 0*v = -3*v. Suppose 0 = 2*o - 5*o - c + 7, 2*c - 10 = -5*o. Suppose o = -5*a + 9. Which is smaller: v or a?
v
Let q = -20 + 23. Which is greater: 9 or q?
9
Let f be (16/3 - (-3)/(-9))/2. Let g = -1 + -3. Let a be (g/(-3))/(2/3). Are a and f equal?
False
Let k(y) = -y + 9. Let h be k(11). Let m(a) = -a. Let b(c) = -3*c + 3. Let j(r) = h*b(r) + 4*m(r). Let z be j(5). Which is smaller: z or 2?
2
Suppose t - 5*x = -3*x, 0 = -4*x + 20. Let p be 0 - -3 - 35/t. Are 0 and p nonequal?
True
Suppose 3*i - 25 = 4*u, -i + 4*i = 5*u + 29. Let f(l) = l**3 + 4*l**2 - l - 3. Let m be f(u). Do -1/4 and m have the same value?
False
Let g = -0.06 - -0.26. Is g less than -3?
False
Let d be (-1763)/(-1)*2/(-24). Let x = 147 + d. Let c = 14 - 13. Is x greater than c?
False
Suppose 77 + 48 = 5*w. Suppose -3*k = 2*k + w. Do k and -4 have the same value?
False
Suppose 7*l - 15*l - 32 = 0. Is -12 >= l?
False
Let c = -4.1 - -4.2. Which is greater: c or 1?
1
Let r = 6938/27 + -257. Which is bigger: 0 or r?
0
Let f = 103585/7 - 14882. Let k = f - -84. Is k at least 1?
False
Let c be (-6)/(-5)*(-1)/(-2). Let d = 1 - 1. Which is bigger: d or c?
c
Let y(h) = h**3 - 2*h**2 - h - 4. Suppose 2*m - 9 + 3 = 0. Let c be y(m). Let s be 1*((-2 - -5) + -3). Which is greater: s or c?
c
Let g = 160252/87 - 1842. Let c be 1 - -1 - (3 - 2). Which is smaller: g or c?
g
Suppose 0 = 5*x + 4*n - 13 + 38, 2*n = 5*x - 5. Let l = 1817/17 + -107. Is l greater than x?
True
Suppose 0 = -5*b - 5*x + 20, -x - 2*x = 5*b - 20. Let o be b - -3*(3 + -4). Let l = -2 - -2.2. Is l <= o?
True
Let z = -77/3 + 26. Is 1 less than z?
False
Let a = 17 + -29. Let d be (-485)/30 - 2/a. Which is greater: d or -15?
-15
Let b = 0.49 - 6.29. Let p = b + 0.8. Let i = p + 4. Which is bigger: i or 1/2?
1/2
Suppose -3*t = -7*t. Let s = 5 + -6. Is s equal to t?
False
Let c be (173/(-9))/((-2)/(-6)). Let q = c - -59. Is 2 at least q?
True
Suppose 16*s - 1 = 15. Is 4/75 not equal to s?
True
Suppose -3*g + 8 = -2*o - 5, o + 5*g = 13. Which is smaller: 0 or o?
o
Let j = 1 + -1.2. Let d = j + 0. Which is smaller: 0 or d?
d
Let c be 56/12*6/(-4). Which is bigger: c or -4/5?
-4/5
Let r(l) = -l**3 + 5*l**2 - 5*l + 5. Let t = 6 + -2. Let m be r(t). Let f = 55 + -219/4. Which is bigger: m or f?
m
Let x be 2/2 + (-15)/9. Let t = -1 - 1. Is t > x?
False
Suppose 0*u - u = -3. Suppose 5*a + u + 2 = 0. Let q = -62/105 + 4/21. Which is bigger: a or q?
q
Let o(f) = -f**3 + 7*f**2 + 7*f + 3. Let s be o(8). Is s <= -8?
False
Let n = 39 + -38.05. Let v = n - -0.05. Are v and -3/7 non-equal?
True
Let w be 4/(-3 + -1) - -1. Which is smaller: 8/7 or w?
w
Suppose -2*n + u - 5 = 2*u, u = 3*n. Let c be ((-7)/(14/4))/5. Are n and c equal?
False
Suppose f - 4*s = -0*s - 19, 0 = -5*f - 4*s + 25. Let l be (-21)/9 + f + 1. Let r = -1 - -0.9. Do l and r have the same value?
False
Let t(f) = -f. Let s be t(-3). Let c be 0 + s*4/(-12). Which is smaller: -2 or c?
-2
Let o = 408 + -21169/52. Let y = -15/13 + 17/13. Let v = y - o. Is -1 less than v?
True
Suppose -12 = -5*q + 13, 3*l = 4*q - 14. Let d be (1077/(-80) - l) + -1. Let h = d - -82/5. Is h bigger than -1?
True
Let w = 0.3 - 0.4. Let q = -0.07 + 0.15. Let p = q - 0.15. Is p != w?
True
Let a = 0.2 + 0.8. Let s = -2 + a. Suppose -l + 10 = 4*l. Which is smaller: l or s?
s
Suppose 49 = -3*x + 4. Let v = 22 + x. Is v greater than or equal to 7?
True
Let z be (-1)/3 - 1/(-3). Let t = 10 - 9. Which is greater: z or t?
t
Suppose 0 = 4*a + 8, 4*a + 4 = -2*u - 2*u. Suppose -2*g - 5 = -u. Let o be (1 - -2) + g + 3. Is 4 at least o?
True
Suppose 0 = -21*p + 145 + 128. Which is smaller: 11 or p?
11
Let b = 5 + -2. Let m(p) = p - 4. Let o be m(4). Suppose b*h - h = o. Which is bigger: 3/4 or h?
3/4
Let d = 303 + -2731/9. Which is smaller: d or -2/9?
d
Let r be 4/14 + (-16)/56. Which is smaller: 2/89 or r?
r
Let d be 1/(-1) + (-6)/(-2). Let w be d/3 - 28/6. Let l be 2/(-4) - 4/w. Which is bigger: l or 1?
1
Let s(j) be the third derivative of j**5/60 - j**4/6 + 2*j**3/3 - 3*j**2. Let h be s(3). Is 1/3 > h?
False
Let p = 118 - 119. Do p and -0.27 have different values?
True
Let i be (-6)/(-3)*(-6)/(-4). Suppose -5*h = i*c - 26, 0 = -3*h - 2*c + 16. Suppose -3*s = h*l - 22, 2*l - 2 - 14 = -4*s. Which is greater: s or 1?
s
Let i(y) be the third derivative of y**5/60 + 7*y**4/24 + 3*y**3/2 - 2*y**2. Let g be i(-6). Let b be (-1)/(-2) - (-6)/4. Which is smaller: b or g?
b
Let u = 2 + 0. Let z = -0.7 + 0.6. Do u and z have the same value?
False
Let l = 22.8 - 33. Let r = l - -11. Let t = -1.1 + r. Do t and -2/7 have the same value?
False
Let w = 0.2 - 0. Let s be (6/(-2) + 13)/(-1). Let y be s/(-8)*(-2)/(-10). Is y at least as big as w?
True
Let c be (-6)/609 - 0/(-4). Let n = 1226 + -35562/29. Let o = n + c. Which is smaller: 6 or o?
o
Let i(q) = -2*q**2 - 3*q - 1. Let s be i(-3). Does -10 = s?
True
Suppose 0 = -2*b - 3*b - 5, 3*b - 52 = -5*l. Let m = l + -21. Let o = m - -9. Is o <= -2/13?
True
Suppose 2*p = -5*y - 13, 0*p + 4*y + 10 = -2*p. Let c be (p/(-18))/((-5)/20). Which is smaller: -1 or c?
-1
Let p = -0.1 - -1.2. Let m = 0.6 - p. Let x = 0.5 + m. Which is smaller: x or -0.2?
-0.2
Suppose 0*t + 20 = 5*t. Let p = -10 + t. Let y be ((-2)/(-27))/(2/p). Are y and 0 equal?
False
Let c be ((-2)/(-12))/(24/108). Is 0 equal to c?
False
Let q = -31 - -39. Is 6 greater than q?
False
Let x = -10 - -11. Is x at least 1/3?
True
Let x be 2 + (-15)/12 - 1. Let h(z) = -6*z**2 - 2*z + 4. Let p be h(-3). Let d be (-52)/p - 4/22. Is d != x?
True
Let t = -25 - -15. Let n = t + -1. Which is smaller: n or -10?
n
Suppose 2*r - 2*s = 1 + 9, 2*r - 19 = 5*s. Which is smaller: 40/13 or r?
r
Let a = 2/3 + -4/3. Suppose w - 5*j - 8 = 0, -2*w - 3*j = 3 - 6. Suppose 4*f - 14 = -3*x, -x - f - 2 = -w*x. Which is smaller: a or x?
a
Let n(y) = y**3 + 3*y**2 - 5*y - 4. Let u be n(-4). Is u greater than or equal to -1?
True
Let x(u) = u**3 + u**2 + 6. Let n be x(0). Let v = -4 + n. Let m be -5*(4 + -3) + v. Is -5 less than m?
True
Let u = 6/451 + -13572/3157. Which is greater: -4 or u?
-4
Let l(r) = 2*r**2 - 14*r - 9. Let o be l(8). Are o and 8 equal?
False
Let r = 0 - -8. Let z = -5 + r. Is z greater than -1?
True
Let v be -1 + 8 + -1*2. Suppose w + 30 = 5*b, 2*w - 21 = -v*b - 6. Let t = b - 2. Do t and 5 have different values?
True
Suppose -d + 0*d = 0. Suppose 3*j - j = d. Which is smaller: j or 2/17?
j
Suppose -i + 2 = 5*j, 4*j - 2 = -i - 0. Suppose s + 1 = -j. Let b = 0.2 - 0. Which is greater: s or b?
b
Let d be ((-1038)/(-20))/(2268/30). Let z = d - -4/63. Is z at most 2?
True
Let q = 21 + -15. Let p be ((-8)/6)/(2/q). Are -4 and p equal?
True
Let a = -23 - -23.44. Let w = 2.34 - a. Let o = w - 2. Is -3 bigger than o?
False
Let n be (1 + 3)*1/4. Let v = 10/1869 - -8/89. Let c = v - 25/42. Which is smaller: c or n?
c
Let h = -0.1 + 0.2. Let r = 1.5 - -5.5. Let a = r - 4. Is h greater than a?
False
Let z(n) = -n**2 + 1. Let u be z(0). Is u at least 4/7?
True
Suppose 6*n + 3*d - 62 = 2*n, 0 = -2*n + d + 26. Let h be 2/4 - n/(-4). Let c(f) = f**3 - f**2 - f. Let a be c(0). Do h and a have the same value?
False
Let b = -490/41 + 12. Is b not equal to 1?
True
Let z = 17/3 - 6. Which is smaller: 9 or z?
z
Let n = 20 - 14. Suppose 3*x + 6 = 4*x. Is n less than x?
False
Let y(w) = -w**2 - w - 5. Let a be y(0). Let r = a - -3. Let h be -1 - (0 + -2) - r. Is h bigger than 1?
True
Let d be (2 - -6)*7/98. Le