s - 5 = -3*z. Let t be 5/1 + 4/z. Are 8 and t non-equal?
True
Suppose -6*z + 4*z + 50 = 0. Suppose r - z = -4*r. Is 7 greater than r?
True
Suppose 2*z - 100 = -8. Is z != 46?
False
Suppose -4*p - 5*h + 123 = -2*h, -130 = -5*p + h. Is 22 > p?
False
Suppose -3*w + 10*w = 9*w. Is 3/274 less than w?
False
Let l(v) = 11*v**3 - v**2 - v - 1. Let g be l(-1). Let p be (2/g)/(117/52). Let y = 1.26 - -0.74. Which is greater: p or y?
y
Let c(o) = 162*o - 487. Let k be c(3). Which is bigger: k or -5/188?
-5/188
Suppose 3*w = -0*w + 117. Suppose -w = 2*d + 3*q, d + 3*q = -19 - 5. Let n = d - -11. Is n smaller than -3?
True
Let j be 44/12 + (-2)/3. Let w = -30 - -79. Suppose -3*l - i + 43 = -j*i, -4*l + i + w = 0. Is 10 >= l?
False
Let v = -23 + 24. Let l be ((-36)/(-90))/(v + 1). Let q = 0.2 + -0.1. Which is bigger: q or l?
l
Suppose 2*m + 2*m + i - 57 = 0, -5*m + 71 = i. Suppose m*g = 11*g - 15. Let h = 0.2 - 0.1. Is h bigger than g?
True
Let u = -211 - -211. Which is bigger: u or 3.6?
3.6
Suppose 4*t + 2*p - 5*p = -43, -5*t - 2*p - 25 = 0. Let m = 7 + t. Which is smaller: m or -1/9?
-1/9
Let p(l) = 5*l**2 - 5*l - 110. Let d(b) = -b**2 + b + 22. Let r(u) = -11*d(u) - 2*p(u). Let q be r(5). Is q less than -16?
False
Let u be 8094/(-110) + 2/11. Let l = -36486903/55 + 663472. Let w = u + l. Is 1 <= w?
False
Let z be (2 + 1/(-3))*56/(-40). Are 1/36 and z equal?
False
Suppose 0 = 2*t - 2*a + 146, 2*t - a + 301 = -2*t. Are -75 and t equal?
False
Let n be ((-2)/4)/(3/(-174)). Suppose -3*r + j + 34 = 0, 0 = r - 4*r + 2*j + n. Which is smaller: r or 15?
r
Let t = 0.05 + -0.11. Let j be -3 + (-4 - 19) + -2 + 1. Let b = j + 28. Which is smaller: b or t?
t
Let b = -0.678 + 0.778. Is b greater than -126?
True
Let s be 33/(495/20) - (-1535)/3. Is s at most 514?
True
Suppose 2*v + x = 0, 18 = 4*v - 3*x - 2. Let z(p) = 67*p - 736. Let l be z(11). Are v and l equal?
False
Let p(s) = -4*s**2 + 6*s - 6. Let r be p(2). Let d = 8 - 19. Which is bigger: r or d?
r
Let i be 4/(-46)*855/108. Let o = -1/46 - i. Let g = -0.371 + 0.071. Which is bigger: o or g?
o
Suppose 0 = -0*u + 10*u - 1400. Suppose -u - 102 = -11*o. Is o at most 23?
True
Let z be 3 - (-12)/(-8)*2. Suppose -10 = -5*s - 3*j - 3, z = 4*s + 3*j - 8. Let r = 4334/9 + -482. Which is smaller: r or s?
s
Let t(v) = 17*v + 11. Let h be t(-9). Is -708/5 != h?
True
Let a = -50 + 63. Let p be a + 1 - 18/6. Suppose -5*d = 5*u - 50, -3*u + 42 = -0*u - 3*d. Which is smaller: u or p?
p
Let r be ((-6)/54*11)/(3/(-72)). Which is smaller: 29 or r?
29
Let h(i) = 2*i**3 + 13*i**2 - 6*i + 7. Let b be h(-7). Which is smaller: -2/173 or b?
-2/173
Suppose 4*h - 2*w = 94, -4*w = 2*h - 25 - 47. Let d = -13 + h. Let u = 964/3 - 321. Which is smaller: u or d?
u
Let b be (-1)/(3 + (-16)/6). Let d be (-3 - 1)*b/(-4). Do d and -5 have the same value?
False
Let r = 20308/13 + -1561. Which is greater: r or -3?
r
Let b(l) = 19*l - 96. Let t be b(5). Is 12/61 at most t?
False
Let m be 1 - -82 - (3 + -1). Let d = -10/463 + -856/3241. Is d >= m?
False
Let y(n) = -3*n**2 + 9*n + 9. Let j(o) = 4*o**2 - 8*o - 8. Let s(f) = -4*j(f) - 5*y(f). Let z be s(-12). Is z > -1/49?
False
Let f = 283 + -282.96. Which is greater: 1 or f?
1
Suppose 2*g + 356 + 288 = 0. Let s = 2579/8 + g. Let w(j) = -j**2 - 5*j + 6. Let v be w(-6). Is v less than s?
True
Let j = -64/3 + 22. Suppose u - 13 = -5*o + 12, -3*o - 3 = -3*u. Suppose 4*b = -2*r + 6*r, -3*r = o*b + 7. Is j less than r?
False
Suppose 4*l - w + 1 = 0, -3*l + w - 6 = -4*l. Let o = -41 - l. Is -41 bigger than o?
True
Let u = -626 - -9383/15. Suppose -2*x = -39 + 37. Is x <= u?
False
Let a be (12/15)/((-7)/(-1540)). Which is smaller: 175 or a?
175
Let p = -1/952 - -501/23800. Suppose 4*g + 5 = s, 3 + 2 = 2*s - 3*g. Which is smaller: s or p?
p
Suppose 3*n - 1 = 5. Let q = -2 + n. Let x = 162 + -1617/10. Is x less than q?
False
Let z be 3 - 2*((-3)/(-6) + 2). Let j = 6 + -7. Is z at least j?
False
Suppose 6*k - 8*k + 3*w = -33, 4*k + w = 73. Which is bigger: 10 or k?
k
Let c be 2/(-18) + 1006/(-18). Is -55 at least as big as c?
True
Suppose 0 = 5*w + 2*t - 14, 1 = 4*t - 7. Is w greater than 3/5?
True
Let c = 82 - 31. Suppose 0*u = 3*u - c. Which is greater: u or 15?
u
Let t = -2/31 - 48/217. Let f = -51.1 - -50.57. Which is smaller: f or t?
f
Suppose s - 4*u + 8 = -0*u, 8 = s + 4*u. Let r be -1*(s - -2) + 6. Let n be ((-1)/(2/r))/34. Is -1 greater than n?
False
Let f = -1362 - -1357. Which is greater: -8 or f?
f
Let h(a) = -201*a + 210. Let b be h(1). Let g(k) be the second derivative of 5*k**4/12 + k**3/6 + k**2/2 + k. Let p be g(-1). Which is bigger: b or p?
b
Let a = 58.6 + -59. Let r = 1 + -0.5. Let v = a - r. Which is smaller: v or -1/2?
v
Suppose u + 4*d - 60 = -u, 2*u + d = 48. Which is greater: u or -0.1?
u
Let a(s) = -2*s**3 - 8*s**2 + 8*s + 11. Let j be a(-7). Let g = -3733/15 + j. Is -1 equal to g?
False
Let q be (-2054)/8 + 3 + 32/(-128). Which is smaller: q or -255?
-255
Let j = 2004/5 + -389. Are j and 4 unequal?
True
Let n(s) = -3 + 16*s - 8 + 0 - s**2 - 3. Let u be n(15). Are u and 1/63 equal?
False
Let o = 128 - 127. Does o = -215?
False
Let v = -1.24 + 0.24. Let r = -0.11 - -0.11. Let g = r + v. Is -2/11 at most as big as g?
False
Let m = 0.96 + -0.72. Let x = -0.06 - m. Is x not equal to -12?
True
Let i = -30 + 35. Suppose 5*g + i = 0, 8*y - 12 = 3*y + 2*g. Let n be 0*(-1 - (-3)/y). Are n and 3/11 non-equal?
True
Let l = 15/202 + -3539/1414. Is l < -2?
True
Suppose q = 4*s - 67, -4*q = -s - 0*s + 13. Suppose -6*l + s = -55. Which is smaller: l or 13?
l
Suppose -9*u + 26*u - 51 = 0. Let c be (-7 + u)*(-22)/4. Do c and 23 have the same value?
False
Let w be (-3)/(-21)*(-1 - 1). Let i(g) = -g**3 + 4*g**2 - g - 1. Let r be i(3). Suppose -25 = 2*m - r*t, 2*m = 2*t - t - 5. Which is greater: m or w?
m
Let v(u) = u**3 - 3*u**2 - 5*u + 15. Let r be v(3). Is r not equal to -1/5?
True
Let c(i) = -i**3 - 15*i**2 + 4*i + 44. Let y be c(-15). Let b be 4/(-14) + (-114)/(-7). Let n = y + b. Is n < 1/30?
True
Let y(j) = -3 + 2*j + 0 - 4 - j**2 + 6. Let q be y(1). Is -3 at least q?
False
Let g be (-2)/4 - (-8 + (-303)/(-42)). Do -6 and g have the same value?
False
Let z = -3.4 + 3.75. Let v = z + -0.42. Which is smaller: v or -0.1?
-0.1
Let x = -0.3 + 2. Let l = x - 1.8. Which is smaller: -2 or l?
-2
Let g be ((-12)/3804)/(1/(-1266)) + -4. Is g smaller than 1?
True
Let i be 426/(-40) + -2 + 1 + 3. Let n = i + 33/4. Which is greater: n or 1?
1
Suppose 0 = 2*y - 2*g - 224, -246 - 338 = -5*y - g. Is y greater than 123?
False
Let f = -10.073 - -0.073. Which is smaller: 9 or f?
f
Let p = 38 + -38. Let w be (26 - p)*(0 - -1). Let a = 82 - 56. Is a equal to w?
True
Let n = -973/33 + 218/11. Is n < -11?
False
Suppose 4*s - 12 + 4 = 0, -2*y - 10 = -5*s. Let z be 0 + 125/20 + -5. Is z < y?
False
Suppose -4*r + 40 = -4*y, -4*y - 1 = -2*r + 25. Suppose 0 = -r*m - 381 + 129. Which is smaller: m or -35?
m
Let i = -538 + 537.8. Which is bigger: 23 or i?
23
Let z be (1380/(-18))/(2/(-3)). Suppose 38 + z = 3*d. Suppose -15 = -4*m - d. Are -9 and m unequal?
False
Suppose 0 = 4*a - 4*c - 176, c = -2*a - 23 + 102. Let g be 1 - a/3*3. Is g < -41?
False
Let s be 6/132*-4 + 26/22. Let n = -0.6 + 1.6. Is n at most as big as s?
True
Let w be 7 - (-2 - (-907)/101). Which is bigger: w or 1?
1
Suppose -3*l = 2*a + 7, -l - 324 + 315 = -6*a. Suppose 4 = 2*f - 4. Is f greater than or equal to a?
True
Let y(d) = 15*d. Let h be y(1). Let o(s) = s**2 - 14*s - 15. Let b be o(h). Let k be 1*(-3)/(-27)*3. Which is smaller: k or b?
b
Suppose 1239 = 3*q - 3*g, 4*q + 9*g = 10*g + 1664. Is 419 <= q?
False
Let g be 138/(-13731)*(-6)/(-4). Is -1 less than g?
True
Let t = 803/2480 + -3/2480. Which is bigger: 1 or t?
1
Suppose 8*t - 38 = 2*y + 4*t, -10 = y - 5*t. Which is smaller: y or -165/7?
y
Let y = -554.05 - -554. Let c = -0.08 - -0.38. Let u = c - 0.1. Which is greater: u or y?
u
Suppose -20 = 5*z + 5. Let p(q) = -q**2 - 3*q + 1. Let j be p(-4). Which is smaller: j or z?
z
Let s = 5 + -3. Let g be 1 + 0 - s - -2. Let i(m) = -m**2 + 9*m - 11. Let d be i(7). Which is greater: d or g?
d
Let k = 215 + -205. Is k >= -0.1?
True
Let f = -490.5 - -6.5. Which is smaller: 1/3 or f?
f
Suppose -2*g - 14 = -2*c, 3*c = -2*g + 3*g + 13. Suppose 3*y = c*j + 12, 