1 or p?
p
Let c = 2 + -2.1. Let g = 0 - c. Is 4 < g?
False
Let l be (-756)/482*4/33. Let c = 2/241 + l. Is c at most 0?
True
Suppose -4*j - 22 = 2*i, 0*j + j - 17 = 4*i. Let c = -8 - i. Which is smaller: -1 or c?
c
Let y = 60 - 54. Is -5 < y?
True
Let a be ((-1)/3)/(5/(-3)). Let m(d) = -6*d - 3 - d**2 + 2*d**2 + 9*d. Let c be m(-4). Is a greater than or equal to c?
False
Suppose -10 = -0*p - p. Let n = -15 + p. Let a(w) = w**3 + 6*w**2 + 6*w + 6. Let r be a(n). Is r <= 2/9?
False
Let y be 21465/99 + 1 + -5. Let p = y + -213. Let t = -0.3 - -1.3. Is p greater than or equal to t?
False
Let c be 1*(-13)/(-2) + (-5 - -2). Is c >= 4?
False
Let a be (1 - 3 - 0) + 30. Which is bigger: a or 27?
a
Let n(h) = h - 6. Let v be n(6). Suppose 0 = 5*l + w + 26 - 80, -3*l = 2*w - 38. Let s be l/14 + 2/7. Is v at least as big as s?
False
Let k(v) = -v**2 - 9*v - 10. Let m be k(-9). Is m smaller than -10?
False
Let i = 23 + -24. Which is greater: i or 0.04?
0.04
Let h be (-1)/((-6)/2 - -2). Is -2/195 >= h?
False
Let i be 1/9*3*-2. Is 0 < i?
False
Let l(q) = -q**3 + 4*q**2 + 5*q + 2. Suppose -2*n + 10 = -0. Let s be l(n). Is 2 at most as big as s?
True
Let m = -952.99 - -957. Let h = m + -0.01. Let b = -4 + h. Is b less than or equal to 0?
True
Suppose -3*u + 2*c + 0*c = 30, -4*c - 36 = 2*u. Let n be ((-18)/u)/((-6)/(-20)). Is n not equal to 4?
True
Let c = 0.63 + -0.6. Let p = -0.17 - c. Are -3 and p equal?
False
Let y be -2*(-2 + 1) + -2. Suppose 5*q - 2*f - 9 = y, -3*q - 4*f + 6 = -15. Let w be q*-1 - (-1 + -1). Which is smaller: w or 1/6?
w
Let u be 259/63*(-3)/17. Let o = 1/17 + u. Let l(n) = -n + 3. Let z be l(5). Are o and z equal?
False
Let n = -608 - -265. Let q = -1721/5 - n. Is q at most as big as 0?
True
Let g(q) = 5*q**2 + 19*q - 5. Let b be g(-4). Which is smaller: -7/12 or b?
b
Let g = 1604/11 - 146. Let o = -7 - -6. Which is greater: g or o?
g
Let x = 2 + -1. Let s = x - -2. Suppose 0 = -u + 3*d - 14, -10 + 0 = s*u - d. Is u smaller than -3?
False
Suppose n = 2*n + 1. Which is greater: n or 1/3?
1/3
Let c be 2/7 - 1094/(-42). Let g = 27 - c. Let z be -2 + (-112)/(-147) - (-4)/7. Is z at most as big as g?
True
Let h = -53 - -64. Is 1 at most h?
True
Let y = -1/30 + -1/20. Which is smaller: y or 3?
y
Let h be (3/((-30)/4))/(-2). Let y = 5 - 7. Let s be 1*(-2)/(-4)*y. Is h bigger than s?
True
Let r(x) = x - 7. Let o be r(5). Let k = -2 + 6. Suppose -j = -3 + k. Is j > o?
True
Let d be 0 + (1 - 2) + 1. Let y be 129/(-27) + 2/(-9). Let j be 4/y*4/(-8). Which is smaller: d or j?
d
Let u(x) be the first derivative of x**4/4 + x**3 - x**2/2 - 4*x + 4. Let h be u(-3). Which is bigger: 1 or h?
1
Let m = 31 + -21. Which is smaller: m or 0?
0
Let f = -1/224 - -121/2016. Which is smaller: f or 2/7?
f
Suppose z + h = 5, 0 = -3*z + h + h - 10. Which is smaller: -2/17 or z?
-2/17
Suppose -3*l + 5*l - 5*p - 18 = 0, 2*l = 2*p + 12. Suppose 5 + 3 = l*h. Which is smaller: h or 0.1?
0.1
Let t = 4.971 - -0.029. Let z = -8 - -1. Let f = z + t. Which is greater: f or 0?
0
Suppose -3*d - 26 = -3*l - 2, -d + 8 = 3*l. Let v(i) = i**2 + 4*i + 3. Let p be v(d). Is p < 3?
False
Let f(b) = b**3 - 7*b**2 + 7*b - 8. Suppose 0 = 3*q + 3*j - 30, -46 = -5*q - 8*j + 4*j. Let c be f(q). Is -2/3 greater than or equal to c?
True
Suppose 3*j - j = f - 5, -4*f = -5*j - 20. Suppose 0 = -j*y + y + 6. Let c = -1 + 1. Which is smaller: c or y?
y
Suppose 63 = -5*w - d, -19 = w - 3*d - 0*d. Which is smaller: w or -15?
-15
Let p(o) = -o**2 + 3*o - 3. Let r be -1 - (-13 - -1)/3. Suppose 2*a = 3*x + 7, 7*a - 11 = 3*a + r*x. Let t be p(a). Which is smaller: 1 or t?
t
Let h(m) = -m**2 - 3*m + 7. Let p be h(-6). Is -10 < p?
False
Let g = -66/767 + -4/59. Let x(r) = 5*r**2 + r - 1. Let h be x(1). Suppose 0 = -3*c - h*j - 12 - 0, -3*j = 2*c + 7. Is c greater than g?
True
Let x be 3/12*0*1. Suppose -t + 7*t + 36 = x. Is -3 less than or equal to t?
False
Let i be 2 + (-3 + -81)/6. Is -17 at least as big as i?
False
Let h be 1 - 2 - (5 + -5). Is 3/20 greater than h?
True
Let f = 0.4 - 10.4. Which is greater: 1/3 or f?
1/3
Let f(t) = t**2 + 8*t - 10. Let v be f(-11). Suppose -5*l + 2*x = x + v, 4*l + 25 = 3*x. Is l less than -11/3?
True
Let q(j) = -j**3 + 8*j**2 - 6*j - 9. Let x be q(7). Do -2 and x have different values?
False
Let l = 10 - 8. Let i(o) = o**3 - 8*o**2 - 8*o - 9. Let r be i(9). Suppose 0*n = -4*m + 4*n - 4, r = -5*m - n + 19. Is l not equal to m?
True
Suppose 3*b - 28 = b. Let t be -4*2/((-8)/b). Let c be t/18 + (-6)/(-27). Which is smaller: 1/2 or c?
1/2
Let b be (-6 - (-7)/2)/(2/7). Is 0.1 bigger than b?
True
Let f(o) = o**2 - 8*o - 13. Let a = 5 + 4. Let x be f(a). Which is bigger: x or -5?
x
Suppose -7 = p - 2*p. Let x = 19 + -13. Is p greater than x?
True
Suppose 5*n = -0*n + 5*r + 10, -4 = -4*r. Let o be 0*(-2 - 3/(-2)). Suppose o = 9*q - 7*q - 4. Which is smaller: q or n?
q
Let t = 30 + -14. Are t and 16 equal?
True
Let o(l) = 16*l**2 - 5*l + 5. Let d be o(1). Which is smaller: d or 17?
d
Let a(h) = 2*h. Let p be a(1). Suppose -3*v = p*v + 25. Which is smaller: -3 or v?
v
Let t = 0.08 + -0.19. Is 1/2 less than t?
False
Let a(r) = r**3 + 4*r**2 + 3*r - 3. Let h be a(-3). Let f be (-36)/30*(-40)/h. Let g be (1/(-2))/((-4)/f). Is g smaller than -2?
False
Let y(q) = -q - 18. Let n be y(-17). Suppose -18 = -m + 3*r, -r + 1 = 2*m - 0*r. Which is greater: m or n?
m
Let u = -106 - -104. Let k be ((-1 - -1) + 1)/(-1). Is u != k?
True
Let w = 1 + 6. Suppose -3*l - 2*l + 40 = -4*x, 3*x = -5*l + 40. Is l less than w?
False
Suppose p - 3*i + 8 = -5, -31 = -3*p - 5*i. Let u be -3*2/(-12)*p. Let l = 3 + u. Is 2 greater than l?
False
Let l = -69 + 70.4. Which is smaller: l or 0.4?
0.4
Let d be 13124/(-66) - (-2)/11. Let q = 197 + d. Does q = -3?
False
Let q = -0.3 - 2.7. Let a = q - -2. Let o be (-4)/(-10) - 91/140. Which is greater: a or o?
o
Let y(m) = m - 1. Let t be 17/5 + 2/(-5). Let o be y(t). Which is smaller: 5/4 or o?
5/4
Let n be -1 + (-5)/(-3) + (-17)/3. Let j = 2 + 1. Let a(t) = t**2 - 2*t - 2. Let h be a(j). Which is bigger: h or n?
h
Let c = 122 + -121. Which is smaller: -7/16 or c?
-7/16
Let t(z) be the second derivative of -z**4/6 + 2*z**3/3 - z**2 + 5*z. Let f be t(2). Let n(k) = -k**2 - 6*k - 1. Let b be n(-6). Which is greater: b or f?
b
Let d = -0.2 + -7.8. Let n = d + 7.6. Let y = n - -1.4. Which is smaller: 0 or y?
0
Let s = 50 - 49. Is s greater than 1/39?
True
Let d(r) = 2*r - 4. Let u(z) = -3*z + 8. Let s(a) = -5*d(a) - 3*u(a). Let x be s(-5). Let c be (-2)/6 - x/(-3). Is c at most 1?
True
Suppose -4*y + 2*y + 12 = 0. Let h = -10 + y. Let s be h/(-14) - (-24)/63. Which is bigger: 2 or s?
2
Let j = -0.2 + 14.2. Is j <= -2/5?
False
Let m(o) = 2*o**2 + 3*o + 1. Let f be m(-1). Let g = -1621 + 115089/71. Which is smaller: f or g?
g
Let s be 1/(10/15 + 65/(-93)). Which is greater: s or -32?
s
Let n be (26/8 + -3)/((-1)/(-2)). Let k be 8/(-66)*(-3)/2. Is n smaller than k?
False
Let x = 88.4 - 112. Let n = 23 + x. Is n bigger than 0?
False
Let c = 3.01 - 0.01. Let u = c + -5. Let s = 0.1 - 0. Which is bigger: s or u?
s
Let j = 0 - 1. Suppose 0*v - 5*v + 20 = 0. Suppose -v*i - 2*n = 10, 5*i + 2*n + 6 = -4. Is i >= j?
True
Let p = 93395 - 92708.03. Let h = p - 692. Let m = 5 + h. Which is smaller: m or 1?
m
Let a = -9 - -14. Is 5 greater than a?
False
Let x(l) = -l**2 - 14*l + 31. Let y be x(-16). Suppose 5*i = 3*r + 1, 0 = -3*r - 4*i + 6 + 11. Suppose -2*z = r*z + 20. Which is smaller: z or y?
z
Suppose -a - 1 = -0. Let y = 4/11 - 50/77. Which is bigger: y or a?
y
Suppose 14 = -3*p - 4*m, -4*p + 7*p + 17 = -m. Let z = p - -14. Suppose 0 + 7 = a. Is z smaller than a?
False
Suppose 2 = -2*m + 4*m. Let t be 4*((-28)/(-24) - m). Is t not equal to -5?
True
Let y be (-2)/(-4) - 6/(-4). Suppose -g - y*j = -5, -3*g - 3*j + 13 = 2*j. Is g at least 7?
False
Let l = -29 - -28. Is 3/23 equal to l?
False
Suppose g + 1 - 10 = 0. Is 9 at most as big as g?
True
Let k = -264/7 + 3376/91. Is -2 smaller than k?
True
Let k be -3 - (1 + 2 - 8). Suppose -k*b = 3*w - 10, 0 = 3*w - 8 - 4. Which is smaller: 2/41 or b?
b
Let j = 2.82 - -35.78. Let x = 33 - j. Let b = -0.4 + x. Is 1 <= b?
False
Let i(f) = f**2 - 3*f - 2. Let r be i(3). Are r and -13/4 non-equal?
True
Suppose 0 = -5*z + 3*z - 5*y - 2, -2