0)). Is -1 greater than q?
True
Let c(a) be the first derivative of -a**3 + 3*a**2/2 - 3*a + 1. Let z be c(2). Let t = 180 - 719/4. Are z and t nonequal?
True
Let l(g) = 14*g + 103. Let z be l(-10). Is -40 smaller than z?
True
Let s(b) = -15*b - 20. Let i be s(5). Let l = 101 + i. Which is bigger: 1 or l?
l
Suppose -45 = -4*k + 111. Let c be k + 4 - (2/2 - 2). Is 45 smaller than c?
False
Let w = 146 + -145.2. Which is smaller: w or -4/9?
-4/9
Let a = 6 - 55. Let f be (-48)/217 + (-14)/a. Let q = 1 - 0. Which is smaller: q or f?
f
Let b(w) = -w**2 - 12*w - 14. Let u = 19 + -19. Let r(g) = -2*g - 10. Let k be r(u). Let n be b(k). Is 6 bigger than n?
False
Let p = 0 - 0. Let y = 12531/85 + -592/17. Let d = -112 + y. Is d bigger than p?
True
Suppose -4*h + 4 + 25 = 5*t, -t = 3*h - 8. Let y be (2 + h)/(3/4). Suppose -8*b + 3*b - 32 = y*r, 48 = -5*b + 4*r. Is 0 greater than b?
True
Let p = -235.88 - -241. Let w = 0.12 - p. Let o = w - -5. Which is bigger: 5 or o?
5
Let o = -6.35 + 7.35. Do o and 502 have the same value?
False
Let i = -636 - -603. Which is smaller: i or 8?
i
Let d be (3 + 225)/((-9)/((-54)/(-4))). Is d at least -343?
True
Let m = -4.2 - -4.3. Is 33 greater than m?
True
Suppose -8 = -4*s - 0*s. Let p = -2312938/95 + 24347. Let n = p + 6/19. Which is greater: n or s?
s
Let c(o) = -3*o - 6. Let a be 3/(-21) + 40/(-14). Let x be c(a). Suppose 4*y = x + 1. Does y = 1?
True
Let t = 54 + -54. Suppose -5*y - 29 = -4*i + 2*i, 2*y + 5*i + 29 = t. Is y != -6?
True
Let q be (0 - (-1)/54)/(2/(-8)). Let d = -30 - -29. Which is smaller: d or q?
d
Let x = -193.8 + 163.8. Is 4 less than x?
False
Let z = 117.88 + -118. Let k be 55/33*(-4)/10. Is z bigger than k?
True
Suppose 33*y + 45 = 32*y. Let p be 3 - ((-2 - y) + -1). Which is greater: p or -0.1?
-0.1
Suppose -4*k - 38 = -3*b, 2*b - 32 = -0*k + 4*k. Let f be 2/b*(14 - 12). Which is greater: 2 or f?
2
Let a = 1.023 - 0.543. Is -2/5 at least a?
False
Let a = -97.6 + 98. Is a less than or equal to 1/26?
False
Let p = 5 + -4.8. Let r = -25 - -25.44. Let v = -0.04 + r. Is v greater than p?
True
Suppose 0 = -4*r - 2*d + 6, 0 = -11*r + 8*r - d + 2. Is r less than 2/375?
True
Suppose -3*j + 49*o + 38 = 53*o, -12 = -j - o. Which is bigger: -5 or j?
j
Let j be (-2)/(-1) + -1 + -1. Suppose j = 5*m - m + 40. Which is smaller: m or -14?
-14
Suppose -166 = z - 4*w, -10 + 573 = -3*z - w. Let j = z - -97. Let t = j - -1957/22. Which is bigger: 0 or t?
0
Let k = -683/25004 - 4/329. Which is greater: -1 or k?
k
Let o be 2/6 - (-42)/9. Let s = 38 - 35. Suppose o*k + 0*k = 4*w, -3*k + s*w = 0. Do k and 1/5 have the same value?
False
Let z(k) = -k**3 + 12*k**2 - 12*k + 10. Let c be z(11). Let g = c - -8. Suppose -3 = -2*o - g. Which is smaller: -1 or o?
o
Let z = 91 - 91. Let p = 8 - 7. Let s be p/(-9)*(8 + -6). Are s and z equal?
False
Let n be (-5)/(-25)*-1 - (-32)/310. Which is bigger: n or 1?
1
Let d = -1247/2 + 590. Is d at least as big as -35?
True
Let r be (-2)/(-8)*(-4)/(-19). Let c = -2.15 - -2. Let n = c + -0.05. Is n smaller than r?
True
Let a = -2.84 - -4.84. Which is bigger: a or 7/3?
7/3
Suppose -6 = m - 3*m + g, 2*m - 4 = 2*g. Suppose -5*b = -m*w - 58, 0 = 2*w + 2 + 2. Which is smaller: b or 0?
0
Suppose -n - 5*t + 7 = 0, -9*t - 2 = -7*t. Is 64/5 equal to n?
False
Let z = 15.746 - 0.146. Which is bigger: 1 or z?
z
Let i(f) = -2*f + 7. Let w be (0 - -4)*(-7)/(-4). Let c be i(w). Which is smaller: -13/2 or c?
c
Suppose 4*r = 8*r - 4. Let s be 6*(r - (-44)/(-43)). Is 0 bigger than s?
True
Let h = 1186829071/283080 + -440336/105. Let g = -2/337 + h. Which is smaller: 1/6 or g?
g
Suppose 50*u = 32*u + 540. Is 30 smaller than u?
False
Let g be (24 - 19) + 0 + 1/1. Suppose 1 = -5*h + g. Which is bigger: h or -5?
h
Let a be (-3038)/(-189) - 2/27. Which is smaller: a or 23?
a
Let y(l) = 3*l - 8. Let v be y(6). Let p = v - 8. Let i = 11/5 - 8/5. Is i smaller than p?
True
Let g = 85.2 - 85.172. Which is smaller: -4 or g?
-4
Let n(d) = -d**3 - 2*d**2 - 2*d - 1. Let o be n(-1). Suppose o = -b - 10 + 43. Which is bigger: 32 or b?
b
Let k = -16.63 - -17.4. Let o = k + -16.77. Is -0.1 at most o?
False
Let j = -20981/8652 - -6/721. Are j and 1/2 non-equal?
True
Suppose 142 = 3*o + 5*c, 5*o + c - 159 = 63. Is 37 less than o?
True
Suppose 0 = -5*p + p. Suppose -3*i - 3*z - 108 = 0, 2*i - 4*z = i - 31. Let b be i/(-21)*2/(-4). Is p smaller than b?
False
Suppose q - 6*q - 65 = 0. Let t = q + 11. Let k be (11/t)/((-2)/4). Which is smaller: 10 or k?
10
Let d(m) = -m**3 + 4*m**2 + 3*m - 4. Let u be d(4). Let n = u + 6. Is n smaller than 14?
False
Suppose -4*b - 14 = 3*t, -11*b + t - 8 = -6*b. Let j be ((-22)/12)/(2/3). Which is smaller: j or b?
j
Let m be 652/3976 + 1/(-7). Is m equal to 1?
False
Let t = 43 - 42.5. Let n = t + -1. Does n = -0.04?
False
Let n = -8.1183 - -0.1183. Let z = -3.1 - -3. Is z < n?
False
Let s be 34/(-20) + 28/7 + 105/(-30). Let a be (-122)/14 + (-6)/21. Is s at most a?
False
Let m be 0 + -2 - (-40 - -6). Suppose 33*n = m*n - 4. Which is smaller: -1 or n?
n
Let v(t) = -14*t**2 - t**3 + 12*t**2 - 4*t + 6 + 8*t**2. Let w be v(6). Is w less than or equal to -84/5?
True
Let d be (4/(-4))/(3/(-6)) + -3. Which is smaller: 17/45 or d?
d
Let g = -31 - -84. Let b = g + -52.9. Is b at most -4?
False
Let k(x) = -13*x**3 + x**2 + 2*x. Suppose 2*t = -t - 2*j - 11, 2*t - 10 = 3*j. Let o be k(t). Which is bigger: 11 or o?
o
Suppose 0*b + 3*b + 205 = -4*w, 3*b + 5*w + 200 = 0. Let d be (-2)/(-12)*(-20)/b. Let m = d + 37/180. Is 2 != m?
True
Let h be (-285)/684*2/65. Which is smaller: h or 1?
h
Let x = 430.9 + -431. Which is smaller: -19 or x?
-19
Let n = 278 + -254. Is 1/7 greater than n?
False
Let d be 556/(-2) + -24 + 14. Which is smaller: -284 or d?
d
Let p = 34.46 + -5.46. Which is smaller: p or -4/15?
-4/15
Let y = -14 + 13. Let p be 5/(-4) - y/4. Let f be 6 + (6/p)/(-2). Is 10 <= f?
False
Let c be (2 - (-28)/(-12))*-6. Suppose -5*h = 4*d + 38, h + 0*h = -c*d - 16. Let r be d/(-35) + (-34)/270. Is -1 at most as big as r?
True
Let c(k) = -7*k**2 - 3 + 41 - 4*k**2 - 15*k + 2*k**3 - k**3. Let j be c(12). Let n = -1 - 2. Is j bigger than n?
True
Suppose 2*s - d - 158 = -47, 4*d = -3*s + 172. Suppose 0 = 58*o - 63*o + 25. Let z be (s/(-12))/(o/3). Which is smaller: z or -3?
-3
Suppose -i = i. Suppose 0 = -i*p - 4*p + 12. Let w(z) = 3*z - 4. Let l be w(2). Is p bigger than l?
True
Let b = -2.85 - -0.05. Let h = -2.8 - b. Is h greater than 4?
False
Let d(t) = t**3 + 7*t**2 - 7*t + 10. Let m be d(-8). Let k(r) = 0*r - 8 - 9*r + r**2 - 7 - m*r**2. Let g be k(-6). Which is greater: 3/2 or g?
g
Suppose y = 2*l - 4, -5*y - 2*l - 2 = -3*l. Suppose -46*a - 44 = -57*a. Is y greater than or equal to a?
False
Suppose -p - 2*f = -3*f - 31, -5*p - f = -173. Suppose 33 - p = -t. Let h = -242/945 + -4/135. Are h and t equal?
False
Suppose -27*j - 304 + 7 = 0. Which is greater: j or -22?
j
Let i = -4.5 - -7.6. Let f = i - 2.1. Which is smaller: 6/5 or f?
f
Let c be (-8)/12*(-24)/(-1048). Which is bigger: -1 or c?
c
Let g(q) = q**2 - 8*q + 9 + 0*q**2 - 1. Let j be g(7). Let c = -10/53 + 73/106. Which is bigger: j or c?
j
Let w be (-5*(-6)/15)/2. Suppose -12 = q - w. Let i(d) = -d**3 - 11*d**2 - 2. Let b be i(q). Is -2 not equal to b?
False
Let p(j) = -3*j + 2*j - 9 - 6. Let c be p(-15). Which is smaller: 2 or c?
c
Suppose y - 3 - 2 = 0. Let z = -5 + y. Suppose 0 = -z*p - p. Is -4/9 > p?
False
Let i be (-3)/(-6)*(-10)/(-30). Let t(d) = -d**2 - d. Let u(n) = 4*n**2 + 10*n - 9. Let c(b) = -3*t(b) - u(b). Let f be c(-8). Which is greater: f or i?
f
Let d = 152404/111 + -1373. Is 0 >= d?
False
Let v be (-1 - -1)/((-3)/(-3)). Is v at most as big as 3/436?
True
Let f(s) = s**3 + 2*s**2 - s + 3. Let v(x) = -3*x**2 + 17*x + 6. Let g be v(6). Let u be f(g). Which is greater: 2 or u?
u
Suppose -460 = -35*b - 495. Let p = -16 + 28. Suppose -3 = -3*v + 3*f - 8*f, -4*f = -p. Is v smaller than b?
True
Let z = -130 - -91. Let d = z + 41. Let k = -10 - -4. Are k and d nonequal?
True
Let f = 1044/7 - 149. Is 0 smaller than f?
True
Let a(j) = j**2 + 6*j - 16. Let x be a(6). Do 58 and x have different values?
True
Let k be 1*2 + (-2)/(-11). Let q(h) = -h - 13 + 22 - 2*h. Let n be q(2). Which is greater: k or n?
n
Let r(o) = -o - 4. Let u be r(-13). 