-45)*-31. Let s = c - -97. Is s bigger than 70?
False
Let r(u) = -1 + 3*u - 3 - 16*u + 6. Let j be r(1). Let d = j - -19. Does d = 13/2?
False
Let c = -2925 + 2929. Is c greater than or equal to 125/34?
True
Let n = -4098 + 4078. Is -57 greater than or equal to n?
False
Suppose -167 = -2*q - z, 4*z + 913 - 909 = 0. Is 1323/16 less than q?
True
Suppose p - 1564 = -w, -4*p + 827*w - 822*w + 6265 = 0. Is p bigger than 1565?
False
Suppose 4*w - 2 = 5*w + 3*x, 34 = 3*w - x. Suppose 0 = -39*r + 37*r + w. Suppose -u + 2*k + 5 = 0, r*u = -0*u - k + 58. Are 11 and u equal?
True
Let h be (-2 + 11 - (4 - 3))*1. Let c be h*44/(-11) + (-2 - -1). Is c less than or equal to -33?
True
Let k = 10565 + -10518. Are k and 77 non-equal?
True
Let l = 0.72 - 40.72. Let i = -4.9 + 5.9. Let y = i + l. Is y equal to -1?
False
Let s be -1*1*11/(-4). Suppose -642 = 59*d - 380*d. Is d >= s?
False
Let o = 313 + 39. Let q = o - 403. Is 0.2 less than q?
False
Let z = -2541.22 + 2541. Is -9 at most z?
True
Let f(d) = 2*d**2 - 48*d - 32. Let i be f(14). Which is greater: -310 or i?
-310
Suppose -6 = -5*h + 144. Suppose 55*g - 366 = -93 + 1597. Which is smaller: g or h?
h
Let a be (-7)/28 - (1 + (-13698)/8). Let f be 3/(-7) - a/(-203). Is -2 less than or equal to f?
True
Let p = 13 + 5. Let k = -16 + p. Let c be -6*((-8)/(-36) - (-10)/36). Do k and c have the same value?
False
Let l(k) = -2*k**3 + 17*k**2 - 10*k + 16. Let g be l(8). Suppose g = 9*c + 7 + 2. Which is greater: -11/9 or c?
c
Let l = -0.048615 + -24742.951385. Let f = l + 24784.884. Let k = -0.116 - f. Is k less than 0?
True
Suppose -b + 102395 = -4*y, -6*y + 450*b - 153603 = 445*b. Is -25598 equal to y?
True
Let x(j) = -2*j**2 - 167*j - 236. Let h be x(-82). Which is smaller: h or 213/20?
h
Let k(u) = -u**3 - 44*u**2 - 30*u + 59. Let m be k(-44). Let v = -9631/7 + m. Are v and 2 unequal?
True
Let o = -81 + 71. Let n be 4/o + (-6)/(-15). Are 21.1 and n equal?
False
Let a(l) = -l**2 - 165*l - 5115. Let y be a(-122). Is y greater than 141?
False
Suppose 2*c + 2*c - 48 = 0. Let s be (-1365)/25 - (-6)/10. Let w be (2/(-12)*-4)/(c/s). Which is greater: w or -5?
w
Suppose -3*a - 1866 = -5*m, -4*a - 1 = 7. Let t = -419 + m. Suppose 0 = 2*n - 54 + 146. Is t at most as big as n?
True
Suppose 0 = 13*m - 143 - 26. Let o be (14/(-6))/((-2)/12). Do o and m have different values?
True
Let x = -4.3694 + 0.0594. Let q = 29 - 28.69. Let d = x + q. Which is bigger: d or -2?
-2
Suppose 82 = 2*y - 2*q, -61 = -2*y + 6518*q - 6523*q. Suppose g + 2 = 4. Let u be (g + -22)/((-1)/2). Is u at most y?
False
Let k be ((-10)/105 - (-8)/(-14))*-102. Suppose k*w + 45 = 53*w. Suppose -8*u = -5*u + 3. Is u > w?
True
Suppose 3*n = -2*n - 660. Let i(t) = -85*t - 217. Let q be i(-1). Is q greater than or equal to n?
True
Let b = 0.3834 - -138.6166. Which is greater: b or 1/7?
b
Suppose -3*s = -5*h, 4*s + 0 - 17 = h. Suppose 0 = -3*v + t - h, 2*v - t + 2 = 3*t. Let c(y) = -2*y + 1. Let q be c(v). Is q bigger than -0.02?
True
Let w = 12419638243/18730 - 663088. Is w at least -1?
True
Let t be ((-492)/41 - 6620) + 1/((-1)/3). Is t greater than -6634?
False
Let b be 3/10*134 + 166/(-830). Suppose 26 + 254 = -b*l. Let v = -0.1 + 0.2. Is v at most l?
False
Let r be (2/4)/(1/16). Let o = r - 8. Let f = 0.0088 + 0.0912. Do o and f have the same value?
False
Let f(r) = -r**3 - 6*r**2 - 7*r. Let n be f(-5). Let o be (6/(-4))/((-1)/(-158)). Let p = 248 + o. Which is greater: p or n?
p
Let d be (-2 + 0 - (-6 - 110/(-20)))*2. Is d at most 1.28?
True
Let u = 1609 - 1609. Is u less than 28/89?
True
Suppose -74 = v + 2*q, -332 = 4*v + 2*q - 6*q. Let f = -27421 + 27423. Is v less than f?
True
Let f = -6.453 - -6.353. Is 41/36 >= f?
True
Let q be (264/77)/(1/((-28)/(-3))). Let s = -47 - -46. Are s and q equal?
False
Let s(b) = 24*b + 182. Let z be s(12). Let h = 6103/13 - z. Suppose 0 = -x + 3*x. Is x at most h?
False
Suppose 11*p - 15*p + 12 = 0. Suppose -4*m = -4, 4*n + p*m + 183 = n. Is n bigger than -64?
True
Suppose 324 = x + 328. Let d be x/(((-175)/10)/(-5)). Which is greater: 0 or d?
0
Let l = 2.6 - 4.5. Let d = l - 6.1. Let a = 7 - 6. Which is smaller: d or a?
d
Let n(i) = -2*i + 28. Let o be n(13). Let g be o/(-6) + (-6)/(1674/(-111)). Do g and 2/5 have different values?
True
Suppose 3*v + 2*v - 40 = 0. Let w be (3*v/(-36))/((-17)/(-9)). Let s(n) = n**3 - n**2 + n. Let l be s(0). Which is smaller: w or l?
w
Let c = 9967 + -8753. Is 1214 != c?
False
Let r be (1710/(-108) + 14)*(10/2 + 1). Is r > -511?
True
Let f = -4334 + 3806. Which is greater: f or -526?
-526
Let h = -5544 - -5544. Which is bigger: 19/200 or h?
19/200
Suppose -4*t - 30 = 6*t. Let d be (267/(-18) - -1)/((-2)/t). Which is smaller: -21 or d?
-21
Let x = -1219 - -1217. Let m = 3.3 + -3. Is m > x?
True
Let b(f) = -f**3 + 16*f**2 - 86*f + 67. Let g be b(14). Is -3732/5 less than or equal to g?
True
Let j be 5 - 4 - 3178 - (6 - (16 - 11)). Is -3177 >= j?
True
Let u = 15 - 15. Let d(t) = t**2 - 10*t + 24. Let x be d(4). Suppose 0 = 2*h - u - x. Which is smaller: -1/15 or h?
-1/15
Let o(v) = -v**2 - 15*v + 44. Let c(g) = -g**2 - 17*g + 45. Let q(t) = -5*c(t) + 6*o(t). Let s be q(4). Let j be 20/6*(4 - 1). Which is smaller: j or s?
s
Let u = 729728/75 - 9730. Which is smaller: 1 or u?
u
Let c = -4868.67 - -4865. Which is greater: c or -3?
-3
Let k = -1431/5 - -2769/10. Let b = k + 49/5. Which is bigger: b or -42?
b
Let z = -3928.66 + 3908. Are -2/7 and z unequal?
True
Let p(z) = 949*z**2 - 63*z - 62. Let l be p(-1). Is l at least as big as 955?
False
Suppose 2*v + 148 = 3*c, -12*c + 9*c + 4*v + 152 = 0. Let m = 42 - c. Let b be (m - -3)*(-5)/(-9). Does -3 = b?
False
Let r be (66/(-3))/(4 - 6). Suppose 5*o - 2*l = -r, -20*o - 3*l - 12 = -18*o. Let k = -83/24 - -503/312. Which is greater: k or o?
k
Let j = -2950/9 - -11863/36. Which is bigger: j or -0.18?
j
Suppose -6*m + 2589 + 2805 = 2088. Which is smaller: 550 or m?
550
Suppose -2*p - v = 4*v + 19, 4*v + 8 = -4*p. Suppose p*x = -4*n + 171, 5*x - 108 = -4*n + 57. Suppose -217*f - 8198 - 15262 = -727*f. Is f <= n?
False
Let g be 6/(-16)*(-5916)/153*-14. Is -204 > g?
False
Let l be ((-119)/2 + 1)*(-42 + 38). Let x = l + -235. Is -18/19 at most x?
False
Let z = 70 - 68. Suppose -z*o = -0*o + 4. Let c be (-201)/3 + -1 - (o + -2). Is c bigger than -63?
False
Let y be (-12)/((-3)/36 + 95/(-76)). Which is greater: -7 or y?
y
Let q(d) = d**2 - 15*d - 1. Let x be q(15). Let z = 8/4943 - 1552158/34601. Let s = 43 + z. Is s at least x?
False
Suppose -24*t = -25*t + 14. Let l be (-5745)/10115 + 8/t. Which is greater: -1 or l?
l
Let i = 3877 - 3238. Does i = 638?
False
Let y = -799 + 798.09. Let o = 81 - 80.29. Let x = o + y. Are x and -8 non-equal?
True
Suppose 0 = 1009*f - 1032*f + 506. Which is smaller: 63 or f?
f
Let z = 244 + -222. Let m = -18 + z. Let w(v) = -v**2 + 9*v - 8. Let q be w(7). Is m <= q?
True
Suppose -y - 50498 = -5*m, 0 = -m - 2236*y + 2235*y + 10102. Is 10100 less than or equal to m?
True
Suppose -25*k - 256 = -33*k. Suppose 468 = -5*c - f, -31*f = -2*c - k*f - 189. Which is greater: -94 or c?
c
Suppose -h + 5*k + 1065 = 117, 3*k = 0. Let f = 763 - h. Which is smaller: -186 or f?
-186
Let f = -0.16119 + -0.03881. Let d = 0 - 4. Let k = d - -4. Which is bigger: f or k?
k
Let h = -782 + 862. Suppose 0 = -20*n + 16*n + h. Which is smaller: n or 127/6?
n
Let y be (4/(-60))/((-40086)/(-12722)). Let n = -4/2295 + y. Which is greater: n or 1?
1
Let z be (1 + 44)/(11/(2178/(-27))). Let r be (54/(-168))/(z/77). Is 1 greater than or equal to r?
True
Suppose 4*b + 18 = u - 213, 4*u + 4*b - 844 = 0. Let t be 10/u + 0/13. Is t smaller than 0?
False
Let k = -46 + 90. Let v = 51 - 94.3. Let w = k + v. Are w and -3 equal?
False
Let f = -103 - -27. Let g = -16836/707 + 2434/101. Which is smaller: f or g?
f
Suppose -32*z = 6856 + 1144. Let l = -298 - -48. Is z at most l?
True
Suppose -28*w - 607 = 261. Which is bigger: -317/10 or w?
w
Let c be ((-2)/(-5)*-1)/(1/(-5)). Let o(b) = b**3 - 2*b**2 + b + 3. Let a be o(c). Suppose 0 = -3*f - 2*f + a. Is f equal to 5/6?
False
Let d = -12529 - -12641.02. Let w = d + -112. Let y = -0.08 - w. Is -1/4 smaller than y?
True
Let y be (-8)/3 - (0/1 + (-24)/36). Are -306 and y non-equal?
True
Let u be ((-4)/((-48)/(-45)))