e
Let w(s) = -s + 12. Let i be w(15). Let u = -0.91 - 0.09. Let c = 1 + u. Are c and i equal?
False
Suppose -21*q - 171 = -12*q. Which is smaller: q or -20?
-20
Let v be (15 + (-2545)/170)*2/(-142). Which is greater: -1 or v?
v
Let v = 64 - 59. Let u be v/((-15)/(-3)) - 1. Is u >= 6?
False
Let v(a) = -a - 7. Let z be v(-8). Is z at least 1/373?
True
Let u(s) = -s**2 + 35*s - 3. Let q be u(-9). Which is bigger: -397 or q?
-397
Let v be -9 - -13 - (-51)/(-13). Which is smaller: 0 or v?
0
Suppose 10 = -2*p - 3*p. Let m be ((-4)/8)/(2/52). Let k = m + 9. Which is bigger: k or p?
p
Suppose 9 + 1 = 5*s. Let k = -10 + 23/2. Which is bigger: s or k?
s
Let x = -364 + 24. Let c be -4 - (0 - (-1368)/x). Which is smaller: c or 1?
c
Suppose 4*i = i - 18. Let t be (-1)/i - 25/(-30). Let l = -0.13 + -0.07. Which is smaller: l or t?
l
Let v(m) = m**2 - 24*m + 3. Let p be v(14). Let g = p + 138. Which is smaller: -2/57 or g?
-2/57
Let a be 282/(-14) - 5/(-35). Let o be ((-5)/a)/((-1)/(-4)). Suppose 2*m = 3*k + 15, -5*k + 10 - 35 = 0. Is m != o?
True
Let d = -747 - -748. Let s be 320*(-9)/(-78) + -1. Let g = -36 + s. Is d greater than g?
True
Suppose 0 = 4*p + 5*j + 61, 0 = -p - 2*p - 4*j - 47. Let o = 50 + -55. Is o != p?
True
Let j be ((-18)/(-33))/(16/120). Which is smaller: j or 3?
3
Let o(b) = -41*b - 117. Let a be o(-5). Are a and 83 unequal?
True
Let o = -5/1118 + 9259/70434. Is o less than 0?
False
Let s = 1.1 + -1.07. Let n = 0.47 + s. Let k = -0.4 + n. Which is bigger: k or -3?
k
Suppose -2*j + 124 = -3*f + 4*f, 57 = j - 2*f. Which is smaller: 60 or j?
60
Let c(i) = i - 3. Let z be c(4). Suppose 5*r - 3*o + 207 = 2*r, o = -r - 59. Let w be ((-24)/r)/((-6)/(-4)). Which is bigger: w or z?
z
Let y be (93/4)/(9/24). Let a = -26 + y. Is 36 at most as big as a?
True
Let j = 177.1 - 187. Let q = -40 + 37.9. Let y = j + q. Which is smaller: 2/7 or y?
y
Suppose -2*x - 15369 = -3*p + 3*x, 3*x = 0. Let f = p + -225437/44. Let y = f - -3/4. Is -1 not equal to y?
True
Suppose 6*y - 8*y - 18 = 0. Let f be 1/y - (-7)/21. Which is bigger: -1/4 or f?
f
Let a(q) = -q**2 + 15*q - 13. Let y be a(14). Suppose -4*o + 5*p + 6 = -2, -p = 0. Which is smaller: y or o?
y
Let u = 0.1 - -0.1. Let q = -1.74 - 0.36. Which is bigger: q or u?
u
Suppose 2*j - 4*u = -3*j - 14, j = -4*u - 22. Let i = j + -1. Let s = i - -17. Is 9 less than or equal to s?
True
Let z = 10 - 35. Let g = -24.87 - z. Let c = g + -0.23. Does 1/9 = c?
False
Suppose -5*b + l - 9 = 0, -38 + 56 = 2*b + 5*l. Let m = 5669/11 + -515. Which is smaller: m or b?
b
Suppose -4*l = -3*r - 206, 5*l - r = 2*r + 259. Let h(j) = 2*j**2 - 118*j + 871. Let s be h(8). Is s equal to l?
False
Let p = -1 + 1. Let v = -57 + 57.087. Let n = 7.087 - v. Which is smaller: p or n?
p
Let k = 4.42 - 56.32. Let m = k - -52. Is -8/13 bigger than m?
False
Suppose 40 = 8*r + 8. Let a be r/4 + 5/(-8). Which is smaller: a or 2?
a
Suppose d + 4*a + 0*a = -59, -5*a = 25. Is d >= -35?
False
Let q = 26 - 80. Let f = q - -60. Let t(j) = j**3 + 5*j**2 + 5. Let h be t(-5). Which is smaller: h or f?
h
Let k = 50240/41511 - 164/137. Is -1 at least as big as k?
False
Suppose 0*p + p = -20. Let n be (-2)/(-6) - p/12. Suppose j = n*j. Which is greater: j or 1/2?
1/2
Let g be ((-80)/(-15))/(2/6). Let p be (g/6)/((-10)/(-30)). Let a = p - 2. Is a greater than 6?
False
Suppose 0 = -z - 12*z + 1573. Is 120 < z?
True
Let c(n) = 25*n - 11. Let i be c(-1). Which is bigger: -39 or i?
i
Let l(d) = -d**2 + 13*d. Let f be l(10). Let i be (63/f)/((-4)/8). Are -4 and i unequal?
True
Let h(a) = 5*a**2 - 8*a - 9. Let k be h(-4). Let y = k + -517/5. Is 0 greater than y?
True
Let a(f) = -3*f - 4. Let s be a(-3). Suppose -s = -i - 0. Let r be (-10)/25 - (-32)/5. Which is greater: i or r?
r
Suppose d + 13 = 53. Let f = 105 - d. Let g be (78/f)/(2/10). Is g <= 19/4?
False
Let l = -15 + 25. Let v = -67 + l. Are v and -58 nonequal?
True
Let n(z) = 2*z**2 + 1. Let r be n(-3). Let o = r - 13. Suppose 3*j - o*j = 2*l + 6, 0 = 2*j + 5*l + 15. Which is greater: 2/13 or j?
2/13
Suppose -3*g - 17*g - 60 = 0. Which is bigger: -18 or g?
g
Suppose -14 = 4*q + 18. Let l = -36 - -69. Let p = l + -40. Which is greater: q or p?
p
Suppose t - 5*f = -0*f - 18, 2*f + 28 = -4*t. Let n(s) = -s**3 + s**2 + s - 2. Let j be n(-2). Let b = j + t. Is 1 <= b?
False
Let z(o) = -4*o**2 - 20*o + 116. Let f be z(6). Which is smaller: -151 or f?
-151
Let u = 54 + -53.941. Let x = 4.059 - u. Is -4/7 less than x?
True
Suppose -303 = -4*b - 3*r, -12*b - 2*r = -15*b + 240. Which is greater: 76 or b?
b
Let l(k) = k**2 + 5*k - 1. Let n be l(-4). Let f be (-5)/(-2)*6/n. Are f and -24/11 non-equal?
True
Let d be ((-144)/(-40))/(2/(-5)). Let z be 51/d - (-4)/(-12). Which is greater: 0.4 or z?
0.4
Let x(g) = -3 + 6 + 26*g + 9*g. Let h be x(4). Which is smaller: h or 142?
142
Let m(o) = -6*o + 54. Let n be m(15). Let g be (-3 - 2) + 2 + (-99)/n. Is g bigger than -0.1?
False
Suppose -4*b = -3*h - 185, -209 = h + 2*h + 2*b. Let r = h + 475/7. Suppose 0*n = -4*n + 4. Which is greater: r or n?
n
Let p(m) = -m**3 - 13*m**2 + 31*m + 16. Let l be p(-15). Which is smaller: 333 or l?
l
Let h(o) = 4*o**2 - 19*o - 24. Let i(j) = j**2 - j. Let n(y) = -h(y) + 5*i(y). Let q be n(-12). Are q and 3/44 equal?
False
Let n(d) = 2*d**2 - 6*d - 4. Let v be n(4). Suppose -1 = 5*s + 2*r, -r = s - 2*r - v. Which is smaller: -2/33 or s?
-2/33
Suppose 0 = -5*m - 5*i + 12 - 7, 4*m = 5*i + 13. Suppose 0 = 5*s + 3*z - 6, m*s + 5*z - 8 - 2 = 0. Is s at most 18/13?
True
Suppose 0 = -j - j + 920. Let v be ((-10)/(-25))/(6/j). Let w = v - 31. Is 2/3 smaller than w?
False
Let o be (-3 - -4)/(2/(-146)). Let c = -1047 - -974. Are c and o equal?
True
Let m = -60 + 18. Let j = m - -42. Let x be 10*1*(-2)/(-2). Is x greater than or equal to j?
True
Suppose 6*s - 6 = 2*s - z, 2*s = -z + 2. Let r be -1 + (4 - (-3 + 5)) + 7. Let d(i) = -i**3 + 8*i**2 - 2*i + 19. Let f be d(r). Is s < f?
True
Suppose -185*q = -113*q. Let f = -12 + 97/8. Which is smaller: q or f?
q
Suppose 0 = -2*j - o + 5, -4*j + 2*o = 5*o - 7. Let b be (j/14)/(165/70). Is 1 at most b?
False
Suppose 75 - 435 = 3*l. Let v be 4/(-6) - 86/l. Let f be (-1)/(-4)*(-3)/(-6)*8. Is f greater than or equal to v?
True
Let r = 18 - 33. Let q be ((-24)/(-32))/(r/(-2)). Is 1 greater than or equal to q?
True
Suppose 0 = -o + 12 - 0. Suppose j + 3*j - o = 0. Suppose -j*k - 13 = 29. Is k greater than -15?
True
Suppose -2*w + 0 = 2. Let q = -359 - -358. Is w less than or equal to q?
True
Let w be (-15)/(-2 - (-297)/90). Which is smaller: -13 or w?
-13
Suppose h = 2*p + 264, 777 = 4*h - 5*p - 294. Is 272 less than or equal to h?
True
Let q = -8.994752 - -0.089052. Let l = q + 0.0957. Let b = l - 0.19. Do b and 0.1 have different values?
True
Let g = -114 + 113.91. Let z = g + 18.09. Which is greater: -0.1 or z?
z
Let v = 66 - 596/9. Let g = 629 + -627. Which is smaller: v or g?
v
Let t = -140 - -129. Let i = 8.8 - -0.2. Let v = t + i. Is -1/6 < v?
False
Let i(u) = -u**3 + 9*u**2 - 4*u - 10. Let a be i(8). Let h = 226 + -226.1. Which is greater: h or a?
a
Let h = -71 + 149. Let f = h - 65. Let w(k) = -k**2 - 7*k + 7. Let o be w(-6). Are o and f nonequal?
False
Let j(l) = l**2 + 9*l + 10. Let y be j(-8). Let n = 44 - 40. Which is smaller: n or y?
y
Suppose 4*q - 252 = -2*b + 338, -3*b + 740 = 5*q. Is q at least as big as 2?
True
Let k = -1022 - -7130/7. Do 2 and k have different values?
True
Let r = 10 - 8. Let t be ((-396)/8)/1*r. Let d = t - -795/8. Which is greater: d or 1?
1
Let p be (76/12)/(1/3). Let t(n) = -15*n - 11. Let c be (-2)/3*(-33)/(-11). Let x be t(c). Are p and x non-equal?
False
Let h(w) = -w**3 + 10*w**2 - 9*w + 6. Let l be h(9). Let y be l/(-24) + 1/4. Suppose y = -k - t + 4, 3*k - 24 = 7*k - 4*t. Is k at least -2/11?
False
Let x = -2/437 + -1301/2185. Which is smaller: x or -2/17?
x
Suppose 5*z + 97 = 4*n, -90 = -51*n + 47*n - 2*z. Is n greater than 12?
True
Suppose 5*l - 61 = 5*f - 6, 5*l = -4*f + 46. Suppose -l = -j - j. Let z = j + -6. Is z < 1/23?
True
Let p(z) be the first derivative of -z**4/2 + 10*z**3/3 + 6*z**2 + 4*z - 46. Let x be p(6). Is x at least as big as 7?
False
Let h(f) = f**3 + 4*f**2 - 13. Let g(d) = 2*d**3 + 9*d**2 + d - 25. Let l(z) = -3*g(z) + 5*h(z). Let a be l(-6).