134 + (-2)/9. Do p and 2/3 have the same value?
False
Let q = 1827692664/30083 - 60755. Let k = q - 812165/2286308. Let p = k - -2/19. Which is bigger: p or -2/7?
p
Let x = 54 + -75. Let f(i) = -2*i**2 + 3*i + 1. Let l be f(3). Let v be (-40)/x - l/(-4). Is v < -1?
False
Let z = 75 + -43. Suppose -2*l - z = 3*x - 6*l, 0 = -5*l + 25. Is x equal to -4?
True
Suppose 3*q + 2*q + 5 = 0. Let c be (-18)/(-3) + -1 + q. Let y be (c/4)/(2 + 1). Is y >= -1?
True
Let i = 1 - 1. Suppose -3*s + s - 3*l = 6, 3*s - 1 = -2*l. Suppose -t + s*t = i. Are t and 1/7 non-equal?
True
Let u(i) = -i**2 - 4*i. Let p be u(-3). Let l be (-105)/6*(-2)/20. Which is smaller: l or p?
l
Let f = 0.79 + 0.61. Which is bigger: f or -0.1?
f
Let g be 3/5 - (-148)/(-180). Which is smaller: g or 0?
g
Let w = -6 - -6. Let q = 0.1 + w. Which is smaller: 4 or q?
q
Let i = 17 - 28. Which is smaller: 2/5 or i?
i
Let d = -29 + 47. Which is smaller: 0 or d?
0
Let h = 131/4 - 33. Is -8/7 != h?
True
Let f = -98 + 93. Which is smaller: f or 0?
f
Let o(u) = u**2 - 5*u + 5. Let a be o(4). Is a bigger than -61?
True
Suppose -5*t + 2*v + 2 = 1, -v - 1 = -2*t. Let k = 325/4 - 81. Which is bigger: k or t?
k
Let o = -24.93 + 25. Let x = 0.02 - 0.05. Let f = o - x. Is f less than -2/11?
False
Let k = 113763/34771 - -3/3161. Which is smaller: k or 3?
3
Suppose -20 = -4*p - 3*a, -6*p + a + 6 = -p. Suppose -y + 4*z = -0*z + 20, -p*y = -2*z + 10. Which is smaller: y or -2/13?
-2/13
Let g be 1020927/621 - (-2 + 4). Let s = 1642 - g. Let a = -421/1449 - s. Is a less than -0.3?
False
Let x(h) = -h**3 - h**2 - 2*h - 2. Let t be x(-1). Do t and 5/6 have the same value?
False
Suppose -4*t - 3*y + 19 = 0, -2*t - y + 12 = 3. Suppose -t*j + 3*s = -0*j + 1, 2*j + 2*s + 4 = 0. Is 1 != j?
True
Let z = -17 + 15. Is -3/7 bigger than z?
True
Suppose 0*m + 4*m - 4 = 0. Let s be 12/(-5)*m/(-4). Let y be 0/(-1) + -2 + 2. Which is smaller: s or y?
y
Let h = 0.3 - 0.4. Let v = -9 + 10. Let a = 1.2 - v. Which is smaller: h or a?
h
Suppose -3*d - 50 = -5*f, 23 = f - 0*d + 2*d. Which is smaller: f or 12?
12
Suppose 3*x = 2 + 94. Does x = 31?
False
Let l(r) = -4*r + 6. Let b be l(4). Let j(d) = -3*d + 43. Let o be j(11). Let t = o + b. Which is greater: 2 or t?
2
Let t be -3 + (-1 + 2)*0. Let a = -3 - -3.4. Let b = a - 0.3. Which is greater: b or t?
b
Let u = -79 - -66. Is u less than 2?
True
Let m be 1/3 - (-20)/3. Let v(k) = -k + 7. Let x be v(m). Let r = -29 + 30. Is x > r?
False
Let c = 1062679 + -317740619/299. Let t = c + -38/23. Is t greater than or equal to -1?
True
Let r be (-2)/10 - (-1205)/(-225). Which is greater: -7 or r?
r
Suppose 5*j = -4*i + 62, -4*i - 5 - 3 = -2*j. Suppose -2 = 3*a + j. Is a > 0?
False
Let l be 6/2*(4 - 3). Suppose -p - p = -6. Is l < p?
False
Suppose -1 = 5*d + 3*m + m, -3*d + 4*m + 25 = 0. Let c be -4 + d + -3 + 2. Let r be 2 + -1 + -1 + 0. Which is greater: r or c?
r
Let g(p) = 4*p - 7. Let b be g(3). Let v = b + -6. Is v < -2?
False
Suppose -r + 4 = 3*r. Suppose -q + 5*q = 0. Suppose 5*u + 2 - 7 = q. Is u > r?
False
Let m be ((-1)/(-1))/(1 - 2). Let f = -3919/35 + 112. Let r = f - 3/7. Do r and m have the same value?
False
Let h(a) = -a + 4. Let s be h(4). Suppose p - 17 = -4*n - 4, 0 = 4*p + 2*n - 10. Let z be p/(-3) - 10/6. Which is smaller: s or z?
z
Let x = -0.1 + 0. Which is smaller: x or -2/51?
x
Let s = 12 + -15. Let f be (-2)/s + (-21)/(-9). Is f <= 4?
True
Let m = 786913/10465 + 11/2093. Let w(d) = -d**3 + 3*d**2 + 7*d - 9. Let u be w(6). Let p = m + u. Is p smaller than 0?
False
Let n = 11/2 + -35/6. Let l = 1 + n. Which is bigger: l or 1?
1
Let t be (14/8)/(8/(-48)). Is -10 greater than t?
True
Let x be 8/(-6)*12/(-4). Suppose -l + 2 = l, -x*b + l = -23. Which is greater: b or 5?
b
Let j be 3*-2 - -4 - 3. Is -2 >= j?
True
Let c = -23 + 47/2. Is c <= 0.04?
False
Let y = 17/143 - 3/11. Suppose -2*z = -2*j + 12, 5 = -3*j - 2*j - 2*z. Are j and y nonequal?
True
Let m(o) = -2*o**3 + o**2 + o - 1. Let v be m(1). Which is smaller: 0 or v?
v
Let k be -1*(1 - 4/6). Let v = 61 - 41. Suppose 4*g - v = -4*z, -5*z + 12 = -13. Which is bigger: g or k?
g
Suppose 16*b - 50 = 11*b. Is b not equal to 10?
False
Let k = -15 + 20. Are k and 8 non-equal?
True
Let w = -36 + 37. Let k = -0.9 - 0.6. Which is smaller: k or w?
k
Let f = -10 - -11. Let u be 3/9 + -3*f. Which is greater: -3 or u?
u
Suppose 2 = -w - 3*f, -4*f = 5*w - 3 + 13. Let k be -4 - w*(-1)/(-2). Do -11/4 and k have the same value?
False
Let l be (-1)/66 + 600/(-88) + 7. Which is smaller: l or -0.2?
-0.2
Let h(t) = -t**3 - 7*t**2 - 5*t + 1. Let y be h(-6). Which is greater: -24/5 or y?
-24/5
Let w be ((-7)/3 - -2)*(5 + -5). Let h be (1/12)/((-6)/4). Which is bigger: h or w?
w
Let f = 1654.87 - 1648. Let p = -0.13 - f. Let b = -6.8 - p. Do 0 and b have the same value?
False
Let z(r) = r**2 + 3*r - 17. Let b be z(-6). Let y be (-63)/(-34) - 6/4. Which is bigger: b or y?
b
Suppose y = -1 - 2. Let v = -2 - -1.97. Let i = -0.03 - v. Is i bigger than y?
True
Let v = 0 + 6. Let x(j) = j**2 + 1. Let u(p) = -5*p**2 - 6*p - 8. Let h(o) = v*x(o) + u(o). Let w be h(6). Which is greater: -3 or w?
w
Let m = -1 - 7. Let i = m + 8.2. Is i >= 5?
False
Let l be -8 + -1*(0 + -1). Which is greater: l or -8?
l
Let d = -4 + 6. Suppose d*u + 1 = u. Let p be (1/(-3))/((-23)/6). Which is bigger: u or p?
p
Let l be -2 + 0 + (9 - 2). Let a be l + (3 - 1 - 0). Let j(n) = n - 2. Let h be j(a). Is h at least 4?
True
Let h = 2 + -2. Let g be ((-1)/(-5))/((-7)/(-14)). Is h smaller than g?
True
Suppose 0 = -0*j - 4*j + 48. Is 10 bigger than j?
False
Suppose 4*l - 9*l - 2 = 2*z, 2*z + l + 2 = 0. Let v be (-4)/5*(z - 4). Suppose 0 = -2*r + 2*g - 4, -2*r + 3*g - v = 3*r. Which is bigger: r or 2/5?
r
Let o be (-1)/6 - (-5)/(-6). Let x = 0 + 0. Which is greater: o or x?
x
Let u be 1/(-4) - (-16780782)/(-520). Let v = 32270 + u. Let h = -5/13 - v. Are h and 1 nonequal?
True
Suppose 2*v + 6*z = 4*z + 12, -9 = -3*z. Let j(a) = a + 2. Let w be j(-3). Let d be (-3)/(-6)*(-1 - w). Is v less than d?
False
Let n = -2127/14 + 152. Is -1 < n?
True
Suppose 3*r = -3*y - r + 22, -3*r = -12. Let w be 2/y + (-9)/(-3). Suppose -4*p + 1 = -3*l, w*p + l + 1 = 6. Is 0 greater than p?
False
Let b = -141464 - -7780984/55. Let o = b - 106/11. Is o greater than or equal to -2?
True
Suppose -15 = 3*h + 3*a, 16 = -2*h - a - 4*a. Are -4 and h equal?
False
Let h(k) = k - 5 + 4 + 0*k + 4. Let n be h(-3). Is 0.7 at most as big as n?
False
Suppose 7*n - 4*n + 2*a + 13 = 0, -2*a = -2*n + 8. Let z be (-5)/(-30)*(n + -1). Is z >= -2/7?
False
Let s(x) be the first derivative of 3*x**4 + x**3/3 - x**2/2 - x + 5. Let i be s(-1). Which is smaller: i or -12?
-12
Let m be ((-4)/(16/3))/3. Which is smaller: 1 or m?
m
Let m be (-2)/(-22)*(0 + -2). Which is smaller: m or 1?
m
Suppose -4*w - 3*g = -16, -w - w - 3*g = -14. Let j = -3/28 + 1/4. Which is smaller: j or w?
j
Suppose x = i + 5, -25 = -3*i - 0*i - 5*x. Let f = -0.3 + 0.5. Let d = 0 + f. Is d less than or equal to i?
False
Let n = -46 - -95/2. Is n greater than -0.2?
True
Suppose -4*r + 7 + 1 = 0. Let h be -3 - r/(-2) - 1. Let i be (23/7 + h)*-1. Which is smaller: 1 or i?
i
Let t = -10 + 12. Which is greater: -3 or t?
t
Let r = 1541/12028 - 21/124. Is 0 less than or equal to r?
False
Let w = 8 - 4. Suppose -4*v + 0 = -20. Suppose v*r = 7*r - 6. Which is smaller: w or r?
r
Let s = 37 + -36. Let z = -2 + 0. Which is bigger: z or s?
s
Let z = 0.2 + -0.2. Let i = z + -0.4. Which is smaller: -0.1 or i?
i
Let d = 3.5 - 0.5. Let s = -2 + d. Let v = 0.1 - 0.1. Is v greater than s?
False
Let j = -9 + 10. Which is greater: 7/4 or j?
7/4
Let r be 2 - 16/(-1 - 1). Is r greater than 10?
False
Let p = -4.9 - -5. Let u = p + 3.3. Let t = -0.6 - u. Which is smaller: t or -1/2?
t
Let h(o) = o**3 + 4*o**2 - 6*o - 7. Let t be h(-5). Let s = t - -1. Is s greater than 0?
False
Suppose -2*q - 4*t + 17 = -5*q, 3*q - 23 = -4*t. Suppose -1 = l - d, 2*l + q = 4*d - 7. Suppose 3*p - 2 - 4 = -2*f, 0 = -3*f - 4*p + 8. Is f greater than l?
False
Let h(q) be the second derivative of q**5/20 - 3*q**4/4 + 7*q**3/6 + 4*q**2 + 3*q. Let a = -4 + 12. Let c be h(a). Which is greater: -2 or c?
c
Suppose 0 = m - 113 - 190. Let q = m + -2427/8. Is -1 at most as big as q?
True
Let f = 0.9 - 0.8.