 0 - n. Let a be (-3 - 0)*y/3. Is -2 less than a?
False
Let y = 18 - 11. Let p = -9 + y. Which is smaller: p or -1?
p
Let d = 1949/3 - 649. Let a = 11 - 5. Let j = -3 + a. Which is greater: j or d?
j
Let o be (-2 + 5/3)*(-153)/(-3). Which is greater: o or -19?
o
Let r(s) = s**3 + 6*s**2 - 7*s + 9. Let m be r(-7). Let w be (m/9)/(2/(-4)). Is -10/9 equal to w?
False
Let f = 21 - 20.8. Does 5 = f?
False
Let s = -5430/7 - -60637/63. Let i = s - 187. Which is bigger: 1 or i?
1
Suppose 3*j - j + 1 = -3*f, 0 = 4*f - j - 17. Let l = -22 - -23. Is l greater than f?
False
Let u = 368617/7 + -52826. Suppose -2*k + 332 = j, -j + 2*j = -4*k + 666. Let c = k + u. Which is greater: c or 0?
c
Let q be 1046/(-10) + (-6)/15. Let p be ((-12)/q)/((-1)/(-5)). Let l = -24 - -24. Is l greater than or equal to p?
False
Let z = 5 - 0. Let w = -4.6 + z. Let v = 0.3 - w. Which is greater: -0.2 or v?
v
Let s = -3/13 - -59/143. Is -0.04 at least s?
False
Let s be (-1)/(-2) + (-35)/(-10). Suppose -s*i + 9 = -7*i. Are i and -3 equal?
True
Let y = -2 + 1.9. Let m be (-1003)/(-90) + (-3)/2. Let o = -46/5 + m. Which is smaller: o or y?
y
Let k be (1 - 1)/(4 - 3). Suppose 3*u - u + 8 = k. Let g be 3/36 - 1/u. Is g greater than 2/5?
False
Suppose -4*i - 104 = q, 3*q + i - 2*i = -273. Let m be ((-3)/(-3))/(q/(-8)). Which is smaller: 0 or m?
0
Let q = -8 + 20. Let z = q - 12. Let t be 1/1 + (-5)/3. Is z at least as big as t?
True
Suppose -5*k - 4 = -3*k. Let y be (-1)/k*(-5 - -15). Let m = 14 + -9. Is m at least y?
True
Suppose 2 + 2 = 2*u. Let c be u*1 + (-5 - -2). Let a be 1 - 7*2/12. Do a and c have different values?
True
Suppose 0 = -3*u - 10 - 53. Which is greater: -1/4 or u?
-1/4
Let p(a) be the first derivative of -a**2 - 2*a + 3. Let x be p(-2). Let t(i) = i**3 + 3*i**2 - 6*i - 5. Let z be t(-4). Are z and x equal?
False
Suppose -4*c + 5*a = -21, 2*a = -4*c - 2*a - 24. Suppose 0*u - 2 = -u. Suppose -2*v + 2*x = 12, -3*x + 2 + 6 = u*v. Is c equal to v?
False
Let z = 871/6 - 68821/474. Which is bigger: z or 1?
1
Let j(f) = -f + 10. Let q be j(5). Do q and 0 have different values?
True
Let r = -0.1 + 0.3. Let b = 4 - -5.2. Let i = -9 + b. Are r and i non-equal?
False
Let j be (22/5)/((-1)/15). Is -67 <= j?
True
Let v = 5 - -7. Let c = -3 + 5. Suppose -c*u - 2*u = v. Which is greater: u or 1?
1
Let x = 0.29 + 0.01. Is x smaller than 31?
True
Suppose t - 2*t + 4 = 4*v, 5*v - 2*t = 18. Suppose -v*q + 3 = 1. Is q < 2/9?
False
Let y(n) be the first derivative of -2*n - 2 - 1/2*n**2. Let m be y(-3). Which is smaller: m or 2/5?
2/5
Suppose 3*o - a = 13, o + a - 3 = -0. Suppose 4 = -o*l - 3*m, 3 = -3*l + 3*m + 2*m. Is -1/2 smaller than l?
False
Let a(l) = -2*l**2 - 4*l + 4. Let i(s) = -5*s**2 - 8*s + 9. Let r(y) = -7*a(y) + 3*i(y). Let x be r(4). Which is bigger: x or 1/3?
1/3
Let i = 16 + -22. Suppose 0 = -a + 3, u = a + 2 - 3. Let d be (u/(-3))/((-2)/i). Which is greater: -1 or d?
-1
Let x = -9 + -4. Let u = -13 - x. Let f = -597/40 - -74/5. Is f greater than u?
False
Let l = 4 + -2. Let z be (-2)/12 + l/60. Suppose 4*p = -2*k + 8, -p = k + k - 8. Is p not equal to z?
True
Let t = 11 - 8.1. Let y = -1.1 - t. Let z = y - -5. Are 2/3 and z equal?
False
Let r = 33 + -18. Suppose 0 = 5*x + r, -3*j + x - 12 = 5*x. Let p be (-4 + 1 + 1)/(-2). Which is bigger: j or p?
p
Let n(o) = o**3 + 7*o**2 + 9*o + 1. Let r be n(-5). Let h be (-15 + 2)/((-2)/4). Suppose -h = -4*f + g, 3*f = -4*g + 43 - 14. Which is smaller: r or f?
r
Let z be -4*2/(16/(-5)). Which is greater: z or 3?
3
Let u(i) = -2*i - 10. Let x(v) = -v - 1. Let y be 3/2 - (-6)/4. Let l(a) = y*x(a) - u(a). Let h be l(6). Which is greater: 2/3 or h?
h
Let k = 3/95 + -12/19. Which is smaller: -2 or k?
-2
Let l = -7 - -11. Suppose 5*u - 5 = -2*i, -u = -0*u - l*i + 21. Is u at least 0?
False
Let y be (-14)/(-22) + 2/(-2). Let z be (-140)/(-56) - 3/2. Are z and y nonequal?
True
Let s be -1 + 0 + -1*24/4. Is s < -9?
False
Let g = 18 - 14. Suppose 0*t + 4 = t. Suppose 2*h = -g*n, t*h + 5*n - n = 0. Which is bigger: -4/3 or h?
h
Let f(j) = j + 4. Let h be f(-3). Let s be 11/(-3) - h/3. Let c = 58 - 60. Which is greater: s or c?
c
Let b = -18 + 18.2. Let z = -3.7 - 3.3. Which is bigger: b or z?
b
Let t = 14 + -15. Which is smaller: -2 or t?
-2
Let w = -6/65 - 33/65. Does w = -1?
False
Let f = -14 + 21. Let u = -10 + f. Which is greater: -4 or u?
u
Let q = 13 - 9. Suppose 4*b - 5*j + 36 = 0, -2*b = 3*b - q*j + 36. Is b less than -3?
True
Let z = 0.58 - 6.68. Let j = -6 - z. Which is smaller: -10 or j?
-10
Let x = -3 + 3. Let p = 0.03 + 0.27. Let b = p + -0.1. Is x at least b?
False
Let o = -3 + 3. Suppose o*l = l - 1. Is l greater than or equal to 1/2?
True
Let q = -1 + 6. Suppose -q*f + 4*c + 16 = 0, 4*f = 4*c + c + 11. Which is smaller: f or 3?
3
Suppose 8*u - 3*u = 50. Let r = -11 + u. Is r > -3?
True
Suppose 2*h - 6 = -0*h. Let n be 14*4/24 - h. Which is greater: n or 0?
0
Suppose -b + 3*s + 13 = 0, b - 4*s - 18 = -b. Suppose -t - 1 = 14. Let j be t/6*3/(-9). Is j bigger than b?
False
Let r be -2 - -2 - 10/2. Let l = 2 - -6. Let u be (l/(-20))/((-1)/(-10)). Which is smaller: r or u?
r
Let s = 0.02 - 0.32. Let f = 0.7 - s. Let d = f + -2. Which is smaller: -2 or d?
-2
Let t = 365608/7 + -52145. Let p = t - 85. Which is smaller: -1 or p?
-1
Let u be ((-22)/(-5) + -5)/(-5). Is 0 <= u?
True
Let w be 4/((2 + -1)/(-2)). Which is bigger: w or -9?
w
Let d = 29 + -41. Is 1 at least d?
True
Let f(t) = 2*t**3 + t**2 - 2*t. Let b be f(1). Let x = 0 + 2. Let n = b + x. Do 4 and n have the same value?
False
Let f = 258 - 2067/8. Are f and 0 unequal?
True
Let c = -9.8 + 10. Which is greater: c or -5?
c
Let r be (-15)/4 - (-3 + -1). Let l = -2.06 - -0.06. Is r at least as big as l?
True
Let s be 665/(-45) - (-2)/(-9). Which is smaller: s or -14?
s
Suppose f = -0*f - 6. Let r be (14/(-8))/(1/4). Which is smaller: r or f?
r
Suppose -4*i - i - 3*o + 17 = 0, 2*i - o = -2. Let y = 351 - 2809/8. Is i less than or equal to y?
False
Suppose 5 = -4*j + 9. Is 1 at most as big as j?
True
Let p(c) = -c**3 - 3*c**2 - 4*c - 2. Let d be p(-2). Let y be (2/3)/(2/(-6)). Let n be 0*(-3 - y)/d. Is 0 at most n?
True
Let v = 8 - 2. Let i = 115 + -109.1. Let m = v - i. Are 1/7 and m nonequal?
True
Let f be 5/(-6) + (0 - 0). Suppose 87*p = 91*p. Which is bigger: f or p?
p
Suppose -445 = -5*g - 3*z, -5*z + 0*z = -g + 117. Let m be (1/(-8))/(g/(-16)). Let o = m + 87/230. Is 2 less than or equal to o?
False
Let w = 2.9 + -1.6. Let f = w + -0.5. Let b = 0.5 - f. Are b and -1/4 unequal?
True
Suppose j = 4*j + 3. Let c = 2/75 + -271/1725. Which is greater: c or j?
c
Let u = 0.219 + 0.791. Let g = -0.01 + u. Let d = -1.07 + g. Do 0.1 and d have the same value?
False
Let n(u) = u**3 + 6*u**2 + u + 8. Suppose 0 = 2*y + 23 + 9. Let b = y + 10. Let s be n(b). Which is greater: 3 or s?
3
Let j(d) = -d + 4. Let g be j(4). Let p be (-4)/24*(-5)/(75/(-20)). Is g smaller than p?
False
Let g = -0.29 + 0.09. Let w = -13 - -2. Which is smaller: w or g?
w
Let h(c) = -3*c + 16 + 2*c**2 - c**2 + 17*c. Let y be h(-12). Is -7 > y?
True
Let y(a) = -a**3 - a**2 + 1. Let r be y(-1). Suppose -2*w + 8*j - 40 = 3*j, 5*w = -j - 100. Let l be w/16 + 1/1. Which is bigger: r or l?
r
Let c = -5.3 + 7.4. Is 0.1 at least as big as c?
False
Let h = -1.9 + 0.1. Let l = h - -2. Is l <= -2?
False
Let k = 30 - 41. Is k <= -11?
True
Let i(q) = -5*q + 16. Let u be i(-4). Is u greater than or equal to 36?
True
Suppose -3*z - c - 1 = 0, c - 12 = z - c. Let f be (-3)/(-2)*(-16)/6. Let m be (-12)/8*f/(-3). Is m at most as big as z?
True
Let m(v) = 2*v**2 - 3*v + 2. Let j be m(1). Which is smaller: j or 4/13?
4/13
Let u = 13 + -11. Let m be (1/2)/(u/4). Which is smaller: 8/7 or m?
m
Let q be -4 - (3 + 284/(-44)). Which is bigger: -2 or q?
q
Let m be (-513)/(-95) + -1 + -4. Let k = -253 + 436. Let f = k + -725/4. Which is smaller: f or m?
m
Let i = -41/7 + 472/77. Let j = i + 13/33. Suppose 3*z - 2*s = -s + 3, -4*s = 0. Is z bigger than j?
True
Let u = 44 - 74. Which is smaller: u or -29?
u
Let s be (-12)/(-6) + 16/(-6). Is s <= 0.5?
True
Let z = -1.86 - -1.8. Which is smaller: -1 or z?
-1
Let k(o) = -o**3 - 7*o**2 + 7*o - 7. Let n be k(-8). Let b be (-3)/((-2)/(-34)*1). Let z be (-4)/6 + b/(-63). Which is bigger: n or z?