be 3/26*(185/(-90) - -2). Let s = c + -17/52. Is 1 != s?
True
Let r be 28/396 + 2 - 4. Let q = -20/11 - r. Is q < -0.2?
False
Let q(b) = -b**2 + 24*b - 46. Let x be q(19). Let u = x - 37. Which is bigger: u or -0.02?
u
Suppose 0 = 3*s + 2*w + 325, 2*s - 529 = 7*s - 3*w. Let n = s - -111. Do 0 and n have the same value?
False
Let i be (2/((-3)/((-12)/(-8))))/(-1). Let k be 2 + (-99)/30 - i/5. Which is bigger: -2 or k?
k
Let y be (-9 + 7)/(1 - 2). Let c be (1 + 2 + 66/(-4))*y. Are c and -26 unequal?
True
Suppose 3*t = -2*t + 5*g + 5, -14 = 4*t + 5*g. Let o be (1040/1089)/(-4) - 12/(-54). Let c = -236/363 + o. Which is smaller: t or c?
t
Suppose 2*q = 6*l - 2*l + 100, 56 = -2*l - 2*q. Which is smaller: l or -25?
l
Let r = -2209/840 + 5/168. Suppose -3*o = -z - 2*z + 24, 0 = 5*o - 3*z + 30. Which is greater: o or r?
r
Suppose 4 = 2*j - 2. Let p = -24 - -27. Let z be (j*(-2)/p)/(-34). Is z at least as big as 0?
True
Let q = -0.103 + 0.203. Is q > -19?
True
Let h = 9 + -21. Let p be (15/h - 2/(-8)) + 2. Which is smaller: -2/49 or p?
-2/49
Let v = 12981/82 - -172/41. Which is smaller: 163 or v?
v
Let t = -538 + 537.6. Let b = 1.9 + -3.4. Is t at least b?
True
Let m be (-1)/((1/(-2))/((-86)/4)). Are -42 and m non-equal?
True
Let l be (6/(-21) + (-375)/35)/1. Let g be l/((-44)/24) - 2 - 3. Are -1 and g equal?
False
Suppose -q + 4*y = 7, 17 = -4*q - y + 6. Let v be (-1260)/25 - 4/(-10). Let j = -52 - v. Which is smaller: j or q?
q
Let c = -8 - -16. Suppose c*v - 20 - 20 = 0. Which is bigger: v or 0?
v
Let a = 1776 - 19550/11. Which is greater: -1 or a?
-1
Let n = -26.91 + 27. Let b = 4.12 + -4. Let x = b - n. Which is smaller: 2 or x?
x
Let u be 9/21 + 25/(-140). Suppose 3*r = -2*h + 2, 2*h + 18 = 2*r - 0*h. Let a be (-1)/(r*4/16). Is a at least as big as u?
False
Suppose u + 17 = 2*f, -6 = -u - u. Suppose 5*s - f*s = -20. Let o be (1/3)/((-2)/s). Is o <= -2/19?
True
Suppose -6*l - l + 28 = 0. Suppose -l*a + 3*a = -11*a. Which is smaller: 3.8 or a?
a
Let i(x) = x**2 + x - 1. Suppose w - 7 = 2*h + 3, -w + 22 = -5*h. Let k be i(w). Suppose -5*b - 5*g = 30, 5*g = k - 15. Is b greater than -2?
False
Let r = 18 + 3. Let x = r - 7. Let k = x + -13.6. Is -3/2 at least as big as k?
False
Let d be (-30)/42 + 36/(-126). Suppose 3*s + x - 1535 = 0, 0*x = 3*s + 4*x - 1550. Let m = s + -8673/17. Which is smaller: d or m?
d
Let d = -1174 - -1173.957. Which is smaller: d or 0.2?
d
Let o(k) be the first derivative of 5*k**3/3 - 3*k**2/2 - k - 15. Let g be o(-1). Is g at least as big as 7?
True
Suppose l + 25 = 2*l. Suppose 5*g + 5 = l. Let r(z) = z + 8. Let b be r(-9). Which is bigger: b or g?
g
Let s = -12661/1818 + 125/18. Which is smaller: 0 or s?
s
Let i(l) = -l**3 - 6*l**2 - 3*l + 7. Let k be i(-6). Let q be 9/(-21) - k/(-63). Which is smaller: q or 1?
q
Let q = -478 - -82. Do -1 and q have the same value?
False
Suppose 67*l = 88*l - 21. Let h = -1/2560720 + -3229067801/304725680. Let n = h + 75/7. Which is smaller: n or l?
n
Suppose 433 + 11 = 3*l. Do l and 151 have the same value?
False
Let w = -6/1873 + -279035/13111. Which is bigger: -21 or w?
-21
Let t = 138 - 136. Which is bigger: -26 or t?
t
Let f = -0.33 - -0.14. Let j = f - -6.19. Let d = j + -5. Which is bigger: d or -2/21?
d
Suppose -2*m - p + 40 = -4*p, 5*m = -5*p + 50. Let a = m - 46. Let y be -2*(462/(-4))/(-7). Which is greater: a or y?
a
Let z = 3491 - 3490.94. Let b = -0.1 + -0.1. Do b and z have different values?
True
Let y = -6 - -1. Let u = 1.1 + -8.1. Let w = u - y. Which is smaller: -7 or w?
-7
Let u = 29 + -17. Let j = u + 8. Let p be 5/j - 50/8. Is p less than or equal to -6?
True
Let n be (6/20)/((-165)/154). Which is bigger: 0 or n?
0
Let o be (-19)/(-190) - (-182)/(-20). Let d be (1/(-22))/((-6)/(-1008)). Is d >= o?
True
Suppose 4*r - 3*a = -r - 10, -7 = -2*r - a. Let v be (-744)/26970*10/4. Which is smaller: v or r?
v
Suppose -2*j - j = 48. Let p = j - -24. Let m be ((-15)/12)/((-2)/p). Which is bigger: 7 or m?
7
Let k be 21/(-12)*(4 + 0). Let j = k - -8. Is -2/43 at least j?
False
Suppose 64 = -27*c + 11*c. Is -23/9 not equal to c?
True
Let p = -51/11 + 1297/275. Is p < 1/3?
True
Let u be 6*(-4)/(-16) + (-4884)/3288. Suppose 0*m = -4*m. Is u <= m?
False
Let t = 24 - 29. Let w be t/3 - (-3)/3. Suppose 0*z = 5*z + 10. Is w at most z?
False
Suppose -90 + 470 = 5*g. Suppose 73*v - g*v = 3. Let m be 6/15*45/39. Is m < v?
False
Let w be 8/(-2)*(4 - (-360)/(-112)). Is -4 > w?
False
Let m = -15 + 22. Let n = 10 - m. Suppose -3 = -3*t - 3*r, -n = -3*t - r - 2. Is -1/10 not equal to t?
True
Let o = 111 - 127. Is -1 greater than or equal to o?
True
Let t = 706/7 - 19060/189. Is t less than 0?
False
Let f = 63.394 + 0.606. Which is greater: -5 or f?
f
Let u = 35/13 + -1479/559. Let g(j) = j**3 + 4*j**2 + 4*j + 7. Let v be g(-3). Let n = v + -3. Is n at most u?
False
Let n be 16/(-72) - 47*4/(-36). Let v = 862/7 + -836/7. Is n > v?
True
Suppose 0 = u + 3*u - 4. Suppose 299 = 4*d - 0*p - 5*p, d - 3*p = 73. Suppose 2*l - 56 = -d. Is u at least l?
True
Let n = 0.1 + -0.1. Let d = 17 + -21. Let h = 3.7 + d. Which is greater: n or h?
n
Let t be 105/(-238) + 10 - 9. Which is smaller: 0 or t?
0
Suppose -5*x + 2*u + 199 = 0, 6*u = 3*u + 9. Let r = x - 38. Which is smaller: r or 5?
r
Let k(x) = 3*x**2 - 3*x - 34. Let i be k(-3). Which is greater: 48/49 or i?
i
Suppose -30*h + 18 = 2*b - 32*h, 4*b + 2*h = 24. Do 4 and b have different values?
True
Suppose 2*q = 3*q - 3. Suppose q*r + 8 = -2*l, -r = 5*l - 10 + 30. Which is greater: -2 or r?
r
Suppose z = -20 + 2. Let g(i) = i**3 + i**2 - 8*i + 3. Let r be g(-4). Which is bigger: z or r?
r
Suppose 781 = 7*b - 4805. Are b and 798 equal?
True
Let n = -13 + 18. Suppose 4*h + 5 = n*h. Suppose -h = -3*l + 1. Which is smaller: l or -1?
-1
Let x be 2/6*(-2)/8. Suppose -6 = -2*b - 4. Is x at most b?
True
Let p = -572 + 628. Do -0.3 and p have the same value?
False
Let i be 72 + -6 + (-2 - 0). Are i and 0.1 unequal?
True
Let z(q) = q + 8. Let v be z(4). Let l be 1 + -1 - (5 + v/(-4)). Which is bigger: 4 or l?
4
Suppose 20 = 5*r + 5. Let x(l) = l**3 + 4*l**2 - 5*l. Let q be x(-5). Let g be r/222*4 - q. Which is smaller: g or -1?
-1
Let y = -3344 + 107. Let f = y - -13071/4. Let s = f + -31. Which is smaller: s or -1?
-1
Let a(v) = v**2 + 5*v + 3. Let r be a(-5). Suppose 3*h = 4*x + 3, r*x - 5*h + 5 = -x. Let g = 300 + -5702/19. Are x and g non-equal?
True
Suppose 0 = -4*n + 6*n + 4. Let r be n + (1 + -1)/4. Is r bigger than -5/2?
True
Suppose -2*p = 3*z - 6*z + 56, p = 2. Let g be (z/30)/((-10)/3). Which is smaller: 0.6 or g?
g
Let k = -4.42 - -5.42. Which is smaller: -390 or k?
-390
Let h = 15 + -24. Let v be 0*((-7)/2 - 15/(-5)). Suppose -7 = 3*c - 2*a + 13, 5*c - 2*a + 36 = v. Which is greater: h or c?
c
Let t = -376 + 359. Which is smaller: -25 or t?
-25
Let q(x) = x**2 + 8*x - 4. Let i be q(-6). Let v = i - -17. Let b = 6 - v. Is 7 at most as big as b?
False
Let c(x) = x**2 + 24*x + 46. Let r be c(-2). Which is smaller: r or 16?
r
Let n be 8/(-14)*(-1)/(-2). Let t(a) = -a**3 - 9*a**2 - 8*a + 3. Let w be t(-8). Suppose -3*b + 9 = -w*g, -b - 12 = 3*b + 4*g. Are n and b equal?
False
Let s(l) = -2*l - 12. Let n(q) = -q**3 + 12*q**2 + 11*q + 18. Let x be n(13). Let k be s(x). Let g be (k/(-30))/(18/30). Is g less than -1/2?
False
Suppose 96 = 4*r + 2*z, 0 = -0*r - r + 5*z + 13. Let w = -17 + r. Suppose -w = -0*j - 2*j. Is j < 7/2?
True
Let l be (2 - 2)/(-2 - (-3 + 0)). Which is smaller: -1/139 or l?
-1/139
Let w = 19016/5 - 3673. Does w = 131?
False
Suppose 5*t - 2*t = -o - 4, -4*o + 3*t - 1 = 0. Let q(s) be the second derivative of 2*s**3/3 - 3*s**2/2 + 331*s. Let c be q(o). Is -11/2 smaller than c?
False
Let b = -1.81 - -9.91. Let m = -4.1 + b. Is -4 less than or equal to m?
True
Let v(r) = 2*r + 4. Suppose -2*i - u - 2 = -0*u, 5*i + 2*u = -6. Let g be v(i). Is 15/11 bigger than g?
True
Let n be (7 - (-24)/(-9))/(1/36). Is 156 at most n?
True
Let j = 194 - 181. Which is smaller: j or -0.09?
-0.09
Suppose n - 3*q + 6 = -10, -4*q = -3*n - 23. Which is smaller: n or -10?
-10
Let p = -4086 + 4227.94. Let f = 142 - p. Are f and 1 non-equal?
True
Suppose 0 = -8*j + 132 - 124. Is 40/19 equal to j?
False
Suppose 283 = -5*n - 3*t, 0*n = -4*n + t - 240. Let q be n*(-1)/(-2