Suppose -2*n - 5*h + 7 = a, 2*n + 7 = 5*n + 4*h. Are n and 1/4 nonequal?
True
Let w(l) = -l**3 + 6*l**2 - 3*l + 1. Let y be w(2). Let k = -123 - -145. Let m be 1/(-2) + y/k. Is 2/55 < m?
False
Let r(h) = h**2. Let q be 1 + -1 + (5 - 3). Let j be r(q). Suppose 2*w - 2*f = 4, 4*w + 5*f = w + 14. Which is greater: w or j?
j
Let c be (-2)/11 - 14/(-22)*-17. Let z = c + 15. Which is greater: z or 30/11?
z
Let v(o) = o**3 + o**2 + o + 6. Let m be v(0). Let g(l) = l - 4. Let h be g(m). Let k be (33/(-12))/(h/(-8)). Which is smaller: k or 10?
10
Let h(m) = 17*m + 10 + 15 + m**2 - 9*m + 15*m. Let t be h(-17). Is -77 > t?
False
Let a be ((-10)/(-30))/(2/12). Suppose j - 2*j + 9 = -a*d, 29 = -4*j - 5*d. Let q be (-51)/(-7) - (-2)/(-7). Is q bigger than j?
True
Let b = 0.24 - 0.16. Let q = b - -0.14. Let o = q - 0.22. Which is smaller: -21 or o?
-21
Let f = -12 - -15. Suppose 6 + f = -3*x. Let s be x/6*6/(-3). Are 2/33 and s unequal?
True
Let a = 12971537 + -2866704977/221. Let p = -338/17 + a. Is p equal to 2?
False
Let c = -0.09 + 1.09. Let j = -0.193 - 0.007. Is j equal to c?
False
Let m(y) = 3*y - 9. Let w be m(6). Let a(r) = -22*r - 101. Let o be a(-5). Is o bigger than w?
False
Let i be (-7)/(-2) + (-1)/(-2). Suppose 2*t = -2*p - 6, 0 = i*t + 2*p - 0*p + 10. Is -1 smaller than t?
False
Let n = 10 + -8.9. Let d = -4 - -3.4. Let r = -0.5 - d. Which is smaller: r or n?
r
Let k = 0.066 - -0.004. Let h = -0.03 - k. Is -5/7 greater than or equal to h?
False
Let v = -11 - -23. Suppose -4*s + s - v = 0. Let c(q) = 5*q - 74. Let f be c(14). Is s < f?
False
Let m be (-1 - (-15)/17)*2. Suppose -21 = -22*r + 1. Is m bigger than r?
False
Let v = -1402 - -1480. Which is smaller: v or 80?
v
Suppose 5*t - 14 = z - 0, -3*z + t = 0. Let u be (2 + 0 + -3)/z. Let o = 11 + -10. Which is smaller: u or o?
u
Let g = -22 + 23. Let t be (1/1)/(19/(-4) + g). Is t at most -1?
False
Let l = 534 + -4281/8. Suppose 23*n - 6 = 29*n. Which is smaller: l or n?
l
Suppose 0 = 42*z - 104 + 62. Which is smaller: z or 133?
z
Let k = 420 + -422. Let u be (-6)/(-40) - 2/5. Do k and u have the same value?
False
Suppose -45*z = -42*z + 12. Is -26 less than z?
True
Let w(x) = x + 1. Let y be w(-3). Let f be (-16)/4 + y + 4. Is -2 > f?
False
Let l(a) = -8*a**2 - 11*a + 27. Let x be l(-6). Is -194 greater than x?
True
Let n(h) = -h**2 - 3*h + 7. Let w be 30/(-5) - 1/(-1). Let u be n(w). Let y(f) = -6*f**2 - f + 1. Let t be y(-1). Is t smaller than u?
True
Let s = 14 - 3. Let v = -8 + s. Let j be v/9 - (-26)/(-6). Which is greater: j or -5?
j
Let m(h) = -h**3 + h**2 - 3*h + 1. Let s be m(0). Is 20/293 <= s?
True
Let l(h) = -5*h**2 - 9*h + 10. Let z(n) = n**2 + n - 1. Let v(x) = -l(x) - 4*z(x). Let i be v(-6). Let p be ((-6)/5)/(99/18 - 4). Is p <= i?
True
Let s(m) = 29*m + 236. Let g be s(-10). Is g < -21?
True
Let w be (2 + -2)/((-10)/(-5)). Is 7/11 smaller than w?
False
Let i be (-42)/2*(-10)/(-6). Is i != -31?
True
Let l = -3/92 - -1231/32108. Which is bigger: -1 or l?
l
Let u = -512/9 + 57. Let y(j) = -j + 19. Let z be 3 + -7 - -22*1. Let w be y(z). Which is bigger: u or w?
w
Suppose -3*o = -3*u + 96, 5*o = -3*u - 18 - 166. Which is greater: -33 or o?
-33
Let v(t) = -6*t + 1. Let d be v(-1). Suppose 258 = 62*i + 10. Which is smaller: d or i?
i
Let x(u) = 14*u**2 + u. Let i be x(-1). Let s be (118/(-154))/(i/13). Let c = 10/11 + s. Which is bigger: 1 or c?
1
Let k = 13.1 - 16. Let a = 18.9 + k. Let m = a + -16.1. Is -5 at most m?
True
Let t be 4/(-18) + 4986/21708. Let i = -33/67 - t. Is 0 equal to i?
False
Let o = -1.8914 + -0.0086. Is -2/11 < o?
False
Let b = 1.11 - 55.11. Let k = -62 - -61. Is b > k?
False
Let f(t) = t + 15. Let d be (-8)/(-28) - (-158)/(-14). Let q be f(d). Suppose -w + 7 = -2*m, -5*w = q*m - 17 - 4. Is m < 3/17?
True
Let h be ((-12)/8)/(3/(-4)). Let u be (2 - h)/((-2)/(-2)). Suppose -2*m = -3*t - 1, u*t + 2*m - 6 = -2*t. Which is smaller: -1 or t?
-1
Let r = -25 - -27. Let m be 3/6 - (r - -7). Which is greater: m or -9?
m
Let p = 16.76 - 16. Let j = 0.24 + p. Let w = 3.6 - 0.6. Which is smaller: j or w?
j
Let t be -8*(-1 - -3)/(-16)*-17. Which is greater: -1 or t?
-1
Suppose -180 = 3*b + 3*t, 14*b = 17*b + 2*t + 185. Is b != -65?
False
Let l be (-4)/(-8)*3*-6. Let i be (-151)/l + (-10)/(-45). Suppose 2*c + s + i = 0, -4*s + 8 - 34 = 2*c. Which is smaller: -6 or c?
c
Let u be (0 - 3) + (-7)/(-1). Suppose -2*n = -6*n - u*p - 84, 4*n - p = -99. Let r be (-12)/n - 1/2. Do r and -2/11 have the same value?
False
Let k be ((-39)/3)/(5/(-5)). Let q = 13 + k. Is q at least 27?
False
Let s(v) = v**2 - 7*v + 5. Let b be s(6). Let n be (-2 + -9 - 3) + b. Let z be ((-48)/n)/((-10)/(-25)). Is z greater than 8?
False
Let w = 437/44 + -39/4. Let h(x) = -22*x - 2. Let s be h(6). Let l = s + 668/5. Is l at least as big as w?
False
Let c(z) = -z**2 + 8*z - 9. Let d be c(6). Let t be 1*d - 0/(-7). Let i be (-2 - 0)*(2 + 27/(-8)). Which is smaller: i or t?
i
Let y(d) = -d + 4. Let p be y(3). Let o be ((p - 0)*1)/((-7)/(-259)). Is o at most as big as 36?
False
Let z be (-14)/46 + 3/18. Let g = 2/69 - z. Suppose -2*y - 2*y + 2*n - 4 = 0, -y = -3*n + 1. Which is smaller: y or g?
y
Let t = 8 - 7.91. Let k = t + -1.09. Is 5/4 != k?
True
Let i = -203/2 - -5483/54. Is 0 greater than i?
False
Suppose -1176 = -78*y + 66*y. Is y not equal to 98?
False
Suppose -5*t + 5*c + 5 = 0, 2*t - 5*c - 3 = -2*t. Suppose t*l = -1 + 11. Suppose -n + 16 = l. Which is bigger: n or 10?
n
Suppose -10*z = -8*z + 4*d + 22, 5*z + 10 = -d. Which is smaller: z or 3/119?
z
Let x be 1/(-4 + 7 - 4). Let m be (x + 3)/((-80)/(-12)). Which is smaller: -1/2 or m?
-1/2
Let r(y) = 5*y**2 - 21*y - 2. Let u be r(11). Is u bigger than 373?
False
Let y(a) = -4*a + 29. Let h(m) = 3. Let s(x) = -6*h(x) + y(x). Let k = 5 + -2. Let q be s(k). Which is bigger: -2/105 or q?
-2/105
Let a = 87 + -110. Let l = 92 + a. Which is smaller: 68 or l?
68
Suppose 741 = -44*i + 31*i. Is i less than or equal to -58?
False
Let k = -307 + 310. Let w be (0 - -1)*17/10. Is w at least as big as k?
False
Suppose -4*q + 20 = 4*a, -5*a + 0*q + 1 = -3*q. Suppose 4*l = 7*l - 2*v - 13, 4*l - a*v - 14 = 0. Which is greater: 8 or l?
8
Let x be (90/(-210))/(30/(-35)). Let c be (2 + 4/1)/(-7). Let k = -46/21 - c. Is k at most x?
True
Let h = 363 - 381. Which is smaller: -5 or h?
h
Suppose 0*p + 97 = o + 4*p, -2*o - 3*p = -204. Let h(q) = q**2 + 8*q + 7. Let g be h(-6). Let a be (o/(-12))/g - 2. Is -1 != a?
True
Let s = -1 + 0. Let t = 5/8341 - -28061/58387. Let p = -1/19 + t. Which is bigger: p or s?
p
Let u = -61 - 411. Is -472 at most u?
True
Let o be (-35*(-3 - -5))/(-1). Suppose 5*w - 2*z = 358, -5 + 21 = -4*z. Is o bigger than w?
False
Let g be 2/(-8)*16/(-4). Which is greater: 8/43 or g?
g
Suppose 57 = 37*o - 54. Is -22 greater than o?
False
Let i be (-8)/(-30) + (-8)/12. Let s = 9/10 + i. Let r be (2 + -5)*((-64)/21 + 3). Which is bigger: s or r?
s
Let z = -9 + 10. Let x be 2 - 1 - (-10 + z). Does 10 = x?
True
Suppose 5*d - 3*b - 321 = -2*b, 4*d = -b + 264. Which is smaller: d or 64?
64
Suppose -105 = -2*a - 33. Let q = 38 - a. Which is smaller: q or 1?
1
Let a = -491 - -477. Is a greater than or equal to -76/5?
True
Suppose 18 = 4*s + 2*t, 7*t = 3*s + 5*t - 24. Is s <= 0?
False
Let k(t) = 4*t**3 + 4*t**2 + 6*t - 9. Let j(q) = 5*q**3 + 3*q**2 + 6*q - 8. Let c(f) = -5*j(f) + 6*k(f). Let l be c(6). Which is smaller: 131 or l?
l
Let h(d) = -d + 17. Let a be h(6). Let m = -13 + -5. Let t be (-220)/m - 4/18. Is t not equal to a?
True
Let b be 75/60*(7 - -1). Suppose b = -15*u + 10*u. Which is smaller: -8/11 or u?
u
Let h(s) = s**2 + 24*s + 24. Let j be h(-23). Which is smaller: j or 3/143?
3/143
Let u be (-110)/(-35) - (-2 - -6). Let w(b) be the second derivative of b**3/3 + 3*b**2/2 + 3*b. Let p be w(-2). Which is smaller: u or p?
p
Let o(q) = q + 5. Let v be o(-6). Suppose u = 10 - 5, 3*t = -5*u + 31. Let h be ((-10)/3)/(-5) - t. Which is bigger: v or h?
v
Let k = -5.5 - -5.53. Let a = 15 + -21.2. Let d = 6 + a. Are d and k unequal?
True
Let g be 4/((-11)/((-33)/(-6))). Let d be ((-40)/50)/(g/15). Is 6 at least as big as d?
True
Let a = -28.64 + 29. Let l = a - 0.26. Is l < 0.07?
False
Let x be 9/(-21) + (-124)/(-371). Let v = -119/424 + x. Let u be (-20)/110 -