s -23 = u?
True
Let n(g) = -g**3 - 16*g**2 - 16*g + 169. Let o be n(-14). Which is smaller: o or 2/8437?
2/8437
Let s = -194625 + 11872448/61. Is s at most 4?
False
Let s = -1931/1917 + 31/27. Which is smaller: 1 or s?
s
Let u(y) = y**3 - 11*y**2 - 144*y + 14. Let m be u(-8). Let t(r) = -r - 6. Let x be t(-5). Let h(s) = -50*s**2 - 1. Let a be h(x). Which is greater: m or a?
m
Let y(m) = -34593 - m**3 + 9*m + 34593. Let s be y(3). Is s greater than or equal to 3/17?
False
Suppose -6*l = -7*l + 1270476. Let t be (l/10624)/(75/4). Let k = 6/2075 - t. Is k >= -5?
False
Let d be ((-187)/(-66))/(-17) + 4/24. Which is smaller: d or -3/1475?
-3/1475
Suppose 4*g + 2*v = 7*g + 39, v = 3*g + 36. Let z be (-8)/(-2) + (g + -1)*-3. Is 40 != z?
False
Let h be 90/10 - 8/((-32)/12). Let s = 3.2 + -3. Which is smaller: h or s?
s
Let c be (-4 - -6) + (-23)/(506/60). Let h = -29 - -28. Which is smaller: c or h?
h
Let p(l) = -176 + 0*l - l + 5*l + 85. Let m be p(23). Which is bigger: m or -3/257?
m
Suppose 0 = 2593*h - 2596*h. Which is bigger: 3/656 or h?
3/656
Let n be (-13466)/6*(-74)/222. Let d = n + -748. Is d smaller than 0.28?
True
Suppose 8*r - 4*r = 4. Let t be ((-8 - -4) + 2)*r/3. Which is bigger: -21 or t?
t
Let t be (-9)/(-5)*(-40)/12. Let y be 0/((-12)/t*15/10). Which is bigger: y or -1/50?
y
Let i be (5/((-50)/(-32)))/(8/60). Suppose -i = 3*w + 6. Let u be (3 - w/(-55)) + -3. Which is greater: 0.02 or u?
0.02
Let u = 361694/127 - 2848. Which is bigger: u or -0.18?
u
Suppose -4*z - 778 = 2*f, 4*f - 1018 = 11*z - 6*z. Is z >= -190?
False
Suppose 4*f + 34502 = 2*u - 4*u, -43129 = 5*f + 4*u. Let b be 36/486 - 157115/27. Let o be b/f + ((-2)/(-6) - 1). Is o greater than or equal to 1?
False
Let c(p) = 9*p**2 + 3*p - 1. Let w be c(-1). Suppose 5 = -l + 2, 0 = -t - w*l - 13. Let i = t + -6. Is i at most -1?
True
Let g(h) = h**3 + 4*h**2 + 1. Let k be g(-2). Let w(b) = 1463*b + 1477. Let y be w(-1). Are y and k non-equal?
True
Suppose -5*h = 5*r - 4*r + 9, 14 = -2*h - 3*r. Let d be 196/240*(25/8 - 3). Let x = 1/32 + d. Is h at least as big as x?
False
Let q(h) = h**2 + 63*h - 53. Let g be q(-58). Which is bigger: g or -339?
-339
Suppose -2*c - 8554 = 2*a + 14222, -11391 = c + 4*a. Is -11387 smaller than c?
False
Let a be (-129)/(-18)*-3 + (-1)/(-2). Let n(b) = -b - 80. Let k be n(a). Is k > -59?
False
Let v = -2866 + 2739. Which is smaller: -505/4 or v?
v
Let a = 263564/8505657 + -1/46479. Is -1 bigger than a?
False
Let z = -218 + 154. Suppose l - 1 = -4*c, 11*c - 7*c = 0. Which is smaller: z or l?
z
Let y(c) = 204*c**3 - 2*c**2 + 3*c - 1. Let d be y(1). Let x = d - 339. Which is bigger: -136 or x?
x
Suppose -5*h + 55 - 175 = 0. Let b be ((3/5)/(7/(-35)))/(-1). Suppose b*n = -n - 92. Is n < h?
False
Let i = -43 - -46. Let u be -65 + (14/21 - 5/i). Is -66 != u?
False
Let g = 890.33 - 882. Let j = g - 9.2. Let o = -0.77 - j. Do -13 and o have different values?
True
Suppose -y + 13668 = -82*r + 87*r, 5*r - 3*y - 13656 = 0. Which is bigger: r or 2732?
r
Let o(c) be the third derivative of c**6/120 - 3*c**5/20 - 7*c**4/8 - 5*c**3/3 - 196*c**2. Let r be o(11). Let l = -1975317/271 - -7289. Is r smaller than l?
False
Let g = -7707 - -7842. Is 161 greater than g?
True
Suppose -9 = v + 5*s - 1, 8*v - s + 64 = 0. Let n = -14 - -7. Let r = 2 + n. Is r less than or equal to v?
False
Let i = -567 + 567. Let a be 44/8492 + i + 0 + 0. Which is greater: -1 or a?
a
Let i be (0 + 131)/(23 + -22). Suppose -y - 34 = 3*z, 11*z = -5*y + 9*z - i. Which is bigger: y or -20?
-20
Suppose -z - 2*k + 64 = z, -3*z + k + 108 = 0. Is z < -5?
False
Let r be -6 + 2360/50 + (-4)/20. Let l be (-369)/r - 990/(-106). Are -1 and l non-equal?
True
Let h be (-1 - (1 + -5)) + 2 + -4. Let y(k) = -240*k**2 + 2*k - 2. Let b be y(h). Let m be b/(-595) - 4/34. Which is smaller: 42 or m?
m
Let a be (30/(-195))/((-9)/2106). Let u(s) = s**3 + s**2 + s + 34. Let j be u(0). Do j and a have different values?
True
Let s(r) = r**3 + 5*r**2 - 7*r + 1. Let z be s(-5). Suppose -18*u = -6780 - 2796. Suppose 3*t = 640 - u. Is t less than or equal to z?
True
Suppose -5*d + 361 = u, 0*u - 2*u = 3*d - 694. Let h = u + -380. Is h less than -39?
False
Suppose 4*t + 5*s = -10542, 402*t + s + 13167 = 397*t. Which is bigger: -5263/2 or t?
-5263/2
Suppose 5*n + 12 = -3*y - 1, n = 1. Let h = 1213/21 - 54094/1155. Let o = h + -184/11. Is y equal to o?
False
Let c(h) = -5*h - 15. Let f be c(-3). Let k be (2 + 100330/4)/((-186)/16). Let b = 2158 + k. Which is bigger: b or f?
b
Let x = 16783 - 16469. Is x less than -3?
False
Let l = 56 + -25. Suppose 4*i = i - 4*k - 45, -5*k - 45 = 3*i. Let x be ((-9)/i)/(4 + 876/(-220)). Is x at most as big as l?
False
Suppose -11*b = -12*b + 3*p - 76, 0 = -2*b - 4*p - 132. Which is bigger: b or 1/4?
1/4
Let m(z) = 4*z + 8. Suppose -5*o + 433 - 448 = 0. Let l be m(o). Which is smaller: -9 or l?
-9
Suppose -6*t + 26 = 5*c, -2*t = 69*c - 64*c - 22. Is t at most -14/69?
False
Let n be ((-9)/12*-2)/(66/264). Is n less than 7?
True
Let d = -2546 + 1969. Which is smaller: d or -576?
d
Let v be (2/4)/(1/24 + 0). Suppose 16 = 3*x - 4*d, -2*x + 6*d - 3*d + v = 0. Let s = 303/28 + -208/21. Is x <= s?
True
Let c(w) = -w**2 + 45*w - 31. Let a be c(31). Let j = -405 + a. Is -42/43 less than j?
False
Let u = 227 - 2269/10. Let k = 26/7 - 116/35. Let g = k + u. Which is bigger: 24 or g?
24
Let r(t) = -t**3 - 3*t**2 + 4. Let s be r(-2). Let o = -14585 + 539646/37. Which is smaller: s or o?
s
Let n = -1.766 - 340.234. Which is bigger: 2/3 or n?
2/3
Let w = 513 + -520. Let u be (-1326)/42 + w + 5. Which is smaller: u or -35?
-35
Suppose -2*k + 4*u - 8 = -k, -5*k + 3*u - 6 = 0. Let y be (-1)/(65/(-20)) - k. Let q(t) = 8*t + 145. Let s be q(-18). Which is bigger: y or s?
s
Let k = -200 + 200. Let b = 13 - 12. Suppose 5*r - 3 + b = w, -5*w + 20 = 5*r. Is k > r?
False
Let h = 935.9164 - 936. Is 3 < h?
False
Let f be (11 + (-6020)/548)*(5 + 38). Is f greater than 1?
False
Suppose 2*w = h - 13 + 36, 0 = 3*h + 15. Let q be ((-18)/(-4))/(w/(-48)). Let r be ((-2)/q)/(18/27). Is r < -2/15?
False
Suppose -98*h = -34*h + 64. Suppose 3*y + x = 281, -x - 6 = -4*x. Let i = 275/3 - y. Which is bigger: h or i?
h
Let t = 434 + -363. Let v = t + -71.3. Which is smaller: v or -2/5?
-2/5
Let j be ((-16)/(960/15))/(57/(-24)). Let w(r) = -r**2 + 2*r + 1. Let m be w(0). Is j <= m?
True
Let u be -687*(3 + 84/36). Is u at most as big as -3664?
True
Let w be -2*(2/2)/((-2)/(-20)). Let k be 4 + ((-25)/2)/((-17)/(-34)). Which is smaller: k or w?
k
Let k be 15/(6 + -9) - 3. Let j be 132/(-15)*(-3 - k). Which is bigger: j or -131/3?
-131/3
Let t = 2/88185 - -2377069/173107155. Is t greater than -1?
True
Let q = -71 - -64. Let o be q + 318/(-504) + 0 + 0. Let z = 54/7 + o. Which is bigger: 1 or z?
1
Let o(h) = h**3 + h**2 + 18*h + 57. Let z be o(-4). Let a be z/(-189) + 85/69. Which is smaller: a or 1?
1
Let k = -499 + 31. Let f = k + 6555/14. Which is bigger: f or -0.6?
f
Let f(y) = 9*y + 15. Let v be f(-1). Let i be (-10 - 104/(-8)) + v/(-11). Is i at most 2?
False
Let i = 608.49 + -611. Let q = -5.51 - i. Let k = 11 - 17. Which is greater: k or q?
q
Let d(p) = -53 - 27*p - 6*p + 28 + 3*p**2. Let b be d(11). Which is smaller: -27 or b?
-27
Let k(j) = 11*j**3 + 5*j**2 - 31*j + 10. Let g be k(3). Suppose 144*b - 151*b + g = 0. Is b at least 37?
True
Suppose t + 13 = 4*z, 2*t - 14 = -3*z + z. Suppose 5*w = z*o - 5*o, -5*o = 3*w. Suppose -2*k - 1 = -3*b, 2*b - 4*k - 5 - 1 = w. Is 2/53 less than or equal to b?
False
Let n be (-7)/(-28) - (-567)/(-2556). Let q = 57687/253328 - 21/3568. Let i = n + q. Is i at least as big as 3/7?
False
Let v(o) = 3*o - 2*o**3 - 12 - 2*o - 4. Suppose -3*f + 6 = 5*h - f, 0 = h - 2*f + 6. Let u be v(h). Is u smaller than -15?
True
Let l = 9586.1 + -9586. Let g = 1 + -3. Let t be (27/(6/g))/(-4). Which is bigger: t or l?
t
Suppose 3*a - 5*w - 18 = 0, 2*a - a - 3*w - 10 = 0. Let r be ((-110)/(-30))/11 - (-20)/3. Let b be (20/(-330))/(((-42)/(-45))/r). Is b less than a?
True
Suppose -2*f + i - 6 = 0, -2*f = -6*f + 3*i - 8. Let c = -83/14 - f. Which is smaller: c or -1?
-1
Let o be (-2)/2*7 - -3. Let d be (2 + o)/((-4)/(-124)). Let q be (d/3)/(((-32)/6)/2). Is q > -0.1?
True
Let q(d) = 2*d**2 + 4*d - 3. Let h be q(2).