= 22 + -70/3. Suppose -3*d - 6 - 8 = -2*c, 0 = c - 3*d - 13. Which is greater: c or p?
c
Let g = 0.894 - -0.106. Which is smaller: g or -20?
-20
Suppose -5*n + 55 + 17 = 2*b, n = -3*b + 17. Let i be -1 - 1 - 8/(-2). Suppose n = 2*a - 3*t + 5, -i*a - 3 = t. Is -3 > a?
False
Suppose -2*u - 4 = 0, 0 = -x - 2*u - u - 7. Which is smaller: 1/21 or x?
x
Let c = 3 + -3. Let s = 0 + c. Let f = 13 + -12.5. Which is smaller: s or f?
s
Let v = 107 - 108. Which is smaller: v or 1/42?
v
Suppose 12*w = 8*w - 4. Are -1 and w nonequal?
False
Let s(k) = -k**2 + 9*k - 3. Let o be s(9). Suppose -12*h = -11*h + 2. Is o > h?
False
Suppose -2*x + 6*x = 0. Let u = -229/897 + 7/69. Which is smaller: x or u?
u
Let h be (-24)/(-14)*(8 + -1). Suppose -2*a = s - 9, 7*a - 4*a = -s + h. Suppose -a*u + 4 = 1. Which is smaller: 3 or u?
u
Let u(w) = -91*w - 367. Let j be u(-4). Let d = -1.1 - -2.4. Let v = 0.3 - d. Is j > v?
False
Let z = 47 - 25. Let w be ((-88)/(-6))/(14*7/147). Is w >= z?
True
Let b = 0.18 + -0.2. Let x be 3/15*5/(-4). Is x greater than b?
False
Suppose -3*c - 2*n + 66 = n, -n = -2*c + 32. Suppose 3*l + c = -6*l. Let b be (-1)/4*16/3. Which is bigger: l or b?
b
Let g(h) = -h**2 + 5*h + 4. Let o be g(5). Suppose -q = q - 10. Suppose q*f - 14 = 3*r - 0*f, r - 18 = -4*f. Which is smaller: r or o?
r
Let t be (0 - 3)/3*0. Which is greater: -1/94 or t?
t
Suppose -4*m - 38 = -m - 5*g, 3*g = 2*m + 27. Is m not equal to 0.1?
True
Let c = 218/315 + 1/45. Which is bigger: c or -0.1?
c
Suppose 4*n - 141 = -l, -2*n + 6*n - 138 = -2*l. Do 35 and n have different values?
True
Let p(n) = n**3 - 7*n**2 + 7*n - 3. Let g be p(6). Suppose -5*c + g + 7 = 0. Let l(h) = -2*h - 6. Let z be l(-4). Is c greater than z?
False
Let g = 443 + -439.97. Let k = -0.07 + 0.04. Let u = g + k. Is -1 > u?
False
Let n be (-1)/2*-1*4. Suppose n*z = -3*z + 225. Let h be -3 + (1 - z/(-21)). Do h and -1 have the same value?
False
Let h = 8 + -13. Let v(y) = -y**2 - 5*y. Let g be v(h). Is 2/7 less than or equal to g?
False
Let r be 84/90 - (4/12)/1. Which is smaller: r or 11?
r
Let o = -19 + 20. Let g(h) = h - 2. Let k be g(o). Is k != 6/13?
True
Let d be 12/15*(5 + (-185)/(-2)). Is 1 at least d?
False
Let y be (2 + 1 - 1) + -38. Let h be (-4)/6*y/40. Which is greater: h or 0?
h
Let t be (-96)/54 + 4/(-18). Let j be -1*(t + 12/4). Which is smaller: -1/3 or j?
j
Let h = -0.1 + 0.1. Let o = 19 + -17. Which is smaller: h or o?
h
Let c(p) = 2*p**2 + 2*p + 4. Let x be c(-4). Is 27 at most x?
True
Let k(j) = j**3 + 3*j**2 + 2*j + 9. Let r be k(-4). Which is smaller: -16 or r?
-16
Let m = -17.1 - -2.1. Let o = 15.2 + m. Is o not equal to 2/13?
True
Let t = 40 + -11. Which is smaller: t or 27?
27
Let y = -3 + 5. Let z be -4*(-2 + 1 + 0). Suppose 5*i - i = z. Is y greater than or equal to i?
True
Suppose 0 = -5*k + a + 96, k - 2 = 3*a + 6. Let j = k - 16. Is j equal to 4?
True
Suppose -2*v - a - a = 30, -4*v = -4*a + 20. Let y be (4/(-6))/(3/45). Is y < v?
False
Let z(d) = -2*d. Let o be z(6). Let f be (o/(-63))/(4/6). Do f and -0.1 have different values?
True
Let z(u) be the second derivative of -u**4/12 - u**3/3 - u**2/2 - 4*u. Let a be z(-1). Is a >= 1?
False
Let b be ((-6 - -3)*(-6)/9)/(-2). Is b at most 1/12?
True
Let v(c) = 43*c. Let m be v(1). Is m greater than 42?
True
Let s be 16/(-56) + 23/7. Let g(z) = -z**2 + z + 7. Let i be g(s). Which is smaller: i or 2?
i
Let g = -14 - -26. Suppose g = -4*n + 7*n. Let a = -3 + n. Is 2/5 at most as big as a?
True
Let m = 132 - 139. Is -2 at most as big as m?
False
Let m(h) = -h**3 + 7*h**2 - 3. Let y be m(7). Let l be (6 + -5)*1*-2. Is y at least as big as l?
False
Let k = 2 - 1. Let v be -1*106/(-4) + 2. Let b = v - 517/18. Is k at most as big as b?
False
Let x(c) = -c**2 - 5*c + 3. Let p be x(-5). Which is bigger: p or 1?
p
Let t = 0.1 - -0.1. Let v be 1/(-5) + 46/5. Let s(g) = -g**3 + 8*g**2 + 9*g + 1. Let k be s(v). Which is smaller: t or k?
t
Let w = 18/19 - 92/57. Let r = 8 + -7.4. Which is smaller: w or r?
w
Suppose -p - 18 = -3*p. Let v be 14/18 - (-2)/p. Which is smaller: 3/8 or v?
3/8
Let s = -1.4 + 2.4. Is s less than or equal to 3?
True
Let n = 2.8 + -9.8. Which is bigger: n or -5?
-5
Let a(k) = -k**2 + 11*k - 9. Let u be a(10). Suppose -2 - u = -o. Is 4 bigger than o?
True
Suppose -5*q - q = -96. Let n = -17 + q. Which is smaller: n or -1/7?
n
Let c = -1 - -1. Let w = c + 0. Suppose 0 = -l + 2*l + 1. Which is greater: w or l?
w
Let g = -0.1 + -0.9. Let n = -10/7 + 23/21. Is g bigger than n?
False
Let c = 0 + -8. Let i = c + 4. Which is greater: i or -6?
i
Let l be 6/(-2) + 6/(-2). Let k be 0 + (-9*2)/3. Does k = l?
True
Suppose -50 = -3*j - 2*j. Suppose 3*k - j = k. Suppose -p = -k*p. Which is smaller: p or 1/5?
p
Let g = 3 - 1. Let o = g - 0. Suppose 0 = 4*z + 3*b - 13, 3*b - 12 = 3*z - o*b. Is z less than 1/4?
False
Suppose -4*k - 3*s + 56 = -7*s, -5*k + s + 50 = 0. Is k not equal to 0.2?
True
Suppose -5*h = -5*g + 60, -2*g - 42 = 5*h - h. Let n = h + 7. Which is smaller: -6 or n?
-6
Let a = -17/2 + 9. Is 1 at least a?
True
Let x = -67 + 333/5. Let b(f) = f**2 + 3*f - 4. Let k(q) = q**2 + 9*q - 4. Let m be k(-9). Let n be b(m). Is x at least as big as n?
False
Let j(l) = -l**3 - 5*l**2 + 2*l + 12. Let n be j(-5). Which is greater: n or 0?
n
Let t = 6439/3 + -2165. Let d = t + 18. Which is smaller: d or 1?
d
Let k = -3673/15 - -245. Let g be -2 + 4 + 1 + -3. Which is greater: k or g?
k
Let t = 9 - 7. Which is greater: -2 or t?
t
Let i be -3 - -2*21/6. Suppose -3*r = -7*r - i. Is r < 2?
True
Let s = -1.3 + 0.3. Let v = 1 + -0.9. Let l = v - -0.9. Does l = s?
False
Let t be (2 - 1)/((-8)/(-64)). Suppose -32 = 4*s - t. Is s > -6?
False
Let y = 4/41 - 131/82. Let j(o) = o**2 + 3*o. Let n be j(-2). Is n != y?
True
Suppose 43*z - 42*z - 1 = 0. Is 0.3 >= z?
False
Suppose -5*g + 4 - 29 = 0, 18 = c - 5*g. Which is bigger: -9 or c?
c
Let g = -48 - -23. Is 1/3 not equal to g?
True
Let d = -37 - -33. Let a be 3/2*(-3)/9. Which is smaller: a or d?
d
Suppose w - 32 = -2*f, 108 = 3*w - 0*w + 3*f. Do 40 and w have the same value?
True
Let s = 2 - 5. Suppose -3*q - 18 = 3*c, 3*q + 0*q + 4*c + 18 = 0. Let o = q - -4. Is s >= o?
False
Let l(a) = a - 7. Let b be l(6). Suppose 0*r = r - 2*i - 10, i = -5. Let x = b - r. Is 2/11 less than or equal to x?
False
Let f be (-3 + 0 + 3)/3. Is -5/9 != f?
True
Let v be ((-3)/(-4))/(2/24). Let d be (-10 + v/3)*-1. Which is smaller: 8 or d?
d
Let a be 1/(2/8) + -1. Is 5 >= a?
True
Suppose 12 = -2*a - 2. Is a at most as big as -8?
False
Suppose 5*r + 2*m + 2*m = -133, -2*r + 2*m - 46 = 0. Is r > -21?
False
Let i be (4/40)/((-3)/2). Which is bigger: 1 or i?
1
Suppose 16*s - 18*s = 0. Which is greater: s or -2/47?
s
Let w = -5 - -5.06. Let n = w + -0.36. Let r = n + 0.2. Which is bigger: 1 or r?
1
Let r = -10 + 7. Which is greater: -4 or r?
r
Let t(q) = -2*q. Let p be t(3). Let d(y) = -y**3 - 5*y**2 + 7*y + 6. Let h be d(p). Is -2 < h?
True
Let j = 0.03 + 7.97. Let c = -8.2 + j. Do -1/6 and c have the same value?
False
Let i be (-5 - (0 + 1)) + 0. Is -4 greater than i?
True
Let i(x) = x**3 - 2*x**2 - 3*x + 3. Let b be i(3). Suppose -b = -0*y + y. Is y > -2?
False
Let y = 0.26 + -0.36. Which is greater: 2/7 or y?
2/7
Let v be (-6 - (-3 - 0))/(-1). Suppose -6 = v*x - 3. Which is smaller: x or 0.6?
x
Let g = -2 - -18. Is g <= 15?
False
Let p be ((-3)/(-27))/(4/(-8)). Is p smaller than 0.2?
True
Let a = 3 + -1. Suppose -2*q + 0 = -4. Is a at most q?
True
Let c = 2 + -2. Let a = c - -4. Let i = -3.9 + a. Is i <= 1/2?
True
Let h = 1.6 - 1.5. Let k = 73 + -49. Suppose -5*y + 4*a = -15, 0 = -3*y + 4*a + k - 7. Which is smaller: h or y?
y
Let r = 74 - 73.91. Is -3 at most r?
True
Let i(v) = v**3 + 10*v**2 - 10*v + 13. Let h be i(-11). Let a be 10/(-2) + h - -10. Suppose 3*k + 4 = a*k. Do -1/8 and k have the same value?
False
Suppose -304 = 4*f + 4*i - 860, -3*f = -i - 433. Let t = f - 2430/17. Is 1 greater than t?
True
Suppose 0*x - 20 = 5*x. Let h(j) = j**3 + 4*j**2 + j + 4. Let o be h(x). Let k be -2*((-1)/(-2) - o). Which is smaller: k or 0?
k
Let a = 2/223 - 1565/446. Let h = 3 + a. Which is bigger: h or 0?
0
Let t = -0.78 - -0.18. Let d = t - -0.55. Which is greater: -0.1 or d?
d
Let v be 78/(-9)*6/(-4). Which is bigger: v or 10?
v