se -5*j - 3*p = 79, -17 + 94 = -5*j - h*p. Is j at most as big as -47/3?
True
Let m = 5.01 - 0.01. Let k be 4/14 + (-45)/(-63). Let r = k + -2. Is m less than or equal to r?
False
Let h = 8 - 3. Let b(f) = 4*f - 21. Let z be b(h). Are 2/71 and z non-equal?
True
Let b(p) = p - 4. Let j(i) = -7*i - 1. Let u be j(-1). Let n be b(u). Which is bigger: 4 or n?
4
Suppose 2*z = -v + 493, 4*v - 2*z = -0*v + 1932. Let n = 25708/53 - v. Is 1 at least n?
True
Let z = 74.065 + -74. Let n = 1.935 + z. Is n at least -3?
True
Let h(z) = -2*z**2 - z - 42. Let a be h(6). Is a greater than or equal to -362/3?
True
Suppose -2*o - 20 = -30. Suppose x + 4*x - o = 0. Let f be (-5)/(-8) + 0/2. Is x > f?
True
Let x(t) = 10 - 10 - t**2 - 6*t. Suppose 0 = 2*o - 4*o - 12. Let k be x(o). Which is smaller: k or 1/16?
k
Let l(r) = 9*r + 9. Let o(k) = -14*k - 13. Let y(h) = -8*l(h) - 5*o(h). Let v be y(-14). Which is greater: v or 22?
22
Let b be (-2)/(-11) + (-448)/(-77). Let s = 5 - b. Let u(v) = 10*v**2 - 1. Let c be u(s). Which is bigger: c or 8?
c
Let v = 22.6 - -34.2. Let z = -57 + v. Which is greater: -0.6 or z?
z
Let t = 2/327 - -128/14715. Which is smaller: 0.1 or t?
t
Let p(c) = 7*c**3 + c**2 - 20*c + 4. Let j be p(5). Are 802 and j equal?
False
Suppose 0*l + 4*l - 5*s = -4, 2*l = 4*s - 2. Let u be (1/(-2))/((-2)/4). Which is bigger: u or l?
u
Let t be 4/((-4)/24*-15). Suppose -2*z - 3*z = -15. Let c be 6/z + 1 + 0. Does t = c?
False
Let w = 0.26 - -58.74. Let y = 129 - w. Which is smaller: y or -0.1?
-0.1
Suppose -1 = u - 6. Suppose g - 4 = -u*z, z + 4*g - 16 = -3*z. Let q(o) = -o**3 + 11*o**2 - o + 11. Let n be q(11). Do z and n have the same value?
True
Let m(w) = 9*w**2 - w**3 - 6*w + 2 + 0 - 2*w**2 + 2. Let k be m(6). Suppose -k*n - 4*s = 0, -4*n = -n - 3*s. Is n at least as big as 1/18?
False
Let b = -29051/60 - -484. Is -1 <= b?
True
Let o be (-13)/(-26)*1*6. Suppose 19 - 109 = -o*j. Which is bigger: j or 31?
31
Let w = 2292 + -16005/7. Is w <= -1/3?
False
Suppose 13*j = 17*j - 16. Let q be ((-9)/j)/((65/40)/(-13)). Is 19 smaller than q?
False
Let q = -0.61 + 2.61. Are 204 and q nonequal?
True
Let b = 3375/2 + -11790/7. Is b not equal to 4?
True
Let i = -4.09 - -0.09. Let b = i - -3. Let j = 0.488 - -0.112. Which is greater: j or b?
j
Let z = -12997/3525 - -92/25. Let m be (-4*100/64 + (0 - -6))*0. Which is smaller: m or z?
z
Let m = -7.85 - -0.85. Is m not equal to -0.17?
True
Let f = -166909 + 68098907/408. Let y = -1/8 + f. Let h(l) = -l**3 + 5*l**2 + l - 6. Let k be h(5). Is y greater than or equal to k?
True
Let o = 101 - 161. Let m be 27/4 + (o/16)/5. Is 8 at most m?
False
Suppose -176 - 16 = m. Which is smaller: m or -193?
-193
Let r = 6/241 + -560/3133. Let g = 0.04 - 0.07. Which is greater: r or g?
g
Let d = -11 + 11. Let q be 5*(12/(-15) + d). Let i be 2*q*(-3)/300. Which is greater: 0 or i?
i
Let q be ((-8)/(-4) + 1)/(1 - -4). Which is smaller: 1/5 or q?
1/5
Let y(r) = -7*r + 53. Let b be y(7). Let q be 2 + ((-2)/(-6))/(b/96). Which is smaller: 11 or q?
q
Suppose -2*v = 3*h + h + 44, 0 = v + 2. Let w = h - -5. Let m = w + 8. Is m != 5?
True
Suppose -2*c + 13 = -4*r + 1, 4*c = r - 11. Let n be (8/8)/((-5)/(150/9)). Is c < n?
True
Suppose 0 = 35*k - 42*k + 588. Which is greater: 81 or k?
k
Let t = 208 + -142. Let x = -72 + t. Which is smaller: x or -11?
-11
Let s = -2.63 + 2.3. Let b = s - -0.23. Which is smaller: b or 17?
b
Let b be (-1)/(3*(-3)/45). Suppose 0 = 2*y - b*y. Suppose -5*f - 8 + 28 = y. Is -2/3 <= f?
True
Suppose 4*b + 5 = -5*v, 0 = 2*v + 2*b - 7*b - 31. Suppose v = 4*h - h. Is h <= 1?
True
Let b be ((-13)/(-78))/((-2)/((-54)/1077)). Is b at most 1?
True
Let j = 0.12 - -2.98. Let r = 3 - j. Let s = 0.1 - r. Is s smaller than 0.1?
False
Suppose -4*o + 5*o = 34. Let l be -2*o/(-4) - -2. Suppose 2*a - 3*t - 4 = 0, -5*t - 13 = 3*a + l. Is a not equal to -3?
True
Let b be 4/((-122)/248*-4 + -2). Which is smaller: b or -126?
-126
Let i = -17.988 + 18. Let r = -21.012 + i. Let z = r + 20.8. Which is greater: z or -1/4?
z
Let c = -8 + 10. Suppose 2*q = h - 10, q + 12 = -c*q. Let m = h - -1. Do 4 and m have the same value?
False
Let x = -26 + 23. Let o be x/(-9) - ((-15)/(-36))/5. Which is greater: 1 or o?
1
Let p = 84 + -84.1. Are 77 and p nonequal?
True
Suppose -33 = -c - 2*v, 0 = 38*v - 33*v - 20. Are 25 and c equal?
True
Let x = 4.9201 + 0.0799. Let y = 0.64 + -0.04. Which is smaller: y or x?
y
Let s = 56.5 - 59.5. Which is smaller: 83 or s?
s
Let n be (2 + 0)*(-132)/8. Let z be (-1)/3 + 55/n. Let t be -3 - z - (-2 + -2). Which is smaller: t or -1?
-1
Let a = 50.01 - 0.01. Let t = a - 45. Which is smaller: t or 0.8?
0.8
Suppose o - 2 = 5*l - 2*o, 0 = 3*o - 12. Suppose -l*s - 2*s = -5*s. Are s and -3/13 equal?
False
Let t = 3501 + -1078307/308. Is 1 > t?
True
Let t(n) = -n**2 + 11*n + 30. Let p be t(-2). Is 128/25 >= p?
True
Let q = -355 + 372. Let x = -44 + 60.5. Let g = x - q. Is g <= -0.1?
True
Suppose -103 = 21*x + 86. Is x less than -8?
True
Let q = 14.984 + 0.016. Let c = q + -15.01. Which is bigger: 1 or c?
1
Let m = -1.342 - -1.342. Are 0.1154 and m unequal?
True
Suppose 4*v = 2*q - 90, 2*q - 3*v - 75 - 16 = 0. Let j = 42 - q. Let y be -2 - (-6)/(-4)*2. Is y > j?
False
Suppose 5*n = n + 20. Suppose 0*v + 6 = 5*v + c, -n*v + 3*c + 22 = 0. Suppose -v*g = -7*g + 20. Which is smaller: g or 11/3?
11/3
Let l(k) = k + 11. Let h be l(9). Is h equal to 20?
True
Let l(d) = 5*d - 4 - 4 + 11. Let t be l(-1). Is t less than -0.7?
True
Suppose a + 3*t + 5 = 0, 0 = 5*a + 6*t - t + 65. Let d = 62 + -61.9. Which is greater: a or d?
d
Let p = 204 - 238. Let q be (315/(-12))/3*4. Is p > q?
True
Suppose -175 = 11*z - 10. Let s = 0.1 + -0.1. Is z at most as big as s?
True
Suppose -5*a + 3*q + 41 - 6 = 0, 0 = -4*q - 20. Is a >= 0?
True
Let d = 287 + -288. Is -5/64 >= d?
True
Let q = -2199/40 + 55. Let w = q - -197/120. Let r = -1.5 - -1.5. Which is smaller: w or r?
r
Let b = -39.9 + 38.89. Is b <= 0.2?
True
Let z(t) = t. Let u be z(4). Suppose -5*h = -d - 3, 2*d - 8 = -u*h - 0. Let c be -1 + 9 - 7*(388/28 + -13). Is h at least c?
False
Let w(t) = -5*t - 5. Let b be w(-2). Suppose 15 = 2*g + 5*a, -2*g - b*a = -2*a - 5. Let m be (-15)/g - 22/6. Which is smaller: -1/4 or m?
m
Let m = -369 + 453. Is 87 greater than or equal to m?
True
Suppose -10*n = p - 14*n - 594, 5*n - 20 = 0. Is p greater than or equal to 612?
False
Let j = -1191 - -1190.9. Let a be -4*(2 + -3)*1. Is a not equal to j?
True
Let u = 672.1 - 672. Does 106 = u?
False
Let r be ((-63)/(-28))/((-9)/(-24)). Which is smaller: r or 7?
r
Let k = -1/499 + -3973/9481. Which is greater: 0 or k?
0
Let n(v) = -v**2 - v - 1. Let h be n(-1). Let m be -12*h/(-5) + 9/3. Is m not equal to -0.2?
True
Let p(q) = -19*q - 1. Let a be p(3). Which is smaller: a or -63?
-63
Let w(k) = -k - 2 + k**2 + 2 + k**3 + 3 - 4. Let s be w(-2). Which is smaller: -7 or s?
-7
Let k(a) = -a**2 - 6*a + 7. Let q be k(-7). Let d be 8379/(-19656) - 6/(-16). Which is greater: d or q?
q
Let l be 4875/35 - 8/28. Is l at most 140?
True
Let a = 34 - 36. Let q(u) = -u**2 + u + 6. Let h be q(a). Which is greater: -6/7 or h?
h
Let m = 60497/7 + -8597. Is m at most as big as 44?
False
Let g(o) = o**2 + 7*o - 8. Let n be 14/(-3)*(-36)/(-24). Let q be g(n). Let i be 1 + (-7)/(28/q). Which is greater: i or 2?
i
Let l be (-1)/3 - 22/(-30). Let t = 1/15 - l. Let r be ((-2)/22)/(1/2). Is r equal to t?
False
Let a = -4.4 - -4. Let w = -12 + 12.3. Let l = w - 0.1. Which is smaller: a or l?
a
Let v = -23 - -12. Let b = v + 13. Suppose -u + 1 = -8. Is b less than u?
True
Let j(m) = 8*m**2 - 2*m - 15. Let l be j(-3). Do 64 and l have different values?
True
Let z = 3/32 - 275/2592. Is z < 0?
True
Suppose 4*i = 7*i + 5*m + 49, 0 = -5*i + 5*m - 55. Which is bigger: 3 or i?
3
Let o = 39 + -39.033. Let f = o - 0.027. Suppose -2*i - 2*i = v + 10, 5*v + 5*i + 5 = 0. Is v < f?
False
Let t be (0 + -3)/9 - 26/3. Which is smaller: -31/4 or t?
t
Let f be (2 - 356/84) + (-2)/(-1). Are f and 1 nonequal?
True
Let a = -201/35 - -16647/595. Which is smaller: 23 or a?
a
Let j be 2/(-7) - (-108)/84 - -1. Which is smaller: j or -6?
-6
Let f(s) = -s**3 + 8*s**2 + 10*s - 5. Let z be f(9). Suppose -g = z*i - 40, 3*i + 2*g = -g + 39. Which is smaller: i or 6?
6
Let q = -1