4*p + f + f = -20, -4*p + 5*f + 8 = 0. Let g be 2/4*(1 - p). Is g greater than w?
False
Let n = -244966 - -244965.9. Let t be ((-104)/105 - -1)/(-3). Which is smaller: t or n?
n
Suppose 115 = -5*d - 195. Let u = 249 + -310. Is u <= d?
False
Let d = 3 + -3. Suppose 0*p = -5*y - 3*p + 24, -5*y - 2*p + 21 = d. Let f be (y - (-1 + 5))*5. Which is greater: -6 or f?
f
Let h(z) = -4*z - 28*z**2 + 61*z**2 - 30*z**2 + 3*z. Let l be h(2). Suppose 2*w - 5*j + 9 = 0, -w + 3*j + j - 12 = 0. Is l greater than w?
True
Suppose -d = -5*m + 1, -4*m = -2*m - 3*d - 3. Suppose 42*c - 31*c - 748 = m. Is 69 at most c?
False
Let t(o) = o + 28. Let n be t(-26). Suppose -u = -r + 104 - 14, -n*r - 200 = 2*u. Let w = 84 + u. Which is greater: w or -2/7?
-2/7
Let d(g) = 650*g**2 - 3*g + 1. Let f be d(1). Let t be (-1 + -1)/(45/f) + 3. Is t bigger than -25?
False
Suppose -2*i = -3*z - 15, 3*z - 4*i = -59 + 32. Is 24/353 >= z?
True
Let f = -1430/1239 - -2/177. Let u = -1017 - -1017. Which is smaller: f or u?
f
Let l(s) = s**3 - 8*s**2 - 21*s + 9. Let w be l(13). Let q = -313 + w. Is 268 bigger than q?
False
Suppose 11 = 2*z + t, -z - 3 = -t - 1. Suppose 4*l + 10 = h, -5*l - 16 = 4. Let j = h - -3. Are j and z equal?
False
Let r = -10.1 + -74.9. Let u = 86 + r. Which is smaller: u or 26?
u
Let k = -4135 + 4013. Let l = 0.0369 + -241.0369. Let m = l - k. Is -1 at most m?
False
Suppose 150*l - 127*l = -94*l - 117. Which is bigger: l or -8/1427?
-8/1427
Suppose 2*m + 2*z = 16, 4*m = -3*z + 191 - 166. Is m less than or equal to -2/24803?
False
Let v = -210.52 - -210.5. Is -0.224 smaller than v?
True
Suppose 4*i = -5 + 21. Suppose 3*x - 7 = -0*x - k, -2*x - i*k = -8. Suppose 0 = 2*u - 2*n - 48, 2*u + x*n + 0*n - 40 = 0. Which is greater: u or 20?
u
Suppose -3*i + 10 = 3*x - 20, -5*x = -2*i - 8. Let n = 8 - i. Let t be -172*(-3)/12*n. Is t <= 86?
True
Suppose 5*j - 5*n - 20 = 0, -10*j + 13*j - 8 = 2*n. Which is smaller: 1/4803 or j?
j
Suppose 7*n + 157 = 1949. Let w = 257 - n. Which is greater: -54 or w?
w
Suppose -4*f + m = -2*f - 763, 0 = 3*f - 5*m - 1155. Suppose -25*r + 30*r = 5*d - f, -5*d = r + 58. Is -71 at most r?
False
Let d = 232 - 229. Suppose 0 = -x + s + 55 - 5, -d*s + 110 = 2*x. Is x at least as big as 52?
True
Let l(z) be the first derivative of -5*z**3/3 - 33*z**2/2 - 6*z + 31. Let q be l(-6). Let b be (-3)/4*24*q/18. Which is smaller: -15 or b?
-15
Let l be (-3)/9 - (-178)/(-6). Let t = -23334 - -23307. Which is bigger: l or t?
t
Suppose 0*w + 5*w - 146 = -4*i, 5*i - 124 = -4*w. Suppose -29*q = 32 + w. Is -1 less than q?
False
Let x(y) = -3 - 86 + 35*y + 11*y**2 - 5*y**2 - 7*y**2. Let c be x(33). Are -16 and c non-equal?
True
Let s(k) = -k. Suppose c + 16 = -4*c + 4*z, 3*z - 12 = c. Let b be s(c). Which is greater: b or 4/19?
4/19
Let p(a) = -a**3 - 8*a**2 + 17*a + 25. Let m be p(-10). Which is smaller: m or 9?
9
Suppose -74*l + 69*l + 81 = 2*g, -5*l + 60 = -5*g. Suppose 7 + 29 = 3*c. Which is greater: l or c?
l
Let a(u) = -499*u - 4941. Let m be a(-27). Is m bigger than 8534?
False
Let f be 0 + (0/5)/2. Suppose -9 = 5*y - 24. Suppose f = -5*j, -s = j + y*j + 1. Which is smaller: s or 39?
s
Let f = 6/2885 + 1500158/20195. Let l = f - 75. Is -1 greater than l?
False
Let b(c) = -c**3 + 2*c**2 + 2*c + 5. Let h be b(0). Let d(f) = 2*f**3 - 6*f**2 + 8*f - 15. Let i be d(h). Which is smaller: i or -1?
-1
Let m = -1726 + 43159/25. Let h(q) = -q**2 + 2*q + 3. Let n be h(3). Is n at most as big as m?
True
Let g = -4465 + 4458. Let i = -55 - -52. Which is smaller: g or i?
g
Let i = -71.79 - -70. Let q = i + -0.21. Let d be 429/(-44)*1/3. Is q smaller than d?
False
Let z = 1118 + -373. Let n = 2233/3 - z. Let r be 4/(-10)*(8 - 3). Which is smaller: n or r?
r
Let q = 90.5 - 90.74. Which is greater: q or 1/60?
1/60
Let h = -1014/13345 - -7/85. Which is smaller: 1 or h?
h
Let l be 7377/(-39) - (2 - 56/26). Is l equal to -188?
False
Let p = 4082 - 281653/69. Let l(b) = b**3 - 4*b**2 - 11*b - 7. Let k be l(6). Which is greater: k or p?
p
Let c = -104386/7 - -14912. Do c and 93 have different values?
True
Let c be (-6774)/4 - 20/(760/(-57)). Let v = c + 1674. Suppose -o - o + 51 = -3*r, 3*o = r + 10. Which is greater: r or v?
v
Let a(t) = 9*t - 1. Suppose -3*n + 15 = -3*m - 12, -3*m = -2*n + 23. Let y be a(n). Let g(c) = -c**3 - 14*c**2 - 6*c - 280. Let p be g(-15). Is p <= y?
True
Let l be 2422/21*87/(-115). Let j = -573209/3910 + l. Let n = 234 + j. Is n at least as big as 1?
False
Let r = 213 + -323. Let g be (-2)/11 - 350/r. Suppose 10*b = g*b - 273. Is b at least as big as -39?
True
Let x be (-11 + 17)*(6/(-4))/1. Let g be (-58)/(-10)*(19 + x). Suppose 0 = s + 3 - 61. Is s less than or equal to g?
True
Let g = -2250471/8 - -281917. Let k(t) = 611*t**3 - t. Let m be k(-1). Let v = m + g. Is v at least as big as -3?
True
Suppose y = u + 662, -2650 = 24*u - 20*u - 5*y. Which is smaller: -653 or u?
u
Let p = -60.695 - -0.843. Let z = p + -0.148. Let i = 60.2 + z. Which is smaller: i or 0.5?
i
Let x = 56.31 + -0.31. Let w = x + -11. Let a = 49 - w. Is a equal to -0.1?
False
Suppose 4*t - 108 = t. Let m be (-4)/46 - 1056/(-506). Suppose -5*j + 178 = c, 0 = m*j + 2*c - 92 + 16. Which is smaller: t or j?
j
Suppose -14 = w + 31*w + 18. Is w less than or equal to -1903/4?
False
Let c = 5.5 - 0.5. Let j = -354.35 - -390.35. Which is smaller: c or j?
c
Suppose -1082 = o + 114*t - 111*t, -5325 = 5*o - 2*t. Is o <= -1065?
True
Let c(k) = k**2 - 7*k - 25. Let b be c(9). Suppose 3*d + 2*t + 42 = 0, -5*d = 5*t + 4 + 66. Let v = -22 - d. Which is smaller: b or v?
v
Let l be -175 - 11 - 0/(7*8/28). Which is greater: l or -190?
l
Suppose 310*v = 311*v - 66. Which is smaller: 9 or v?
9
Let k be ((-6)/(-4))/(344097/408). Is 0 greater than k?
False
Let g be (-15)/20*8/(-3). Suppose 3*c - g*l = c - 2, 4*c - 1 = -l. Let x = -45/49 + 2647/2989. Which is bigger: c or x?
c
Let l be (35/10 - 1)/(2/4). Suppose 7*p = l*p - 6. Let f be (-11 - 0) + (-4 - p)*-2. Which is greater: -26/3 or f?
-26/3
Let s be (-264)/(-22) - (-16)/(-2). Suppose 12*b - s*b + 8 = 0. Which is greater: -23 or b?
b
Let v = -1132.055 - -393.089. Let n = 739 + v. Which is smaller: 0 or n?
0
Let k be (-4)/(-6)*(-405)/10. Let i = -119 - -118. Which is greater: i or k?
i
Let a(h) = -10*h - 2. Let v be a(4). Suppose 13*q = -2*q - 3660. Let d = q - -202. Is v < d?
False
Suppose -s - 4*z = 36 + 18, 0 = 3*s + 4*z + 138. Let i be 6/((18/s)/((-4)/(-14))). Is i not equal to 14?
True
Let v be (4/(8/5))/((-8)/192*1533). Which is smaller: v or -1?
-1
Let y(z) = -z**2 + 4*z + 5. Let k be y(0). Suppose 0 = -k*m - 4*u - 24 + 5, 0 = 5*u + 5. Let t be 1/m*(-225)/10. Is t less than 9?
True
Let m(n) = -n**3 + 11*n**2 + 8*n - 1. Let j be m(12). Let r = j - -49. Suppose -q = w - 64, 0 = 5*w - r*q - 2*q - 320. Is w greater than 65?
False
Let h = 37179/65 + -572. Suppose -3200 = 14*k + 188. Let a = k + 724/3. Do h and a have different values?
True
Suppose -2*r + 1 = 3*b - 1, b - 5*r = 12. Suppose 5*k - 771 = v, -k - b*v + 5*v + 157 = 0. Is k at most as big as 155?
True
Let w = -0.35 - -1.42. Let c = w - 29.07. Which is bigger: -0.1 or c?
-0.1
Let z be -2 - ((-1)/5)/(2408/23870). Which is greater: z or 1?
1
Let u = -8.8 + -41.2. Let i = 49.96 + u. Let p = i + 0.04. Which is smaller: p or -0.1?
-0.1
Let s = -0.119 + 0.064. Do -2.4 and s have different values?
True
Let w = -968846192/935 + 1036199. Let v = 31844/55 - 579. Let x = w - v. Are -1 and x equal?
False
Let w(t) = t + 23. Let m = -14 - 4. Let q be w(m). Let l be q/10*28/34. Are l and 1 equal?
False
Suppose -47355 = -131*m - 131064. Which is smaller: -642 or m?
-642
Let u = -46349/16 - -2897. Is u >= -6.9?
True
Let c = -1262/22361 - 30/379. Which is bigger: 0.2 or c?
0.2
Suppose 75*o = 119*o. Which is greater: o or 32/127?
32/127
Let b = 0.545 + -0.5. Let u = b - 0.174. Let p = -0.099 - u. Which is smaller: 2/9 or p?
p
Let b = -25385 - -25342. Suppose -j - 3*j = -16. Suppose -87 - 81 = j*v. Is b >= v?
False
Let z be (-17)/(-4) - ((-7)/4)/(-7). Suppose -2*q + 1672 = -z*h - 3*q, 4*q = -3*h - 1254. Let b be 187/h - 2/(-4). Are -1 and b equal?
False
Let w(q) = 3*q - 126. Let a be 4*(-54)/(-48)*2. Let m be w(a). Which is smaller: -101 or m?
-101
Let p(h) = 3*h**3 - 5*h**2 - 4*h + 2. Let l be (2 - (-2)/(-1