 u at least as big as p?
True
Let d be (-3)/1*(-3)/(-9). Let i be 3/2*(d + 3). Let c be i/9 + 0/2. Is -2 less than or equal to c?
True
Let j be -4 + (1 - -1) + -17. Let w = j + 27. Let t = -5 + w. Which is greater: t or 4?
4
Let g = 13845/43 + -322. Is 0.1 at least g?
True
Suppose 5*q = 4*y - 28 + 4, 3*y - q - 7 = 0. Does y = -1/10?
False
Let f = -12 + 12. Which is smaller: f or -2/77?
-2/77
Let q(x) = -5*x + 1. Let y(u) = -11*u + 1. Let w(t) = -9*q(t) + 4*y(t). Let s be w(5). Is 1 >= s?
True
Let t(x) = x**2 + 3*x - 2. Let f be t(-4). Suppose f*j = -2 + 8. Which is smaller: 0 or j?
0
Let l(k) = -27*k**2. Let u be l(-1). Is u >= -27?
True
Let f be -1*-3*2/33. Suppose 3*b + 1 = -2. Which is bigger: b or f?
f
Let a = 51 + -39. Which is bigger: a or 8?
a
Let o(s) = 2*s**2 - s - 3. Let r be o(3). Suppose -5*n - 4*l + 24 = -l, -3*n - l + r = 0. Is 1 equal to n?
False
Suppose 0 = l + 1 - 0. Let w = 16 - 8. Let o be (-1 - -1)*(-4)/w. Which is bigger: l or o?
o
Let d be (1 - (0 + 1))/(-2). Suppose 3*n = 3*u - 27, 4*u - 5 = 5*n + 35. Is u greater than d?
True
Let x be 6/45 - 386/(-30). Suppose -2 = -3*d + x. Which is smaller: -1/4 or d?
-1/4
Suppose -y + 5*m = 14, 4*y - 7*m + 8 = -3*m. Suppose 2*f + f = -3. Which is bigger: f or y?
y
Let d be (2 - 45/22)*4. Which is smaller: 1/8 or d?
d
Let t be 0/(-1)*(0 - -1). Let v = -857 + 5989/7. Let z = 6/7 + v. Which is greater: t or z?
t
Let c be 4/((-4)/(-2)) - 3. Which is smaller: c or -2?
-2
Let v(n) = -n - 5. Let f be v(0). Let l(y) = -y - 1. Let q be l(f). Suppose -2*t - t - r = 1, -2*t + q = 3*r. Is t at least as big as 1/11?
False
Suppose -3*o = -o - 3*x + 5, 4*x = -2*o + 2. Is o greater than -3/13?
False
Let h = 6 - 8. Let k be ((-4)/5)/(-4)*h. Does -0.2 = k?
False
Let q = -407 + 7319/18. Is -1 >= q?
False
Let o(z) = -2*z + 10. Let g be o(13). Is -16 < g?
False
Suppose 3*r + 4*r = 0. Is r != -1/48?
True
Suppose -2*l = -l. Suppose l = -4*b + 4 + 4. Which is smaller: 0 or b?
0
Let a(k) = k**2 - 7*k + 8. Let w be a(6). Suppose 0 = 3*t - w*s - 12, -t - 4*s = -7*s - 11. Suppose t = -i - i. Which is greater: i or 1/5?
1/5
Suppose 5*k = p + 18, -k - p = 2*k - 14. Let a = 5 - k. Let l = 71/102 - 1/34. Which is greater: l or a?
a
Suppose 0*b = 2*b. Suppose s + b = -3. Suppose -5*o = 3*p + 1, -2*o + 5 = 3*o + 5*p. Do s and o have different values?
True
Let m(x) = -x**2 - 7*x - 5. Let b = 7 - 13. Let d be m(b). Let y be (85/25 + -4)*(-2)/6. Which is smaller: d or y?
y
Let v = 14.2 - 5.2. Is 0 > v?
False
Suppose 2*k = 4*k - 5*p + 9, -2*k + 3*p - 7 = 0. Let m be ((-1)/k)/(1/2). Suppose 3*j - 6 = -4*n, -n - 11 = 2*j - 15. Is m < n?
False
Let r = -9 + 11. Let y = r + -4. Let g = 5 - 7. Are y and g nonequal?
False
Let t be (45/(-30))/((-1)/12 + 0). Is 19 equal to t?
False
Let j(p) = -p**3 + 5*p**2 + 7*p - 1. Let g be j(5). Let b be g/42 + 8/24. Is b < 1?
False
Let b = 14 - 10. Suppose -8*p + 4*p = b. Let i be (-22)/(-8) - p/4. Is 4 < i?
False
Suppose -5*i + z + 19 = 0, -2*i + 3*z + 22 = -z. Suppose -i - 1 = -2*y. Let d(w) = w**3 - 6*w**2 + 2. Let m be d(6). Is m less than or equal to y?
True
Let i = -0.09 + -0.01. Which is bigger: -0.7 or i?
i
Let i = -10 + -1. Which is greater: -2/5 or i?
-2/5
Let f be (-36)/165 + 4/10. Is 0 < f?
True
Let r(i) = i**3 - i. Let n be ((-2)/2)/(-1 - 0). Let m be r(n). Let k = -1 + m. Is k bigger than -1?
False
Let q(m) = -5*m**3 + 3*m**2 - 3. Let s(j) = -4*j**3 + 4*j**2 - 2. Let d(x) = 3*q(x) - 4*s(x). Let l be d(7). Is l less than 1/7?
True
Let f = 12 - 11.9. Let r = -29/18 - -10/9. Is r at most f?
True
Let d be 1*16*(-4 - -5). Let q = 16 - d. Which is greater: q or -1/11?
q
Let d(h) be the first derivative of -h**3/3 + 3*h**2 - 5*h + 2. Let x be d(5). Which is bigger: x or -2/31?
x
Let y(b) be the second derivative of -b**5/20 - 11*b**4/12 - 3*b**3/2 + 7*b**2/2 - 6*b. Let g be y(-10). Is -5 smaller than g?
True
Let g = 20 + -17. Let h(k) = 4*k. Let y be h(1). Suppose g*o = 3*t + 15 + 9, o - 20 = y*t. Is 4 not equal to o?
False
Let i = -19 + 24. Is i greater than or equal to 5?
True
Suppose 0 = 2*n - 15 + 13. Which is bigger: n or -1?
n
Let l(r) = -r**3 - 4*r**2 - r - 2. Let m be l(-4). Let v be (14/(-4) - -2)*m. Let o be (((-6)/8)/v)/(-1). Are -2/5 and o unequal?
True
Let f = -13 - -13. Let n = 0 + 1. Is n not equal to f?
True
Let p = -4281 + 1752. Let b be 1 + (2 - p/(-924)). Let h = -1/77 + b. Do h and 0 have the same value?
False
Let r(m) be the second derivative of -m**5/20 - m**4/4 - m**3/2 - m**2/2 - 9*m. Let l be r(-3). Are 8 and l equal?
True
Suppose l + 0*l - 18 = 4*b, 2*b - 40 = -3*l. Suppose 3*w = r - 1, -l = -w + 3*r - 1. Let j be (w/(-6))/(2/6). Is 3 at least as big as j?
True
Let f = 6 + -4. Let z = -2 + 0. Is f greater than z?
True
Let s be (1*(-5)/(-40))/1. Is s at least 4/5?
False
Let j be ((-1)/2)/(1/(-2)). Is j bigger than -1/15?
True
Let n(t) = t**3 + 9*t**2 + t + 10. Let f = 4 - 13. Let c be n(f). Which is smaller: c or -4?
-4
Suppose -2*j - 4 + 6 = 0. Let g be (4/((-104)/(-10)))/7. Let f = 3/13 + g. Which is smaller: j or f?
f
Let t = 0.2 - 1.2. Let k = 1.1 + t. Let j = 10 - 7. Are j and k nonequal?
True
Let h(p) = p - 1. Let k be h(4). Let w = k - 1. Suppose -t - 23 = 2*y - 6*t, 27 = w*y + 5*t. Is 0 >= y?
False
Suppose 4*f - 34 = 18. Is f at most 5?
False
Let u = -1399 + 362. Let q = u + 38365/37. Let p = q - 21/148. Is p less than or equal to 0?
True
Let a = -10 + 9. Suppose t + 5 + 0 = 0. Which is bigger: a or t?
a
Let d = -5 - -5.4. Let x = -8.6 + 9. Let j = d - x. Is j less than -0.2?
False
Let l(g) = g**2 + g - 1. Let x be l(1). Is -6/13 less than x?
True
Let l = -1.964 + -0.036. Is -2/15 <= l?
False
Let o be 0 - -3*(-2)/(-10). Let v = 123 - 123.4. Is o < v?
False
Let j be 2 - (2 + -4 + 3). Let n be -2 - (-1 - -3 - j). Let s be -1*(-1 + 0/n). Is 0 > s?
False
Let a = -366 + 363. Let l(t) = -t**3 - t**2 + 2*t + 1. Let i be l(-2). Suppose -i = y - 2. Is a > y?
False
Let q be 1 + 1 - (-72)/(-54). Which is smaller: 0.07 or q?
0.07
Let m(x) = x**3 - 6*x**2 - 5*x + 2. Let w(r) = 7*r. Let b be w(1). Let q be m(b). Suppose 0*y - 4*i = 5*y - 15, -y + 3*i - q = 0. Which is smaller: y or -3/5?
y
Let h be 22/(-26) + 4/(-26). Is -1 greater than or equal to h?
True
Let n(f) = -19*f**2 - f. Let j be n(1). Which is smaller: j or -19?
j
Let q = 277 + -5816/21. Which is smaller: q or 0?
0
Let b be (-2)/5 - (-36)/15. Let m be 3/(-4) - b/(-2). Let d be 3*(0 - (-3)/36). Is d at least as big as m?
True
Let j = 14 + -6. Suppose -j - 12 = 5*z. Is -3 at least as big as z?
True
Let l(t) = t**3 - 14*t**2 + 13*t - 10. Let w be l(13). Which is bigger: -12 or w?
w
Let u be (-6)/5 - (-4)/4. Suppose 2*c + 2*c = 0. Is u not equal to c?
True
Suppose -2*j + 2 = -0. Let d(l) = -l**2 - 7*l + 3. Let g be d(-7). Suppose -g*p + 3*h = 9, -p + 2 - 10 = -2*h. Is p less than j?
False
Let g be 1/2 + (-9)/2. Let a be (1 - (2 + -3))*2. Let j = g + a. Is j bigger than 0?
False
Suppose -3*q + 7 = x, -5*x - q = 1 + 6. Let f be x/(-7) + (-2)/7. Which is greater: -2/7 or f?
f
Let s = 15 + -21. Let x = 48 - 46. Is s less than or equal to x?
True
Let y be (-164)/1530 - (-2)/5. Let x = 6/85 - y. Let a(v) = v - 5. Let u be a(6). Are x and u nonequal?
True
Let n = -7/6 + 3/2. Suppose 0*u = u - 10. Suppose 0 = -4*b + 16, u*b - 24 = 4*l + 5*b. Is n greater than l?
True
Let m = 5 + -3. Let f be 5/10*2*2. Suppose 2*t = 5*q + 11, -m*q + 4 = f*t - 0. Is 3 > t?
False
Let z(j) = j**3 - 5*j**2 + 6*j - 6. Let d be z(4). Let k be d/3 - 65/3. Let m = 64/3 + k. Is m at least 0?
True
Let v be -4 + (-1)/2 - -4. Which is smaller: v or -1?
-1
Suppose 0 = -5*k + 15 - 5, -3*u - 20 = -4*k. Is -3 != u?
True
Suppose -s + 15 = -3*d + d, -5*d + 34 = 4*s. Are -1/2 and s nonequal?
True
Let r(l) = -2*l**2 - 5*l + 5. Let i(q) = -q**2 + q. Let y(d) = i(d) - r(d). Let g be y(-6). Let k be (-3)/13*g - 1. Is k equal to -1?
False
Let h = 342.4 + -430.45. Let y = h + 90. Let z = -0.05 - y. Is z at least -0.1?
False
Suppose -5*k - 3*f - 9 = -2*k, -4*f = -3*k + 26. Is k at most as big as 4?
True
Let q(k) = -k**2 + 16*k + 3. Let w be q(11). Suppose 4*s + w = -3*i, 4 = i - 5*s - 2. Is -14 >= i?
True
Suppose 9 = 3*w - 0. Suppose -y - 3*y = 4*h - 36, -y = -h + 1. Which is smaller: w or h?
w
Suppose 19 = 5*p - 2*c, 5*c - 7 = -2*p + 6*c. Let s be p*-1 -