w(a). Is p bigger than -11?
True
Let n = -156.826 - 0.174. Are n and -0.2 equal?
False
Let v be (-91)/(-65)*8/28. Is v less than -3?
False
Let q(d) be the second derivative of d**5/20 + 2*d**3/3 - 3*d**2/2 + 17*d. Let t be q(2). Which is smaller: -2/5 or t?
-2/5
Let g(v) = v**2 + 8*v - 11. Let f be g(-8). Let i be f + (-4)/(-2) + -4. Is -14 > i?
False
Suppose 2*w - 16*b + 40 = -14*b, 4*w - b + 83 = 0. Suppose 0 = f + 4*r + 10, 0 = 2*f - 5*r + 99 - 40. Is f equal to w?
False
Suppose 6*h + 8 = 4*h. Let k = 13/3 + h. Let p be (-40)/(-12)*5/20. Which is bigger: k or p?
p
Suppose 2*h - 19 = q, -3*q = -4*h + 84 - 23. Let s = -21 - q. Are 5/7 and s equal?
False
Let w(a) be the second derivative of a**5/20 + 7*a**4/12 - a**3/2 - 11*a**2 - 44*a. Let k be w(-7). Are k and -3 nonequal?
True
Suppose 0 = -2*c - 6, 5*c - 28 + 99 = -4*u. Suppose 2*g - 8 = -14. Which is smaller: g or u?
u
Suppose -104*c = -99*c - 5. Suppose 0 = 4*f - 27 - 9. Let p be (2/(-35))/(f/30). Is c greater than p?
True
Suppose 647 = -36*r + 1763. Does 31 = r?
True
Let u be 355*(-4 + 124/30). Let o = 48 - u. Is -0.1 <= o?
True
Let b = 0.84 + -0.14. Let k = b + -0.73. Let v = k - -0.13. Is 4 <= v?
False
Let j = 0.161 - 0.661. Is 12 >= j?
True
Suppose f = -0*f + 16. Let a = -859 + 874. Do f and a have different values?
True
Let g = 0.428 - 34.428. Are -7 and g equal?
False
Suppose -4*b + 2 = -2*k - 10, 5*k + 16 = -4*b. Let g(t) = 13*t - 14. Let d be g(-10). Let n be ((-64)/d)/(2/(-21)). Which is smaller: n or k?
n
Let l be -7 + 2 - (-16 + 14). Suppose -2*x - 13 = i, -2*i - 27 = 2*i + 3*x. Is l less than i?
False
Let b be (-4 - -1) + (-1)/((-6)/(-1018)). Which is bigger: b or -172?
-172
Suppose 0 = 4*x - 3*x + 2*f, -4*x + 3*f + 55 = 0. Let u = 11 - x. Let i = 5 + -2. Which is smaller: i or u?
u
Suppose 0 = 3*i + 12*q - 10*q - 149, -4*i + 197 = q. Which is bigger: i or 47?
i
Let n = -48616/2233 + 631/29. Let c = -3 + 2. Is n greater than c?
True
Let q be 6 + 0 + (33 + -17 - 2). Is q <= 2/11?
False
Suppose -17 = -10*f - 7*f. Let d be (-1)/(-4) + ((-18)/(-24))/f. Is -10/41 at most as big as d?
True
Suppose 8*q + 25 = -15. Which is greater: -44/7 or q?
q
Let f = 23421/49 - 478. Suppose d + 2*b + 3*b = 156, d - 2*b = 135. Let c = -141 + d. Which is bigger: f or c?
c
Let f be 9/(-5) + 8*6/60. Which is smaller: 14/45 or f?
f
Let t = -11.31 - 0.09. Let d = -1.4 - t. Let o = -15 + d. Which is greater: o or 1?
1
Let j(n) = -2*n**2 - 2*n + 2. Let i be j(-2). Let a(m) = m**2 + 15*m + 19. Let r be a(-14). Let g be ((-19)/r - i) + 2. Is -1 at least as big as g?
False
Suppose 167*r = 163*r + 340. Let q = 115 - r. Is 31 at most as big as q?
False
Let f = -62 + 32. Let i be (-3)/23*(-20)/f. Let k be (0/(-2))/((-16)/8). Which is bigger: i or k?
k
Let d(w) = 3*w + 52. Let h be d(-16). Let a be (h/(-3))/((-70)/15). Which is bigger: a or -1/6?
a
Suppose -5*t = y - 95, 5*t - 47 - 38 = -3*y. Which is smaller: 17 or t?
17
Suppose 11 = -r - y, 4*y + 223 = r + 244. Suppose 0 = -3*a - 4*x + 2*x - 33, -3*x - 17 = 2*a. Is a less than r?
False
Let h be 280/30*(-6)/8. Is h > -154/19?
True
Let r be 18/315 - (-5316)/70. Which is smaller: 71 or r?
71
Let n(t) = 3*t**3 - 102*t**2 - 1. Let h be n(34). Is 1/5 equal to h?
False
Suppose 4*a + 51 = -2*l + 1, -5*l + 4*a - 181 = 0. Let g be 3 + 1*93/l. Which is smaller: 0 or g?
0
Let b be 21/2 - (-2)/4. Let x(a) = 15*a + 205. Let v be x(-13). Suppose -v*g - 5 = -b*g. Is 6 less than or equal to g?
False
Suppose -3*n + 19 + 2 = 4*t, -5*t = -15. Suppose -n*f - 13 = 5. Let r(v) = v**3 + 7*v**2 + 6*v - 4. Let l be r(f). Is l bigger than -4?
False
Let j = -3/149 + -289/447. Is j not equal to 82?
True
Suppose 0 = -4*t, -2*v + 3*t - 145 = -7*v. Suppose d - 40 + v = 0. Is 9 >= d?
False
Let w = 121 + -124. Let g = w + 2. Let y be 4/6 - 10/24. Is y greater than g?
True
Let h be (2 - (2 + -2)) + -12. Let z = -14 - h. Let p(x) = -2*x - 19. Let m be p(-7). Is m not equal to z?
True
Let b = 179023/7 + -25489. Let u = 86 - b. Let y = -11 - -78/7. Do y and u have the same value?
False
Let h be 2/1 - 66/(-9). Let a = -10 + h. Which is smaller: 0 or a?
a
Suppose 8*u - 116 = -596. Let v be (18/u*-5)/((-3)/16). Which is smaller: 1 or v?
v
Suppose -2*m + 7 = r - 3, 0 = 5*m - 3*r - 14. Let p be (-4)/m*316/100 - -3. Is p less than 0?
True
Let h be 3/2*(-15 - 7/1). Is h <= -11?
True
Let s = 109 + -34. Let g be (-2)/(-5) + (-480)/s. Let v = -13/2 - g. Which is smaller: 0 or v?
v
Let q = -179 - -155.8. Let h = -23 - q. Which is smaller: 2/9 or h?
h
Let r be -2 + 1 + (-621)/(-570). Let p = -3/190 - r. Is 1 >= p?
True
Suppose -4*z - 1866 = -1882. Which is smaller: 18/11 or z?
18/11
Suppose 899 = 9*m + 224. Which is bigger: m or 76?
76
Let m = -44/17 - -478/119. Which is greater: 2 or m?
2
Let k = 6.5805 + 0.1195. Which is bigger: k or -1/4?
k
Let w be (-172)/(-301)*((-1)/(-2) + -1). Is 20 <= w?
False
Let f = 861 + -1642. Which is bigger: f or -782?
f
Let h be (-69)/6 + ((-6)/10)/(64/160). Let s be 6/((-3)/(-12)*-2). Is s at least h?
True
Let f = -400 - -403. Let p = 2 + -1. Suppose -b = 3*m - 12, -b - p - 2 = -2*m. Are b and f nonequal?
False
Let p = -3.2 + 3. Let z be 18/(-24) + 75/4. Let w = z - 19. Is p > w?
True
Let k = 33 + -32.89. Let o = k - 0.51. Which is smaller: o or -1?
-1
Let y be (-64)/21*396/264. Let p(w) = -2*w + 4. Let t be p(5). Is y >= t?
True
Let d(v) = v**2 + 8*v + 15. Let p be d(-6). Let r(i) = -i + 5. Let j be r(p). Which is smaller: -2 or j?
-2
Let u = 1062 - 1019. Is u < 53?
True
Suppose 0 = 12*s + 845 - 833. Which is smaller: s or 8/165?
s
Let k = -378 - -942. Let v = -9585/17 + k. Is v at least as big as 1?
False
Suppose 0*x = x - 2*k - 11, -4*x - k = -8. Suppose -5*c - x*t - 80 = 0, -t + 10 = -2*c - 11. Which is bigger: -11 or c?
-11
Let t be 5/(45/286) - 2/(-9). Let k = t + 22. Is 54 smaller than k?
False
Suppose -3*b = -f - 26, -5*b - 5*f = -13 - 17. Let q be 222/b + 10/40. Let h be (-21)/q - (-14)/(-24). Is 0 < h?
False
Let x be -135*(-18)/105*(-56)/(-5). Suppose 2*p + 1300 = -3*p. Let c = p + x. Is 0 < c?
False
Let w be (-1 + -11)/(9/6). Suppose -4*b + 1 = -7. Suppose -14 = b*o - 0. Is o > w?
True
Let k(u) = u**3 + 10*u**2 + 2*u + 2. Let g be k(-10). Let y = -60 - -41. Which is bigger: y or g?
g
Let t be 11 + (6/(-10))/((-21)/105). Is t <= 16?
True
Let z(g) = -14*g - 91. Let m be z(-7). Suppose 79 - 669 = o. Let c be o/(-100) - 6/(-10). Is c smaller than m?
True
Let b = -13.5 - -14.436. Let c = b + 0.064. Is c bigger than 13?
False
Suppose 366 + 18 = 4*a. Suppose -4*i + a = -0*i. Suppose -2*z = 2*z + i. Which is greater: z or -5?
-5
Suppose -5*v = -2*z - 8, -z - 1 - 5 = -3*v. Suppose 8*y + 4 = z*y. Which is greater: y or -14/9?
-14/9
Let v = -96 - 21. Is -119 <= v?
True
Let t be (18/7)/((-2550)/(-210)). Which is smaller: t or 1?
t
Let g(s) = -2*s + 8. Let f be g(4). Suppose f = 4*l + 3*l - 14. Which is smaller: 1 or l?
1
Let a = -61 - 52. Is a >= -113?
True
Let r be (-4)/1 - (8/4 - 428). Which is greater: 423 or r?
423
Let r(w) = 2*w**2 - 2*w - 1. Let m be r(-1). Suppose 5*y = m*v - 4, -2 = 2*y + 2. Suppose k = 5*k + 8. Is v greater than k?
False
Let c(y) = -y - 5. Let b be c(-4). Let j = 8 + b. Suppose n + j = -h + 6*h, 5*h = -5*n + 25. Which is bigger: n or 1?
n
Let w be 14/2 + (2 - -7). Is 11 equal to w?
False
Let c = 18 - 16. Suppose -k = n - c - 0, -3*k + 6 = -3*n. Let j be k*(-4 - 11/(-2)). Do 15/4 and j have different values?
True
Let n = -266 - -821/3. Suppose 24*h + 10*h - 10*h - 216 = 0. Is h < n?
False
Suppose 5*b - 3*h = 884, 4*b - 4*h - 709 = -h. Are -1 and b equal?
False
Let r = 2.24 + -2.44. Which is smaller: r or 2/41?
r
Let b(h) = -h**2 - 13*h - 8. Let d be b(-12). Suppose -13 = d*f - 5. Which is bigger: 1 or f?
1
Let j = 1314544 - 331265635/252. Let v = j + 39/28. Which is bigger: v or 0?
0
Let a = -3 + 4. Suppose -t - 3 = -4, -i + a = t. Suppose 20 = -2*u - u - 4*r, -5*u + 5*r - 10 = i. Does 0.1 = u?
False
Let s(c) be the second derivative of c**3/6 + 19*c**2/2 + 6*c. Let k be s(-6). Is -0.1 > k?
False
Suppose -3*x - l = 122, -4*l = x - 1 + 38. Let u = x + 21. Is -20 at least u?
True
Let o = -846 - -847. Which is greater: o or 11/150?
o
Let y = 13 - 7. Let k(f) = -3*f + 9. Let s be k(y). Let o = s - -16. Which is smaller: 8 or o?
o
Suppose -12 = 5*d - 4*