s than or equal to -0.1?
False
Suppose 6*b + 12 = 12*b. Suppose 3*p - 5*m + 25 = -b*p, -5*p - 31 = -2*m. Is -5 > p?
True
Let d be -15*(5 - 25938/5190). Is d not equal to -1?
True
Suppose -3*s + 11 = 2*w, -s = -4*s + 5*w + 25. Suppose -s = b + 4*b. Let u be (8/(-120))/((-14)/(-5)). Which is smaller: u or b?
b
Let l be ((-4)/(-18))/(-2)*(-1)/(-11). Is 1 smaller than l?
False
Let u be (-31)/(434/84) - (-1 + -4). Is -2/431 less than or equal to u?
False
Let y(s) be the second derivative of -s**4/12 + 2*s**3 + 7*s**2 - 19*s. Let j be y(13). Let m be 12/56*2/(-12). Is m less than j?
True
Let u = -1155667/991518 - 434/1991. Let f = u - -18/83. Which is smaller: -1 or f?
f
Let w = 317099/4600 + -1584/23. Let c = w - 49/1000. Is -1 greater than or equal to c?
False
Let f be -2*(-2 - 26/4). Let z = -10 + f. Suppose 0 = -5*a + 38 + 2. Which is smaller: z or a?
z
Let n = -1114 + 823. Which is smaller: -293 or n?
-293
Let v(r) = r - 7. Let m be v(9). Suppose 16 = m*d + 8. Let a be (-80)/8*(-2)/d. Is 5 greater than or equal to a?
True
Suppose -8*j = -3*j - 4*h + 228, -130 = 3*j + h. Let x be (-10)/j - 1/2. Which is bigger: x or 0?
0
Let q = 38.328 - -0.672. Which is bigger: q or -2/3?
q
Let t = -702 - -703. Which is greater: t or 1/1688?
t
Let g = -34 + 35. Let o be (-12)/30*130/(-8). Are g and o nonequal?
True
Suppose 0 = -5*h + 102 - 2312. Does h = -443?
False
Suppose 0 = -2*p + 7*p - 2215. Let n = p + -13734/31. Which is bigger: n or -1?
n
Let y = -15 + 24. Suppose g = y - 5. Suppose -7*n = -g*n + 9. Is -3 equal to n?
True
Let m be 3/(-6)*6/9*3. Let n(y) = 7*y**3 - 1. Let x be n(1). Let a be (-10 - m)/(x/4). Is -7 less than or equal to a?
True
Let b be (230/(-116) + 2)/((1225/(-100))/49). Let f = -10 - -16. Let w be 3/f - 1/2. Which is smaller: w or b?
b
Let n(c) = -13*c + 79. Let z be n(10). Do -47 and z have different values?
True
Suppose 19*t = -2*t - 21. Which is greater: 4/197 or t?
4/197
Let y = -4/171071153 - 216200749587450/37122440201. Let z = -5824 - y. Is z bigger than 0?
False
Let c(f) = f**2 - 14*f. Let q be c(11). Let g(i) = -2*i**2 - 5*i + 8. Let l be g(-6). Which is greater: q or l?
q
Let d = 14183 - 8013391/565. Which is smaller: 0 or d?
0
Let y be (-8)/(-18) - 50/(-90). Which is greater: y or -3/172?
y
Let v(p) = -24*p - 147. Let g be v(-6). Let x be (-5)/(-15)*-3*1. Which is smaller: x or g?
g
Suppose 3 = 2*v + 11, -2*l = 2*v - 432. Which is bigger: l or -2/7?
l
Let f = -53388/11 - -4858. Which is bigger: f or 6?
6
Let d be (-2)/(3/6*710). Let j be (-13)/(70*142/332). Let u = j - d. Is u at least 0?
False
Let n be (-8 + -2 - -8)*68/(-4). Which is greater: n or 33?
n
Let v(w) = w**3 + 9. Let g be v(0). Let b be (6 - 3)/(2*g/42). Is b at least 57/7?
False
Let k be ((-24)/(-20))/(8/180). Is 27 at least k?
True
Let z be 84/3*8710/(-455). Which is smaller: z or 2/5?
z
Let s = -39137/36 - -1087. Are -1 and s unequal?
True
Suppose 2*g = m - 132, -194 = -2*m + 3*g + 71. Which is smaller: m or 133?
133
Let s = 0.438 - 350.438. Let w = s + 346.09. Let j = w - 0.09. Is j less than 2/7?
True
Let q = 16 - 16. Suppose 0 = -q*b + 3*b. Suppose 60 = -3*d + 3*s, d + b*s + 20 = 2*s. Is -20 equal to d?
True
Let j be 35/21 + 451/(-267). Let w = 73/712 - j. Let x = -0.9 + -0.1. Is x smaller than w?
True
Suppose -d - 1 = -0*d + 3*f, 2*f = -4. Suppose -b + 13 = d*c, 20 - 13 = 3*b - c. Let r be (-6)/9 + 8/3. Which is greater: b or r?
b
Let k(r) be the first derivative of 3*r**2/2 + 18*r + 48. Let q be k(-6). Is -1/3 at most as big as q?
True
Suppose 3 = -5*s + 2*n + 113, -5*n = 4*s - 121. Which is greater: 16 or s?
s
Let p(d) = -d**3 - 2*d**2 - 2*d - 16. Let k(j) = 5*j + 15. Let g be k(-3). Let y be p(g). Is y <= -15?
True
Let u(o) = o**2 - 50*o + 96. Let y be u(61). Which is smaller: y or 768?
y
Let a = 133 - 407. Which is smaller: -273 or a?
a
Let q = -23 - -22.4. Let s = q + 0.8. Is s less than 2/3?
True
Let v = 21833/6 + -3630. Which is smaller: v or -1?
-1
Let m(t) = 63*t - 222. Let s(d) = 4*d - 14. Let w(b) = -2*m(b) + 33*s(b). Let u be w(3). Do 3/14 and u have different values?
True
Let r be -1*1*(-1 + 0). Suppose -x - 9 = -3*n - 22, 0 = -3*n - 15. Let h be (x + 7)*2/870*6. Is r at least as big as h?
True
Let d be (1/3)/(8/(-24)). Which is smaller: d or 2/1255?
d
Let x be (-6)/(-39) + 2222381/(-3047187). Let d = x - 2/7103. Let s = -2/3 - d. Which is bigger: -1 or s?
s
Suppose 3*c - 60 = -0*c. Suppose -3*b + 0*b = -3*m - 12, 5*b = -5*m - c. Let j be (-7 - -7)/(1 - b). Which is smaller: 5/8 or j?
j
Let r = -1458 + 1465. Let z = -2/89 + 99/445. Which is bigger: r or z?
r
Let a(x) be the second derivative of x**4/12 - 2*x**3/3 + x**2 - x. Let h be a(5). Let o(p) = 2*p**2 + 4*p - 1. Let l be o(-3). Which is smaller: l or h?
l
Let n = 243 - 244. Is n smaller than 108?
True
Suppose 9*c - 2*c = 119. Is 47/3 equal to c?
False
Let u be (4 + 535/20)/((-15)/(-20)). Is u >= 18?
True
Suppose -x - 2*u - 67 = 0, -5*x + 4*u - 335 = 3*u. Is -66 equal to x?
False
Let k = 5 + -5.15. Let p = 3.66 + -3.86. Which is smaller: p or k?
p
Let m = -2 - 1. Let s = -14099/2 - -7048. Which is smaller: m or s?
m
Suppose 3*f + 2*o - 557 = 0, 5*o - 466 - 454 = -5*f. Suppose -363 - f = 12*a. Is a at most as big as -46?
True
Let g = -107 - -122.6. Let z = g + -96.6. Which is smaller: 1 or z?
z
Let c be (2/(-3))/(-2) + (-282688)/660. Let o = 428 + c. Which is greater: 1 or o?
1
Suppose 361 = 106*o - 125*o. Is -96/5 <= o?
True
Suppose -11*d + 3*j - 63 = -9*d, 3*j = d + 27. Is -36 less than or equal to d?
True
Let g be (37/3)/((-3)/(-9)). Let m = g + -34. Does m = -1/12?
False
Let g be (-14)/(-231)*11 + 224/(-354). Is -1 greater than g?
False
Suppose 2*b + 72 = 5*f, -2*f = -2*b + 3*b + 36. Which is greater: -34 or b?
-34
Suppose -17*c = 126*c + 3718. Is -36 at least c?
False
Let k = -5 + -3. Let a be 463/(-12) - k/24. Let z = a - -39. Is z equal to 1?
False
Let m(s) = 13*s + 68. Let l be m(-8). Which is smaller: l or -37?
-37
Suppose 0 = -5*v - 8*v. Is -190 > v?
False
Suppose -1 = 3*f + 2, 5*f = h - 11. Let z = -39/511 + -1921/10220. Let b = -11/20 - z. Which is smaller: h or b?
b
Suppose 2*y - 25 = -3*y. Suppose -92 = 4*i - 2*w + 98, y*i = 4*w - 245. Let g be (3/4)/(i/40). Is -7 at most g?
True
Suppose 38*z - 34*z + 52 = -4*a, 2*z + 5*a = -14. Which is greater: z or -7?
-7
Let r = -1/222 + -143/1110. Let z = 46/765 + 1/153. Let m = z - r. Which is greater: m or -2/7?
m
Suppose r = -0*r. Suppose r = -3*z - 6 - 6. Let k be (-8)/(-34)*z/16. Is 0 equal to k?
False
Let u be (-7)/(-2)*(-1752)/(-98). Suppose 0 = -2*o - o - 189. Let c = u + o. Is 2 less than or equal to c?
False
Suppose -g + 3*c = 0, g + 5*c = -0*g. Suppose 2*z - 52 + 2 = g. Suppose -z = -0*f + 5*f. Is f at most -7?
False
Suppose 3*s - 4*s - 2*x = -2, -5*x + 5 = -3*s. Suppose -3*c + 3*u + 21 = -s*c, 5*c + 3*u - 27 = 0. Let l = 19 - 13. Is l bigger than c?
False
Let o(t) = 4*t**2 + 21 - 13*t + 16*t - 3*t**2. Let q be o(-10). Is q > 92?
False
Let l(z) = -z**2 + 11*z - 15. Let f be l(10). Let m be (-2)/((-16)/(-7) - 2). Let g be (-15)/f + 24/m. Is g >= 0?
False
Let z be -2 - (0 - -2) - -37. Suppose z*n - 9 = 30*n. Let i(b) = -2*b - 6. Let k be i(-4). Which is smaller: k or n?
k
Let m be (-161)/12 - (6/(-8))/(-3). Let k be (-12)/(-16) + (-118)/8. Is m less than or equal to k?
False
Let t be 0/(-5)*(2 + -3). Let s = t + 2. Is s bigger than 5/7?
True
Let g(k) = -k. Let c(t) = -3*t - 22. Let z be c(-6). Let d be g(z). Do 5 and d have the same value?
False
Let l = 51.78 - 30.19. Let c = 2.61 + l. Let r = c - 24. Which is bigger: -3 or r?
r
Let a = -41 - -166. Let z = -9127/73 + a. Is 0 > z?
True
Let o = 94.56 + -94. Let h = o + -0.66. Let c = 13 - 4. Is h <= c?
True
Let n be ((-315)/14)/((-3)/(-4)). Let f be (0 - 2/4)*-2. Let v be 95/n - (-4 + f). Do v and -1 have the same value?
False
Let y be 10/(-4)*3/15*50. Let h be ((-2)/y)/((-3)/(-15)). Suppose -4*n = -3*g - n - 6, 3*g - 5*n + 12 = 0. Which is smaller: g or h?
h
Suppose -3*i + 19 = 4*o - 0, -3*o + 3*i - 12 = 0. Let s be 1*3 - (-3 - o). Is s < 6?
False
Suppose 6*v - 2*v = -8. Are 3 and v equal?
False
Let w be 1 + (-104)/117 + (-2)/(-18). Which is smaller: w or 101?
w
Let m = 77 - 90. Let p be 0 + 4 + (-16 - m). Suppose -3*k = 2*k - 20. Is k less than or equal to p?
False
Let u =