 -1817341/319. Is 1 equal to g?
False
Let v(h) = 7*h - 7. Let y(d) = -13*d + 14. Let j(w) = -11*v(w) - 6*y(w). Let r = 43 + -33. Let f be j(r). Is f > 8?
False
Let x = -7 - -3. Let f be (2 - -4)/(x/10). Let q = -16 - f. Is 0 >= q?
True
Let o = 5 - 3. Let m be (o/(-4))/((-4)/8). Let l be -2 + 2 + m + -5. Does -5/2 = l?
False
Let t be (45/(-66))/3*(-4)/(-10). Suppose -4*d + 2*i + 16 = d, -2*d = 5*i + 11. Suppose -g - g = -d. Is g equal to t?
False
Let j = -0.016 + 0.036. Let d = -0.08 - j. Is -1/16 less than d?
False
Let q = 39 - 42. Let m(a) = -a**3 - 6*a**2 - 6*a - 1. Let h be m(q). Is -7 > h?
True
Suppose 1353 = -258*m + 299*m. Which is smaller: m or 49?
m
Suppose -2*p + 121 = 39. Let y = 44 - p. Is 24 > y?
True
Let x(q) = -q**3 - 5*q**2 - 3*q - 5. Let g be x(-5). Suppose 0 = 6*t - 2*t - b + 11, 5*b - g = 5*t. Let d be t + (228/(-10))/(-6). Is 1 > d?
True
Let k be 12 + -4 - (-5 + 13). Suppose 5*m - m + 4 = 0. Let n be (m/(-3))/(2/30). Is n < k?
False
Suppose 0 = -2*i - 11*i + 4758. Let w be -4*((-1 - i/(-92)) + -3). Which is bigger: 1 or w?
1
Let k be -2 - -2 - (-122)/(-1). Let u = 35833/4 + -8837. Let c = u + k. Which is smaller: 0 or c?
c
Let y(p) = -p**3 - 19*p**2 + 43*p - 11. Let s be y(-21). Which is greater: s or -31?
-31
Let o = -3.36 - -0.36. Let h = o - -16. Let j = -13 + h. Is 0.3 > j?
True
Let h be (4/(-6))/((-1)/(-18)). Let q be 25/(-20) - 3/h. Which is greater: 3/23 or q?
3/23
Let m(z) = -z - 6. Let n be m(-3). Let p be 52/(n - (0 - 5)). Let r be p/10 - 4/(-10). Is 5 not equal to r?
True
Suppose 0 = -6*z + 14 - 50. Suppose -k = -6*k + 5. Let y be 3/(k*-3 + 2). Which is smaller: z or y?
z
Let a = 1 + 0. Let p = 52 + -51.8. Which is greater: p or a?
a
Let o = -0.22 - 17.78. Let c = -24.22 - -0.22. Let r = o - c. Which is greater: r or -0.2?
r
Let p = 19 - -22. Let h be (3 - 54/15) + 75/125. Is p != h?
True
Let g = -589 - -640. Which is smaller: g or 55?
g
Let c = -34.1 - -8.1. Let i = 26.1 + c. Which is bigger: i or 12?
12
Suppose 64*s - 179*s = 20700. Which is greater: -178 or s?
-178
Let f = 1/66 + 31/132. Which is smaller: 1 or f?
f
Suppose -b + 4*u = b - 20, 0 = 5*b - 4*u - 26. Let y be 4 + (-2470)/234*(-1)/(-5). Is y less than b?
True
Let n be 24/(-60) - (-54)/10. Suppose r + 5 = -n*q + 2*r, 0 = -4*q - 5*r + 25. Suppose 4 = 4*d - q*d, 0 = -2*g + 5*d - 7. Is g less than 1/10?
True
Suppose 0*y + 64 = 4*y. Suppose 3*c = -c + y. Suppose 4*m - c*o = -0*m, 3*o + 6 = 0. Is -4 at most as big as m?
True
Let j = 121 + -120.882. Let t = j + -0.318. Let n = -0.2 - -0.3. Is n at most t?
False
Let s = 87 - 88. Let u be 3/((-12)/8)*(0 + s). Which is smaller: u or 3?
u
Let d(b) = -4 + 8*b**2 - 4*b - 3 + 4*b**2. Let s be d(-2). Are 0.1 and s non-equal?
True
Let i(b) = 2*b + 14 - 2*b - b**2. Let h = -108 - -108. Let o be i(h). Is 13 less than or equal to o?
True
Let o(r) = -r**2. Let h(m) = -3*m**2 + 10*m - 1. Let b(k) = h(k) - 2*o(k). Let s be b(8). Is 15 greater than or equal to s?
True
Suppose -g + 10*g = -9. Is g smaller than 6/43?
True
Let b = 85.1 - 89. Let l = 11.1 + -12.2. Let s = b + l. Which is bigger: s or -0.1?
-0.1
Let q = 604 + -4220/7. Let m = q + -39/28. Let g(l) = -l**2 - 5*l - 3. Let t be g(-4). Is m bigger than t?
False
Let l be (-8739)/6*22/(-27). Let s = -1192 + l. Let i = 5 + s. Which is greater: 0 or i?
0
Let y = 10368/963263 - 2/4991. Is y > -1?
True
Let z be ((-10)/(-1720))/((-6)/(-48)). Suppose 2 = 4*q - 2*q. Which is smaller: q or z?
z
Suppose -81 = 44*g - 125*g. Let c be 14/(-54)*(-6)/(-21). Which is bigger: g or c?
g
Let n be (-3)/(6/292)*(-5)/(-10). Do n and -73 have the same value?
True
Suppose 2*c + 4*u + 80 = c, -2*u + 110 = -2*c. Which is greater: c or -178/3?
-178/3
Let z be (-3)/(18/154) - 168/126. Which is smaller: -35 or z?
-35
Let q(g) = g**2 - 4*g + 13. Let n be q(9). Let l = -58 + n. Which is smaller: -2/43 or l?
-2/43
Let o(c) = 5*c + 1. Let m(i) = i - 1. Let h be m(2). Suppose -3*p = 5 + h. Let y be o(p). Does y = -2/7?
False
Suppose 12 = -36*m + 34*m. Suppose 60 = -2*i + 7*i. Let v be (-9)/i + (-3)/m. Is v < 0.3?
True
Let a be -1 - -1 - (-24)/30. Suppose -5*g - 10 = -5*q, -2*g - 1 = -14*q + 13*q. Are a and g non-equal?
True
Suppose 152*w = 150*w + 134. Which is smaller: 602/9 or w?
602/9
Let m = 66 - 64. Let j(v) = v**3 - 10*v**2 - 9*v - 17. Let x be j(11). Is m less than x?
True
Let j(k) = 568*k**3 + 2*k**2 - k. Let l be j(1). Is l at least as big as 569?
True
Let v be 1/(-9 + 10)*(1 + 36). Which is greater: v or -0.2?
v
Let a be (0 - 8/20)/((-9)/(-170)). Is a smaller than -8?
False
Let b = 992 + 713. Is b not equal to -1?
True
Let p be 2/4 + (-762)/(-84) + -2. Which is smaller: 8 or p?
p
Let o = 96 + -147. Let w be ((-2)/78)/(o/489). Let p = -5/39 + w. Is -1 less than p?
True
Let b be (-84)/(-1512) + (-16149)/(-918). Is 18 greater than or equal to b?
True
Let z(n) = -n**3 - 36*n**2 + 344*n - 18. Let j be z(-44). Which is smaller: j or 332?
332
Let c = -7 + 5. Let w be 658/(-42) - c/3. Let j = w + 10. Is 2/3 less than or equal to j?
False
Let s = -18.26 + 1.16. Is 0 at most s?
False
Suppose -4*g - 3*y = -y - 4, -3*y - 10 = -2*g. Let t be (0 + 2/(4 - g))*0. Is 4/11 smaller than t?
False
Suppose -3*g + z = 5*z - 9, -3*g + 9 = -2*z. Suppose 3*a = r - 20, -r - 7 = 3*a + g. Let j be (-27)/(-6) + 3/(-6). Do r and j have the same value?
False
Let o = -12 + 18. Suppose o*h + 1 = 91. Let v = h - 16. Which is greater: v or -1/7?
-1/7
Let a be -3 + 4 + 0 + 3 + -3. Is a bigger than 4/5?
True
Let g be (-18)/15 - 1/(-5). Is -36/17 >= g?
False
Suppose -4*o + 394 = -2*t + 106, 5*o + 476 = -3*t. Which is bigger: -0.2 or t?
-0.2
Suppose 2*o - 115*a = -110*a - 144, -4*a = -5*o - 326. Are -62 and o non-equal?
False
Suppose -5*s - 37 = 238. Let h = s - -109/2. Is h greater than -51?
True
Let m = 217 + -215.2. Which is greater: m or -7?
m
Let w(q) = -q - 2. Let a(n) = -n - 1. Let u(k) = -2*a(k) + 3*w(k). Let i be (0 + 1 + -10)*-1. Let t be u(i). Which is smaller: t or -14?
-14
Let f = -0.08 + -6.92. Let i = -7.9 - f. Let b = 15.48 + -16.48. Which is smaller: i or b?
b
Let k = -9 + 19. Suppose -7*g = -k*g + 6. Suppose -g*y - 3*y + u - 10 = 0, 3*y = 2*u - 6. Is y at least as big as -1?
False
Let q = -3948.985 - -3971. Let h = 0.015 - q. Do h and 1 have the same value?
False
Suppose 1 = t, -3*i + 0*t = -3*t - 9. Let p = 25 + -29. Let q be (-1 + (-4)/(-8))*p. Which is smaller: q or i?
q
Let h be 2/(-15) - 6/(-18). Let i = 15.2 - 13. Let y = 2.1 - i. Is y equal to h?
False
Let y = -30 + 20. Let p(k) = -k - 11. Let f be p(y). Let q be (f + 2)*(19 + -7). Which is greater: 13 or q?
13
Let u = -3.6 + -11.4. Let w = u - -16. Let o = 0.4 - 0.25. Is w at least o?
True
Suppose -2*f + 6*f = -l - 1175, 1465 = -5*f - 2*l. Is -295 less than or equal to f?
True
Suppose 5*p + 59 = x + 9, p = -2*x + 1. Let t be 240*(p/(-6) + -1). Let c be t/275 - 2/5. Is -1 > c?
False
Suppose -2*u - 5*w - 15 = 0, 6*w = -3*u + 3*w - 18. Is -26 less than u?
True
Let o = -313 + 323.24. Let y = 10 - o. Let i = -0.25 - y. Which is smaller: -0.1 or i?
-0.1
Suppose -5*t + 4 = b, -4*b - 3*t = -7*t - 16. Is 373 != b?
True
Let m be ((8 - -5) + -11)*(-1)/106. Which is smaller: m or 1?
m
Let g = 0.0259 - 0.8259. Let z = 0.9 + 0.1. Which is greater: z or g?
z
Let o be -10 - -7 - -3 - 4. Which is bigger: -35/12 or o?
-35/12
Let a be (-556)/708 + -7*14/(-147). Is a smaller than -1?
False
Let i(o) = -o**2 - 12*o + 2. Let u be i(-10). Let c = u - -3. Let q be 5/c*(-4)/(-2). Which is smaller: q or -3/2?
-3/2
Let l = 350263/522 - 671. Is l > -1?
True
Let c = 0.358 - 0.28. Let g = c - -33.672. Let x = g + -34. Is 1 greater than x?
True
Suppose 0 = z - 3*z. Suppose z = 3*o + 3*k - 15, -2*k - k - 20 = -4*o. Let h be (-1)/((-7)/2) - (-40)/7. Is o greater than h?
False
Let t be 6 - 11770/(-5046)*-3 - -1. Which is greater: 1 or t?
1
Suppose 2 = 3*d - 1. Suppose -y + 4 - 7 = s, -s - 4*y = 12. Is s >= d?
False
Suppose -693*p = -707*p + 112. Which is smaller: 74/9 or p?
p
Suppose 34*a - 26 = 8*a. Is a > 3/5?
True
Let s be 3/6 - 4/24. Which is greater: s or 133?
133
Let a(d) = 3*d - 41. Let u be a(14). Are u and -2/185 non-equal?
True
Suppose -3*z + 9 = -0. Suppose w + 0*l - 1 = -2*l, -5*l + 25 = -2*w. Let o = -3 - w. Is o smaller than z?
True
Suppose -4*p - 521 = -5*t, -9*t + 15 =