+ 2*p. Let v be y(2). Let o be 3/9 - 32/v. Is o >= -4?
False
Let j = 59 - 43. Which is bigger: 0 or j?
j
Suppose 2*v + 15 = -3*v. Let t(i) = -i**2 - 2*i + 1. Let q be t(v). Let o = 4 + -5. Does q = o?
False
Let w(f) = -14*f + 31. Let z be w(2). Let b be (-1)/(38/(-16) - -2). Which is smaller: b or z?
b
Suppose -6*m = 5*d - 2*m - 45, m = d. Suppose -d = -b - 1. Let z = b - 1. Is z at least as big as 2?
True
Let j = -216 + 216. Let s = -6 - -10. Let c be s/10 - (-7)/20. Which is smaller: j or c?
j
Let y be 0*-4*(-5)/(-20). Let a be -1*(-62)/50 - 1. Let x = a - -27/200. Is y less than x?
True
Suppose 0 = -a - 5*i + 5 + 13, -5*i = 3*a - 14. Let r be 1/1*1 + a. Let k = r + 0. Is k smaller than -1?
False
Let p = 12 - 11. Let c be 0 + 2 + p/(-4). Which is smaller: 1 or c?
1
Let f = -1/8 + -5/88. Is f less than 0?
True
Let c = 0.34 - 0.34. Let r = -0.68 - -4.78. Let d = 4 - r. Which is greater: d or c?
c
Let k be (-2 + 24/9)/(30/(-9)). Is -2 less than k?
True
Let k = 10.8 + -11. Is -0.2 <= k?
True
Let n = 23 + -19. Suppose 0 = 3*d - 2*d - 1. Which is bigger: n or d?
n
Suppose 0 = -6*g + 2*g + 128. Suppose -15 = -5*v, 5*v - g = l + 55. Let h be 8/(-36) - 34/l. Which is greater: 4/7 or h?
4/7
Let g(k) be the second derivative of -k**5/20 + 7*k**4/12 + 2*k**3 - 5*k**2/2 - 3*k. Let i be g(8). Let b be ((-12)/(-10))/(i/30). Which is bigger: 1 or b?
b
Let x(t) = 5 - 3 - t**2 + 4 - 2*t - 4. Let p be x(-3). Which is bigger: 1 or p?
1
Suppose p + p + 14 = 0. Let x be 6/3 - (-16)/p. Which is smaller: 2/11 or x?
x
Let k be (-1)/((-4 - -1) + 2). Is k greater than -2/109?
True
Let f be ((-2)/4)/((-2)/4). Which is smaller: 4/21 or f?
4/21
Let q(v) = v**2 - 8*v + 6. Let i be q(8). Let w(r) = r - 6. Let t be w(i). Let a = 21 + -43/2. Is a greater than or equal to t?
False
Suppose 21*i - 32 - 10 = 0. Let z be (8/30)/(4/10). Is z equal to i?
False
Let w = -6 - -9. Suppose -8 = -w*z + 1. Suppose z*s - 4*s = -2. Which is smaller: 5/3 or s?
5/3
Let t = 2 - 1. Let a = t - 3. Which is greater: -4/7 or a?
-4/7
Let v be 3/2*2 + (-2 - 1). Let s be (-1)/(5/3)*-1. Let y = 37/20 - s. Do v and y have the same value?
False
Let l = -26 + 18. Let j be (l/12)/((-1)/(-3)). Let a = -29/42 + -1/6. Is j > a?
False
Let j(r) = -r**3 - 15*r**2 - 24*r - 24. Let b be j(-13). Is b greater than or equal to 2?
False
Suppose 2*v - 18 = -0*v. Let o = v - 10. Let i be (3/9)/(0 + 1). Do i and o have different values?
True
Suppose 0 = d - 8*d. Is 1/28 > d?
True
Let s be 2/(-6) + (-20)/12. Is -4/3 greater than or equal to s?
True
Let w = 31025/71 + -437. Is w < -1?
False
Let f be (-28)/(-10) - (2 - 0). Let x(l) = 2*l**2 - 17*l + 10. Let i be x(8). Which is smaller: i or f?
f
Let m = 24.3 + 2.7. Which is smaller: -1 or m?
-1
Let x = 13 + -25. Let j = x + 12.3. Suppose n + 5*m = -19, 3*n = -n + 2*m + 12. Which is smaller: j or n?
j
Let v(x) = 19*x**2 + 3*x + 2. Let k be v(-3). Let a = 2458/15 - k. Is -1 bigger than a?
False
Let n(v) = -3*v - 7. Let i be n(-5). Suppose i*o = 4*o. Which is smaller: o or 2/5?
o
Let i = 0.067 - 0.567. Which is smaller: -0.2 or i?
i
Let n = -2/1313 - -24953/3939. Let v = -79/12 + n. Which is smaller: -3 or v?
-3
Suppose 24*n - 27*n + 60 = 0. Suppose -4*c + 84 = -k, -46 = -2*c + 5*k + 14. Is c at most as big as n?
True
Suppose -5*p - 14 = 2*c - 0, 4*c + 6 = p. Suppose -3*o = 6, 2*z - 4*o = -3*z - 22. Let i be (6/4)/(3/z). Which is greater: c or i?
c
Let x = -1.5 - 4.5. Let q = 6 + x. Let t = 0.4 - 0.3. Is t equal to q?
False
Let h = -69 + 102. Is 33 smaller than h?
False
Let i = 5 + -1. Let v = -7 - -5. Which is smaller: v or i?
v
Let n(h) = h - 4. Let j(m) = -4*m + 15. Let u(c) = -2*j(c) - 9*n(c). Let v be u(5). Is 1/19 greater than v?
False
Suppose -5 = 4*v + 3. Is v equal to 1?
False
Let r = -4 + 4. Suppose -4*a + a + 2*x - 13 = r, 4*x + 4 = -4*a. Does a = -2?
False
Let g be (27/(-2))/((-12)/(-16)). Let o = g - -11. Let i = o - -5. Is -3 at least i?
False
Suppose 5*c = 7*c - 2, -2*c = -2*n + 6. Let m(g) = g**2 - 5*g + 5. Let v be m(n). Let i be (-1)/17*(-12)/(-6). Which is bigger: i or v?
v
Let k = 1 - 1. Which is smaller: 2 or k?
k
Let h = -3/35242 - 7189263/1233470. Let x = h + 38/7. Suppose i = -d + 3*i, 3*i = 3*d. Is x < d?
True
Let i = 4 + -2. Suppose -4*u + 20 = -s, 19 = 5*u - 4*s - 17. Suppose 0 = 4*o + 2*w + 2, w = i*o - u*w + 7. Does -3 = o?
False
Suppose -c = -10*c. Suppose -t + 3 = 5. Is t >= c?
False
Suppose 4*n - c = 0, -4*c = -2*n + 17 - 3. Let h be 10/36 - (-3)/(-6). Which is smaller: n or h?
n
Let y(g) = 24*g + 7. Let d be y(-14). Let q = d - -14145/43. Does q = -1?
False
Let q(w) = -w - 5. Let g be q(-3). Let f(l) = l**2 - 10*l - 5 + 2 + 3*l. Let o be f(7). Is o equal to g?
False
Let p = 4/233 - 365/7689. Is p > 0?
False
Let h(l) = l + 6. Let r be h(-6). Let y be r + (-1)/1 + 0. Is y less than -2/11?
True
Let l = -3.97 + 4. Is -1 at least l?
False
Let t = 0.76 - 0.76. Is -1/25 greater than or equal to t?
False
Let p = 2 + -5. Suppose v = -3*v - 12. Do v and p have the same value?
True
Let d = 6 - -1. Let c = d - 7.05. Is 2/3 greater than or equal to c?
True
Let a = -1.08 - -1.51. Let d = a - 0.5. Which is smaller: d or -1?
-1
Let q be (1 + -2)/(-4 + 10). Let z(x) = -x - 3. Let o be z(-4). Which is greater: o or q?
o
Let j(f) = 12*f - 120. Let v be j(12). Let o(b) = -5*b - 6. Let u be o(-6). Is v greater than or equal to u?
True
Let b be (-2 - 1) + -4 + 3. Is b at most -34/11?
True
Let j be (-3)/(-6) + (-9)/(-2). Let x(y) = y + 3. Let d be x(-2). Let u be (-3)/(-15) - d/j. Do u and 1 have the same value?
False
Let f(t) = t**3 - 3*t**2 - 6*t + 10. Let k be f(4). Let b = 6 + -3. Which is bigger: k or b?
b
Let s = -16 + 15.8. Which is greater: s or 0.8?
0.8
Suppose 17*t = 6*t + 22. Do 1 and t have different values?
True
Suppose 4*m - 2 = 5*g, 2*g - 5*g = -m - 3. Suppose -m*a = 5 - 2. Suppose 0 = 5*n - 5*d + 25, 0 = -4*d - 6 + 18. Which is bigger: n or a?
a
Let p = -311 + 222. Are p and -88 nonequal?
True
Suppose 2*x - 5 = -3. Is x at most -2/5?
False
Let l = -1.1 + 2.1. Which is smaller: l or 0.5?
0.5
Let r(l) = -l**2 + 10*l - 3. Let t be r(9). Let a = 1 - t. Which is bigger: -4 or a?
-4
Let w(j) be the third derivative of j**6/30 + j**5/60 - j**4/12 + j**3/6 + 6*j**2. Let g be w(1). Is 1 < g?
True
Let j be -1 - -1 - (-3 - -14). Let l = 13 + j. Suppose -5*f - 17 = -2*f + 2*h, 5*f - 5 = 5*h. Are f and l equal?
False
Suppose 0*r - 3*r = -15. Let s(a) = 4*a - 5. Let i be s(2). Suppose -7 - i = -r*l. Do l and 1 have the same value?
False
Let p = -6 + 7. Let w = -1.5 + -0.5. Let f = w - p. Are f and 0 nonequal?
True
Let c(t) = t**2 - 11*t + 9. Let a be c(10). Is a >= -1?
True
Suppose -2*a + 17 = 3*d - 6*a, -4*d = 3*a - 6. Suppose d*b = b. Let c(j) = -j**3 + 5*j**2 + 16*j - 12. Let h be c(7). Is b smaller than h?
True
Let z(d) = 2*d**2 - 4*d - 3. Let l be z(4). Let f = -34 + l. Is -21 != f?
False
Let w(t) be the third derivative of -t**5/60 - t**4/6 + 2*t**2. Let y(p) = p**3 + 2*p**2 - 3*p - 4. Let h be y(-3). Let d be w(h). Which is greater: d or 2/9?
2/9
Let r = -4 - -6. Let t = 198 - 197.5. Which is smaller: r or t?
t
Suppose -l + 44 = l. Let o be 18/45 + l/(-30). Let y(w) = -w - 3. Let p be y(-2). Which is bigger: p or o?
o
Let m = -50 + 49. Is 39 less than or equal to m?
False
Suppose -f + 11 = 2*k, -5*f = 14 + 1. Let z = k - 9. Which is smaller: 3 or z?
z
Let j = -0.26 + 0.3. Let t = -91.04 + 89. Let q = j + t. Which is bigger: 0.1 or q?
0.1
Let c = 63 - 37. Suppose 4*g = 2*r - c, -3*r - g + 43 = 2*r. Does 9 = r?
True
Suppose -c + 6*c + 10 = 0. Is 0 > c?
True
Let s = 7 + -6. Which is greater: s or 25?
25
Let t = 2867/283871 + -2/2653. Is 0 != t?
True
Let s = -425/159 - -18/53. Let t(q) = -q**3 - 5*q**2 + q + 2. Let a be t(-5). Which is bigger: a or s?
s
Let h be (-1)/(1*((-30)/14 + 2)). Which is smaller: -0.6 or h?
-0.6
Suppose -v + 8 = 3*v. Suppose 0*k + 3*k = -n - 14, v*n + 3 = -k. Let s = 51/28 + -11/7. Is n smaller than s?
False
Let h = -0.03 - 0.01. Let b = -0.96 + h. Let u = b + 2. Is u > 0.2?
True
Let v = 11 - 11. Suppose -3*g + 3 = -0. Let h be v/(g + (-9)/3). Is -1/4 >= h?
False
Let g = 0.156 + -0.186. Which is smaller: g or 10?
g
Let g be 1 - (-2)/(10/(-3)). Let x = 1 + -2. Let f be (x/(-1))/(2 + -3). Is g at least as big as f?
True
Let h(c) = -c