Let d be c(-3). Suppose -z + 78 = d*z. Let m = -25 + z. Are m and -4 nonequal?
True
Let k = 106 + -105. Are -30 and k equal?
False
Let x be ((-126)/(-56))/(2/(-40)). Let m be x/(-15) + 3*-1. Suppose -5 = -5*j - m. Which is smaller: j or -3/14?
-3/14
Let x be 2/(-8) + 12100/(-112). Let q = x - -108. Which is smaller: q or -3/8?
-3/8
Let h = 1193/897 - -1/299. Which is smaller: h or 2?
h
Let z be 70/25 - 3 - 432/(-10). Let v = 23 - z. Which is bigger: v or -19?
-19
Let f = -13 - -18. Let j = -4.96 + f. Let d = j + -0.04. Is -0.1 > d?
False
Let s = 1439 - 1491. Is s at least as big as -18?
False
Suppose -101 = -p - k, -5*p + 315 = -2*p - k. Which is bigger: 103 or p?
p
Let u be 30/(-45)*(-3)/(-226). Let n be (12/1582)/((-8)/(-292)). Let r = u - n. Is r smaller than 0?
True
Suppose 3*s = 328 - 295. Let p(z) be the first derivative of -z**2/2 + 3*z + 2. Let i be p(-8). Is s equal to i?
True
Let w = 6.9086 + -0.0086. Which is bigger: 1/3 or w?
w
Let b = -19.21 + 19. Let n = b - -0.31. Which is bigger: 9 or n?
9
Let v(f) = 11*f - 1. Let q be v(1). Suppose t = -d - 2, -t = -2*d - 3 - q. Let l be (-43)/(-21) - 1/3. Which is greater: l or t?
t
Let v = -661 - -13221/20. Which is smaller: -0.5 or v?
-0.5
Let z = 17 + -18. Do z and 74 have different values?
True
Let m = 25 + -105/4. Let c be 0/(4/(2/(-1))). Is c bigger than m?
True
Let i(n) = n - 3. Let s be i(4). Let c be 14/(-6)*1*(-42)/154. Which is smaller: s or c?
c
Let x = -989/7 + 141. Let p = x + -31/14. Which is greater: p or -4?
p
Let z = 6 + -2. Suppose q - 30 + z = 0. Let a = q - 25. Is a at least as big as 0?
True
Let h(d) = d**3 - 8*d**2 + 8*d - 4. Let v be h(7). Let c = 15 - v. Let f be (-3)/c*(-4)/(-5). Which is smaller: 1 or f?
f
Let m(i) = 5*i - 36. Let u be m(7). Let q be (-4 + 5)*8/(-44). Which is bigger: u or q?
q
Suppose -23*w = 19 - 42. Which is smaller: w or 1/69?
1/69
Let n = 1514/113 + -88520/2373. Let b = 24 + n. Suppose 0 = d, -3*j - 3*d = -2*d - 3. Is b smaller than j?
True
Let d be 27/(-18)*((-4)/3 - -1). Which is smaller: 1/17 or d?
1/17
Let g be (76/(-6))/((-2)/6). Suppose 23*c - 84*c = 48*c - 4142. Is g at least as big as c?
True
Let r = -5/287 + 325/574. Let f = 4862/1189 + -120/29. Let v = f + r. Which is smaller: 1.1 or v?
v
Let l(g) = g**3 + 5*g**2 + 2*g + 10. Let x = -95 - -90. Let i be l(x). Let r = 31 - 215/7. Is i < r?
True
Let d = -3131 + 3208.98. Let a = -75 + d. Let s = a - -0.02. Which is greater: s or -2/9?
s
Let s = -3.412 + 0.578. Let l = 0.166 - s. Is l bigger than -9?
True
Let k = -17.0141 + 0.0141. Is k > -0.03?
False
Let v = -213.1 + 207.171. Let d = -0.071 + v. Which is smaller: 5 or d?
d
Suppose -33 = -3*h + 7*v - 4*v, 0 = 3*h - 4*v - 36. Suppose h*q = -1 - 7. Which is greater: q or 1/78?
1/78
Let v = 14 + -11. Let r = v + -11. Which is smaller: -7 or r?
r
Let x = -10 + 10. Let n be (3 - x)/((-3)/(-2)). Let f be (0/(n - 1))/1. Is 1/14 <= f?
False
Let t = -596 - -604. Does t = -51?
False
Suppose -5 - 1 = -3*i, 10 = 4*z - i. Let l be 5*5 + z/(-3). Let d = l - 40. Is -16 < d?
False
Let s = 3.04 - 3.04. Is s bigger than -0.16?
True
Suppose -5*v - 17 = -b, 6*v = -4*b + 2*v - 4. Let w be ((-3)/4)/(90/(-120)). Let c = w + b. Is 7 at most as big as c?
False
Suppose 4*o - 4 = 3*o. Suppose 0 = 5*h - 4*j - 26, -7 - 5 = -o*h + j. Let y(n) = n**3 - 3*n**2 + 3*n - 1. Let i be y(2). Which is bigger: i or h?
h
Suppose -f + 407 = -3*q, -5*f + 4*f + 412 = -2*q. Is 0.1 > f?
False
Let u be ((-3)/4)/((-3)/(-12)) - -3. Which is smaller: u or 21/22?
u
Let v be 80/(-12096)*3/10. Which is smaller: v or 0?
v
Let h = 50.8 + -34.5. Let f = h - 0.3. Let w = f + -16. Is w not equal to -13?
True
Suppose 2*b + 44 = -0*f - 2*f, -3*b = -5*f + 34. Let k = 28 + b. Suppose -2*n = 3*n + k. Is -3 < n?
True
Let u(x) = 2*x + 21. Let n(p) = -1. Let o(c) = 6*n(c) - u(c). Let j be o(-10). Which is greater: j or -8?
j
Let x be ((-922)/96 - -10) + 4/(-3). Is x greater than or equal to 0?
False
Let m = -3139/2 + 1561. Let u(w) = -w - 16. Let y be u(-8). Which is smaller: y or m?
m
Let i = -269.73 + 269. Is i >= 0?
False
Let h = 1.48 + 66.52. Let m = 48 - h. Let f = -24 - m. Which is smaller: f or 0.1?
f
Let g = 1421 + -2063. Which is greater: 0 or g?
0
Suppose -4*v - 14 = v - 3*x, -4*v = -2*x + 10. Which is smaller: -21/20 or v?
-21/20
Suppose 4*o = 34*o - 30. Are 2/7701 and o equal?
False
Let c = 0.1 - 1.1. Let k be ((-16)/(-70))/((-2)/340). Let y = k - -39. Which is bigger: y or c?
y
Suppose o - 3*o = -3*v + 3, 2*v + o + 5 = 0. Let m be ((21 - 10)/(-44))/((-2)/8). Is m at least v?
True
Let u be 16/2*(-2)/(-14). Let q(n) = -n**3 - 6*n**2 - 6*n - 4. Let a be q(-4). Let g = a + 12. Which is greater: u or g?
u
Let c be (2396/796 + -3)/1. Let h = c - 1001/597. Let a = 2.8 + -3. Is h greater than a?
False
Let w be (-6)/(-3)*(-4)/136. Suppose 0 = -2*i + 2*v + 8, 0*i - 12 = 5*i + 3*v. Which is smaller: w or i?
w
Let x = -9.1 + -55.9. Let o = x - -40. Let b = -36 - o. Are 0.1 and b nonequal?
True
Suppose -n - n = 12. Let i be (-8)/n - (39/9 - 3). Is 2/91 != i?
True
Let x = 1211/30 - 201/5. Let a = 2 + -7. Let s be 1/a + 3/5. Is s equal to x?
False
Let k = -65/6 + 253/30. Are 2/9 and k nonequal?
True
Let r(q) = -3*q**3 + 12*q**2 + 9*q - 25. Let g be r(5). Let f be -56 - 1/(-1)*1. Is g >= f?
True
Let i = 13 - 18. Let m be ((-15)/(-45))/((-1)/12). Let l be 130/(-15) - -4 - m. Is i >= l?
False
Let v be (1/5)/(4/2900). Which is greater: 144 or v?
v
Let f = 430 - 432. Which is smaller: f or -13/9?
f
Let x(w) = w**3 - w**2 + w + 1. Let s be x(0). Suppose -t = -5*o - 25, o + 0 - s = -t. Which is smaller: 1 or t?
1
Let l = -9 + 16. Let n = -7.89 + l. Let c = n - 0.01. Are c and 0 non-equal?
True
Let g = -61/616 + -2/77. Suppose 5*d = -0*d + 20. Let y be -5 + 4 - (d - 5). Is g bigger than y?
False
Let s = -6751/2 + 3170. Is s not equal to -207?
True
Let k = -367 + 377. Is k not equal to 0.2?
True
Let u = 147 + -164. Which is smaller: u or -97/6?
u
Let m = 1 - -0.3. Let f = 0 + m. Let v = -10.3 + f. Does v = 0?
False
Let p(f) = -3*f**2 + 72*f + 19. Let y be p(23). Does y = 173/2?
False
Let r be ((-7)/(-28))/(1/4). Let h be 1*(-1)/r*0. Is 1/6 bigger than h?
True
Let k(d) = 7*d**2 - 3*d - 1. Let h be k(3). Let v be 1/(((-1)/h)/(-1)). Let g = -635/12 + v. Is g < 1?
True
Let j = 412 + -422. Is -40 less than j?
True
Suppose 2*n = -9*n + 6853. Is n <= 0.1?
False
Let i(s) = 38*s. Let k be i(-1). Let v = -36.3 - -36.3. Which is bigger: v or k?
v
Let t be 31 + 0 + 13 + -12. Suppose -2*y - 3*f = t, -f = -6*y + y - 46. Which is smaller: y or -14?
-14
Let j = -2 - -2.06. Let p = -0.16 - -0.5. Let k = -0.24 + p. Is j != k?
True
Let i = -4 - -7. Let z be (i/2)/(-3)*4/5. Which is smaller: 3 or z?
z
Let d(l) = 2*l + 10. Let q be d(-4). Suppose -x + 3*w = 0, -x - q*x = -4*w + 10. Let o be (-28)/8*x/(-28). Which is smaller: 2 or o?
o
Let x = -0.2 - -0.3. Let t = 19.087 - -1.913. Is x bigger than t?
False
Let k be 2/4*(-3)/3*-2. Is k at most as big as 1/2774?
False
Let c = 0.27 - 23.27. Let x = 23 + c. Let a = 0.3 + 0. Are a and x nonequal?
True
Let t be (-40)/(-460) + (-9772)/230. Which is greater: t or 2?
2
Let g = 2 - 7. Let m(b) be the first derivative of -b**3/3 - 3*b**2 + b - 30. Let k be m(g). Which is bigger: k or 1?
k
Let h = 398/945 + 1/135. Which is bigger: h or 0.14?
h
Let o be 0/(-2) + 3/((-21)/(-644)). Is 93 greater than or equal to o?
True
Suppose 3*q + 4*z = -221, 4*z - 276 = 8*q - 4*q. Let k = 7824 + -7896. Which is greater: k or q?
q
Let w(u) be the second derivative of u**4/24 - u**3/3 + 5*u**2/2 + 4*u. Let m(c) be the first derivative of w(c). Let g be m(2). Which is bigger: g or -2/7?
g
Let l(p) = 64*p - 26. Let w be l(2). Are 99 and w non-equal?
True
Let z(u) = u**2 - 9*u - 420. Let y be z(-34). Which is bigger: 1043 or y?
1043
Let w = 41 - 43. Is w at most as big as -2/29?
True
Suppose -9*s + 360 = -5*s. Suppose 0 = -3*c + 4*k + 67, -6*c + s = -2*c - 5*k. Which is smaller: 26 or c?
c
Suppose v - 7336 = -6*v. Do v and 1048 have the same value?
True
Let w = -3 + 8. Suppose 0 = 2*j - w*p - 3, -j - p + 2*p = 0. Let v be (-1)/(-2)*(-2)/4. Which is greater: v or j?
v
Let i = 18.2 - 18. Which is smaller: i or -14.1?
-14.1
Let s(h) = h**2 - 11*h + 4. Let n be s(10). Let m(t) = 19*t - 8. Let d be m(n). Let z = -249/2