t w be c(10). Let h be (-156)/(-44) - w - 1. Is 2 <= h?
False
Suppose 5*n + 0*n = -5. Let a be n/((-1)/17) - 3. Suppose i = -z - 8, -z + 2*z + a = -4*i. Which is bigger: z or 2?
2
Suppose -5*q + 12 = 2. Let y be 55/(-22) + 1/q. Which is greater: y or 1?
1
Let g = 562/5 - 112. Suppose -3*s - 2*s = 2*s. Is s >= g?
False
Let x = 16 - 15.97. Let a = x - 0.01. Let k = a - -5.98. Is 1 not equal to k?
True
Suppose -4*f + 19 = -u, 26 = -11*u + 12*u + 5*f. Which is greater: -2/3225 or u?
u
Suppose -489 - 31 = -5*h. Let n = h + -132. Is n bigger than -27?
False
Suppose 237 = -5*n + 4*b, -n + 0*b - 55 = 3*b. Let o = n + 59. Is o greater than or equal to 10?
True
Let a = 1345 + -1345. Let s = 1537/3325 + -9/19. Which is smaller: s or a?
s
Let s = 337.6 + -336. Is 0.1 at least s?
False
Let q = 676 + -577. Is 0.4 > q?
False
Let g be ((-416)/39 + 12)/(4/(-7)). Let k be (2/(-5))/((-1)/5). Suppose 2*p + k + 2 = 0. Which is greater: p or g?
p
Let s = 1.324 + -0.324. Let c = -8 + 3. Let g(w) = w**2 + 4*w - 7. Let z be g(c). Which is smaller: z or s?
z
Let u be (-1 - 0) + 0 + 23. Suppose -3*b = 4*j - u, j + 34 = 4*b + 4*j. Let l be (40/(-175))/(4/b). Is l > 0?
False
Let b = 20 + -40. Let p be 6/(-9)*12/b. Is -6/5 greater than p?
False
Let t = -24 - -27. Let n(k) = k**2 - 1 + 4*k**3 - 2*k**3 - 5*k**2. Let d be n(t). Is 17 smaller than d?
False
Let o be 4*(-1)/(-8)*2. Let d = -271 - -5690/21. Is o greater than or equal to d?
True
Let n be (11 + -14 - (0 - 5))/(-1). Let o be (-46)/14 + ((-36)/(-21))/6. Are o and n non-equal?
True
Let b = -224 - -245. Let k = -4 + -18. Let w = k + b. Are w and 0.3 unequal?
True
Suppose 0 = -3*p - 3 - 6. Let z be p*1*(-4 - -3). Let c be -1 + z/21*11. Are c and -0.2 unequal?
True
Suppose -2*w - 20 = -4*w. Suppose -w = -5*c - j - 4*j, 0 = -5*c + j + 28. Suppose 0 = -0*v + c*v. Which is greater: v or -1/6?
v
Suppose -6 = q + 5*q. Let b be ((22/2)/(-1))/(-1). Let n = 8 - b. Is n at most q?
True
Suppose -4*o + 2*d + 2 = 0, d - 4 + 1 = 4*o. Let i be (-2 - -3) + o + (-2 - 0). Which is smaller: -3/2 or i?
i
Suppose -2*i + 22 = 4*w, 19*w - 22*w - 3*i + 24 = 0. Let z(a) = -2*a + 2*a + 6 + 6*a + a**2. Let j be z(-5). Which is greater: w or j?
w
Let r = 4 - 8. Let q be (-2)/r + (-2)/4. Which is greater: q or 1/19?
1/19
Let c = -39 + 39. Let l be 0 - -6 - (0 + 1). Suppose -4*u - l + 17 = c. Is 3 greater than u?
False
Let m = 1.72 + -0.72. Which is bigger: m or 0.18?
m
Let q(p) = p - 1. Let l be q(1). Suppose 0 = -6*d + 1 - 43. Let i be (-1 - 6/d)*(-2)/(-6). Is i equal to l?
False
Let o = 617 - 552. Is 67 less than or equal to o?
False
Let i be ((-6)/(-4))/(25/10). Let p = 1.055 + -0.055. Which is bigger: i or p?
p
Let b(y) = -y**2 + 74. Let j be b(9). Let f be 0 + 6/(-3) + -2. Which is smaller: f or j?
j
Let a(v) = 5*v + 2. Let f be a(3). Let h(s) = s**3 + 12*s**2 - 5*s - 41. Let i be h(-12). Is f at most i?
True
Suppose 5*l - 95 = 5*c, -42*c + 40*c = 3*l - 62. Suppose 3*g = -4*k - 103, -3*g - 20 = 5*k + 111. Let t = 48 + k. Is t at most l?
True
Let k = -11 - -13. Let j(o) be the third derivative of -o**4/24 + 4*o**3/3 + 7*o**2. Let n be j(4). Do n and k have different values?
True
Suppose -l - 131 = -5*o, 2*l - o = -211 - 33. Let q be 2 + l/40 + (-22)/(-55). Let m(r) = -r**3 + 5*r**2 + 6*r. Let v be m(6). Which is smaller: v or q?
q
Let a = -0.065 + 86.065. Let x = -82 + a. Which is greater: x or -14?
x
Suppose -4*c - 2*h + 0*h = 2, 4*h + 4 = 0. Let f be (12/(-190))/(39/(-130)). Is c smaller than f?
True
Let i = -93 + 85. Let c be 1*(-5 - i)/3. Which is smaller: c or -4/15?
-4/15
Let x(k) = -220*k + 21. Suppose 3*v - p - 21 = -0*v, 2*p = 0. Let d be x(v). Let g = d - -16721/11. Which is greater: g or 2?
2
Let b(r) = r**3 + 15*r**2 + 13*r - 13. Let y be b(-14). Let t be (5/80)/(y/((-2)/13)). Which is smaller: t or -1?
-1
Suppose 129 = 2*j - 0*f - 5*f, 3*f = -3. Let h be 96/j - (-4)/(-2). Let s = h + 2/279. Do -1 and s have the same value?
False
Let w = -179647/13972 + 1/1996. Let h be 86/(-84)*38/(-3). Let f = w + h. Which is bigger: f or 0.1?
f
Suppose 5*y - 5*m - 100 = 0, -116 = 20*y - 24*y - 5*m. Which is greater: y or 26?
26
Suppose -5*p = -6*p - 7. Let c = 11 + p. Suppose j = 5 - c. Does 3/4 = j?
False
Let t = 0.1233 - -2.8767. Is t equal to -0.72?
False
Let g = 387 + -634. Are g and -247 unequal?
False
Let f = -35 + 63. Let m be f/10*20/8. Is m greater than 55/7?
False
Suppose 5*k - 1 = -6, -c = k + 15. Is -13 smaller than c?
False
Let n(f) = 23*f - 3. Let r be n(-3). Which is bigger: 0 or r?
0
Let j be 1/(0 + (-3)/(-12)). Let b be 6/j*(11 - 9). Are b and 3 non-equal?
False
Suppose 4*h = -4*w - 456, 2*w - 562 = 5*h + 3*w. Let u be h/57 - 15/((-30)/4). Is u greater than or equal to 1?
False
Suppose 4*h = -7 - 9. Which is greater: 2 or h?
2
Let l be (-2 + (-64)/(-24))*(-3)/3059. Do 1 and l have different values?
True
Let c be -1*(-10)/((-200)/12). Is c greater than -1?
True
Let y = -1/2 + 3/5. Is 0.1 >= y?
True
Let z = -4754/3043 - -48/179. Is 0 not equal to z?
True
Let b = -6.2 - -6. Let t = b - -0.1. Let o = -37/15 - -8/3. Which is smaller: t or o?
t
Let b(u) = -22*u + 44. Let o be b(2). Suppose -2*v = -4*v - 10. Let m = v - -3. Which is greater: o or m?
o
Let a = 31.2 + 17.8. Which is bigger: a or 0?
a
Let k(t) = 4*t - 15. Let o be k(4). Let s = 9 - 14. Let h be (-11)/(-10) + s + 4. Is o <= h?
False
Let z be (-4 - -3 - -3)/2. Let p be ((-452)/460 + z)*3. Let q = -356/2415 + p. Is q at most 0.1?
True
Let p(i) = 6*i + 57. Let o be p(-8). Let y be o*(52/(-12) - -4). Is -4 < y?
True
Suppose 3*l - 27 + 0 = 0. Suppose 0 = -4*u + 4*g + 26 + 218, 0 = 3*u + 3*g - 207. Let h be 8/(-10) - (-637)/u. Is l != h?
False
Let c = -13 + 3. Let l be 54/234*2/c. Is l greater than or equal to -1?
True
Let p be (1/4)/(1/2). Let j = 3156 + -3173. Is j less than p?
True
Let f = 7139/8 + -891. Which is greater: 0 or f?
f
Let u be 2*4/(2 - (-4 + 10)). Is -5 < u?
True
Let r = 386 - 437. Is r at least as big as -52?
True
Suppose -241*y + 261*y + 120 = 0. Let h = 519/4 + -1645/12. Is y at most h?
False
Let k be ((-6)/15)/((-203)/35). Is k < -19?
False
Let n(p) = -p - 14. Let f(a) = 1. Let g(i) = -2*f(i) - n(i). Let h be g(-11). Does h = -1/31?
False
Let y = -1 - -9.2. Let t = y - -0.8. Let z = 8 - t. Which is greater: -2/29 or z?
-2/29
Let n = -215 - -214.73. Let x = -0.2592 - -11.9892. Let q = n - x. Is q >= -1?
False
Let g = 134 - 354. Is -217 smaller than g?
False
Let n be 1 + -1 + 24/136. Which is smaller: n or -1/2?
-1/2
Suppose 0 = 3*n + 6 - 15, -2*n = 4*z - 382. Which is bigger: z or 0?
z
Let d(m) = -5*m**2 - 4. Let p(g) = 11*g**2 + g + 9. Let y(b) = -9*d(b) - 4*p(b). Let r be y(4). Suppose 2*f = -r*f. Do 0 and f have different values?
False
Let y = -54.6 + 54.55. Which is smaller: -70 or y?
-70
Suppose -1608*o + 1633*o = 1775. Suppose 0 = 4*p + 69 - 349. Is p greater than o?
False
Suppose -3*o + 248 = 4*k + o, -k + 4*o + 67 = 0. Suppose 58 = 5*r + k. Which is smaller: 0.2 or r?
r
Suppose -3*h + 0*h + 13 = -l, 2*h - 11 = 3*l. Let a be 4 - l/((-3 - -7)/(-20)). Is -14/11 < a?
True
Let g = 484 - 488. Which is greater: g or -8?
g
Suppose -5*r = -f + 34, -5*f + 72 + 20 = r. Is f <= 21?
True
Let k(p) = -p**3 - 19*p**2 + 19*p - 8. Let d be k(-20). Let i = 17 - d. Is 1 bigger than i?
False
Suppose -2*l = 7*l + 3249. Which is smaller: l or -363?
-363
Let c = -0.8 + -5.7. Let d = c - -4.5. Which is greater: -2/7 or d?
-2/7
Let j be (1/2)/((21/3540)/7). Let r = j + -5320/9. Which is greater: 0 or r?
0
Let x(k) = -3*k - 1. Let y be x(-1). Let n be -1 - (y - 5) - -2. Is n at least 4?
True
Let p be (-54)/(-8172)*2*-1. Which is smaller: p or 0?
p
Let u = 13 - 9. Let l = -670 - -673. Let g = l - u. Which is bigger: -1.6 or g?
g
Let m be (-12)/(-30) + (8/(-20) - 1). Is 2/1057 less than or equal to m?
False
Let q = 45.7 - 46. Is -0.01 less than q?
False
Let d = -26 + 66. Suppose 2 = 2*b - d. Are 21 and b nonequal?
False
Let x be ((-8)/56)/((-2)/371). Which is smaller: 28 or x?
x
Let f be (4/(-3 + -1))/((-34)/(-2584)). Which is smaller: -75 or f?
f
Suppose 2*b = 3*b - 2*j - 12, 2*j + 8 = -b. Suppose 0 = -s - 9 + b. Let h = -11 - s. Which is bigger: -5 or h?
h
Suppose 2*p + 18*b - 15*b - 939 = 0, -p + 4*b + 486 = 0. Which is bigger: 473 or p?
p
Let f be ((-426)/(-71))/((-6)/50)