ppose 5*q + 10517 = 10617. Let b(t) = 2*t**2 + t + 2. Let u be b(-3). Is q greater than u?
True
Let g be 1294/15*8/(-48)*-9. Suppose 2*v - 5*w = -v + 407, -3*v + 379 = 2*w. Let s = g - v. Which is bigger: s or 1?
1
Let v(j) = -4*j + 29. Let q be (1 - 0)*(13 - 6 - 0). Let t be v(q). Let n be (2 - (2 + 0))/1. Is t less than or equal to n?
False
Let m(x) = -x - 2. Let b be m(-2). Let z be -2 + 1 - (-5 - b/(-4)). Is 2 greater than z?
False
Let y be (6/(-9))/((-2)/6). Let k be (y + -1)*5/120. Let p(q) = -7*q - 22. Let x be p(-3). Do k and x have different values?
True
Let b = 1 + 0. Let a = 11168 + -189860/17. Is b smaller than a?
False
Suppose -7*m = -11*m + 20. Let o(v) = -2*v**2 + 6*v + 6. Let x be o(m). Let p be 46/(-36) - x/(-63). Is -1/2 bigger than p?
True
Let f be 2/(-1) - (3 + 11). Let q = 23 + f. Let g be (-2)/q - 1780/140. Which is bigger: g or -12?
-12
Let b = 0.042 + -0.022. Is b > 2/27?
False
Let r = 84.12 - 85. Let m = r + 0.58. Which is greater: m or 7?
7
Let p(d) be the first derivative of -d**2/2 - 1. Let j = 17 + -10. Let n be p(j). Is -9 smaller than n?
True
Let x(f) be the third derivative of -f**4/8 - 9*f**3/2 + 29*f**2. Let a be x(-11). Suppose -4*r = -27 + 7. Is a <= r?
False
Let c = -0.0816 - -28.0816. Which is bigger: 0.1 or c?
c
Let j = -310 + 252. Is -63 bigger than j?
False
Let b = 1.97 + -1.97. Let s = -517 + 21195/41. Which is smaller: b or s?
s
Let k = -58 + 58. Which is smaller: k or 2/1641?
k
Suppose -b + 3*s = -15, -12*s = -b - 10*s + 10. Which is greater: 1/159 or b?
1/159
Let h = -1000 + 1523. Which is bigger: 522 or h?
h
Let h be 18/6 + (-634)/210. Let p be (-2)/(-3)*-3 + 2. Which is greater: p or h?
p
Let m be ((-30)/9)/((-3)/72). Let l be 2896/m + (-1)/5. Which is smaller: l or 1/4?
1/4
Let r = 3 - 4. Let m(k) = 9*k**2 + k + 2. Let g be m(r). Which is bigger: 9 or g?
g
Let r = -0.94 - -43.94. Is -5 greater than or equal to r?
False
Suppose 6*u = -2*u + 8. Let q be (-46)/(-24) - 1/6. Let p = q - 13/12. Is p bigger than u?
False
Let p be 3 - -6 - (0 + 2 - 0). Suppose 4 - 25 = p*d. Which is smaller: d or -1/12?
d
Let w(q) = q**2 - 7*q - 14. Let y be w(9). Let k be (-1)/(-22)*3*1/y. Which is greater: 1 or k?
1
Let d(r) = 3*r**2 - 72*r + 70. Let w be d(23). Is w at most as big as -59.1?
False
Let v = 95 - 81. Let s(i) = -i**3 + 2*i**2 + i - 1. Let b be s(-2). Do v and b have the same value?
False
Suppose -7*d = -207 + 207. Suppose 2*y + 6 = 4*y. Suppose 3 + d = -y*r. Which is smaller: r or -3?
-3
Suppose 5*m + 47 + 7 = 3*h, 0 = 4*h - 12. Suppose 5*y - 2*t + 35 = 0, -5*y - 28*t + 25*t - 35 = 0. Is y != m?
True
Let d(c) = 4*c**2 + 5*c - 6. Let r be d(-6). Let q be (-224)/r + (0 - -2). Which is smaller: q or 0?
q
Let s = -17 - -22. Let n be (6/s)/((-3)/4). Which is greater: -1 or n?
-1
Let l(g) = -g**2 - 4*g + 5. Let h be l(-5). Let u(q) = -5 + h + 4 + q**2 - 6*q + 0. Let a be u(6). Is a greater than or equal to -1?
True
Let u be -5 + 3 + 394/(-48). Let n = u - -85/8. Are 0 and n non-equal?
True
Let z be (-70)/(-183) - (-80)/(-240). Which is greater: -1 or z?
z
Let i(s) = s**2 - 11. Let m be i(4). Let r be ((-590)/105 - -4)*(m + -2). Which is smaller: r or -6?
-6
Let o be 1 + 9/(-3) + -2. Let s(l) = l**3 + 5*l**2 + 2*l - 3. Let c be s(o). Let n = 2 - -3. Is n at least as big as c?
True
Suppose -59 = -u + 55. Let a = -6964/85 + -535/17. Let m = u + a. Are 0 and m unequal?
True
Let q be ((-923)/65 + 5)/((-2)/145). Which is smaller: 668 or q?
q
Suppose -3*q = 5*u - 7, -4*q - 2*u = -u + 19. Let n = -16 - q. Let z be (1 - 0 - 3)/(6/33). Is z at most as big as n?
True
Let d be (-872)/6854 + 96/1104. Is d > -1?
True
Let g be (1*50)/((-26)/13). Let i = -19 - g. Is 6 at least i?
True
Let h = 822 + -872. Is -41 greater than or equal to h?
True
Suppose 49*w - 12*w - 37 = -0*w. Let j be ((-2)/908)/(1/4). Which is smaller: w or j?
j
Let b = -311 + 423. Are b and 223/2 nonequal?
True
Let i = 89 - 70. Suppose i*p + 6 = 13*p. Which is greater: -28/15 or p?
p
Suppose -115*x - 224 = -107*x. Are x and -8 equal?
False
Suppose -3*c - 3 = -8*c + 4*z, z - 2 = 4*c. Let v = c - -4. Suppose -v*d = -k + 6, -k + 2*k = d + 4. Which is smaller: 13/3 or k?
k
Let t = -134 + 134. Let y(l) = l**2 + 5*l - 6. Let p be y(-6). Do p and t have the same value?
True
Let j(o) = o**3 - 13*o**2 - 16*o + 32. Let m be j(14). Suppose r + 5 = -4*p - 10, m*p - r + 9 = 0. Which is greater: 16 or p?
16
Suppose -4*w + 36*q - 41*q + 163 = 0, 2*w + 2*q - 82 = 0. Is w greater than or equal to 45?
False
Let x = -33.1 + 33. Suppose -m + 2*m = -22. Is x equal to m?
False
Let l be 42/140*5/6. Which is greater: -1/413 or l?
l
Suppose -3*k - r = -4, -2*k + r + 4 + 2 = 0. Suppose k*h + 17 = 23. Which is greater: 0.07 or h?
h
Let s(w) = w + 6. Let n be s(-7). Let i be (-8)/8*(-1 - n). Suppose 2*t - 3 + 1 = i. Is t bigger than -5?
True
Let f be (-5 - (-737)/143) + (-30)/26. Let l = 2227/10 + -223. Is l < f?
False
Let y = 27 - 23. Suppose y*t - 104 = 88. Let b be t/60*(-1)/(-4). Which is smaller: b or 1?
b
Let g(n) = -368*n + 34. Let s be g(-2). Is 771 < s?
False
Let h be (-91)/(-882) - 5/((-180)/(-8)). Suppose 0 = -x + 4*x - 3. Is x > h?
True
Suppose 0 = -b - b. Suppose -4*s - 1205 = 811. Let c be (-2)/(-17) + s/1683. Which is greater: b or c?
b
Let t be (-1020)/16 - (0 - (-2)/8). Let n = -76 - t. Is -6 bigger than n?
True
Let p = -20 - -31. Let i = p + -12.2. Let v = i - -0.2. Which is greater: 9 or v?
9
Let y = -9.99 - -10. Let l = -631/5 + 24524/195. Let m = -3/13 + l. Is y greater than m?
True
Let n be -3 - -2 - (-130)/110. Suppose -3 = 3*z - 2*w, 0 = -0*w - 2*w + 6. Is n >= z?
False
Let b(t) = 31*t + 223. Let y be b(-6). Are y and 34 non-equal?
True
Suppose -5*o = -2*m - 10, 3*o - 10 = -2*o + 5*m. Let s be (3 - 9)*(-3 - -2). Let q be 12/75*15/s. Are q and o unequal?
True
Let v = 0.78 - 12.78. Which is smaller: v or -10?
v
Let w = 10 - 18. Let x = 117.036 + -0.036. Let o = -118 + x. Which is smaller: w or o?
w
Suppose 10 + 5 = 3*i. Suppose -5*a + 0*a - 15 = i*v, -a = 2*v + 2. Let n be ((-2)/a)/((-7)/(-126)). Is n bigger than -2?
True
Let q = 807 - 806. Which is smaller: q or 79?
q
Let u = -2906 + 3036. Is 126 greater than u?
False
Let l = -5.82 + -20.38. Is l at most 1/4?
True
Let o be (-14328)/33 + 2/11. Which is greater: -433 or o?
-433
Let s = 40 - 40. Let q = s - -0.1. Which is smaller: q or -2/9?
-2/9
Let a = 15264 + -45790/3. Let y be 3/((-2)/((-40)/6)). Suppose 0*u + y = -5*u. Is a at most as big as u?
False
Let d(s) = -s**3 - 4*s**2 + 2*s + 4. Let w be d(-4). Suppose 2*a + i - 75 = -3*a, 2*a - 30 = 4*i. Let m = a - 19. Do m and w have different values?
False
Let b(l) be the first derivative of -3*l**2/2 + 3*l + 4. Let f be b(-8). Which is smaller: 28 or f?
f
Let y be 256/12*(-30)/(-20). Which is greater: 13 or y?
y
Let u(o) = -5*o**3 - o**2 + 4*o - 2. Let n be u(1). Let d be (10/n)/((-11)/(-22)). Which is smaller: -4 or d?
d
Let s = -56.84 - -55.6. Do 2 and s have the same value?
False
Let i(f) = f - 5. Let o be i(8). Let x = 67 + -61. Which is greater: x or o?
x
Let u = -36.36 + 31.3. Let r = 0.06 + u. Let g = r - -4.9. Is 1/3 greater than g?
True
Let r(m) be the third derivative of m**5/60 - 7*m**4/12 + 7*m**3/3 + 10*m**2. Let w be r(13). Which is smaller: -2/103 or w?
-2/103
Let c(d) be the third derivative of d**6/120 + 3*d**5/20 + d**4/24 + 11*d**3/6 + 8*d**2. Let u be c(-9). Let h(z) = z - 3. Let y be h(u). Is 1 less than y?
False
Let q = 135 + -135. Which is greater: q or -11?
q
Let b(c) = c**3 - c**2 - 2*c + 7. Let n be b(0). Suppose -5*z - 14 = -3*v, -3*z - 24 = -n*v + 4*v. Is 12 less than or equal to v?
True
Let a be (258/215)/(6/(-20)). Which is bigger: a or -49/10?
a
Let g = 8.03 - 8.13. Which is greater: g or 31/5?
31/5
Suppose 7 - 565 = 18*w. Is -34 at least w?
False
Let w(j) = -2*j**3 + 25*j**2 - 2*j + 46. Let h(o) = o**3 - 12*o**2 + o - 23. Let z(a) = 11*h(a) + 6*w(a). Let t be z(18). Is t smaller than 27/5?
True
Suppose -v - 44 = -2*a - 3*a, a - 4 = 0. Let m = v + 97/4. Is m <= 1?
True
Let k = -286.9 + 320. Let b = -33 + k. Which is smaller: b or 0?
0
Let g = 19 - 17. Let z be 0/(g/4 + 25/10). Is z at least 6/37?
False
Let z be 7/9*(-36280)/(-140). Let s = z + -202. Is -2 >= s?
False
Let v = -0.038 + -0.062. Let r = 18.2 - 20. Let m = r - -2. Whi