alse
Let c = -246 - -244.83. Let p = c + 0.17. Let l = -2/71 - 132/355. Which is greater: l or p?
l
Suppose 4 = 5*a + 4*r - 125, 0 = -a - r + 26. Let v(i) = -2*i**2 - 109*i + 23. Let t be v(0). Which is greater: a or t?
a
Suppose 0 = 20*d - 14*d + 5760. Is d at most -960?
True
Let p(l) = 5*l - 51. Let g be p(14). Suppose 22*x + 18 = g*x. Which is smaller: -0.03 or x?
x
Let o = -70.3 - -79. Let v = 1.3 + o. Let g = v - 10. Is -1/8 less than or equal to g?
True
Let j = 23 - 38. Let h = -21 - j. Let n = h - -14. Is n bigger than -1?
True
Let p = 61 + -105. Suppose 19*l - 12*l + 18*l + 1125 = 0. Which is bigger: p or l?
p
Let q = -1583/51 - -31. Let v = q + -47/102. Let z(w) = w**2 + 3*w + 1. Let f be z(-1). Which is smaller: f or v?
f
Let n = 259 - 248. Which is greater: -38 or n?
n
Let x = -0.4 - -0.8. Let p = 0.3 - x. Let f = 55.94 + -56. Do p and f have different values?
True
Let q be 20/12*-1 + 2. Let r be 0/(1 + 2 + -6). Which is greater: r or q?
q
Let r be (0 + 9)/(6/40). Let h be (-24)/r + -1 + -3. Let f = -19/5 - h. Is f less than or equal to 2/5?
False
Let x = -27 - -47. Let i = -21 + x. Is 4/9 smaller than i?
False
Let x = -0.8 - -0.1. Let z = 318.9 - 161.1. Let b = z + -158. Are b and x unequal?
True
Suppose 71 = -8*i - 121. Which is bigger: i or -49/2?
i
Let z(d) = d**2 + 22*d - 12. Let q be z(-23). Suppose 13*i = q*i + 2. Which is bigger: -2/85 or i?
i
Let z = 889 - 892.2. Let m be 7/14 - 3/2. Which is smaller: z or m?
z
Let w be 2*(1/(-2))/1. Let u = -42 + 20. Let b be (-18)/(-27) - u/(-15). Which is smaller: w or b?
w
Let v(z) = -2*z**2 - 5*z - 14. Let h be v(-5). Is h >= -38?
False
Let j(t) = t - 7. Let s(a) = -a + 5. Let l(r) = 3*j(r) + 4*s(r). Let c be l(-2). Which is smaller: c or 1/15?
1/15
Let m = 5 + -5.05. Let o be -26*(-4)/(-8) + (6 - 2). Is o bigger than m?
False
Let i = -1137 + 1137. Is -359/2 != i?
True
Let o be (-1)/3 + (-1127)/(-21). Let k = o - 54. Which is smaller: k or 1/28?
k
Suppose 4*c + 80 = -c. Let i(h) = h**3 - 8*h**2 + 12*h - 2. Let x be i(4). Let m = 3 + x. Which is greater: m or c?
m
Suppose 0 = m - 5, 3*c + 3*m + 2*m = 205. Let a be ((c/(-35))/6)/(4/(-5)). Is 1 at most a?
False
Let g(c) be the first derivative of -c**3/3 + c**2 - c - 8. Let y be g(1). Let d be 2/(-7) - 4/(-14). Is d greater than y?
False
Suppose 5646 = -4*g - 2*x, 9*g - 7*g - 4*x = -2808. Which is smaller: g or -1411?
-1411
Let x be (-1)/(-3)*-39 + (2 - 9). Which is bigger: x or -17?
-17
Let y = -30 - -11. Suppose -t - 3*t + 52 = 0. Suppose t*j = 14*j + 18. Which is smaller: y or j?
y
Let m be 55 + -59 - (0 + -1). Suppose 11 + 5 = 4*b. Let s = b + m. Is -1/23 > s?
False
Let w = -0.17 + 1.07. Let q = 2 - -67. Let t = 68 - q. Are w and t nonequal?
True
Let q(j) = j**2 - 4*j - 7. Let w be q(6). Suppose 8 = 2*p - d - 24, 2*d = -w*p + 89. Is p > 17?
False
Let b = 323 - 285. Is b != 40?
True
Let d = -19 - 9. Let p = d + 27. Which is smaller: -6/13 or p?
p
Let q(s) = s**2 + 14*s + 9. Let h be q(-16). Is 1/4 smaller than h?
True
Suppose -n - 2*n = 0. Let w(q) = q**2 + 1. Let f be w(1). Let a = f - n. Which is smaller: 3 or a?
a
Let o(f) = f**3 + 17*f**2 - 2*f - 35. Let x be o(-17). Is -1/30 bigger than x?
True
Let l be -1 + -1 - (5 + -3). Let g be (-10)/4*(-12 + 14). Let z be (1 - g/(-10))*-1. Which is greater: z or l?
z
Let k(n) = -2*n - 43. Let a be k(-21). Let j be -1 - -4 - (a + 6). Let s be ((-8)/10 - 0)*5. Which is greater: s or j?
j
Let v(n) = -2*n**3 + 9*n**2 - 6*n + 10. Let a be v(4). Suppose -a*h = 409 - 407. Let l be (4/(-25))/((-2)/5). Which is smaller: h or l?
h
Let u = -1.1 - 0.9. Let b = 230.8 - 230. Which is bigger: b or u?
b
Let b be (-215)/10 - 6/(-4). Let x be ((-2)/(-40))/(b/350). Is x bigger than -2?
True
Let u be (-3)/(-6)*(-4 - (-15)/5). Let n(p) = -p - 5. Let l be n(0). Is l <= u?
True
Let m(p) = p**3 - 12*p**2 + 14*p - 33. Let h be ((-11)/5)/((-2)/10). Let n be m(h). Which is smaller: n or -3/14?
-3/14
Let j = -20.55 - -207.55. Are -1 and j equal?
False
Let p = -0.7 - -0.79. Let m = -75.69 - 0.31. Let f = m - -75. Which is greater: f or p?
p
Let z(h) = 22*h. Let l be z(-1). Let v = l + 30. Is v at least 8?
True
Let n be ((-15)/(-6))/(-1)*-6. Suppose 3*g = 6, -3*i = -2*i + 5*g - n. Suppose m - 4*w + 1 = -0*m, 0 = 5*m - i*w + 20. Which is smaller: m or -2?
m
Let f = 54 - 97. Let a = -20 - f. Is 23 at most as big as a?
True
Let o be 0/(-4) + 5/(-86). Let v = o + 247/1290. Let m = 9.9 + -4.9. Does v = m?
False
Let b = -111 + 110. Let v be (-15849)/(-124) - 1/(-4). Let y = v + -128. Which is smaller: y or b?
b
Suppose 1072 = 10*t + 3312. Which is greater: -225 or t?
t
Let q(a) = -a**3 - a**2 - 3*a - 5. Let z be q(-2). Suppose z*p = -0*t - 2*t - 16, t = -5*p - 18. Which is smaller: -3 or t?
-3
Suppose 4*v - 16 = 2*p + v, -2*p = -5*v + 24. Let h = 69 - 62. Let i be 640/35 + p/h. Is i bigger than 1?
True
Let a be ((-6)/9)/((-17)/(-18)). Let y be 12/51*(-3)/18. Let u = a - y. Is -1.3 equal to u?
False
Let k = -22 + -9. Suppose 50 + 40 = -3*l. Which is bigger: k or l?
l
Let a = 282.887 - 283. Let t = a + 0.213. Is 0.1 at least as big as t?
True
Let f = 148 - 733/5. Let n(y) = y**3 + 24*y**2 - 23*y + 50. Let o be n(-25). Which is smaller: f or o?
o
Let q = -136 + 211. Suppose q = -18*l + 3. Is -10 < l?
True
Let l(v) = -v**2 + 27. Let f be l(-5). Which is smaller: f or -0.1?
-0.1
Let o = 21 - 12. Suppose -q + 5*p = -112, -p + 0*p - 280 = -3*q. Let z be (-3)/15 + q/10. Is o less than z?
False
Suppose 22 = 9*g - 122. Suppose -10*d + 2*d = g. Is -5/3 <= d?
False
Let y = -18803/28 - -101/84. Let n = 677 + y. Is 7 at most as big as n?
False
Let g = -331 - -369. Is -1/3 bigger than g?
False
Let g = 13.39 + -14.39. Let c(b) = -b**2 + 6*b - 3. Let a be (-6)/(-27) + 86/18. Let v be c(a). Is v equal to g?
False
Let v = 12 - -22. Suppose -5*y = 7*u - 3*u - 35, -3*y + v = 5*u. Suppose 4*b - 4*s + 5 = -27, b - y*s + 6 = 0. Which is bigger: b or -10?
b
Suppose 5 = 58*w - 57*w. Which is greater: w or -52?
w
Let d be 10/6*(4440/736 - 6). Let t = 587/644 - d. Which is bigger: -1 or t?
t
Let t be 2/3*3/(-2). Let i be 553/(-7) + -1 + -1. Let k = -569/7 - i. Which is bigger: k or t?
k
Let h be (-2)/(-7) + (-78)/(-21). Suppose -k + 5*f = h, -5*k + 4*f + 95 = 31. Is k < 16?
False
Let h = 0 - 1. Let v be (-38)/6*(9 + -8) - -4. Is h at least v?
True
Let m = 0.2 + -0.16. Suppose -k - 6 = 2*y, 13 = -3*y + 1. Is k < m?
False
Suppose 2*q = 4, -4*l + 2*q - 5*q = 10. Which is bigger: l or -22/5?
l
Let n = -0.402 - -0.302. Which is smaller: n or 0.3?
n
Let k = 0.044 - -0.156. Let b = -7.6 - -0.1. Let i = b + 1.5. Which is smaller: k or i?
i
Let q = -172553/248580 + -2/6905. Which is bigger: q or 1?
1
Suppose t = 3*u + 36, -4*u + 2*t = 5*t + 35. Suppose -3*i - 4*w = -15, 5*i = -w - 3*w + 17. Let s be (-520)/(-80)*(-2)/i. Is u equal to s?
False
Let h(m) = m**3 - 9*m**2 - 13*m + 19. Suppose 0 = -6*p + 44 + 16. Let i be h(p). Is i at most as big as -11?
True
Suppose -5*h - 2*w - 60 = -w, -2*h - 17 = -w. Let g be (16/24 - 22/24)/(2/8). Is h >= g?
False
Let g(c) = -5*c**3 - 12*c**2 + 2*c + 3. Let a be g(-5). Which is smaller: a or 317?
317
Let f = -28 - -29. Let z be f/7*(-7 + 1). Are -1 and z non-equal?
True
Suppose 0 = -4*z - 6 - 2. Let p be ((-3)/(-12))/(z/(-36)). Let v = 24 - 20. Which is greater: v or p?
p
Suppose -3*i + 20*o + 111 = 17*o, 0 = -4*i - 3*o + 183. Which is smaller: 165/4 or i?
165/4
Let c = -7176595/16 - -447890. Let v = c + 647. Which is smaller: 0 or v?
v
Let x be (95/(-25) - -4)*85. Is x less than or equal to 88/5?
True
Let m(q) = q**2 + 6*q + 7. Let b be m(-1). Is -13.4 smaller than b?
True
Suppose 2*k - k = 12. Suppose -5*p + 3*u + 14 = 0, -26 = -5*p - 2*u - u. Let x be p/k + 164/48. Is x at most as big as 4?
True
Let f = 30380 - 60486578/1991. Which is bigger: 0 or f?
f
Let l(m) = 9*m**3 - m**2 + m + 3. Let n be l(-1). Let z(k) = -k - 4. Let q be z(5). Which is smaller: q or n?
q
Let j = -210 + 202. Let y(z) = z**2 - 4*z - 2. Let s be y(4). Is s smaller than j?
False
Let o = 4 - 7. Let i = -598 + 1273. Let l be (-9)/(i/(-6))*-35. Is l at most as big as o?
False
Let f be (6/8)/(-3) - (-1372)/(-784). Let u = -0.2 - -2.2. Let q = -2.3 + u. Which is smaller: q or f?
f
Let i = -12 + 4. Let l = 2880 + -2881. Which is smaller: i or l?
i
Let z = -7