an or equal to p?
True
Let n be 10/(-15)*(-27)/6. Is 1 >= n?
False
Let w = 62 - 63. Which is smaller: 4/17 or w?
w
Let f = 71 - 70. Which is smaller: 2/445 or f?
2/445
Let w(r) = -2*r**3 + r**2 + r. Let s be w(-1). Let j = -7 + 9. Is s bigger than j?
False
Suppose 3*q = -0 + 3. Let g = 4 - -10. Let s = g - 20. Which is greater: s or q?
q
Let v = 5 - 5. Suppose v = 2*q - 4, 3*k - 4*q + 4 = 2. Let d be 1/((4/(-2))/(-2)). Which is smaller: d or k?
d
Let l be ((-2)/17)/(7/25697). Let z = l - -432. Is -1 <= z?
True
Let k be (-42)/(-10)*25/(-5). Let a = 20 + k. Is a < -1/3?
True
Suppose -4*i + 0*o - 58 = -2*o, 36 = -3*i + 4*o. Which is smaller: -17 or i?
-17
Suppose 0 = -2*t - 5*f + 28, -3*f = -2*f. Let k be (-6)/t*3/(-9). Which is smaller: 1 or k?
k
Let a be ((-9)/27)/((-1)/12). Suppose a = 6*r - 2*r. Which is greater: r or 1/4?
r
Let w = -0.4 + 0.3. Is 19 greater than w?
True
Suppose 0 = -4*k + 10 - 2. Suppose -3*o + 19 = 5*j, j = 4*j + 5*o - 5. Let r(h) = h**2 - 3*h - 7. Let z be r(j). Which is smaller: k or z?
k
Let n be (-2)/3 - (-14)/12. Let s be 2*(-8 + 4 - -5). Is n less than or equal to s?
True
Let p = -1061/15 - -71. Which is smaller: -1 or p?
-1
Let u = 5 + -12. Let c = u - -3. Are -6 and c equal?
False
Suppose -5*a + 2*a = -81. Suppose 4*t = -7 + a. Suppose 3*r - t*g + 5 = -11, 4*r = 5*g - 18. Which is bigger: r or 0?
0
Suppose m = 2*g + 16, 4*m + 2*g - 5*g - 44 = 0. Let i = m + -2. Suppose 0 = -2*s - 4, i = -2*y + 7*y - 3*s. Is y smaller than -2/11?
False
Let h = 4 + 1. Suppose 3*o - v + 6*v = 1, 3*o + 4*v = 2. Suppose o*x + h = 3*x. Is x at most as big as 5?
True
Suppose 8 = -2*w + 4*w. Suppose -2*u + w + 6 = 0. Are u and 2 equal?
False
Let w = -0.2 - -0.4. Which is greater: -5/3 or w?
w
Let c = -0.11 + -4.89. Let s = c - -2. Is s at most as big as 1?
True
Suppose -3*d = j + 3, d + 6 = 2*j - 2. Let n be (d/3)/((-4)/3). Is n < -2?
False
Suppose -3*s + 12 - 3 = 0. Suppose -2*b + 5*b + s = 0. Which is smaller: 1/9 or b?
b
Suppose -3*g = g - 4. Which is bigger: g or -6?
g
Let d be (1/(-3))/((-1)/(-1)). Suppose -g + 5*q - 3 + 8 = 0, 4*g = -3*q - 3. Suppose g*z - 2*z = 0. Is z smaller than d?
False
Let r(o) = o**2 - 4*o - 6. Let i be r(5). Is -2 smaller than i?
True
Let n = 17 - 12. Let i be (-17)/(-5) - (-3)/n. Let f be (i/16)/((-3)/(-8)). Is f smaller than -1/4?
False
Let r = 10 + -9.4. Which is greater: -3 or r?
r
Let x(h) = -h**2 + 6*h - 3. Let r be x(3). Let t(l) = l**2 - 6*l + 2. Let g be t(r). Let a = 1 - g. Is -1/3 at most a?
False
Let w be (-6)/(-4) - (8 + -6). Let v be (-764)/30*(-3)/(-196). Let b = -1/98 + v. Which is greater: b or w?
b
Let g = 1 - 8. Is g greater than -6?
False
Let y = -219/4 - -55. Is 3/4 less than y?
False
Let u be ((-20)/4 + 0)*-1. Suppose -u*n = -3*v, 3*n + v = 4*v - 6. Is n smaller than 3?
False
Let q be -1*(0 + 25)/(-5). Let l = 22 + -16. Which is smaller: q or l?
q
Let a = -14.1 - -16. Let g = -2.1 + a. Is -3 < g?
True
Let b be (2/(-6))/((-2)/18). Let t be 1/b + 4/(-84). Is t at least 1?
False
Let k be (1 + -2)/(1*6). Suppose -4*g - 15 = -51. Let r be 1 + (24/g)/(-4). Which is smaller: k or r?
k
Let i(x) = x**3 + 3*x**2 - 5*x - 5. Let m be i(-4). Let u = m + 2. Is u at least as big as -1/9?
True
Suppose -3*r = 5*w + 12, 0*r + 11 = -2*w + 5*r. Let s be w/(-9) + 1/(-9). Is 1/3 < s?
False
Let a = 2 + -1.7. Let c = a - -2.7. Are c and 1/2 equal?
False
Let f(a) = a**2 - 12*a - 5. Let n be f(11). Is -14 at most n?
False
Let i = -21 + 36. Let o = i - 47/3. Which is greater: -2 or o?
o
Let v be (18/(-15))/((-3)/10). Suppose -12 = -4*r + v, -u - 2*r = -14. Suppose a - 4*a = 3*z, u = -z + 2*a. Is z equal to -1?
False
Let h be 4/(-8)*(2 - -16). Let j be (-9)/(-6)*(-48)/9. Is h bigger than j?
False
Let v be 162/8 + (-18)/72. Which is smaller: v or 18?
18
Suppose -2*c + 14 = -3*c. Is 1 != c?
True
Let h = 51 + -53.3. Let x = -0.07 + -0.23. Let r = x - h. Which is greater: r or -2?
r
Let o = -6 - -9. Suppose 0 = -2*s - 1 - o. Is s at least as big as -2?
True
Let j = 42 - 41.5. Which is smaller: j or -0.2?
-0.2
Let y = 5 + -3. Let g be (-1 + 1 - -2) + 1. Suppose 0*x + 10 = -2*q - y*x, -5*q - 17 = g*x. Which is bigger: q or -2/15?
-2/15
Let s be (1/3*-3)/(-1). Let n be s/(-12) - (-1)/(-4). Is 0 != n?
True
Suppose 3*k = 14*k + 693. Which is smaller: -62 or k?
k
Let a = -6 + 1. Let i be 4/(-6) + 9/(-15)*5. Which is smaller: i or a?
a
Suppose -4*f - 10 = -5*n, -2*n + f = 4*f - 4. Let j be (n/3)/(2/(-3)). Let b = -39/124 + 2/31. Which is greater: j or b?
b
Let h = -8 + 7. Which is smaller: h or 1/33?
h
Let m(a) = -a**3 + 2*a**2 + 3*a - 3. Let v be m(3). Which is smaller: -2 or v?
v
Let p(v) = -5*v + 4. Let l be p(-5). Suppose -5*k = -l + 4. Which is smaller: 4 or k?
4
Suppose -5*j + 3*d = 78, 0 = -6*j + 2*j + 5*d - 52. Which is greater: -33/2 or j?
-33/2
Let u(d) = 5*d + 5. Let i be u(3). Is 21 at least as big as i?
True
Let i be 1*(-1 - (-1 + 4)). Is -4 at most as big as i?
True
Suppose -2*w - 5*s - 3 = 0, -3*w + 6*w + 2 = -5*s. Let y = -4 - -10. Suppose -3*h = -y*h. Do w and h have different values?
True
Suppose 0 = -9*l + 4*l + 30. Let x be (-14)/(-4) + l/(-12). Suppose x*q + 5 = 4*q. Is 1/3 bigger than q?
False
Let j = 817 - 502. Let h be j/(-220) + 4/22. Which is bigger: 0 or h?
0
Let g(t) = t**3 - 6*t**2 - 8*t + 12. Let i be g(8). Let y be i/(-25) - (-6)/2. Is y > 1?
False
Let b(r) = -r + 9. Let s(i) = i - 9. Let p(j) = 7*b(j) + 6*s(j). Let n be p(10). Which is smaller: n or -2?
-2
Let r be 1/(-3) - 3/2. Which is smaller: r or 0.1?
r
Let p(c) = c**3 + c**2 - c + 1. Let g be p(-2). Is -1 at most as big as g?
True
Let c = -72 - -41. Let k be 3 + (c/20 - 2). Let s = k - -4/5. Is -0.1 bigger than s?
False
Let p = 0.7 - 0.5. Do 7 and p have different values?
True
Let r = 46 + -47. Which is smaller: -8 or r?
-8
Let y = -3.1 - -3.9. Which is smaller: y or 1/4?
1/4
Suppose 2*v + 184 = 5*x, -3*x = -3*v - v - 116. Is 35 smaller than x?
True
Let b(q) = -5*q + 25. Let j be b(5). Which is smaller: -5 or j?
-5
Let n(k) = k**2 - 5*k - k + 6 + 0. Suppose -4 + 20 = 4*u. Let v be n(u). Which is smaller: v or -1?
v
Let a = 31 - 20. Let w be 4/14*(a - 4). Let q be 3 - (w - (-4 - -2)). Which is greater: q or 2?
2
Suppose z - 2*z + 5*x - 27 = 0, 4*x - 20 = 0. Let f = -8 - z. Let m be (-1)/f*16/(-12). Which is smaller: m or -0.1?
m
Suppose -5*i = -i - 20. Let r be (2/(-3))/(104/(-39)). Which is greater: r or i?
i
Let y = 0.044 + 1.956. Are 2 and y unequal?
False
Let o(p) = 3*p + 1. Let b be o(1). Suppose -18 = 2*d - b. Is -7 bigger than d?
False
Let k(f) = 2*f**2 - f - 1. Let z be k(-2). Is 11 >= z?
True
Let u = 59/2 + -29. Let c = -648/13 + 50. Is c at least as big as u?
False
Let f(w) be the second derivative of -w**3/6 + w**2 - w. Let o be f(4). Let c be o - (1 + 14/(-4)). Which is smaller: 2/5 or c?
2/5
Let t = -0.37 + -3.23. Let k = 0.6 + t. Let j = 4 - 4. Is j > k?
True
Suppose -4*k + 0*c + 7 = 3*c, -5*k + 2*c + 26 = 0. Suppose -k*a = -5*w + 20 + 5, 0 = 3*a + 15. Which is smaller: w or 3/2?
w
Let k = -0.618 + -0.082. Let f be (-27)/(-21) + 1/(-1). Which is smaller: f or k?
k
Let l = -1240/23 - -54. Is 1 less than l?
False
Let s be (-3 - 0)*9/((-54)/(-4)). Which is greater: s or -6/7?
-6/7
Let a be 1/6 - 71/(-6). Suppose -4*j = -j + a. Which is bigger: j or -3?
-3
Let g = -5.17 + 0.17. Which is bigger: g or 0?
0
Let g = 4 + -8. Let q be (g/(-6))/(6/(-9)). Is q greater than 3/5?
False
Let p(l) = -6*l - 1. Let w be p(-1). Suppose -2*q = 2*n - 4, q - 2*n + n = 6. Is q > w?
False
Let z be (-7 + (-22)/(-4))*(-1)/93. Which is smaller: z or 1?
z
Let n be (-1082)/(-36)*(-3 - 0). Let q = n - -90. Which is smaller: q or 1?
q
Let h(f) = -f**2 + 5*f + 7. Let m be h(6). Suppose 3*k = 2*x + 2*x + 7, -2*x = -2*k + 6. Does m = x?
False
Suppose -3*p = -0 + 6. Let m be 1/p - (-1)/2. Which is greater: 0.1 or m?
0.1
Let p be (-4)/(-14) + (-20)/(-28). Let g = -1 + p. Suppose g = -c - 3*c. Which is bigger: 2 or c?
2
Let g = -32 + 37. Do 2/3 and g have the same value?
False
Let n(k) = k**2 - k - 114. Let f be n(0). Let g = 1028/9 + f. Let j be (-2)/(1 - -1)*-1. Which is smaller: g or j?
g
Let f = 91 + -93. Suppose -3*o = 0, 5*l - o + 13 = -2. Does f = l?
False
Let l = -0.4 - -2.4. Let d = -64/105 - 2/35. Is l at least as big as d?
True
Let y = -17 - -24. L