ller: z or r?
z
Let f = -40 - -40. Is f less than or equal to 2/383?
True
Suppose 0*p - 7*p + 224 = 0. Is 32 at most p?
True
Suppose 4*p + 0*u + 25 = 5*u, -3*p = -3*u + 15. Let m be (-3 - -1)/(2/4). Let n be m/12 + (-1)/3. Which is greater: p or n?
p
Let n(a) = -a**3 - 14*a**2 - a - 11. Let d be n(-14). Let c = -5/2 + d. Let x(p) = -p**3 - 3*p**2 - 4*p - 2. Let v be x(-2). Is c at least as big as v?
False
Let n be (9 - 0)/((-6)/(-4)). Let d = n + -5. Suppose d = c - 5. Is 5 greater than or equal to c?
False
Let d be 21/49*6/9. Is d smaller than -0.02?
False
Let q be (8 + -10)*2/4. Which is smaller: 1/11 or q?
q
Let a(b) = -2*b + 2. Let q be a(1). Let j be 2 + -2 + (-566)/4470. Let r = j + -1/149. Which is bigger: q or r?
q
Let w = -441 + 12351/28. Which is smaller: w or 1?
w
Let r(j) = -j**3 + 2*j**2 + j - 2. Let a be r(2). Let b = 9 + -5. Which is bigger: a or b?
b
Let r(c) = c**3 - 2*c**2 + c + 2. Let b be r(2). Let l(n) = -6*n**3 - n**2 + 2*n - 3. Let z be l(3). Let u be (-1)/b + 6/z. Is u equal to 0?
False
Let k(p) = -p**3 - 3*p**2 + 5*p + 4. Let y be k(-4). Are y and -16 unequal?
True
Let c = -8.9 - 2.1. Let i = c - -11. Let q(z) = z**3 + 3*z**2 - 3*z - 4. Let o be q(-3). Is o greater than i?
True
Let v = 1 - 3. Let r = -3 - -9/2. Is r at least as big as v?
True
Let u = -67 - -64. Which is smaller: u or 2/33?
u
Let j = 5 + -3. Let x be (-1)/(-1 + j) + 0. Is 0 >= x?
True
Let i = 12 - 47/4. Is i < -14?
False
Let q(o) be the first derivative of o**3 - o**2 - 2*o - 1. Let h be q(2). Does h = 6?
True
Let h = 54 - 217/4. Suppose -4*t + 0 - 1 = 3*o, 9 = 5*o - 4*t. Which is greater: h or o?
o
Let d(i) = -i**3 - 4*i**2 + 2*i - 3. Suppose -2*k + 5*o - 6 = 6*o, 0 = k + 4*o - 11. Let s be d(k). Which is greater: s or -1?
s
Let m = -11 + 2. Let c = -4 - m. Is c less than 5?
False
Let j = -2 - -2. Let v = 0.4 + j. Let c = v + 0.1. Which is greater: c or -2/7?
c
Let v = 12 + -21. Let o = 9 + v. Let h = -1 + 1. Is o greater than h?
False
Let l = 1/5 - -7/15. Which is greater: 1/5 or l?
l
Let y = -63 - -70.2. Let i = y + -7. Let a = -0.4 - -0.2. Are a and i equal?
False
Let m be 2/(-3) - (-2)/(-6). Let t = -1 + m. Is -3 <= t?
True
Suppose 2*m + 16 = -2*m. Let l(u) = 4*u**2 - 2*u**3 + 3*u**3 + 3 - 2. Let f be l(m). Do 1 and f have the same value?
True
Let d be (-46)/(3*4/6 - 1). Which is greater: 0 or d?
0
Let z = -166 + 427. Let r = -3917/15 + z. Is r bigger than 0?
False
Suppose 0 = -5*u - 10. Let q = -1 + u. Let f(z) = -z**2 - 3*z + 2. Let p be f(q). Do p and 2 have the same value?
True
Suppose 0 = -2*a - a - 129. Let m = -21 - a. Let i be 2/(-11) - (-4)/m. Is i at most as big as 0?
True
Let m be (-70)/15*3/(-2). Let y be 185/35 - 2/m. Suppose 6 - 1 = y*v. Which is smaller: 2/11 or v?
2/11
Let n be -1 - -4 - (-1 + 956/240). Which is greater: -1 or n?
n
Suppose 5*f + 24 = 4*y, -5*f - 4*y + y - 52 = 0. Let x be (1 + -1)*4/f. Is 0 less than or equal to x?
True
Let l = 11.3 - 12. Let m = -1.6 - -1. Let k = m - l. Which is smaller: k or 0?
0
Let a(b) = b**3 + 6*b**2 - 8*b + 2. Let l be a(-7). Which is smaller: 42/5 or l?
42/5
Suppose 94 = 2*n - o, -2*o - 3*o = 5*n - 205. Which is smaller: -1 or n?
-1
Let h = 37 + -37. Which is greater: -7/4 or h?
h
Let p(k) = 2*k + 5. Let o be p(4). Which is bigger: o or 14?
14
Let z be -5 + (-1 - (-3 - 0)). Let i be ((-2)/z)/(4/6). Which is greater: i or 1/9?
i
Suppose 6*b - 10*b + 388 = 0. Do b and 97 have the same value?
True
Let c = 0 - 1. Let s = 319/10 - 32. Let u = s + 3/5. Is u smaller than c?
False
Let o = 140 - 140.016. Which is smaller: o or -0.1?
-0.1
Let p = -4 + 6. Let o be 16/6*(-42)/(-8). Let z be 9/7 + (-4)/o. Which is bigger: p or z?
p
Suppose -17 = -2*l - 7. Suppose -6 = -4*n - 46. Let d be (-2)/(-28) - l/n. Which is smaller: 0 or d?
0
Let t(u) = 2*u**2 + 3*u + 1. Let x be t(-2). Let j be (3 - x)*2/4. Is 1 less than j?
False
Let a = -0.26 + 0.2. Let d = -3.06 - a. Is 0.1 at most as big as d?
False
Let r be (-2)/4*(8 + -6). Let o be 1*-1 - 0/(-3). Do o and r have different values?
False
Suppose -7 + 47 = 5*r. Is r <= 8?
True
Let b = 7 + -6. Suppose -3*w = -2*w - b. Which is smaller: w or 4?
w
Suppose -3*s + 4*s = 4. Let l be -6*(s/6 + -1). Are 0.06 and l nonequal?
True
Let l = -39 - -42. Let v = -3 + 5. Which is bigger: l or v?
l
Suppose -4*s + 1 = -3*s. Do s and -0.2 have different values?
True
Let q = -0.2 + 0.1. Let k = -0.75 - -13.45. Let s = -13 + k. Is s <= q?
True
Suppose x - 59 = 4*u + 3, -18 = u + x. Which is bigger: u or -18?
u
Let s be (-7)/1 - 4*(-5)/(-10). Suppose -2*h + 50 = -5*b - 7*h, -2*b - 4*h - 22 = 0. Is s > b?
False
Let o = 112 + -111. Let k be ((-1)/3)/((-3)/1). Is k greater than o?
False
Suppose 0*y = 3*y. Suppose y = -3*q - 28 + 10. Which is smaller: -5 or q?
q
Let x = -13 - -12. Let h be -3*1*(-4)/(-10). Is h not equal to x?
True
Suppose b + 5*a + 16 + 3 = 0, b + 4*a = -14. Let d be 45/b*4/3. Suppose -3*o + 5*i = -d - 10, 0 = -2*o + 4*i + 16. Which is smaller: o or 2/9?
o
Let h = -1079/1744 - 15/218. Let x = -3/16 - h. Is 1 less than or equal to x?
False
Let n(w) = w**2 + 6*w - 1. Let k be n(-6). Is 1/5 less than or equal to k?
False
Let j = 103236/37 + -2790. Let u = -7/185 - j. Which is smaller: u or -1?
-1
Let d = -4225/7 - -605. Which is smaller: d or -0.1?
-0.1
Suppose d - 10 = 3*l, -l - 3 + 9 = -5*d. Suppose 8 = -4*t + 8*n - 4*n, 2*t + 3*n + 9 = 0. Let o = t - d. Are -1/2 and o nonequal?
True
Let u = 2.8 - 3. Let f = 0.2 + u. Let n = 1.948 + 0.052. Is f at least n?
False
Suppose -9 = -5*l + c - 0, -c = -2*l + 6. Let h = 0.3 + -0.2. Is h at least l?
False
Let g be (34/(-51))/((-2)/15). Which is smaller: g or 0?
0
Let n(x) = -x - 2. Let i be n(-4). Let s be 1 + (1*-2 - i). Suppose 2*t + q + 7 = 0, t - 3*q = -4 + 11. Is t less than s?
False
Let t(k) = 3*k - 1. Let y be t(-2). Let u = 11 + y. Suppose x + 3*x - 16 = 0. Is u less than or equal to x?
True
Let n(t) = -t**3 - 5*t**2 - 5*t - 1. Suppose -4*z = 8, 5*z = 5*m - 0*z + 10. Let w be n(m). Which is smaller: 1 or w?
1
Suppose 4*x - 1 = 11. Let d = x + -1. Is d bigger than 3?
False
Let a(v) = -v + 12. Let t = 8 - 4. Let r be a(t). Is 9 greater than or equal to r?
True
Let w be 0/((-1*2)/2). Suppose 2*t - 8 + w = 0. Suppose 4*g - 5 = 5*f, 2*f + 16 - 42 = -t*g. Which is greater: g or 6?
6
Let s = 1552/9 - 172. Let j = -6 + 5. Which is greater: s or j?
s
Let u = 13835/11 - 1259. Do u and -2 have the same value?
False
Let g(j) = 2*j**2 - 2*j + 1. Let q = 4 + -3. Let h be g(q). Let k(m) = m. Let r be k(1). Is r at least h?
True
Let s = 2.2 - 0.2. Let o(p) = -p**2 + 6*p - 1. Let k be o(6). Is k >= s?
False
Let t = -1.7 + 4.7. Which is greater: t or 2/5?
t
Let y be (4/10)/((-4)/100). Let o be ((-8)/y)/(2/(-10)). Let c = o - -5. Is 2 >= c?
True
Let r = -0.2 + 0.7. Let j = 1 + -1.7. Let p = j + r. Is 0.2 greater than p?
True
Suppose 3*i = 8*i - 10. Suppose i*p - 5*m - 7 = -10*m, -5*p + 3*m = -2. Let f = p + -2. Is f < -2/9?
True
Let b = -67 + -63. Let x = b + 1434/11. Which is smaller: -1 or x?
-1
Let w = 17/2 - 8. Is w less than 2/3?
True
Let x = 0.038 + -0.338. Which is greater: x or -2/11?
-2/11
Suppose -h + 7*h - 6 = 0. Is 1 at most as big as h?
True
Let d = -43 + 42.81. Let f = -0.09 - d. Is 2/17 greater than or equal to f?
True
Let n(s) = -s**2 + 9*s - 2. Let m(f) = 3*f**2 - 26*f + 6. Let p(b) = -2*m(b) - 7*n(b). Let d be p(11). Which is smaller: d or 1/2?
1/2
Let f = -1/228 - 405/76. Let b = 8 - 12. Which is greater: b or f?
b
Let m = -58 - -124. Let r be 2 - 3/m*46. Which is bigger: r or -1?
r
Suppose u - g - 3 = -7, 3*u + 5*g = 28. Suppose -2*a + u = -3. Suppose -16 = -5*f + 3*m, f - 5*f + 2 = 3*m. Is f not equal to a?
False
Let r(j) = -j**3 - j**2 + 20*j. Let d be r(4). Let u be ((-4)/(-6))/((-22)/(-6)). Let q = u + -17/33. Does d = q?
False
Suppose -z = 4*i - 13, 2*z = 4*z + 5*i - 20. Suppose s = z*s + 4. Let x be s - ((-13)/5 + 2). Are -1 and x equal?
False
Let h = 8.3 + -8. Let u = 9 - 7. Suppose -3*d - d = -2*r - u, 0 = -2*d - 5*r + 7. Is d < h?
False
Let v be -2 + (28 - -3) - 4. Let a = v - 22. Which is greater: a or 21/5?
21/5
Let v be (-6)/9*(-3)/28. Let t be 0*-1*3/(-12). Is t > v?
False
Let d = 0.3 - 0.3. Let y = d - -1. Let k = -0.1 - -0.2. Which is greater: k or y?
y
Let v(j) = -j**3 + 5*j**2 - 4*j - 2. Let x be 