 = 5*p - 48. Is k greater than p?
True
Let u = 16 + -10. Suppose 186 = u*r + 24. Which is smaller: r or 1/3?
1/3
Suppose -3*q + 27 = -57. Which is smaller: 26 or q?
26
Let j = -1308 - -17014/13. Suppose -2*n = -6*n + 8, n + 1 = 3*d. Is d at least as big as j?
True
Let o = 234 + -580. Which is smaller: o or -347?
-347
Suppose 28*s - 44 = 24*s. Are 10 and s unequal?
True
Let z = 0.1 + -0.6. Let g = 3.827 - 3.8. Let u = g - 0.227. Is z smaller than u?
True
Suppose 3*l + 185 = -5*d, -37 + 13 = d - 2*l. Suppose -10 = 4*r + 154. Let w = r - d. Which is bigger: -8 or w?
w
Let m = -952 + 884. Let x = -162 - -95. Which is bigger: x or m?
x
Let h(z) be the third derivative of -3*z**2 - 1/6*z**3 + 0*z**5 + 0 + 0*z**4 + 0*z + 11/120*z**6. Let g be h(1). Which is smaller: 11 or g?
g
Let y(x) = x**2 - 5*x - 2. Let b be y(6). Let z = 2172 + -2166. Is z at most b?
False
Let c = 31.552 + -54.52. Let z = c + -0.032. Let m = z - -26. Is 1 greater than m?
False
Let t = 47 + -45. Suppose 0 = -5*v - 4*r + 15, -2*v + 3*v - 9 = -t*r. Are v and -1/76 nonequal?
True
Let x = 600 - 402. Is 198 >= x?
True
Let s be (36/10)/(21/70). Let r = s - 31. Let b be 4*(r/(-18) + -1). Is b less than or equal to 1?
True
Suppose 0 = -2*j + 5*j - b - 11, -3*b = -2*j + 12. Is 3 at least as big as j?
True
Let y(q) be the first derivative of -5*q + 3 + 2/3*q**3 + 2*q**2 - 1/4*q**4. Let a be y(2). Is a less than 4?
True
Let s be -96*(0 - (2 + 1)). Let o be 136/s + (-2)/9. Is o smaller than 5.6?
True
Suppose 2*s + 4 = 0, 6*s = 4*d + 3*s + 526. Let m = 134 + d. Which is smaller: m or -2/79?
-2/79
Suppose v - u + 8 = -2*u, -31 = 3*v - 4*u. Let x = 16 - 30. Let t = -24 - x. Do v and t have the same value?
False
Suppose 5*a + 80 = 75. Suppose -j - 4*j + 5 = 0. Which is smaller: j or a?
a
Let z = 189 - 189. Which is bigger: -2/263 or z?
z
Let q = -701333/180642 + 1/10626. Is q > -3?
False
Let m be (-1)/6 + 75/(-630). Is m <= 288?
True
Suppose -13*i = -8*i + 5. Let p be ((-6)/(1176/(-4)))/(1 + 0). Which is greater: i or p?
p
Let i = 61 + -67. Let m be 4 + i - (-48)/27. Which is bigger: m or 4/27?
4/27
Let b(i) = -i**2 - 9*i - 42. Let s be b(-8). Which is smaller: s or -30?
s
Suppose 0 = j - 10*j + 4*j. Let p be (3 + j)/(42/(-4)). Which is smaller: 0 or p?
p
Suppose f = 3*t - 78, -4 = -3*f + 5. Let o be (-11 - 1)*(-3)/t. Which is smaller: 2 or o?
o
Suppose -6*v + 1 = -11. Let z = v - -8. Suppose -5*g + 2*k + 68 = -z*g, 4*g + 5*k + 68 = 0. Which is bigger: g or 0?
0
Let z be 646830/(-258660) + (-2)/4*-5. Is 0 not equal to z?
True
Let c = 76.11 + 12.79. Let u = 89 - c. Which is greater: u or -2/79?
u
Let i = -36 - -250/7. Let o = 73 - 131. Let u = 53 + o. Which is smaller: i or u?
u
Let i be ((-1)/(-19))/(98/84). Let p = i + -320/1197. Which is bigger: p or 11?
11
Suppose 3*h + 72 + 33 = 0. Which is greater: -39 or h?
h
Let j(a) = -a**2 - 20*a - 45. Let c be j(-16). Suppose c*g - 21*g = 0. Is -4/11 equal to g?
False
Let u = -21 + 20. Let p be 1 - (-1 + u + 4). Is -2/39 at most as big as p?
False
Let k = 170.5 - 124. Let j = k - 51. Which is greater: -1 or j?
-1
Let w(d) = 4*d**3 + 6*d**2 + 2*d + 5. Let m(k) = -1 - 5*k**3 - 5 - 7*k**2 + 0*k**2 - 2*k. Let b(y) = 3*m(y) + 4*w(y). Let l be b(-3). Is l at least -4?
True
Let x = 163 - 162. Is -0.108 > x?
False
Let m be -1 - -4 - ((-246)/(-26))/3. Which is smaller: -1.6 or m?
-1.6
Let a(p) = -17*p**2 + 12*p - 5. Let x be a(2). Is -53 greater than or equal to x?
False
Suppose 0 = s + 7 - 22. Let i(o) = -o**2 + 15*o + 2. Let h be i(s). Which is smaller: 6/11 or h?
6/11
Suppose -43 = -4*l + x + 43, 2*x = -3*l + 70. Let r = l - 64. Which is bigger: -41 or r?
-41
Let s be 342/(-66) - -5 - -4. Which is bigger: s or 4?
4
Let t be (-74)/(-111)*(-6)/4. Which is smaller: t or 74?
t
Let a(l) = 5*l**2 + 2*l + 4. Let x be a(-1). Are 3 and x nonequal?
True
Let w = 13201 + -4739155/359. Which is smaller: w or 0?
0
Let x = 660486/935 + -3532/5. Are x and -1 equal?
False
Let t be (20/1525)/(1/(5/2)). Is 0 at least as big as t?
False
Let y = 244 - 238. Are 2/57 and y nonequal?
True
Let y = -913 + 903. Let r = -10 + 5. Let l = r - 4. Which is bigger: y or l?
l
Let o(u) = 2*u**2 + 15*u + 8. Let m be o(-7). Do -4/149 and m have the same value?
False
Suppose 2*a - 22 = -3*s, 0*a + 4*s = -2*a + 24. Let b be (-1)/2*a/(-2). Is 3/5 at most as big as b?
True
Let x = -1567.95 - -1603. Let q = -35 + x. Which is smaller: q or 0?
0
Suppose -3*o - 3 = 9. Let s be (1 - 0)/((-10)/80) + 5. Is s greater than or equal to o?
True
Let t = -28.53 - 0.27. Let o = t - -29. Do -4/9 and o have the same value?
False
Let m(d) = 0*d + d - 4 + 1. Let l be m(2). Let q be (-27)/36*(-3)/(-9). Which is greater: q or l?
q
Let p = 1.3 + -3.3. Is p at least 37?
False
Let h(w) = 38*w + 466. Let v be h(-12). Is v bigger than -1?
True
Suppose -159*u + 152*u = -49. Which is smaller: u or 0.2?
0.2
Suppose 0 = 14*c - 9*c - 30. Suppose -a = -c*a + 75. Is 15 >= a?
True
Let k(y) = y**2 - 2. Let c be k(0). Let h = -16 + 21. Suppose -3*m - 12 = -2*u, -2*m - 2*u = -h*u + 13. Is c greater than or equal to m?
True
Let l = 40.5 + -7.5. Let b = l - 32. Which is smaller: b or 25?
b
Let b be 33/6 + 2/(-4). Let s be -10*b/((-25)/4). Is s > 7?
True
Let t = -47 + 46. Let h be (-147)/(-28)*1/(-3). Is h > t?
False
Let i = 337 + -407. Is 3 bigger than i?
True
Let j = 150 + -242. Is j greater than -92?
False
Let l = 4641.19 - 4621. Let j = 0.41 + l. Let b = -21 + j. Which is greater: 0 or b?
0
Let r(f) = -f**3 - 5*f**2 + 5*f + 1. Let p be r(-6). Let z be (p/(-3))/(1/(-6)). Suppose 2*n + z = -4. Which is bigger: n or -1?
-1
Let j be (6/9)/(2/(-3)). Let x be 4/(8/(-6))*j. Suppose z - 4 = -x. Is z at most -1/29?
False
Let n = 21/16 + -449/336. Which is smaller: n or -1?
-1
Let s = 86 + -64. Let f = s + -20. Which is bigger: 15/7 or f?
15/7
Let g = -13 - -16. Let h = 4 - g. Let u = -2 + h. Which is bigger: -2 or u?
u
Suppose -s - s = 0. Let j be 20/(-16)*-4*1. Suppose -w - 3*m + j = 0, -w - m = 2 - 3. Is w >= s?
False
Let s = -16 - -18. Let m = s + -7. Is m equal to 0?
False
Let j = -90 + -106. Is j at most -196?
True
Suppose -4333*v = -4345*v - 24. Suppose -48 - 12 = 3*j. Which is smaller: j or v?
j
Let z be 121/7 - 4/14. Let g(d) = d**2 + 11*d + 17. Let a be g(0). Is a < z?
False
Suppose 3*n - 18 - 27 = 0. Let s = 60 + -12. Suppose 3*p + 3*g - s = 0, 0 = p + 3*p - 5*g - 46. Is n greater than or equal to p?
True
Suppose 22 = -4*p - 4*k + 6*k, 5*p - 2*k = -25. Let b(v) = -v + 5. Let i be b(3). Suppose 12 = -0*j - 2*j + i*l, 5*l = -j. Which is bigger: j or p?
p
Let w(u) = 184*u**2 - u - 1. Let j be w(-1). Let h = j - 1285/7. Is 1/2 <= h?
False
Suppose -13*o - 79 = 259. Let d be (-48)/o*(29/4 - 7). Is 0 less than d?
True
Let g = -3.04 - -3. Let x = 10 + -9.04. Let s = g - x. Are s and 3 equal?
False
Let p = 4230 + -4207.89. Let v = p - 22. Let o = v + -0.11. Which is smaller: -0.08 or o?
-0.08
Let y = -239 - -149. Let d be (-4)/6*27/y. Is 5 less than d?
False
Suppose -5*y = -7*y - 6. Let d(r) = 2*r + 5. Let u be d(y). Is u less than -2/29?
True
Let d = -0.76 + -29.24. Let s = 29 + d. Which is smaller: s or 3.1?
s
Let k = -0.0759 + -675.9241. Which is greater: 0 or k?
0
Let q = 72 + -64. Is 19 >= q?
True
Let p(b) = -b**3 - 4*b**2 + 7*b + 3. Let z(h) = h - 1. Let y(o) = p(o) - 4*z(o). Let t be y(-4). Which is smaller: -27/5 or t?
-27/5
Suppose 4*q - 4*w = -0*q + 40, 5 = -w. Suppose 3*j - 3 + 1 = q*k, -3*k = -2*j + 1. Let b be 2*-1 + (-32)/(-18). Which is smaller: k or b?
k
Suppose -3 = -2*v + 5*v. Let x(p) = -p**3 - 8*p**2 + 10*p + 11. Let m be x(-9). Let h be (118/(-60) - (-2)/(-12)) + m. Is v != h?
True
Let p(b) = -3 + 4 + 7*b**2 + b**3 - 9*b - 13. Let s be p(-8). Let z = -333/2 - -164. Is s greater than or equal to z?
False
Let z = -83 - -101. Let x = 3 - 3.1. Which is smaller: z or x?
x
Suppose -5*u = -3*j - 139, -241 + 45 = 4*j - 4*u. Let l = j - -37. Is -16 at least l?
True
Let t(b) = -2*b**3 - 3*b**2 + 2*b - 74. Let y(o) = 3*o**3 + 5*o**2 - 4*o + 147. Let g(p) = -5*t(p) - 3*y(p). Let c be g(0). Is -71 equal to c?
True
Suppose -5*q + 136 = 56. Suppose -4*z + q = -b, 0*b + 4*b = -3*z + 12. Is -1/5 <= b?
True
Let n = 12 - 10. Let i be 2*(n*-3)/(-3). Suppose s + 8 = -i*h, h - 17 = 2*h + 4*s. Which is smaller: -6/11 or h?
h
Let w be 0/(