is greater: 11322 or l?
11322
Suppose 0 = -5*l + 8*l - 24. Let t be 26/l*(-38 - -34). Let d = 21 + t. Is d at most 8?
True
Let c be (-12)/((-3564)/(-13995)) - (-7)/3. Do c and -44 have the same value?
False
Suppose -y + 25 = -1. Suppose -22*i - 224 + 8276 = 0. Let o = i - 341. Is y <= o?
False
Suppose 5*f = 0, 0 = -4*g - 2*f - 1 - 3. Suppose -2*v - 504 = 34*v. Which is bigger: g or v?
g
Suppose -2*c - 11*g - 18 = -12*g, -3*c = -g + 27. Which is smaller: c or -5.5?
c
Let f be (((-152)/(-247))/(-1))/(-806). Is 1 > f?
True
Let q(u) = 4*u - 165. Let a be q(44). Suppose -23*t + 82 + 194 = 0. Which is smaller: t or a?
a
Let w be 4 - (-909)/13 - ((-1008)/91 - -11). Suppose 4*t - 264 - 32 = 0. Let c = w - t. Which is greater: c or 10/31?
10/31
Let u be ((-8)/(-3))/((-6)/(-9)). Let p(c) = 12*c**2 + c + 4. Let b be p(u). Which is smaller: 201 or b?
b
Let n = 898/72415 - -18287700/1984171. Let t = n - 4/137. Which is smaller: 9 or t?
9
Let l(m) = m**3 - m**2 - 35*m - 25. Let j be l(-19). Let s be 1617/j + 5/20. Is 0 less than or equal to s?
True
Let z be (100/(-36)*3/(-45))/((-185)/(-222)). Is z less than -8.004?
False
Suppose 4*w + 2 - 10 = 4*a, -a + 2 = 0. Suppose w = -39*i + 43*i. Which is smaller: i or 3/76?
3/76
Suppose 46 = -3452*b + 3429*b. Which is greater: b or -36/83?
-36/83
Suppose -40303*c + 40313*c - 43910 = 0. Which is bigger: 2 or c?
c
Let i be 4194/4 + (-2)/4. Let t = i + -23051/22. Let k(b) = -b**3 - 29*b**2 + 647*b - 573. Let o be k(-44). Is o at most t?
True
Let t(u) be the third derivative of -u**6/120 + 2*u**5/15 + u**4/6 - 31*u**3/6 - 2*u**2 - 6. Let h be t(8). Which is greater: 1/16 or h?
h
Let b(j) = 14*j + 16. Let r be (8 + -4)*(-1 - -3)/2. Let v be b(r). Let m = -71 + v. Is -2/15 less than or equal to m?
True
Let a = -26.57 - -26.7241. Let t = a - -0.0259. Which is smaller: -6 or t?
-6
Suppose 4*q + m = 5, -5*q + 2*m + 19 - 3 = 0. Suppose 0 = -h - 2*c - 113, -2*h + 4*c = q*c + 238. Is -118 at least as big as h?
False
Let a = 1031 - 1042. Let v(s) = -s**2 - 5*s**2 + 5*s**2 - s**2 - 25 - 24*s. Let c be v(a). Which is smaller: 2 or c?
c
Let d be 8 + 1*(469/(-49) - -2). Do d and -13/2 have different values?
True
Let s = 0.07 + 0.05. Let g = 45.6 - 65. Let n = -18.4 - g. Is n greater than s?
True
Let v = -1723 + 1722. Do 10/619 and v have the same value?
False
Let v be -6 - -13 - 1282 - 4. Are v and -1279 equal?
True
Let b(g) = g**3 - 2*g**2 - 20*g - 5. Suppose y - 23 = -28. Let d be b(y). Let o = 80 + d. Is 3/101 less than o?
False
Let v(b) = 10*b**2 - 34*b + 9. Let t be v(6). Suppose 22*h - 19*h = t. Is 55 smaller than h?
False
Suppose 87*f = -101*f + 210*f - 5456. Which is greater: f or 234?
f
Let k = -10274 + 10273.74. Are 62 and k non-equal?
True
Let l = 199 + -5770/29. Let c = 9.6 - -1.4. Let h = 10.9 - c. Is h less than or equal to l?
True
Let m = -8450 - -8349. Is 1/120 <= m?
False
Let o = -4800 + 4412. Is -390 greater than or equal to o?
False
Let j = -8250 - -8253. Which is smaller: 2497 or j?
j
Suppose 2*w - 266 = -2*w - 2*n, -5*w - 2*n + 330 = 0. Let b be (w/(-54))/((-21)/(-315)). Let z = 18 + b. Do 1 and z have different values?
True
Let u be (2/(-214))/(-10*(-39)/3840850). Let r = -67/107 + u. Which is smaller: -92 or r?
r
Suppose 0 = 3*w + 4*a - 9000, w - 1627 - 1373 = 5*a. Are 3001 and w equal?
False
Let c = -1/3441 - 113458/326895. Which is bigger: 0 or c?
0
Let h = -0.67 + 0.4. Let j = -1.13 + h. Let z = 0.6 - j. Are 7 and z equal?
False
Let x be (3*3/(-27))/((-6)/126). Let d be -2 + (5 - x) + -1. Let r be -4 - (-2 + 2 - 1). Which is greater: r or d?
r
Suppose -13 = -28*d - 97. Suppose 4*t + 4*m = -36, 2*t - 18 = 4*t - 4*m. Which is smaller: t or d?
t
Let a(n) = -7458*n - 10377. Let x be a(-4). Is x >= 19455?
True
Let y(g) = -130*g - 1919. Let k be y(-14). Do k and -103 have the same value?
False
Let b be ((-2)/8)/(1/(-988)). Let t = 247 - b. Which is bigger: 1/47 or t?
1/47
Let a be -231 + 230 - ((-90129)/12 - 1/4). Which is smaller: 7508 or a?
7508
Let b = -24.342 - -23.3. Let l = -0.152 - b. Let a = l + -0.69. Which is smaller: a or 0.4?
a
Suppose 0 = -5*i + 13*i - 4056. Suppose 4*p - 26*f = -25*f + 2021, 3*p - 2*f = 1512. Which is bigger: p or i?
i
Suppose -5*c - 4*p + 475 = 0, -3*c + 4*c - 66 = 5*p. Let u be c/2 + 9/18. Is 43 at most u?
True
Suppose 75 - 274 = -w. Let j = 200 - w. Which is greater: -1/12 or j?
j
Let q = -16 + 6. Let f = -1549 + 1547. Which is bigger: f or q?
f
Let c(f) = f**2 - 4*f - 1. Let k be c(4). Suppose 13*j - 289 - 946 = 0. Let m be j/(-105) + 2*(-9)/42. Which is smaller: m or k?
m
Let i = -3379 - -33853/10. Suppose -f + 14 - 8 = 0. Is i > f?
True
Let a = -14366 - -14757. Which is smaller: 9 or a?
9
Suppose 5*p = 13*p + 168. Let z be 18/(-4)*(-120)/18. Let q = p + z. Which is smaller: 2 or q?
2
Let l = 577 + 84. Let g = -631 + l. Which is smaller: 28 or g?
28
Let h be (-1)/((-597)/(-198) + -3). Let k = -66 - h. Let g = 34 - 237/7. Which is bigger: g or k?
g
Suppose -60 = -2*d + 7*d + 5*t, 2*t = -3*d - 40. Let h be 19 + d - (3 + 0). Which is smaller: h or -32/39?
-32/39
Suppose -9*f - 94 + 22 = 0. Suppose 5*v = 1 - 21. Let x be (v/(-6))/(2/(-24) + 0). Is x less than or equal to f?
True
Let p(z) = -z**3 + 12*z**2 - 28*z - 167. Let l be p(11). Is -354 >= l?
True
Let i = -577/3 + 193. Let q = -919837/6 - -152901. Let v = -404 - q. Is v >= i?
True
Let m = 2904 + -7454. Let p be 9/(-20)*m/(-60). Let h = -35 - p. Which is bigger: 0 or h?
0
Let x be (2/342)/((-16)/(-96)). Which is smaller: -6/11 or x?
-6/11
Let c be 1/253 - 2/22 - (-1643310)/18908116. Are c and -1 equal?
False
Let n(a) = -3*a**2 - 16*a - 312. Let o be n(-23). Which is smaller: -3061/2 or o?
o
Let r = -171 + 185. Suppose 12*h = r*h + 8. Which is smaller: -0.12 or h?
h
Suppose -3*g = 2*c + 2*g - 128, -3*g = -3*c + 192. Let o = c + -66. Let t be 1/(o/22) - (-1 + -1). Is t at most as big as -11?
False
Let l(i) = -5*i**2 + 9*i + 10. Let n be l(-5). Let w be n/(-70) + (-4)/(-42)*-3. Suppose 5*p + 1 = 2*d, d - 2 = -w*p + 3*d. Is p < -2/27?
True
Let y be (-13566)/(-308)*(-11)/(165/10). Are y and -28 nonequal?
True
Let c be ((-4941)/450 + 11)/((-2)/(-10)). Is -489 not equal to c?
True
Let z = 646 - 460. Let u be (-34)/z - 2*9/(-27). Is u greater than 0?
True
Let j = 2254/15 - 433/30. Let h = 9871/15 - 3917/5. Let w = h + j. Which is greater: w or 12?
12
Let a(i) = -19*i - 1248*i**2 + 1255*i**2 + i**3 - 14 + 0*i**3. Let s be a(-9). Is -28/5 >= s?
False
Let o = 11.1 - 12. Let t = -8139.5 + 8139. Is o at least t?
False
Suppose -s = -4*h - 13, -8*h + 3*h - 13 = 2*s. Let r = -17 + 19. Suppose 28 = r*x + 2. Does s = x?
False
Suppose 5*t + 1828 + 334 = 4*c, 3*t = -2*c + 1092. Is 541 less than or equal to c?
True
Suppose -w - 785 + 261 = 0. Let x = w + 440. Is x greater than -81?
False
Let r(x) = -20*x**2 + 15*x - 12. Let b be r(11). Is -2265 != b?
True
Suppose 5*k - 320 = 5*m, -5 = -m + 4*k - 54. Let x = m - -72. Suppose -x*w - 4*w - 98 = 0. Which is smaller: w or -15?
-15
Suppose 28*c - 25*c + 1447 = 5*m, 2*c + 295 = m. Is 286 greater than or equal to m?
False
Let b(y) = 148*y - 32. Let i(w) = -24*w + 1. Let m(k) = -b(k) - 6*i(k). Let o(q) = -q + 1. Let h be o(-5). Let n be m(h). Is 1 > n?
False
Let p = 160 + -792/5. Let c = 29899 - 29896. Which is smaller: p or c?
p
Let u be ((-9240)/1078)/(-2 + 30/14). Is u at least 0.86?
False
Let w be 2*1*1/1. Let m be (-17)/(-34) - w/4. Suppose p + 2*b + 3*b - 5 = m, 5*p + 4*b + 38 = 0. Do -10 and p have different values?
False
Let z = 593/182 + -37/14. Let u = z - 163/286. Let s be (5/2)/(260/(-104)). Is s greater than or equal to u?
False
Let q be (((-40)/15)/2)/(8/12). Let b = 306 - 395. Is q < b?
False
Let d = -1 - -1. Let w = -2103 - -2117. Suppose u - w = -2*t, t + 4 = -d. Is u at least 24?
False
Let t = 1.193 - 1.543. Let s = 17.65 - 18. Let n = t - s. Which is greater: 8 or n?
8
Let y(g) = -g**3 + 40*g**2 + 35*g - 2881. Let o be y(39). Is o <= -3/139?
False
Suppose 4*c + 304 = -4*q + 288, -3*c + 5*q = 28. Let g be (-1)/(-2)*70/(-5). Which is bigger: g or c?
c
Let o = 1041 - -295. Are o and 1336 unequal?
False
Suppose 0 = -260*p + 280*p. Let k be 1/(-3) + (-10)/6. Let l be (k/65)/(1/(-5)). Is p smaller than l?
True
Let z = 13900 + -13816. Is -64 greater than z?
False
Let s = -5618/45 + 1408/45