s n < 12/11?
True
Let g be (2/(-128))/(3/(-18)). Let u be (-24)/27 - (-240)/270. Do u and g have the same value?
False
Let c be -1 + 50/(-102)*-2. Let s = 920 - 919. Which is greater: s or c?
s
Let j(f) = -f**3 + 2*f**2 + f - 1. Let h be j(2). Suppose -k - o = -h, 11 = 5*k - 4*k - 4*o. Suppose i - k = -5. Are -2 and i non-equal?
False
Let u be 3 - 37/8 - -1. Let t(w) = w**3 - 9*w**2 + 7*w. Let n be t(7). Let h = -50 - n. Which is smaller: u or h?
h
Let c = -2350 + 2355. Let p(m) = m**2 + m + 3. Let o(x) = -x**3 - 3*x**2 - 2*x. Let f be o(-2). Let z be p(f). Which is greater: z or c?
c
Let j be (-1)/3 + 16/(-6). Let d be (-4425)/2940 + j/(-2). Let g = 113/196 + d. Which is greater: 0 or g?
g
Let c be 2/6*-1*1. Let g be (0 + 0)*(-132)/(-264). Is g > c?
True
Let g be (-3)/((-63)/(-28)) + (-8)/(-6). Let y = -75 + 381/5. Do g and y have the same value?
False
Let o(z) = z**3 + 4*z**2 - 5*z + 4. Let c be o(-5). Suppose -5 = -5*g + 5*b, -8*b = -g - c*b + 1. Is 1 smaller than g?
False
Let r = 3.5 + -41.5. Let m = -37.7 - r. Is m smaller than -0.6?
False
Let d be (2 + -1)*68/(4/(-1)). Which is greater: d or -1.1?
-1.1
Let r = 208 - 324. Let b = r - -96. Which is bigger: 0 or b?
0
Let x be (-635)/225 + 6/10. Let k = 19/9 + x. Let n = 0 - -1. Is k greater than n?
False
Let c be (-1)/(-116)*14*110/154. Do c and 0 have the same value?
False
Suppose r - 5 = -13*o + 15*o, 2*r - 5 = -o. Let i be (-1)/4 - (-30)/116. Are i and o equal?
False
Let i = 1140 + -1154. Is i less than 49?
True
Suppose 3*q - 24*f + 333 = -20*f, 3*q = -2*f - 351. Is q less than -115?
False
Let g(y) = -y**3 + y**2 + 1. Let p(j) = j**2 - 2. Let c be p(2). Let b be g(c). Let o be (-2)/b*3/(-17). Is o at most as big as 0?
True
Let s = -32.072 - -0.072. Let r = -32.2 - s. Which is bigger: r or -2.1?
r
Let m = -2.36 + 2.8. Let o = m - 1.44. Let n = 303/2698 + -1/142. Is o <= n?
True
Let r = 73 + -50. Let c = r - 28. Is c equal to 0.08?
False
Let c be (9/(-6))/(3/(-6)). Let t be ((-9)/c)/((-15)/(-20)). Let i be -6*(-2)/t*1. Which is bigger: -0.1 or i?
-0.1
Let q = 27 + -9. Let y = -0.013 + -18.987. Let t = q + y. Is -0.03 bigger than t?
True
Let x = 1/4504 - -17901/517960. Which is smaller: 1 or x?
x
Let v = -226 + 226. Which is smaller: 2/1069 or v?
v
Suppose -m = 3*n + 3, -6*n + 10*n + 11 = m. Let b = -9869745 - -15248753249/1545. Let c = -1/309 + b. Which is greater: n or c?
c
Let f = -182 - -6187/34. Suppose -10 + 5 = 3*q + 2*x, 3*q = -4*x - 13. Are f and q unequal?
True
Let v = -359 - -239. Let h = v + 120.1. Which is smaller: -43 or h?
-43
Suppose 0 = -5*x - 23 + 3, -4*x - 28 = -4*d. Are 26/11 and d nonequal?
True
Suppose -5*y - 3*m = -120, -4*m = 5*y - 6*m - 145. Let h = 8 - y. Is 1 < h?
False
Let f = -0.876 - 0.124. Let l be (45/72)/(1/4). Is f less than or equal to l?
True
Suppose 0*n - 19*n - 3078 = 0. Which is bigger: n or -161?
-161
Let h = 2 + -15. Let p = 20 + h. Let d = 6 - 5. Which is smaller: p or d?
d
Let n be 0*(0 - (-2)/(-4)). Suppose -3 + 45 = 2*a + 2*x, 59 = 3*a + 5*x. Suppose 0*t + l = -4*t - 77, n = -t - l - a. Is -17 equal to t?
False
Let m = 4 + 52. Suppose -5*o + 3*l + 132 = 0, 3*o - 26 - m = -l. Is o less than or equal to 27?
True
Suppose 2*h = s + 6, s + h - 7 - 2 = 0. Let c = 4 + -2. Is c >= s?
False
Suppose 0 = -14315*q + 14324*q + 11637. Which is greater: -1292 or q?
-1292
Let t be 46 + (9 - (-3 - -10 - 3)). Which is smaller: 4 or t?
4
Let m(t) = t + 4. Let c be m(-4). Let p be ((-2)/(-10))/((-7)/((-49)/6)). Let b = p - -4/15. Which is greater: b or c?
b
Let s = 29399/27 - 1088. Which is greater: 2 or s?
2
Let r(w) be the third derivative of w**6/120 + w**5/12 - 5*w**4/24 + w**3 - 28*w**2. Let y be r(-6). Which is smaller: 65 or y?
y
Suppose -24*r + 554 = -2662. Which is greater: 132 or r?
r
Let p(o) = -o - 29. Let u be p(9). Which is greater: -151/4 or u?
-151/4
Let c = -10.5 - -0.9. Let q = c - -9.8. Which is bigger: -3/4 or q?
q
Let a(q) = q**3 - 34*q**2 + 67*q - 8. Let o be a(32). Is 88 smaller than o?
False
Let g = -14 + 6. Let u = 13007/2 + -6503. Which is bigger: u or g?
u
Let o(g) = -7*g - 33. Let c be o(-6). Let y be (c/6)/((-9)/12). Which is greater: -8/3 or y?
y
Let z(b) = b**3 - 11*b**2 - 11*b + 17. Let h be z(8). Is -266 <= h?
True
Let y = -176 + 176. Which is bigger: -1.4 or y?
y
Let a = 1745 - 1744.97132. Let w = 29.08132 + a. Let k = w - 29. Is -1/2 != k?
True
Suppose -1 = 2*d - 5. Let l be (-9)/(-3) + -1 + -2. Suppose -i + 4*i = l. Which is greater: d or i?
d
Let a(p) = -2*p - 6. Let y be a(-5). Suppose 2*x + y = -2*x. Let h be (-1)/(-2)*4246/(-193). Which is greater: h or x?
x
Suppose -i - 1 + 3 = 0. Suppose i*f + 23 = -3. Let g = -8 - f. Is 5 less than g?
False
Suppose 2 = j - 1. Suppose -8 = 5*f - j*f. Let t be (-20)/(-3)*f/(-16). Is 1 greater than t?
False
Let a be 6*(-1)/(-7)*(33/(-44))/3. Suppose b - 4 = -3*b. Are a and b non-equal?
True
Let o be (-5152)/(-9 + 1) - 0. Which is smaller: o or 645?
o
Let q be 10200/(-125) + 6/(-15). Is q at least as big as -247/3?
True
Let r = 163 + -164. Let s be (-5 + r)/((-6)/52). Is 52 smaller than s?
False
Let f be 80/(-32) + 15/6. Which is bigger: f or 1/498?
1/498
Let w = -3.41 + -0.99. Which is greater: w or 0.6?
0.6
Let y be -46*(3 - 21/3). Is y equal to 183?
False
Suppose -s - 12 = 2*o - 3*s, 0 = -4*o - s + 1. Let t be (-4)/(-18) + (-33996)/(-108). Let h be (-84)/t*(-6)/(-28). Is o greater than or equal to h?
False
Let t = -0.02 - -0.02. Let s = -13 - -10. Are s and t equal?
False
Suppose 3*d = -5*g + 45, -4*d - 27 = -3*g - 0*g. Let z be (-11)/(-5) + 2 + (-22)/10. Let q be -1*(z/2 + g). Which is greater: q or -11?
q
Let k(g) = -g. Let m be k(-6). Let v be -1 + -4 + (3 - (m - 7)). Which is smaller: -2/7 or v?
v
Let t be -36 + (0 + -2 - -6). Do -32 and t have different values?
False
Let d = 13 + -27. Let u be (3 + -1)/(d/(-3)). Let p = 428.18 + -428.68. Which is smaller: u or p?
p
Let s be (-37)/(-3) + 0 + -1 + -1. Let g = s - 47/6. Suppose -3*x = -3*b, 14 + 0 = 3*x + 4*b. Is x bigger than g?
False
Let j(k) = 14*k - 4. Let n be j(2). Let t be (-52)/n*(-4)/2*1. Which is smaller: t or 4?
4
Suppose 5*a + 6*d - 4*d + 889 = 0, -4*a + 4*d - 728 = 0. Which is bigger: -178 or a?
-178
Let h = -16 + 15. Let g = 29/490 - -2/49. Are h and g equal?
False
Let i = -4.2 - -4.54. Let s = -0.4 + i. Is 0.1 <= s?
False
Let w = 156 + -26. Suppose r - 3*r - 38 = o, -w = 5*o - 5*r. Let u be o/(-75) + (-4)/10. Does 7 = u?
False
Let z(f) = 4*f**2 - 3*f - 2. Let i(c) = c**2 + c - 1. Suppose 4*p + 3 = 15. Let h(q) = p*i(q) - z(q). Let w be h(6). Which is smaller: w or -2?
-2
Suppose -4*w = -2*b + b - 11, 0 = -3*w - 3*b - 3. Let l be (-2)/(-4) + 1/w. Let v = -68 + 68. Is v != l?
True
Let g = 29 - 13. Suppose -24 = 8*c + g. Which is greater: c or -2/5?
-2/5
Let r(u) = -u + 6. Let o be r(6). Let n(h) = -11*h - 4 - 4 + 10*h + 1. Let b be n(o). Is b greater than or equal to -7?
True
Let l = -0.17 - 24.33. Let f = l - -25. Is -8 > f?
False
Suppose 3*y = 5*y - 4. Suppose -y*k + 0*r + 8 = -2*r, -3*r - 15 = 0. Let f be 1 + k + -2 + 3. Is 4/7 at most as big as f?
True
Let h = 97 - 98. Let u be h*((-2)/(-3) - (-7)/21). Which is greater: 0.04 or u?
0.04
Suppose -3*y = -5*k + 3844, 3*k - 2*y = -0*y + 2306. Let m = -16937/22 + k. Is m smaller than 1?
True
Let y be ((-25)/3)/(4 - (-65)/(-15)). Which is smaller: y or 5?
5
Suppose 4*w - 26 = 4*j - 6, 3*w - 2*j = 10. Suppose o + w + 2 = 5*i, 2*i = -o + 5. Let z be (-10)/4*(-1 + -1). Which is bigger: o or z?
z
Let u(y) = y - 14. Let z be u(7). Let o(i) = -i**3 - 6*i**2 + 3*i - 16. Let d be o(z). Suppose -2*m + d = -5*m. Which is smaller: m or -6?
-6
Let j = 2030 - 180672/89. Is -1 bigger than j?
False
Suppose 5*i - 4*w = -5, -8*i - 4 = -4*i + 2*w. Which is greater: 1/7 or i?
1/7
Suppose 3*a + 2 = 5*t, 2*t + t - 2*a = 2. Which is greater: t or 19?
19
Suppose 10*p = -0*p + 810. Let o = -408/5 + p. Which is smaller: o or 1/5?
o
Suppose g - 26 = -5*s, 5*g - 29 = -4*s - 4. Which is greater: -12/71 or g?
g
Suppose c = -x - 1 + 41, 5*x + c - 196 = 0. Let f(d) = d**3 - 3*d**2 - 6*d + 19. Let m be f(5). Is x greater than or equal to m?
True
Let t = 99 - 195/2. Which is bigger: 37 or t?
37
Let w(m) = m**3 + 11*m**2 - m - 6. Let l be w(-11). Let d be 2/l - ((-116)/(-40) - -4). Are -8 and d equal?
False
