r be s/(-3) - (-687)/(-22). Let l = r + 59/2. Which is smaller: 1 or l?
l
Let g(i) = -i + 5. Let l be g(6). Is l < 1/100?
True
Let g = 2959 - 2960. Let i be 4/(-45)*2/8. Which is smaller: i or g?
g
Suppose -l - 1 = -3*n, -5*l - 2 + 14 = 2*n. Let d = l + -1. Let k be (-95)/19 + 29/6. Is k < d?
True
Suppose 0 = d + 3, 4*d - 8 = -3*z + 1. Is z < 11?
True
Let b(c) = c**2 + 4*c - 15. Let k = 67 - 73. Let p be b(k). Is p at least as big as -11/6?
False
Let f = 0.262 - 16.162. Let p = 16 + f. Is p at least as big as 2?
False
Suppose 9*y - 7*y = 2*j + 4, -20 = -5*y. Suppose -j*b + 46 = f - 64, f = b - 61. Are b and 57 equal?
True
Let d(h) = 28*h + 107. Let i be d(-9). Is -146 > i?
False
Suppose -3*m + 4*n = 312 - 84, m - 2*n = -76. Which is smaller: m or -151/2?
m
Let q = 203 + -73. Let u = 114 - q. Let j = -2 - -2. Which is greater: u or j?
j
Let d = -24 + 10.2. Let h = -14 - d. Which is bigger: 5 or h?
5
Let l(s) = s**3 - 16*s**2 + 13*s + 22. Let w be l(15). Let k be 0 + 3 + -10 + 4 + 10. Let m = w + k. Is 6 != m?
True
Suppose 0 = -2*x - 3*c - 17, 0 = 2*x + 4*c + 20. Let b = -43.29 + 43. Let j = 0.09 + b. Which is greater: x or j?
j
Let f be (3 - 5)*26/(-20). Suppose -21 - 19 = -20*r. Which is smaller: f or r?
r
Let u be ((-8)/(-2) - 3)*(-2 + 12). Which is bigger: u or 120/13?
u
Let u(v) = -v + 5. Let y be u(5). Suppose 3*a + 6 = -y*a. Suppose 29 = -4*r - 5*p, -3*r - 5*p = -3*p + 13. Which is smaller: r or a?
a
Let q = -343 - -1314. Which is bigger: 972 or q?
972
Let i be (735/30)/((-1)/98). Which is bigger: i or -2400?
-2400
Suppose 0 = -w - 5 + 15. Is w less than 11?
True
Let n = 51 + -111. Suppose 0 = -21*o + 31*o + 2*l + 606, l + 123 = -2*o. Is n at most as big as o?
True
Let z(u) = -7*u - 12. Let l(c) = 29*c + 49. Let v(i) = 2*l(i) + 9*z(i). Let d be v(-5). Let b be 27/d*(-30)/(-9). Is 6 bigger than b?
False
Suppose 3*n - 2*z = -7 - 4, -z - 19 = 2*n. Suppose -5*j + 5*u + 19 = 4, -15 = -5*j - 3*u. Suppose 4*a + 26 = 2*g, -2*g - j*g = 2*a + 7. Is a >= n?
True
Let x be (78/(-72) + 1)*-15. Does -65/4 = x?
False
Suppose 2*s - 5*f + 15 = 0, -2*s - 4*f = -0*s - 12. Let d be 133/(-28)*(1 - s). Is d < -5?
False
Let c = -1068 - -1071.76. Is -0.1 not equal to c?
True
Suppose 0 = -a - 331 + 167. Which is bigger: -167 or a?
a
Suppose 3*w + 4*t - 2 - 2 = 0, 3*t - 3 = -w. Let x = -16 - -34. Let p be (x/(-52))/((-27)/(-36)). Which is smaller: w or p?
p
Let y = 57 + -49. Let u be (-14 - -13)/(y/(-6)). Which is smaller: -2 or u?
-2
Let z(i) = -i**2 + 13*i + 84. Let f be z(-5). Are f and -5 equal?
False
Suppose 0 = -5*f - 5*p - 5, -6*f - 3*p = -2*f + 2. Let m = f - 7. Are -4 and m non-equal?
True
Suppose 78*a - 58862 = 116*a. Do -1549 and a have the same value?
True
Let r = 0.0267 - 12.0267. Is 3/2 < r?
False
Suppose 12 = 3*w + 3. Let n(x) = x + 3*x**2 - 3 + 0*x**w - x**3 + 2*x**3 - 6*x**2. Let l be n(3). Is 0 != l?
False
Let t = -3.7 + 3.4. Let f be -3 + 5/1 - 2. Let j be (1 + f)*8/8. Which is bigger: j or t?
j
Let j = -289 + 95. Is -192 not equal to j?
True
Let t(r) = r**3 - 11*r**2 + 6*r + 12. Let h(c) = 13*c**2 - 3*c. Let m be h(1). Let q be t(m). Which is bigger: q or -27?
-27
Let h(b) = b - 4. Let x be h(-8). Let a = 19 + x. Let i be (8 - a)/(71/2). Which is greater: 0 or i?
i
Let u be (2/(-45))/(2/10). Let h = 4.3 + -4.258. Let w = -0.142 + h. Which is smaller: w or u?
u
Let z = -955 + 963. Is 135/17 equal to z?
False
Let x be 98/(-6) + -2 + (-2)/6. Which is bigger: x or -20?
x
Let n = -22 - -21. Let z be (n - -2) + (-8)/(-8). Suppose 3 - z = -x. Which is bigger: x or 1/6?
1/6
Let m(v) = v**3 + 6*v**2 - v - 3. Let k be m(-6). Suppose 0*s = k*t + 2*s - 30, -5*t + 3*s + 50 = 0. Is t less than or equal to 13?
True
Let i(q) = -q**3 - 5*q**2 - 4*q. Suppose 4*t - t = 0. Suppose t = 4*g - 7 + 19. Let j be i(g). Is j greater than or equal to 1?
False
Let w(h) = -11*h**3 - h + 2. Let u be w(1). Let k be 34*(u/(-4))/(-5). Which is smaller: -15 or k?
k
Suppose 2*b + 4*n - 208 = 0, 2*b + 60*n - 57*n = 212. Is b less than or equal to 113?
True
Suppose -c = 0, -8*c - 1 = d - 4*c. Let j be (-1547)/(-507) + -3 + -2 + 2. Is d bigger than j?
False
Suppose 0 = 5*f + 10, -5*n + 98 = -5*f - 17. Suppose 3*h + 24 = n. Is -7 >= h?
False
Let f(s) = s**3 - 4*s**2 + 4*s - 6. Let d be f(4). Suppose -4*v = 3*j + d, -v + 0*v - 5 = 2*j. Which is bigger: 6/19 or v?
6/19
Let f be 1/(-5) - ((-3587)/255 - -14). Let i be 4/(-10)*30/(-12). Which is greater: i or f?
i
Let z = 36/5 + -98/15. Let t = -11 - -16. Let v = t + -4. Which is smaller: z or v?
z
Suppose 0 = 5*y + 35 + 25. Suppose 4*p + 0 + 28 = 0. Is p at most y?
False
Let x(y) = y**2 + 6*y + 3. Let v be x(-6). Suppose -23 + 39 = -4*b. Let h be -2 + 51/6 - 2/b. Which is smaller: v or h?
v
Let j(p) = 4*p. Let n be j(2). Suppose -3*b + 5*c = -42, -5*b - 2*c - c + 70 = 0. Let w = b - n. Is w > 6?
False
Let q be 1/(4 - 5)*243/(-45). Which is smaller: -4 or q?
-4
Let q = 0.15 - 19.15. Let k = 11.4 + 7.4. Let v = q + k. Which is bigger: v or -2/21?
-2/21
Suppose -2*m - m = 6. Let o = 7 + m. Suppose -h + 5 = 0, -2*h - 15 = 2*f - o*h. Which is smaller: -1 or f?
-1
Let n be 3 - 5/560*332. Is 1 greater than n?
True
Let o = -4155055/534 + 7781. Let c = 1021/25098 - o. Which is smaller: c or 1?
c
Let p(w) = -w. Let v be p(-1). Let m be -2 + -2 + 2 - 118. Let t be 36/m - (-1)/2. Is t not equal to v?
True
Let h(t) = t**2 + 7*t - 22. Let r be h(4). Which is bigger: 20 or r?
r
Let y(p) = p**3 - 34*p**2 + 34*p - 41. Let n be y(33). Is n >= -19?
True
Suppose 0*y - 52 = -4*y. Suppose -4*c = m, -5*c + m = -y + 4. Do c and 1 have different values?
False
Let b = 7816/17 - 460. Which is bigger: b or 0?
0
Suppose -3*w = 5 + 34. Let c = -6 - w. Is c at least 0?
True
Let p(w) = -2*w**2 + 3*w. Let x(o) = o**2. Let f(g) = p(g) + 3*x(g). Let v be f(-3). Let r be (-2 + 2 - v) + 0. Do r and 0 have different values?
False
Let w = -452 + 449. Is 1 equal to w?
False
Let o = 8 + -8.7. Let f = 0.443 - 4.443. Do o and f have the same value?
False
Let f = 66 + -72.9. Do -1 and f have different values?
True
Let p = -0.2 + 0.19. Let h = 1108 - 1112. Which is smaller: h or p?
h
Let g be 14*(-1 - 1/(-7)). Suppose -19*r - 73 = -14*r - 2*x, 4*r = -3*x - 40. Are g and r nonequal?
True
Suppose 3*a - 8*a + j - 6870 = 0, 4100 = -3*a + 5*j. Let i = a - -15137/11. Let g = i - 457/429. Is 1 not equal to g?
True
Let h = 0.0868 + 0.9132. Which is smaller: 123 or h?
h
Let s(k) = k + 7. Let b(i) = -i - 7. Let l(y) = -7*b(y) - 6*s(y). Let x be l(2). Is 8 > x?
False
Let n be 7*-1*(41 - 38). Which is smaller: n or -24?
-24
Let i(b) = 12*b**3 - b**2 - 2*b + 1. Let n be i(1). Let x be (1 - n/(-16)) + -2*1. Is x less than 1?
True
Let o(z) = z**3 - z**2 - 2. Let n be o(2). Let j be (16 - 10)*n/208. Which is greater: -1 or j?
j
Let f(c) = c**3 - 8*c**2 - 4*c + 16. Let z be f(8). Which is smaller: z or -18?
-18
Let o(b) = -b**3 + 22*b**2 - 2*b + 48. Let i be o(22). Suppose -4*y = 5*j + 17, 2*y + 6 = -0*y - 2*j. Suppose -u + y*u = 1. Which is bigger: i or u?
i
Let w = -1/68306 + -6727543/40846988. Let l = w - -1/92. Let b be (-1*(-2 - -1))/(4/4). Which is greater: l or b?
b
Let b = 5937 + -5986.09. Let s = b + 49. Which is bigger: s or -1?
s
Let c be (2 + 0)*(-33)/6. Let x = c + 14. Let z be 3/(17/2 - x). Which is bigger: 0 or z?
z
Suppose 4*w - 3*w = -b - 6, 1 = -w. Is -5 not equal to b?
False
Let f(p) = p**2 + 4*p - 11. Let b be f(-5). Which is smaller: b or -4?
b
Let n = -7/8732 + 122806/15281. Let z be 155/(-8)*4/10. Let t = n + z. Which is bigger: t or 3?
3
Let x = -5 - -3.6. Let i = x - -1.5. Which is bigger: i or -1/3?
i
Let v be 8/(-12) + (-34)/(-6). Suppose -v*d + s = -15, -1 = 4*d + 4*s - 13. Let y be 7 + 6/d*-1. Which is smaller: y or 6?
y
Let z(p) = 5*p + 20. Let i be z(-10). Let x be (-4)/(-60)*(-25)/i. Is x greater than 0?
True
Let r(l) = -703*l**3 - 7*l - 8. Let z be r(-1). Is 702 at least as big as z?
True
Let h = 164834/13 - 12679. Suppose 2*s = 4*y - s - 8, 2*s = 0. Are h and y nonequal?
True
Let d(i) = -i**3 - 3*i**2 + i - 1. Let l be d(1). Which is bigger: l or 27?
27
Suppose 236 + 72 = -22*f. Suppose -5*q + 32 = -3*q. Let m = f + q. Do 4/3 and m have the same value?
False
Let w = -28.91 - -0.91. Let c = w + 32.7. Is 1 less than or equal to c?
True
Let v be -580*((-75)/20)/15