-116)/(-48) + 4/(-6). Let i be 0 + 13 - (45 - 42). Suppose -i = 3*c + n, -n - 4*n = c - 6. Is o bigger than c?
True
Let j be 6/(-21) - (-4733)/28. Let d = -165 + j. Let l(q) = q**2 + 17*q + 74. Let n be l(-10). Is n less than or equal to d?
False
Suppose 3*p - 3*y - 227 = -5*y, 357 = 5*p - 2*y. Suppose -p*z + 76*z = 186. Do 62 and z have the same value?
True
Let d = 243/31 + 3011/217. Which is greater: d or 21?
d
Let z(q) = 76*q**2 + 148*q - 4. Let r be z(-3). Do r and 234 have different values?
True
Suppose -4*x = -3*a - 269, 96 = -6*x + 7*x + 5*a. Suppose 70 = -v + x. Is v greater than or equal to 2/1835?
True
Let d = 13017 - 12964.7. Is d smaller than -0.17?
False
Let q = 27436 - 686006/25. Is -3 at least q?
True
Let d(m) = -2*m**3 - 22*m**2 - 21*m - 10. Let h be d(-10). Suppose h = 12*g - 13*g. Let o = -823/28 - -206/7. Is g greater than or equal to o?
False
Let p(q) be the first derivative of q**4/4 + 10*q**3/3 - 41*q**2/2 - 23*q + 61. Let j be p(-13). Is j equal to -22?
False
Let a(z) = 29*z + 44. Let h be a(4). Suppose -33*n = -38*n + h. Is n < 37?
True
Let z(k) = -6*k - 208. Let g be z(0). Let v = 208 + g. Which is smaller: 26/37 or v?
v
Suppose 7140 = -5*d + 5*s, -4*d + 2*s + 422 - 6142 = 0. Let u = d + 579961/405. Is 0 > u?
False
Suppose 3*b + 6 = 0, 59*b - 50 = 4*c + 64*b. Let f be 96/(-11) + (-2 - (1 - 3)). Is c at least f?
False
Suppose -4*d = -35*s + 35*s + 24, -5*s + 2*d + 752 = 0. Suppose -5*j + 2*j = -447. Which is bigger: j or s?
j
Let u(y) = y**3 - 15*y**2 + 24*y + 221. Let t be u(11). Which is greater: -5/1106 or t?
t
Let l be 90/102 + -1 - (-4)/34. Let o(m) = m + 1. Let y be o(-9). Let k be y/10 - (-861)/1120. Which is bigger: l or k?
l
Let n = -2 - -1. Let f = -12 + n. Let k = 59679 + -59695. Which is bigger: f or k?
f
Let x be 33/6 - (-2)/(-4). Suppose -3 = x*w - 2*w. Let l be (-90)/11178*6*(-4 + -1 - (-1400)/250). Is l < w?
False
Let v = 0.147 + 7.753. Let n = -8.55 + v. Let s(f) = -f**2 + 12*f + 12. Let h be s(13). Which is bigger: n or h?
n
Let k = -410024/165 + 2485. Let x = -2 + 3. Which is smaller: x or k?
k
Let p = -165329/2534692 - -1/110204. Let k = 0 + 0. Is p at least k?
False
Suppose 16*r = 18*r - 308. Suppose m - 20 = 5*x - 182, -m + 3*x = r. Is m at most -140?
True
Let m = 869.7 + -861.7. Is m less than or equal to -122?
False
Let p be (28/(-42))/((-4)/126). Suppose -s + p = 4*d - 10, -4*d + 5*s = -13. Suppose 5*c + d*f - 4*f = -329, 4*c - f + 270 = 0. Are -68 and c equal?
False
Let b be (90/32)/((-55)/(-44)). Let t = 0.14 + -0.22. Which is bigger: b or t?
b
Let p(l) = -2*l**3 + 91*l**2 + 454*l - 60. Let d be p(50). Is 130 >= d?
False
Let u = 616 - 257. Let s = u + -6823/19. Which is bigger: s or -3?
s
Let r = 29 - 19. Let s(m) be the first derivative of m**4/4 - 10*m**3/3 + 11*m**2/2 + 329. Let u be s(r). Is 109 <= u?
True
Let o be -3 - -22 - (231 + -2402). Is 2187 not equal to o?
True
Let b = -61.976 + -0.024. Let l = -99506 - -99498. Which is bigger: l or b?
l
Let s be -1 + 4 + 8049/(-9 + 4 + 6). Which is smaller: 8051 or s?
8051
Let g be (-4 - -4)*((-1)/15 - 18/(-45)). Which is greater: -6/443 or g?
g
Suppose -o + 0 + 4 = 0. Suppose o*q - 16 = 2*u - u, -32 = -4*q + 5*u. Let z be (-6)/9 + q - 4/12. Is z >= 3?
False
Suppose 4*t - 4*u = t + 112, -2*u = -4. Let z be (t/(-5) - -4) + (-3)/(-1). Let g be 37/(-8) - (z + 0 - 2). Is g at most -1?
True
Suppose 3*g - 5*g = 0. Let l be (-15)/2*(-3 + 368/40). Let k = 47 + l. Is k at most as big as g?
False
Let y(v) = v**2 - 7*v + 7. Let r be y(5). Let f be (-14)/10 - 0 - 100/(-250). Let w be (24/(-126) - 2) + f/(-3). Which is smaller: w or r?
r
Let d be (49/23 - 1) + -1. Let i be ((-4)/12)/(3/(-387)). Suppose i*g - 8 = 35*g. Which is bigger: g or d?
g
Suppose 4*y + 2 = 10. Let x(c) = -3*c**2 + 2 - c**y - 2*c + 0*c**2 + 6*c**2. Let n be x(2). Are n and 5 non-equal?
True
Let o(b) = -37*b**2 - 10. Let n be o(-4). Which is smaller: 0.03 or n?
n
Let n be -311 - -290 - 16286/2. Is n smaller than -8163?
True
Let w(z) = -2*z + 2. Let x(b) = b - 2. Let t(h) = 2*w(h) + 3*x(h). Let u be t(-4). Suppose 2*r + u + 4 = 0. Is r greater than -1?
False
Let r(h) = -3*h + 26. Let t be r(16). Let o be (t/77)/(834/14). Which is smaller: o or 0?
o
Suppose 3*x + 3 = 12, -4*f - 5*x = -359. Suppose -383 + 1013 = 15*g. Let z = g - f. Which is bigger: 2/5 or z?
2/5
Let q(y) = -y**3 + 6*y**2 + 13*y - 40. Let c be q(7). Let n be 336/90 - 8*1/c. Let v(f) = -3*f**3 - f**2 - f - 1. Let d be v(-1). Is d > n?
True
Suppose 621 = -207*b + 184*b. Which is greater: 7 or b?
7
Let n be (((-1)/(-2))/1)/(-47*29/2726). Which is smaller: n or -2/73125?
n
Suppose -16 = 4*w, -w - 15 + 6 = -n. Suppose -7*l = n*l - 2388. Is 198 at least l?
False
Let v be (49/245)/((-33)/75). Is v at most as big as 30?
True
Let p(r) = -r**2 - 7*r - 9. Let v = 89 + -93. Let y be p(v). Let z be (2/1)/(0 - -1). Does y = z?
False
Let p(c) be the third derivative of c**6/120 + c**5/60 + c**4/24 + c**3/2 - 10*c**2. Let g be p(-5). Let o = 104 + g. Which is bigger: o or 12/5?
12/5
Let y(j) be the third derivative of 23*j**2 - 1/6*j**4 - 1/120*j**6 + 0*j + 1/15*j**5 + 0 - 1/6*j**3. Let d be y(3). Are -14/5 and d non-equal?
True
Suppose -3*g + 505 = 4*u, -4*g = 11*u - 6*u - 633. Which is smaller: -1/4 or u?
-1/4
Suppose -14*h + 97 = -155. Suppose h*y - 11*y - 28 = 0. Which is smaller: y or -2?
-2
Suppose -957*t - 5*w - 2977 = -953*t, 0 = -5*t - 3*w - 3731. Which is smaller: t or -740?
t
Suppose 4*i - 3*g = 25, -5*i - 4*g + 6 + 2 = 0. Let h = -3011/2 - -852097/566. Let v = 9112/1981 + h. Is v at most as big as i?
False
Let q(a) = 2*a**2 - a. Let d be q(-1). Let w(c) = 118*c + 479. Let t be w(-4). Suppose k + 7*n + 3 = 8*n, 0 = 2*k - d*n + t. Is -14/5 less than k?
True
Let p = -922703 - -1932449. Let v = -7082843/7 + p. Let x = -2085 - v. Which is smaller: 5 or x?
x
Let g = 3 - 3. Let i be ((-3)/4)/(3/(-4)). Let q be (((-2)/18)/i)/(17/3). Is g less than q?
False
Let i = -153 - -155. Let l be 12/(-9) + i - (-154)/(-6). Which is bigger: l or -23?
-23
Suppose 54*w - 8200 = 29*w. Which is bigger: w or 657/2?
657/2
Let n(g) = 4*g**3 + 8*g - 6*g**3 - 5 + 12*g**2 - 3*g**3 + 6*g**3. Let a be n(-11). Suppose 4*c - 84 = c. Is a at least as big as c?
True
Suppose -2*u + q = 3328, -46*u + 44*u = -5*q + 3320. Which is smaller: -1666 or u?
-1666
Let y = 0.02508 + 0.27492. Suppose -3*v = -0*v - 30. Let f be 3/(-45) - (-4)/v. Is y less than or equal to f?
True
Suppose -3*b - 2*z + 445 = 117, 3*b + 3*z = 324. Let w be (-10)/(-225)*5 - b/36. Do -4 and w have different values?
True
Let w(j) be the first derivative of j**4/4 + 2*j**3 + 23*j**2/2 + 89*j - 245. Let r be w(-5). Is r equal to 18/43?
False
Let y be (2/(-4)*0)/((-82)/41). Is y <= -2/89487?
False
Let c = -1.02 + -0.12. Let j = 1.14 + c. Which is smaller: 10.4 or j?
j
Suppose 3*d + 861 = -5*t + 163, 4*d + 908 = -t. Let h = d - -113. Is h <= -113?
True
Let w be 2*7/14 + -7. Let j be (755/(-10) + 5)/w. Which is smaller: j or 1?
1
Let g be (-2 + 0)*(2 - (12 + -4 - -136)). Are g and 286 non-equal?
True
Suppose 17*n = 12*n + 20. Suppose -n*t - 66 = -2*f, -5*f = -t - t - 125. Suppose f*y - 20*y + 3 = 0. Is 2/159 bigger than y?
True
Let w(u) = -51*u + 2107. Let y be w(19). Are y and 1 unequal?
True
Let a = 24 - 21. Suppose m - 7 = -a*f + 3, 0 = 4*f + 4*m - 8. Let j(o) = -3*o + 12. Let q be j(f). Which is smaller: q or 1/68?
q
Suppose -3*i = -9, 0 = 10*h - 30*i + 26*i + 15302. Which is bigger: h or -1528?
-1528
Let y = 24/5 - 111/20. Let s = -1 - -21. Let r = 14 - s. Is r at most as big as y?
True
Let f be 8/2 - (0 - (-205 - 3)). Let m = 224 + f. Which is smaller: m or 17?
17
Let q be (-1)/((28/(-7))/4). Suppose 7*l + 42 = 5*l. Let y be 28/l*3/19. Is y at least as big as q?
False
Let z be ((-792)/180)/(332/1200*-2). Does z = 8?
False
Let j = 4.7654 + 0.2346. Let p = -1/116 - -943/1740. Let a = -17/60 + p. Which is smaller: j or a?
a
Suppose 0 = 4*a + 16, -86*o - a - 5065 = -85*o. Is -5061 < o?
False
Let c(j) = -15*j + 29*j - 10*j + 9 + 19. Let b be c(9). Which is bigger: 63 or b?
b
Let d = 183 - 173. Let u be ((-78)/(-20))/(15/d). Let r = -0.1 - -0.2. Is r at most u?
True
Let s = -1 - 8. Suppose 0 = 4*l - q + 3*q + 66, -5*l - 3*q - 82 = 0. Let d be (-1)/s + 16 + l. Which is greater: d or -1?
d
Let s = -153 