uppose -3*g + 15 - 39 = 0. Let t be 234*(68/g - -8). Is t >= -116?
False
Let q = -694.7 - -697.577. Let r = -0.123 - q. Let u = -0.1 - -0.3. Is u != r?
True
Let n(g) = -70*g + 559. Let c be n(8). Let x = -23589/31 - -761. Do c and x have different values?
True
Suppose 5*k + 774 = -2136. Let s be -4 - (1 + 2906/k). Let y(z) = -z**2 - 4*z + 1. Let w be y(-4). Which is smaller: s or w?
s
Let z(p) = p**3 - 7*p**2 + 5*p + 2. Let f be z(6). Let n(c) = 3*c**2 - 25*c - 36. Let b be n(12). Suppose x + b = -23*x. Do x and f have the same value?
True
Suppose -4*b + 16 = -4. Suppose -4*h = -5*j + 4, j + 6*h - h + b = 0. Which is smaller: 1/231 or j?
j
Let n be (5 - (-2156)/(-452))*55/(-22). Is n greater than -2?
True
Let v be 4/(-54)*(-18)/30. Let m = 14 + 2. Suppose -5*b + m - 16 = 0. Is v greater than b?
True
Let z be 15 + ((-12)/8 + 0 - (-18)/12). Is z bigger than 33?
False
Suppose 4*q - 1900 = 4*j, j + 369 = -q - 110. Is j > -474?
False
Let i = -848 + 941.1. Let m = i - 93. Let c = 48 - 29. Is m greater than c?
False
Let t = -0.93 - -0.07. Let f = -0.76 - t. Is -81 less than or equal to f?
True
Suppose 568*j + 402 = 566*j. Is -799/4 less than j?
False
Let t = 14.85 + -14.95. Let q(d) = d**3 + 8*d**2 - 9*d - 9. Let h be q(-7). Is t != h?
True
Let f = 137 + -136.8. Let i(c) = -c**3 + 10*c**2 - c - 42. Let o be i(9). Let q be o/45 + (124/(-42) - -2). Which is smaller: f or q?
q
Let s = 5257 - 5258. Which is smaller: s or 8/861?
s
Suppose -37*m + 36 = -630. Is m smaller than -15/4?
False
Suppose -5616 + 1391 = -13*q. Let t = q + -436. Is t greater than -112?
True
Suppose 4*r - 70 = -4*d + 26, -5*r = -3*d + 32. Let k = 642.94 + 1.06. Let n = k + -644.1. Which is greater: d or n?
d
Suppose 499*x + 6704 = 515*x. Which is smaller: x or 418?
418
Suppose 5*v + 38 = 138. Let q be (30/v)/((-87)/(-6)). Is 1 equal to q?
False
Let y be (-6 + 160/24)/(2/27). Let w be 10/(-45) + y/((-12717)/(-296)). Which is smaller: -1 or w?
-1
Let g be 4 + ((-4)/(-6))/(-2). Let q = g + -25/6. Which is greater: 49 or q?
49
Let i(g) be the second derivative of -g**4/12 - g**3/2 + 27*g**2/2 + g - 25. Let q be i(4). Is q equal to 7/17?
False
Let k = 17 - -2. Suppose 0 = -15*f + k*f - 292. Suppose 5*g + 1 = o, 0 = o + 2*o + 4*g + f. Which is greater: -20 or o?
o
Let y be 526/90 - 0 - (-224)/140. Which is greater: y or 7?
y
Let z = 281 - 280.962. Is 1/19 < z?
False
Let k be (-4)/(-5)*(2 + (-172)/96). Is k at most -149?
False
Suppose 6 = 4*k + 3*w, 3*k = -3*w + 3 + 3. Let v be ((-2)/(-7) - k) + 48/(-168). Is -36/67 bigger than v?
False
Let i be 3/3 - -519 - (-14 - (-3 - 6)). Which is greater: -5 or i?
i
Let p be 4 - (-3 + (-1068)/(-156)) - (-2986)/195. Is p != 2?
True
Let n(u) be the third derivative of -u**4/12 - 10*u**3/3 + 42*u**2. Let w be n(-10). Is w > -1/69?
True
Let g(p) = 40*p + 2. Let u be g(-1). Let o = u + -5. Let c = o + 45. Is 9/7 equal to c?
False
Suppose 2*a - 52 = -7*i + 11*i, 5*a - 85 = -5*i. Let k be 2/36*a/30*6. Is 8 >= k?
True
Let z = 0.1177 - 22711.1177. Which is smaller: z or 1/2?
z
Let t = 1173 + -1183. Let d(y) = y + 27. Let q be d(0). Suppose 2*k + q = -k. Which is smaller: k or t?
t
Let v be -8*(125/(-10) - 0). Let d be 3 - (2 - 10585/v). Let c = d - 107. Is 1 bigger than c?
True
Suppose -10 = 9*h - 14*h. Suppose -h*s + 0 = -18. Let l be (27/s)/((-111)/2). Is l less than 1?
True
Let h = -15221 + 593621/39. Is h greater than -76?
True
Suppose -6*j + 3*j - 870 = -5*b, 5*b - 5*j = 860. Suppose -4*m - 151 - b = -4*p, -3*p - 4*m = -225. Which is smaller: 80 or p?
p
Let d(z) = -z**2 + 1. Let y be d(1). Let p be (y - 2) + 3 - 3. Let o = p - 5. Do -6 and o have different values?
True
Let h(q) = q**3 - 2*q + 5. Let a be h(0). Let w be 67/(-13) + a - (-890)/208. Which is smaller: 4 or w?
4
Let v = -3 + -5. Let c = -3704 + 3707. Is c not equal to v?
True
Let k = -3326 - -3149. Do -177 and k have the same value?
True
Let u = -850 - -3433/4. Let s = 40 - 31. Which is smaller: u or s?
u
Suppose -305 = -5*y + 1480. Let l = -11782/33 + y. Let c(h) = -3*h + 48. Let s be c(16). Which is smaller: l or s?
l
Let m(t) = t**3 - 13*t**2 + 13*t - 12. Suppose 34 = 4*q - 6*q. Let r = -5 - q. Let y be m(r). Is 8/9 equal to y?
False
Let p = 40374865752389451076795/42402097195505687367 - 14/80963450238593. Let z = -13/74817 - p. Let y = -952 - z. Which is greater: y or 0?
y
Let a be (72/60)/3 + 60958/(-70). Let d = a - -874. Which is smaller: 3 or d?
3
Let u be (-159)/(-1)*(-2)/6. Let b = -49 - u. Let w be (b/64)/((-9)/(-2)). Is 0 bigger than w?
False
Let t be (-524)/2*(-258)/(-276). Let s = 245 + t. Suppose 58 = 37*x + 21. Which is greater: x or s?
x
Let w = -3 + -1. Let g = -157 + 159. Suppose -g*k = -l - 0*l - 19, 0 = k - 4. Is l at most as big as w?
True
Suppose 2*v - 7 + 1 = 0. Let b = 3 - v. Suppose b = -6*u + 2*u - 20. Which is smaller: -4 or u?
u
Suppose b + 4*r = -40, b - 2*r = r - 5. Let z(n) = -n + 7 + 9 + 11 - 33. Let w be z(16). Is w != b?
True
Suppose -1344 = 21*o + 1134. Let l = 156 + o. Which is greater: 37 or l?
l
Let o = -140 + 142. Let f be (-1)/(-3)*(-1 + 1). Suppose o*c - 8*c + 54 = f. Is c smaller than 0.1?
False
Let o = 21 - 76. Let c be (-1284)/(-60)*(-95)/38. Which is smaller: c or o?
o
Suppose 0 = -3*u + 5*o - 1, -4*u + 8 = -6*o + 4*o. Suppose 0 = -5*p - u*j - 71 - 1, p + 17 = 2*j. Which is bigger: -16 or p?
p
Let q(w) = -w - 115. Let g be q(13). Let b(n) = -76*n + 25. Let u be b(2). Which is smaller: g or u?
g
Suppose 4348*v + 1 = 4347*v. Are v and -6/5573 non-equal?
True
Let j = -0.25 - 0.31. Let g = 1694 + -1693.8. Which is smaller: j or g?
j
Let o = -6.86 - -8.782. Let x = 0.922 - o. Which is bigger: 15 or x?
15
Let p = 3524 + -3657. Which is smaller: p or -11/5?
p
Let k(l) = -l + 1. Let m = -48 - -42. Let a be k(m). Suppose a + 10 = h. Is 19 equal to h?
False
Suppose 2*s + 2*s + 4*l = -8, -5*l - 37 = -4*s. Let w be 1 + 0 + -1 - -330. Let p be (s/(-45))/((-18)/w). Which is bigger: p or 0?
p
Suppose 14*h = 10*h + 64. Let n be ((-168)/h - -11)/(1/(-42)). Is -19 at most as big as n?
False
Let z = -429.7 - -426.1. Which is smaller: 49 or z?
z
Suppose 17*w - 151 = -134*w. Is w less than or equal to 5/1048?
False
Let o = -186844 - -19244650/103. Is o greater than or equal to -3?
True
Let n = -39.53 + 34.8. Let r = -0.73 - n. Is r greater than -0.07?
True
Let k(r) = -2*r. Let d be k(3). Let s be ((-8)/(-3))/(d*3). Let c(x) = 13*x**2 - 129*x - 11. Let t be c(10). Is t smaller than s?
True
Let k be ((-34)/3)/((-1)/(-3)). Let s be -15 + 19 + 0/(0 - -2). Let b(c) = -2*c**3 + 5*c**2 + 5*c - 7. Let d be b(s). Is d <= k?
True
Suppose 5*t - 1 + 6 = 0. Suppose -8*r - 43 = -11. Is r equal to t?
False
Let l = 62802 + -815956/13. Is 37 less than or equal to l?
False
Let o(t) = -70*t**2 + 642*t - 36. Let q be o(9). Which is smaller: q or 19?
19
Let y be ((-70)/7)/10 - 28/4. Let o = -14.82 - -15. Is y at most o?
True
Let u be ((-43)/2)/(80/(-32)). Let q = u - 799/40. Which is smaller: -12 or q?
-12
Suppose 0 = -0*y + 7*y - 336. Let j be 62/(-4)*y/(-12)*-2. Is j < 1?
True
Suppose 0 = 5*g - 4*g - 4. Suppose 0 = 49*p - 63*p + 210. Suppose 30 = 5*m + 5*s, 3*m - m - p = -5*s. Do g and m have the same value?
False
Let o = 1030.544 - 1030.6. Let g be (-10)/(-15)*((-15)/(-4) + -3). Which is bigger: o or g?
g
Suppose 4*b - 3*l + 1170 = -2*l, -5*b = -3*l + 1466. Let u = 292 + b. Is 13/38 < u?
False
Let o = -873 - -801.1. Let r = o + 69. Let f = 7.9 + r. Is f equal to 0?
False
Let x = -7457 - -7456. Is -5495 > x?
False
Let s(p) = 2*p**3 + 3*p**2 + 5*p + 6. Let j be s(-9). Let z be 4*(0 + (-3)/j). Let r(l) = -l**2 - 4*l. Let k be r(0). Which is smaller: z or k?
k
Let a = -634/3 - -209. Let b be 32/4 + (-3 - -2)*2. Suppose c = b*c - u, 24 = c - 5*u. Which is smaller: c or a?
a
Suppose -126*c + 87*c - 78 = 0. Let x be ((-9)/(-12))/(3/142). Let v = x - 145/4. Is v < c?
False
Let p = -1.94 - -6.35. Let n = p + -5.41. Which is smaller: 199 or n?
n
Let r = -0.018 + 2.778. Let x = r - -0.14. Let f = -4.9 + x. Is f > -0.5?
False
Let c be (-2)/(-9) - 130/18. Let w be (8019/(-66))/((-3)/(-4)). Let n = w + 157. Is c bigger than n?
False
Let x = 0.05 - 18.05. Let d = -21.1 - x. Let q = 2.4 + d. Which is smaller: q or 2?
q
Let a be (-6451)/(-922) - (111 - 104). Does a = 1?
False
Suppose -5*f = -2*m + 28