 greater than or equal to p?
True
Suppose 4*n + 5*k + 8 = 0, -5*k - 23 = 4*n - 5*n. Suppose d - l = 5, -2 = d + n*l + 13. Is d less than 1/567?
True
Suppose -5*c = -c + 132. Let y be (-16)/(-4) - (c/(-15) + 5). Suppose 1 = -5*i + 2*i + 5*d, -5*i = d + 11. Which is greater: y or i?
i
Let m(s) = -14*s - 125. Let r be m(6). Let y = r + 210. Is 3/17 > y?
False
Let f be 10593/2970 + 3/(-2) + -1. Let v be 4/3*6/4. Which is bigger: f or v?
v
Suppose 33 = -6*t - 57. Let u be ((-130)/t)/(-2 + 14/6). Is 26 < u?
False
Let f(k) = 2*k**3 + 33*k**2 - 76*k + 7. Let r be f(-18). Let u = -397 + r. Which is bigger: 21 or u?
21
Suppose -96 + 216 = -8*q. Which is bigger: -1 or q?
-1
Suppose 50 = 3*v + 128. Let y be ((-131)/(-99) + v/(-117))/1. Which is greater: 3 or y?
3
Let a(r) = -24*r - 10. Suppose -12*g - 28 = -19*g. Let c be a(g). Is c < -107?
False
Let t = 75893/297 + -10780/27. Let l = -144 - t. Suppose 0 = -16*j - 4180 + 4132. Is l < j?
False
Let p = 3316 - 3570. Which is smaller: -13 or p?
p
Suppose 234*j - 16*j - 290158 = 0. Which is smaller: 1337 or j?
j
Let k = 1602 + -492. Suppose 825 + k = 15*a. Do 129 and a have different values?
False
Let o(w) = -2*w**2 - 55*w + 5. Let n be o(-31). Let y = n - -7421/35. Suppose -1 = 3*g - 2*g. Which is bigger: y or g?
y
Suppose -31*z + 133 - 164 = 0. Which is smaller: -6/8227 or z?
z
Let n = -2008 + 2009. Is -21/215 >= n?
False
Let h(n) = 3*n - 30. Let x be h(12). Suppose -x*z + 48 = -3*z. Suppose -2*p - 5*i - z = -6, 0 = -3*i. Which is smaller: -7 or p?
-7
Let o(p) = 3*p**3 + 33*p - 2*p**3 - 35*p + 13 - 13*p**2. Let c be o(13). Let j = 77 + -89. Is j equal to c?
False
Let y = 5671/14 - 127097/315. Is y smaller than 3?
True
Suppose 3*s - 5*x = 70, 6*x - 4*x - 27 = -s. Suppose 5*l + 105 = 3*z, s*l = 28*l - 3*z + 69. Is l at most as big as -18?
True
Let s(i) = -2*i**2 + 7*i - 10. Let d = 3 - 7. Let v be s(d). Let z be (-2)/(-12) - v/(-360). Is -1 != z?
True
Let x be (426/207 - 1) + -1. Let u(y) = 19*y**2 + 231*y + 686. Let r be u(-7). Which is smaller: r or x?
r
Let g = 232 + -231. Let r be (-23)/(g - (-12)/(-16)). Is -91 <= r?
False
Let l = 1549 - 1397. Let z be 151 + (2 - 6/3). Which is smaller: l or z?
z
Let a = -62 - -22. Let x be (-10)/(-4)*8/a. Let g = -1204 + 1204. Which is smaller: g or x?
x
Let d be 2 - 4/(-2) - (-282 + -8). Suppose 384*f + d = 378*f. Which is smaller: f or -99/2?
-99/2
Let y = -35 - -8. Let c = y - -29. Suppose -3*b = 3*p - 9, 4*p - 12 = -c*b + b. Which is smaller: 1/4 or b?
b
Let j be (94/(-4) + 2)*-4. Let f = 101 - j. Let a be ((-27)/(-90))/(f/2). Is a equal to -1?
False
Let x = 1790 + -1779. Is 198 at least as big as x?
True
Suppose -o = -2*n - 39, n = 3*n - 3*o + 29. Let r be 3 - n/(8/(-4)). Let l be ((-18)/(-945))/(r/(-6)). Is 0 at most l?
True
Suppose -3*v = -4*t - 2, 4*t - 5 + 3 = 5*v. Let r be 20/(-5) - -4 - v. Suppose 0 = -3*d + 3*c + 27, -4*d - 4 = -5*c + 9*c. Does r = d?
False
Let m = -2 + 4. Suppose -m*r = 5*s - 7, 2*s = 3*r - 7*r + 6. Let q = -0.391 - -0.491. Which is smaller: q or r?
q
Let j(d) = 2*d - 22. Let u be j(14). Suppose -96 = -3*r + u. Is r less than or equal to 34?
True
Let g = -439 - 117. Let c = -10567/19 - g. Which is greater: c or 1?
1
Let q(d) = -d**3 + 7*d**2 - 6*d + 2. Let t be q(6). Suppose 2*a + 8 = 0, 3*k + 0*k + t*a - 19 = 0. Which is greater: k or 7?
k
Let t(x) = x**3 + 39*x**2 + 374*x - 1. Let z be t(-18). Are z and -12 non-equal?
True
Let i = -1377.7 - -1377.8. Let h = -13.8 - -18.26. Which is smaller: h or i?
i
Let s = -194 + 200. Let k(m) = 14*m + 4. Let d be k(s). Is d bigger than 89?
False
Suppose 80 = 4*u - 0*u. Let t be (6/(-25))/(2/u). Let v be (1584/(-120) - -14)*(-10)/4. Is t less than v?
True
Let a be 43/2*(2/(-2) + -1). Suppose -5*c + 51 = 3*u - 10, u + c = 17. Suppose 5*h + 187 = h - 5*f, 4*f = -u. Do a and h have the same value?
True
Let k = -90 - -110. Suppose -6*u + 9*u = b + k, -5*u + 50 = -5*b. Suppose u*x = 10*x - 4*g - 16, 2*g = -8. Is x greater than 1/4?
False
Let b be ((-1183)/(-39))/(3/18). Let c be 60/(-210) - (192/b)/(-1). Is c at most as big as 4?
True
Let f = 13709 + -27917/2. Which is bigger: -251 or f?
f
Suppose -x + 673 + 4798 = 5*i, -2*i - x + 2189 = 0. Which is greater: i or -4?
i
Let u be (-1 + 1)*(-28 - -27). Let w(d) = -d**2 - 5. Let k be w(u). Let n be (4/(-20) - 1/k) + 0. Is n >= 4/51?
False
Let g = -192 - -1346/7. Let d = 876.6 - 826.6. Is d < g?
False
Let u = -44353/2 + 22181. Suppose 0 = -4*s + 3*c + 1, 5*c - 4*c + 11 = 4*s. Which is smaller: u or s?
s
Let c be (-4)/(-2)*((-86666)/520068 - 59/(-354)). Are c and 0 nonequal?
True
Suppose 37 = -179*l + 236*l + 94. Which is bigger: 6/2045 or l?
6/2045
Let g(z) be the second derivative of z**5/20 - 5*z**3/2 + 5*z**2/2 + 31*z. Let o be g(4). Do o and 15 have different values?
True
Let p = -14317 + 14136. Is p greater than or equal to 1/3?
False
Let q = 53 - 131.5. Let y = q - -78. Which is smaller: y or 0.23?
y
Let k(q) = q + 21. Let x be 2*12/(-8) - 50*2. Let g = -103 - x. Let l be k(g). Which is smaller: 18 or l?
18
Let h = -30 - -46. Suppose 0 = -h*j + 32. Let l be (-8)/6*(-15)/28. Which is smaller: l or j?
l
Let n = -3589 + 3553. Let g = 31.6 + 5.4. Let b = n + g. Which is bigger: b or -0.01?
b
Suppose 4*t = -23*l + 20*l + 296, -338 = -3*l + 2*t. Are 110 and l non-equal?
True
Suppose 338 - 103 = -29*j + 119. Which is smaller: j or -158/59?
j
Let n = 0.192 - -2.908. Let o be 5*((-80)/15 + 5). Do o and n have different values?
True
Let k be 2*(-3)/(-10)*5. Suppose -k*q = -7*q - 24. Let g(p) = 99*p + 2171. Let u be g(-22). Which is greater: u or q?
q
Suppose 7*v + 2*u - 37950 = 0, 30*v - 5*u + 16256 = 33*v. Which is smaller: 5424 or v?
v
Let t(r) = r**2 + 9*r - 34. Let u be t(4). Suppose -7*y - 18 + u = 0. Is y > -33?
True
Suppose -3*y - 109 - 247 = -o, -4*y = -3*o + 1068. Suppose -4*s = -5*j + 947, 2*s + 5*j + o + 125 = 0. Is -239 <= s?
True
Let h = 121 - -9. Let d = h + -1692/13. Suppose 30 = 5*p - 5*k + 20, -3*p - 2*k = 4. Does d = p?
False
Suppose x + a = 9, -4*a = -2*x + x - 1. Suppose -4*u = 3*y + 68, -4*u + 8*y - 68 = x*y. Let m = u - -17. Is 0 < m?
False
Let y = -9094 - -10168. Is y at most as big as 1075?
True
Let m = 118 + -184. Let t be (-128)/48*m/56. Which is smaller: -2/3 or t?
-2/3
Let y = -0.0802 + 150.0802. Let g = y - 153.47. Which is bigger: -1 or g?
-1
Let k = -93 - -88. Let p be k + -1*-3*82/51. Let g = 2 + -2. Is p smaller than g?
True
Suppose -6*i - 16*i = 968. Let d = i - 78. Let n be (-6)/(-4)*(-82)/1. Are d and n nonequal?
True
Let n = 82745 + -82549. Let y = 15685/3 - 5033. Is y less than n?
True
Let c = -9244 + 9255. Which is smaller: -26 or c?
-26
Let q = -0.1 + 0.18. Let w = q + -0.18. Let k = 57.2 + -57.3. Are k and w non-equal?
False
Suppose -10*b = 8*b - 108. Suppose -11 = 5*v - b. Is 2/273 at most as big as v?
False
Let l be -10164*((-4 - -9) + -7). Let u be 11/(l/11097) + -6. Which is bigger: 1 or u?
1
Suppose 0*r = 5*c + 2*r - 51, -3*c = r - 31. Let n(l) = -l**2 + 17*l + 39. Let w be n(c). Let v = w + -104. Is v at least 3/20?
True
Suppose 74*a - 79*a = 80. Is -95/6 < a?
False
Let u be 16/24 + (6 - (-76)/(-12))/(-1). Is u greater than or equal to 1552?
False
Let l(n) be the second derivative of n**4/6 + 13*n**3/6 - 4*n**2 - 15*n. Let h be l(-6). Suppose -14*v - 120 = -6*v. Are v and h non-equal?
True
Let h = 19217 - 17770. Is -2 at least as big as h?
False
Suppose -297*z + 286*z + 462 = 0. Suppose 3*k - 29 - 94 = 0. Is z smaller than k?
False
Let d = 3300 - 4320. Is d at most as big as -1020?
True
Let p(m) = -m**3 + 39*m**2 + 7*m - 268. Let w be p(39). Is w bigger than 105?
False
Suppose -430*u + 212*u - 1338956 = 0. Which is greater: -6140 or u?
-6140
Let v = 2 + 2. Let x be (-2368)/(-64) - (0 + v)*1. Which is bigger: x or 34?
34
Suppose -13 = f - 1. Let r = 17 + f. Suppose 0 = -h + 3 - r. Which is bigger: h or -3/5?
-3/5
Let x = 1663 - 1671. Is x > 4?
False
Suppose 3*u - 4*i = -1822, 0 = -2*u + i - 4*i - 1209. Let h be (-6)/4*u*(-1)/9. Is h >= -101?
True
Let m = -76 + 151/2. Let q = 0.032 + 3.868. Let k = 5.2 - q. Is k greater than or equal to m?
True
Let s = -4076 - -2980. Is s != -1?
True
Let n = 5 + -12. Let f(x) be the third derivative of x**6/120 - 2*x**5/15 - x**4/24 - x**3/6 - 32*x**2. Let v be f(8). Which is bigger: n