l(y) = -3*y**3 - 2*y**2 - 4*y - 2. Let j be l(-1). Let m be (-15)/(j/(-1)) - 0. Is 5 greater than m?
False
Suppose -4*w + 6 = 2. Let u be 3/711*164 - 4/6. Which is smaller: w or u?
u
Let y be 15/(-3) + 2 + -4. Let z be 33/y + (-4)/14. Let g(c) = c**3 + 6*c**2 + 4*c - 6. Let s be g(z). Which is smaller: 4/15 or s?
s
Suppose -5*x = p - 19, -p + 4 = 3*x - 11. Let w(a) = -a**3 + 10*a**2 - 8*a - 7. Let l be w(p). Suppose -l*f + 0 = 4. Is f != -4?
True
Let y be 4 - (-4)/(-2) - 2. Let s = 506 - 506.4. Is y > s?
True
Let u(k) = -k - 4. Let h be u(-2). Let d(o) = o - 2. Let s be d(h). Let i = -0.3 + -0.1. Is i > s?
True
Let k be (3 - (-1 - -1))*148/111. Suppose 0*a = -5*a + 60. Suppose 2*t + 2*t = a. Is t not equal to k?
True
Let x = 100 - 68. Let d = 3 - -29. Is x at least as big as d?
True
Let j = 2 + 11. Let m = -14 + j. Let x be ((m - -3)/1)/2. Which is bigger: x or 3/4?
x
Let q(l) = l**3 - 3*l**2 + 2*l + 4. Let j be q(3). Let w be (-74)/111*36/(-2). Are w and j non-equal?
True
Let y = -143 + 159. Which is smaller: y or -21?
-21
Let r = -3/224 - -67/21728. Which is smaller: -1 or r?
-1
Let k = -983/216 - -37/8. Which is smaller: -0.13 or k?
-0.13
Suppose -6*m - 22 = -22. Which is bigger: m or -3/124?
m
Let r(v) = v**3 - 3*v**2 - 6*v - 24. Let c be r(-4). Which is smaller: -114 or c?
-114
Let n(i) = -i**3 - 5*i**2 + 7*i - 10. Let f be n(-5). Let h be ((f/(-2))/9)/((-1)/2). Do -7 and h have the same value?
False
Let a(j) be the first derivative of j**3 - 2*j - 2. Let o be a(-2). Let m(y) = 3*y - 21. Let t be m(o). Which is smaller: -1 or t?
-1
Let j(z) = z + 1. Let y be j(7). Let a be y/((-7)/((-238)/4)). Let p = a - 208/3. Which is smaller: -1 or p?
p
Let t = 119/240 - -5/48. Are t and 6.9 equal?
False
Suppose 35 = -4*m + 175. Let f be 0 - 180/m - (-3)/21. Do -17 and f have different values?
True
Suppose -13*c + 384 = 85. Is 22 at least c?
False
Let o(f) = 6*f - 52. Let s be o(8). Let v(p) = -p**2 - 3*p + 3. Let h be v(s). Let t be ((-2)/8)/(10/4). Is t < h?
False
Let y(o) = -3*o. Let a be y(2). Let n be a*((-22)/6 - -3). Suppose 32 + 16 = -n*j. Is -13 at most as big as j?
True
Let y(o) = 41*o + 1. Let a be y(1). Let z(v) = -31*v + 72. Let s be z(1). Are s and a nonequal?
True
Let s be -5*((-48)/5 - -3). Let c = 1416 - 1383. Is s > c?
False
Let t = -20.68 + 21. Let y = -0.02 - t. Let o = y - -1.34. Which is smaller: o or 12?
o
Let v be 1166/16 + 12/6. Let x = 139 + -214. Let j = v + x. Which is bigger: j or 0?
0
Let i(j) = j**2 + j - 4. Let l be i(-3). Suppose q = l + 4. Let a = q + -7. Is a != -2?
True
Let k be 855/7 + (-54)/378. Is 119 smaller than k?
True
Suppose -9*o + 3*o = -348. Let x = 58 - o. Is x bigger than -2/17?
True
Let t(n) = n**3 + 19*n**2 + 45*n - 31. Let i be t(-16). Which is smaller: i or 16?
16
Let b = -0.42 - -17.42. Let s = 20 - b. Which is greater: 1/2 or s?
s
Suppose 5*w + 3*v = -3, -3*v - 3 = -w - 0. Is w at most as big as 3/205?
True
Let h = 0.64 - -93.36. Let t = -94 + h. Is -1/86 less than t?
True
Suppose -5*u + h + 15 = 6*h, -5*u - 2*h = -15. Let l = 7 + u. Suppose 0 = 3*v - 5*t + 2 - 14, -4*v + 21 = -5*t. Is v > l?
False
Let l = 17.2 + 2.8. Let f = 30 - l. Let v = -9 + f. Which is smaller: v or -0.2?
-0.2
Suppose -9 = -5*y - 4*a + 18, y + 3 = 2*a. Suppose 0*s - s - 2 = -2*m, -3*m - 3 = -y*s. Suppose 5*c + m = 13. Is c smaller than 3?
True
Let o = 1 - -1. Suppose 5*c - o*c + 586 = -5*u, -u - 2 = 0. Let q = c - -1145/6. Which is smaller: -2 or q?
-2
Suppose 24 + 18 = 14*f. Suppose 0 = -f*i + 4*c - 0*c - 3, -i - 3 = -2*c. Which is smaller: 15/7 or i?
15/7
Suppose -46*s - 41 = -225. Let y = -4 + -3. Let k = -4 - y. Which is smaller: k or s?
k
Suppose 4*w - 2*n + 36 = -20, -5*w - 70 = 4*n. Let k be (-1)/(-1) - (-10)/w. Which is smaller: -17 or k?
-17
Let k = -52 - -262/5. Let j = 0.38 + 4.62. Let a = -8 + j. Which is greater: a or k?
k
Suppose -o - 3*a = -a + 3, 4*o - 23 = -a. Let g = -333 - -342. Are o and g unequal?
True
Let v = -131/630 + 1/126. Let i = -37 - -2. Let p = -34.8 - i. Which is smaller: v or p?
v
Let c be ((30/9)/(-10))/((-2)/(-150)). Which is bigger: -22 or c?
-22
Let c = 1657/4 + -494. Let w = 78 + c. Are w and -1 equal?
False
Let c = -0.34 - 15.66. Let p = -26 - c. Which is smaller: 0 or p?
p
Let o(w) = w**3 + 6*w**2 - 7*w - 1. Let f(u) = -8*u**2 + 1. Let a be f(-1). Let d be o(a). Which is smaller: d or 2/33?
d
Let c be (-6)/9 - (-12)/(-9). Let w be (-2)/4 - c/16. Let m be (8/(-4) - 0) + 3. Which is greater: w or m?
m
Let l(h) = 7*h**3 - 20*h**2 + 29*h - 41. Let f(m) = 3*m**3 - 10*m**2 + 14*m - 21. Let q(b) = 9*f(b) - 4*l(b). Let d be q(-11). Which is bigger: 0 or d?
0
Let g be (-1)/(1/(-3 + 54)). Do g and -55 have the same value?
False
Let n(u) = u**2 + 32*u + 61. Let z be n(-30). Let i = 5 + -3. Let r be i + 2 + -7 + z. Is r equal to -4?
False
Suppose 97 = 36*d + 2257. Which is smaller: 3 or d?
d
Let n be 6 - (-2)/(8/180). Are 49 and n equal?
False
Let u(w) = -w**2 + 8*w + 8. Let v be u(8). Which is smaller: v or 11?
v
Suppose 6 = 15*r + 21. Which is bigger: r or -4/3?
r
Let c = 813 + -399. Suppose 4*v + c = 13*v. Which is bigger: 47 or v?
47
Let z = -64959/5 - -12904. Which is smaller: -89 or z?
-89
Let v = 0 + 0. Suppose 2*w - 28 = -3*u + 34, 0 = 5*u + w - 108. Let a = 196/9 - u. Is v < a?
False
Let b be (-2)/5 - (-2)/5. Let z = 3.06113 + -0.06113. Is b less than z?
True
Let l = 78 - 469/6. Let v = -0.37 - 1.53. Is l less than v?
False
Let l = -58532/17 - -3444. Do 0 and l have the same value?
False
Suppose -34*u = -38*u + 320. Which is smaller: 81 or u?
u
Suppose -9130 + 1514 = -14*l. Let u = l + -20673/38. Which is smaller: u or -1?
-1
Let v = -59 - -42. Suppose o + 4*l = 5*o + 56, 4*o + 3*l + 70 = 0. Which is smaller: v or o?
v
Let g(k) = k**2 + 4*k - 3. Let i be g(-4). Let l be (-2 - -1)*(-1)/i. Let h = 0.17 - 0.07. Which is greater: h or l?
h
Let x be ((-22)/(-12) + -2)/(2/6). Let n(h) = h**3 + 4*h**2 + 5*h + 3. Let a be n(-2). Which is bigger: x or a?
a
Let b be (18/35)/(2/(659 - -1)). Let d = b - 170. Is d at least 0.5?
False
Suppose -7 + 4 = m, 4*m + 122 = -5*g. Let u = g - -35. Do 13 and u have different values?
False
Suppose 6*q = 2*q - 28. Let f be -3 - (-1 + 1) - 9. Let l = 7 + f. Is q greater than l?
False
Let p be 22/2*26/286. Which is smaller: p or 0.32?
0.32
Let h(o) = -2*o - 1. Let s be h(-1). Let z(d) = -1 + 2*d**2 + 7*d**3 - 3*d**3 + d**3 - d**3. Let g be z(s). Is g greater than 5?
False
Let j be 9/(-24) + 8725/31800. Which is bigger: 0 or j?
0
Let a = 22 + 11. Let i = 67 - 33. Which is smaller: a or i?
a
Let v(h) = 25*h + 336. Let q be v(-9). Which is greater: q or 115?
115
Let q be 3/(42/4) - 48/21. Let f be -3 - q - 87/(-72). Is f >= 1?
False
Let d be (4 + -4)/2 + 4 + 141. Which is smaller: 154 or d?
d
Let y = 1403/88 + -127/8. Let p = y - -13/11. Is p less than or equal to 1?
False
Suppose 0 = -4*w - 16, -25 = -5*x - 7*w + 12*w. Let v = -28 - -10. Let t be 2/(-9) + (-4)/v. Is x greater than t?
True
Let k = -948 - -26547/28. Suppose -12*n = -8*n. Does n = k?
False
Let w = -497 + 346. Which is bigger: w or -152?
w
Let a = 8451641/17 + -496911. Let d be -4*(2 - (-118)/2). Let v = d + a. Which is greater: 0 or v?
v
Let b(z) = 2*z - 43. Let v be b(26). Let r = v + -56. Are r and -48 unequal?
True
Let m be (-22)/(2 + 86/(-44)). Is -485 at least as big as m?
False
Let z be (3 - 2)/(-1*1). Let n(l) = -l**3 - l**2 + 2*l + 2. Let o be n(z). Suppose -4*q - 5*j + 16 = -o*j, 0 = -2*q - 2*j + 6. Is 4/21 greater than q?
True
Let b = -0.012 - -41.012. Let n = b - 42. Is n smaller than 26?
True
Let r(w) = w**2 - 2*w + 2. Let g be r(2). Let j be (20/(-190))/(g + -1). Which is smaller: 0.1 or j?
j
Let k be ((-2)/4)/((-3)/9). Let f = -141.14 + 140. Let g = f - -0.14. Is k at most as big as g?
False
Suppose 2*g + 8*g + 20 = 0. Let t(d) = -8*d**2 - 1. Let y be t(-1). Is y != g?
True
Suppose 2 + 1 = v, 133 = -5*g + v. Is -26 less than g?
False
Let q be (-5 - 4)*-151*10/15. Is 908 smaller than q?
False
Let i = 2203 + -2077. Which is greater: i or -7?
i
Suppose -27*t + 17360 = 13*t. Which is smaller: t or 433?
433
Suppose 4*r = 11*r + 56. Let l be ((-77)/44)/((-2)/r). Which is greater: -10 or l?
l
Let i = -2 + 7. Suppose -8 + i = -3*q. Let p = 10/23 - 136/207. Is q greater than or equal to p?
True
S