= -10*r**2 - r. Let p be v(-1). Which is smaller: p or -10?
-10
Let x = 111 + -76. Suppose 0*w - 2*w + 12 = p, 5*w = 4*p - x. Are p and 11 equal?
False
Let o = -0.04 - -0.08. Let m = -0.06 - o. Which is smaller: m or -2/9?
-2/9
Let n = 1 - -1. Suppose 5 = n*r - 27. Let y be (-1)/(-4) - 4/r. Which is bigger: y or 1/2?
1/2
Suppose 3*y + 617 = -l, 5*l = 2*l + 3. Let b = y - -3709/18. Let t = 0 - 0. Which is greater: t or b?
b
Let k = 0.21 + 7.79. Let w = k + -7. Is -1 at least w?
False
Suppose 0 = -4*u + 1 - 13. Which is smaller: -8/3 or u?
u
Let q be -1 + 2 - (7 - 1136/188). Is q >= -2/7?
True
Suppose 4*h = -0 + 28. Let a be (-2)/h - 104/(-357). Let v = a + -724/1785. Is v not equal to -0.5?
True
Let j be 1/(-2)*(-5 + (-95)/(-15)). Let q = -0.2 + 0.4. Let r = 0.1 - q. Does r = j?
False
Let l(x) = -x**3 - 9*x**2 + 5*x + 6. Let p be l(-9). Is p bigger than -38?
False
Let l = 1 + -1. Let n be 2 + (822/(-33))/1. Let k = n + 23. Which is greater: k or l?
k
Suppose 2*i - 5*x + 29 = -0*i, -i - 4*x = -5. Let h = -3 - i. Which is greater: h or 3?
h
Let h(c) = -c**3 + 2*c**2 + 3*c + 2. Let l be h(4). Let x = l - -18. Is x < -1?
False
Let d = -140 - -563/4. Which is smaller: d or -1?
-1
Let i = -2 - 3. Let g = i + 6. Is 1 at least g?
True
Let m be (6/9)/((-64)/36). Which is smaller: 2/5 or m?
m
Let k be 3 + -3 - 2 - -6. Suppose 0 = 2*u - 9*s + k*s + 5, 0 = -s + 1. Which is bigger: u or -1/7?
u
Let c be ((-23)/(-5) - 3)/(1/25). Which is smaller: c or 39?
39
Let g be 2*(2 - (-20)/(-8)). Let o be 35/(-28) - g/(-4). Is -1/3 at most as big as o?
False
Suppose 2*z - 6 = 2, 2*z = -4*o + 4. Let s be (o - 4 - -2)*-1. Does s = 3?
True
Let t be (-12)/(-8)*(-6)/9. Is -0.23 greater than or equal to t?
True
Let j = -11 + 8. Suppose 3*p - 27 = 3*o - 0*o, 64 = 4*p + 3*o. Let n = 15 - p. Which is smaller: j or n?
j
Let m = -1 + 1. Let c = 7/6 + -55/42. Is c > m?
False
Let y = 825380/77 + -10719. Let i = 4/11 - y. Which is smaller: i or -1?
-1
Let f be (2 + -1)*(-9 - -9). Do f and 1/9 have the same value?
False
Let k be ((-16)/(-24))/2*21. Let c = 5 - -2. Do c and k have the same value?
True
Suppose -4*y + y + 15 = 0. Suppose -3*g + 2*o = g + 8, 10 = -y*g + o. Is 0 > g?
True
Let m = -13 + -8. Let r be (-3)/(m/6 + 2). Is r less than or equal to 3?
True
Let v = 42 + -44. Is 0.3 equal to v?
False
Let q = 695 - 42392/61. Do -1 and q have different values?
True
Let y = -34 + 35. Suppose -126 = -4*v + 5*v. Let b = v + 1135/9. Which is greater: y or b?
y
Suppose -8 = 5*o + 2*r, o + 0*o - r = 4. Is -2/11 smaller than o?
True
Let i be 24/(-9)*3/(-2). Suppose i*h - 12 = 12. Suppose -4 = 2*v - h*v. Is v at least 1?
True
Let o be (1 + 0)/(5/(-55)). Let g = o - -6. Is g equal to -1?
False
Let m = 82 + -83. Is m greater than or equal to 0?
False
Let b = 0.15 + 0.85. Which is greater: 3/4 or b?
b
Let r(a) = -a**2 + 7*a - 1. Let k be r(4). Suppose -k*u = -15*u. Let q be ((-3)/2)/(3 - -1). Which is greater: q or u?
u
Let y be (-14)/49 + (0 - 0). Let c be (154/(-24))/((-3768)/128). Let h = c + 2/471. Which is bigger: y or h?
h
Let k be (-1)/((-40)/12 + 3). Let t = 16/5 - k. Which is smaller: 0 or t?
0
Let i(g) = g**3 + 4*g**2 + g + 3. Let w be i(-4). Let l be 8/2 + 3/(-3). Let u be 13/(-4) + l/12. Is w at most as big as u?
False
Let a(t) = t**2 - t. Let r be a(1). Suppose -o - 4 = -d - r*d, -o - 5*d = -14. Let i = 26 + -77/3. Which is greater: o or i?
i
Suppose 0 = -4*h + o + 7, -4*o = -2*h - 0*h. Is -38 less than h?
True
Let b = -661/5 - -133. Which is smaller: b or 1?
b
Let v = 9 - 15. Let p = -10 - v. Are p and -4 equal?
True
Suppose 2*w = 63 - 13. Let d = w + -16. Let z = 8 - d. Which is smaller: z or -2/31?
z
Suppose -c - 1 = -v, 4*c + v + 3*v + 20 = 0. Let j = 2 - c. Is j > 6?
False
Suppose 89 = -3*r - 73. Let l be -5*(-3 - r/15). Do l and -2 have different values?
True
Suppose 0 = 5*w + 3 - 138. Is 0 < w?
True
Let u = -13/12 + 1/3. Which is smaller: u or -2?
-2
Let h(n) = -3*n**2 + 6*n + 12. Let p(z) = 7*z**2 - 11*z - 25. Let q(w) = -5*h(w) - 2*p(w). Let j be q(9). Which is smaller: j or 1/2?
j
Let w be ((-16)/(-72))/((-4)/(-42)). Let y = w - 31/12. Which is greater: 5/6 or y?
5/6
Let u be (6*-1)/(12/(-16)). Let z = 13 - u. Do 5 and z have different values?
False
Suppose 4 = 3*h - h. Which is greater: -3 or h?
h
Let j(c) = -c**3 - 3*c**2 - 2*c. Let g(t) = 21*t**3 + 2*t - 1. Let o be g(1). Let s be (-3)/(-15) - o/10. Let z be j(s). Is 1/7 greater than z?
True
Let c = 32.2 + -24. Let r = -8 + c. Let a be (-2)/(-5)*(1 - 2). Is a equal to r?
False
Suppose 0 = -0*g + g + 1. Let o be -1*(0 - (0 + g)). Is 1/19 greater than o?
True
Suppose 7*v = 5*v. Which is greater: v or -1/40?
v
Let b = -9 - -4. Let f = -3 - b. Which is smaller: f or -1?
-1
Let w be (3/2)/((-1)/(-14)). Let x be 66/(-14) - 6/w. Let g(q) = -q**2 - 3*q + 7. Let f be g(x). Which is greater: -3/2 or f?
-3/2
Let o(x) = -x**3 + 4*x**2 + 5*x - 4. Let a be o(5). Let q be a/(-190) - (-4)/10. Let n = -94/133 + q. Which is bigger: n or 1?
1
Let i be (-44)/14 - -2 - (-3)/1. Which is smaller: i or 3?
i
Let h = -133 + 142. Is 0.02 bigger than h?
False
Let p be (-4)/(-6) - (-4)/(-6). Let g = 90179/15 + -6023. Let n = -32/3 - g. Is n greater than or equal to p?
True
Let k be 3/(81/6) + 25/9. Which is bigger: 7 or k?
7
Let b be 12/(-66) + 158*(-3)/(-66). Is 7 less than b?
False
Let l be -1 + 1*(0 + 3). Is 8 less than l?
False
Let s = -1023/10 + 33529/330. Let k = s - -1/33. Let m(i) = -i**2 - 7*i - 7. Let d be m(-6). Are k and d non-equal?
True
Suppose 3*y + 0 = -12, -35 = 3*r - y. Which is bigger: r or -14?
r
Let k(x) = -x**3 - 8*x**2 + 8*x - 3. Let z be k(-9). Let v = z - 43. Let u be 3 + v/7 + 2. Is u > -1?
True
Let f = -5 - -13. Is f less than 0?
False
Let g(v) = v**3 - 9*v**2 - 10*v - 4. Let u be g(10). Are u and -3 non-equal?
True
Let j = 10 - 3. Suppose 37*h = 23*h + 98. Are j and h unequal?
False
Let u = -10 + 10.8. Let f = 0.4 - u. Is f at least 1?
False
Let v be (-1)/3*(-3 + -6). Is v not equal to 17/5?
True
Let p = 27.95 + -28. Is p greater than or equal to 1?
False
Let q = -3/137 - 807/685. Let i = q + 92/85. Let v be -2 + -3*2/(-3). Is i at least v?
False
Let r(t) = -t**3 - 8*t**2 - 8*t - 4. Let j be r(-7). Let g = j + -5. Let m = 4 + g. Is 1 smaller than m?
True
Suppose p - 1 = 3*f - 2*f, f - 5*p + 5 = 0. Let m be ((-58)/6)/((-1)/(-3)). Let y = m + 57/2. Is f smaller than y?
False
Let x = 4 - 2. Let r = 33 - 65/2. Which is bigger: r or x?
x
Suppose -8*q + 11 - 3 = 0. Let o = -44/9 + 226/45. Which is greater: q or o?
q
Let s be 2/(-2)*0/(-1). Suppose 0 = -m - 3*f + 12, -4*f + 3*f - 61 = -4*m. Let p be (-2)/(-24)*(-24)/m. Which is bigger: p or s?
s
Let m = 0 + 1. Let n = -12 - -11. Does m = n?
False
Let m(p) = -p**2 - 6*p - 6. Let c be m(-4). Let a(n) = -n**c - 2*n**2 + 2*n**2 - 5*n + 2 + 0*n**2. Let b be a(-5). Is b > 5?
False
Let w(c) = -c + 4. Let k be w(3). Let d be k*3*(-8)/36. Which is greater: d or -1?
d
Let d = 10.2 + -11. Let c = -0.19 + -0.31. Let l = d - c. Is 1/4 at most l?
False
Suppose -w - 2*w = 5*u - 226, w + 5*u - 82 = 0. Let z be (-2 - 0)*(-4)/w. Is z >= 0?
True
Let l = 9 - 19. Let r = 8 + l. Which is smaller: -9/5 or r?
r
Suppose -3*u + 118 = -5*x, 3*u = 5*x + 2*u + 126. Let y be x/6 - (-4)/12. Which is smaller: y or -5?
-5
Let z be (-1)/5 - 18/110. Which is smaller: -1/3 or z?
z
Let v(g) = -g**3 + 5*g**2 - g + 2. Let q be v(5). Let w = q + 0. Let l = w + 3. Which is bigger: 1 or l?
1
Let d(w) = w**2 + 8*w + 10. Let j be d(-6). Suppose 6*o - 3*o = -12. Let m be 0/(2*2/o). Which is smaller: m or j?
j
Let x be (-4)/(-2) + (-434)/203. Is x <= 0?
True
Let d(a) = a**2 - 8*a - 6. Let t be d(9). Suppose -2*j - h + 3*h = -2, -t*j = -2*h. Which is greater: j or 0?
0
Let u be 2 + 0 + (5/5 - 2). Which is smaller: u or -2?
-2
Let x(z) = -1 + 2*z - z + 3. Let p be x(-5). Is p < -3?
False
Suppose 0 = -2*d - 6. Suppose 9 = -3*t - 3*l, t = 2*t - l + 9. Let r = -9 - t. Is r at least as big as d?
True
Let o = -158 + 157. Which is bigger: 9 or o?
9
Let o(u) = u**3 - 6*u**2 + 5*u + 1. Let y be o(5). Let w be (-1)/4*(-264)/15. Let k = 232/55 - w. Which is smaller: k or y?
k
Let j be -4*(-2 + 9/6). Suppose -j*s + 31 = -f, s - 5*f + 3 = -4. Let q be (s/15 + -1)/1. Which is greater: 0 or q?
q
Let j = 43 + -40. Are -3/7 and j non