greater than or equal to p?
True
Let o = 39.957 - -0.043. Let k = o + -42. Let z = -1.9 - k. Is z bigger than 3?
False
Let u be 3/(-5) + -8 + (-864)/(-40). Let c(o) = 2*o**3 - 26*o**2 + 3*o + 45. Let f be c(u). Which is greater: 83 or f?
f
Suppose -25*v = -28*v + 3*f - 1215, 2*f + 10 = 0. Which is greater: -2874/7 or v?
v
Let l(a) = -a**3 + 2*a**2 + 3*a - 15. Let i be l(3). Let r = -12 - i. Suppose 2*z - q + 1 = 0, z + 12 = 5*q - 2. Which is smaller: z or r?
z
Let q = 61/9 - 2059/333. Let l = 769/111 - q. Which is bigger: 7 or l?
7
Let g = 18376 - 386002/21. Which is greater: g or -5?
-5
Let a(r) = 177*r**2 + r - 2. Let w be a(1). Let y = 175 - w. Which is bigger: 2/13 or y?
2/13
Let s(y) = -5*y - 12. Let v be s(-8). Let a be (-8)/v - (-720)/21. Let x = -5695 + 5730. Are x and a unequal?
True
Let f be (0 + (-2429163)/22)*(-3)/47322 - 7. Which is bigger: 1 or f?
1
Suppose 9*o - 78 = -17*o. Which is greater: 2/23 or o?
o
Suppose -2*y + 4 = -y. Suppose 3*l = -t - 16, t + 12 = -3*t + l. Let q be 1/t*2*-12. Is q at least as big as y?
True
Suppose -6*x - 5*w - 25 = -x, -3*w = -9. Suppose 5*t - 4*b = -7, 3*b - 8 = t - 0. Let s be x - -6 - (-2 - t). Is s at least 9/8?
False
Let m = 3038998/55 + -55258. Let g = 17/5 + m. Which is smaller: 1 or g?
g
Let q = -22 - -18.1. Let j = q - 0.1. Let w = -121797 + 121802. Is w <= j?
False
Let a be (-10)/(-5) + (50580/(-1085))/6. Let o = a + -16/31. Which is smaller: -6 or o?
o
Let d(r) = -r**3 + 24*r**2 - 22*r - 7. Let o be d(23). Suppose -o*t + 32 = -48. Which is bigger: 0.05 or t?
t
Suppose 5*k + 5*g = 8*k + 390, -4*g - 363 = 3*k. Let u = k + 99. Does -27 = u?
False
Suppose 5*r - 21986 = 4*a, -2*r - 4*a = -2580 - 6220. Is r at least 4400?
False
Let g = 82.7 + -99. Let l = g + -45.7. Is -2 less than or equal to l?
False
Suppose -34*y = -15*y - 665. Let t(b) = -3*b**3 + 5*b**2 - 4*b - 1. Let j be t(3). Let n = -13 - j. Does y = n?
False
Let s be (-8)/(-10) + 24/20. Let h = 145 + -73. Let g be 12/48 + 38/h. Are s and g unequal?
True
Let d be 279/15 + 70/350. Which is bigger: d or 0.5?
d
Let w(y) = y**2 - 79*y. Let t be w(0). Which is smaller: t or -5/791?
-5/791
Let a(r) be the second derivative of r**3/6 - 2*r**2 - 2*r + 18. Let z be -2 - (-3)/((-6)/(-10)). Let j be a(z). Which is bigger: 1/78 or j?
1/78
Let h be (5/(-15))/((-14)/(-12)). Let u = 213457 - 1496623/7. Let w = -344 - u. Is h > w?
False
Let g be (-154187640)/(-608) + 2/(-8). Let t = g + -253353. Let x = t + -245. Is x less than -1?
False
Suppose -2*r - 547 = -3961. Is 1705 less than r?
True
Let y = -6035/6 + 1005. Let x(z) = z**2 - 4*z + 3. Let q(g) = g**2 + g + 2. Let u be q(0). Let v be x(u). Is v greater than y?
False
Let k = -9874.4 + 1538.4. Which is bigger: 0 or k?
0
Let f = -300 + 414. Let j be f/(-244) - (-5)/10. Which is bigger: j or -1?
j
Let o(i) = -i**2 - 2*i + 3. Let w be o(-2). Suppose -w*g = -7*g - 4*b - 44, -3*b = 5*g + 49. Let z = 6 + g. Is -22/9 at most as big as z?
True
Let w = 1246 - 1244. Are -2/149 and w non-equal?
True
Let q = 237221/75 + -3163. Let w = -4013006 + 4213656619/1050. Let g = q - w. Is 0 >= g?
True
Let w be (738/54 + -13)/(2/3). Which is smaller: w or 1/1659?
1/1659
Let u(g) = g**3 + 6*g**2 + g + 18. Let q be u(-5). Let f be (8 + (-650)/80)/(q/24). Which is greater: -3 or f?
f
Let p = -27961/13 + 2155. Let l = -94240 + 94244. Is p less than l?
False
Let h = 46472/3689 + -390/31. Let n be 2 + 1 + (-39)/15 + 4/(-10). Is n >= h?
False
Let f = -1640.09 + 1640. Is f less than -132?
False
Suppose r + 231 = -2*r. Suppose 5*a + 1750 = 5*x, 0 = x + x - 5*a - 694. Suppose -7*j = x + 180. Does j = r?
False
Let b = 3.0885 - 3.9885. Which is smaller: -25/2 or b?
-25/2
Let f = 15.673 + 5.727. Let i = -0.1 + -1.9. Which is smaller: i or f?
i
Let m(q) = q**3 - 18*q**2 - 109*q - 139. Let f be m(23). Do f and 2/11051 have different values?
True
Let s = 292 - 534. Let h = -291 - s. Is h at least 3?
False
Let f = 3188 + -6778. Are -0.1 and f nonequal?
True
Let d = -51 + 90. Let g = d - 32. Let p = g - 8. Is p bigger than -0.12?
False
Let q = 108 - 181. Let r = 121 + q. Suppose r = -7*i + 11*i. Is i smaller than -0.2?
False
Let v = -81 + 88. Suppose v*k = 73 - 59. Suppose -k*z - 3*z + 50 = o, -3*o - 12 = -3*z. Is 8 less than z?
True
Let n = 28/1539 + -10/81. Let t be 14/(-77) + 1768/44. Are n and t unequal?
True
Let k(s) = -s**3 - 24*s**2 - 26*s - 112. Let v be k(-23). Is v at least -5?
False
Let v = 1.6459 + -21.6459. Which is bigger: 343 or v?
343
Let d(f) be the second derivative of f**4/12 - 17*f**3/6 - 9*f**2 + 37*f. Let y be d(18). Let k be y/(-1) + -5*(-20)/25. Is k bigger than 4?
False
Suppose -11949 = -0*j + 3*j + 7680. Which is greater: j or -6544?
j
Let w = -6 + 2. Let l be (-74)/(-6 + (22 - 14)). Which is bigger: l or w?
w
Suppose 24*i - 21*i + 2*u - 4 = 0, -u + 2 = -3*i. Suppose 4*l + 424 + 295 = -3*s, i = 4*l + 5*s + 721. Which is greater: 2 or l?
2
Let z be (14 - (7 + 5))*(-2)/(-4). Is z smaller than -2/16241?
False
Let p(h) = 8 - 28 + 13 + 2*h**2. Let s be p(0). Do s and 6 have the same value?
False
Let m = -0.165 - 5.925. Let l = -4.21 - -4.3. Let p = m + l. Which is bigger: -1/7 or p?
-1/7
Let v = 2870 - 2868. Suppose -4*q + 4*t - 19 = 1, 0 = -q - 2*t + 7. Let u be 20/(7 - v) + 1 + q. Are 2 and u equal?
False
Let f(c) = -c**2 - 16*c + 59. Let b be f(-19). Let w be 0*(b - 1) - -2. Suppose 4*y - 5*m = -y - 20, 0 = -w*y - m - 2. Which is greater: y or -8?
y
Let l be (-8205)/(-10)*(-22)/132. Is -137 at most as big as l?
True
Let a be (-6)/(-12) + 4686*(-8)/32 + 0. Is a >= -1173?
True
Let v be (1 - (-1350)/(-1140)) + 1*(-2)/12. Which is greater: -1 or v?
v
Let r(z) = -18*z**2 + 282*z + 378. Let o be r(17). Which is greater: o or -249/8?
o
Suppose 2*x - 5*x = 3. Let y = -2957/11 + 269. Which is greater: y or x?
y
Let g = 65 + -65.1. Let p = 1.1 + g. Let q = -37/63 + 4/9. Are p and q equal?
False
Let m(s) be the first derivative of s**3/3 + 4*s**2 + 6*s - 3. Let i be m(-7). Let f = -901.9 + 902. Which is greater: f or i?
f
Let v(p) = -24*p + 32. Suppose 0 = -h - 2*k - 3, 24 = -h - 4*h - k. Let g(z) = 24*z - 31. Let u(o) = h*v(o) - 6*g(o). Let d be u(3). Which is greater: d or -47?
d
Suppose 13 - 8 = -m. Let f be -11 - m - (-39 - -1). Which is greater: f or -1?
f
Suppose 12*b - 4*a - 376 = 17*b, -80 = b + 2*a. Is -1532/21 at least as big as b?
False
Suppose 35*y - 259*y = 25*y + 59*y. Is -2/15531 at most as big as y?
True
Let a = -155 - -43. Let m = -69 - a. Which is greater: 173/4 or m?
173/4
Let m(h) = -4 + 0*h**2 - h**2 + 21*h**3 - h**2. Let i be m(2). Is i <= 157?
True
Let x(s) = -470*s**2 + 19*s + 8. Let o be x(-2). Which is greater: o or -1912?
o
Suppose a + 2*a - 12 = -3*s, 4*s = 6*a + 16. Suppose a = 21*w + 9 + 12. Is w at most as big as 4/173?
True
Suppose -4 = -4*v - 11*c + 7*c, 5*v + 3*c - 11 = 0. Suppose -5*n + 4*n - x + 182 = 0, 334 = 2*n - v*x. Is n >= 177?
True
Suppose -2*z = -3*h + 324, -8*h = -9*h - z + 108. Is 106 greater than or equal to h?
False
Suppose h + 4*d = -69, 31 = -h + d - 13. Let x be (-1337)/h - (-4)/(-14). Suppose -97 = 7*a - x. Are a and 1 unequal?
True
Suppose 2 = -5*t + l + 5, t - l - 3 = 0. Suppose -2*w - 1 = -3*w. Suppose 5*u = 5*h, 2*h + h + w = 2*u. Which is smaller: t or h?
h
Let h = 945 - 946. Is h smaller than -1/128?
True
Let f(t) = -3*t**3 - 38*t**2 + 14*t - 68. Let n be f(-13). Which is smaller: -113 or n?
-113
Suppose 4*q + 1164 = 2*q. Let f = 37528 - 38110. Is f at most q?
True
Suppose 32*y + 5*z - 366 = 29*y, 0 = -3*z - 9. Is y bigger than 2/19?
True
Let t be 42/(-77) + (-54)/22. Let y(g) = -3*g - 10. Let w be y(t). Which is bigger: w or -2?
w
Let d(t) = 7*t - 217. Let i be d(31). Let w be (-1 + 1)*4/4. Suppose w = 10*z - i*z + 490. Which is smaller: z or -0.1?
z
Suppose -17*u + 14 = 31. Let x = -2/517 - 425/23782. Which is greater: u or x?
x
Let m = 9321.004 - 9287. Let h = 0.004 - m. Let t = -17 - h. Is t greater than or equal to 0?
True
Let n = -386 + 261. Let x = 143.6 + n. Which is smaller: x or 2/7?
2/7
Let s be (-26)/(2288/(-35448)) - 8/(-44). Which is bigger: s or 406?
406
Suppose -212*m - 446 = -66*m - 11250. Is 956/13 > m?
False
Let l = -0.749 - -0.64. Let u = -0.209 - l. Is u bigger than -374?
True
Let u = -127364355/4187 - -30419. Is u equal to 0?
False
Suppose -