/12016. Is -1 bigger than y?
False
Let h be 7/3 + -2 + (-5)/(-3). Suppose -4*a + h*j = -2*a - 10, 20 = 4*j. Let o be ((-12)/a)/(4/40*-1). Is 12 at most o?
True
Let y(n) = n**3 + n**2 + 2. Suppose 4*r - 3 = -l, 2*r = r + l - 3. Let i be y(r). Let k be (-1 + (5 - i))/2. Which is greater: -6 or k?
k
Let t be -1 + -1 - (5777 + 6). Let c = t - -2556969/442. Is -1 greater than c?
False
Let m(i) = i**2 - i + 1. Let d(g) = -g**3 + 5*g**2 - 8*g - 5. Let l(c) = -d(c) - 4*m(c). Let w be l(8). Which is smaller: 38 or w?
w
Let g(p) = 3*p**2 + 13*p - 3. Let q be g(-5). Suppose -3*s + 1 - 13 = 0, q = 3*t - s. Let a = 2876/21 - 137. Do t and a have different values?
True
Let a(m) be the second derivative of 1/6*m**4 + 0 + 2/3*m**3 - 28*m + 3*m**2. Let r be a(-3). Is r > -4?
True
Suppose 0 = -5*b + l - 63, -3*b - 2*l = 6 + 37. Suppose 3*g = -15, -5*t - g = -6*g + 45. Which is smaller: t or b?
t
Let z = 53431/80151 - -1/26717. Are 577 and z equal?
False
Let f(h) = -2*h**3 + 3*h**2 + 4*h + 2. Let v be f(5). Let r be (-34)/v - 215872/342. Let l = r + 631. Is l not equal to -1?
True
Suppose 44*t + 32*t - 7*t = -828. Are 50 and t nonequal?
True
Let j be (-4)/12 - 48/(-9). Suppose -j*m - 4 = -3*m. Let t be 3 - (-2 - (-15)/m). Which is greater: t or 14?
14
Let q = 14.599 - 14.537. Let j = -2 + 1. Is j at least q?
False
Let w = 1.76 - 8.63. Let q = w - -6.7. Let l = 1.3 - 0.3. Does q = l?
False
Let a(z) = 153*z**3 - 5*z**2 - 5*z - 1. Let w be a(-2). Which is smaller: w or -1234?
w
Suppose -24 = 5*k + f, f + 7 = -2*k - 2*f. Let y = -7 - k. Suppose -2*a = 5*d + 2*a + 5, 3*a + 3 = -3*d. Which is smaller: d or y?
y
Let h = 1 - 0. Let u = 275 - 274. Let l = u + h. Which is greater: l or 20?
20
Let k be 15/(-40) + 26604/71072. Let o = 35701/244310 + k. Which is bigger: o or 0?
o
Let j = -36 + 114. Let d be (-435)/j - (-5)/2. Is d at most -3?
True
Let u be 6/(-4)*(2/6 + (-1295)/(-105)). Does u = -166/9?
False
Let m = 0.71 + -0.62. Let z = -6886.3 - -6888. Which is bigger: m or z?
z
Suppose 90*v + 272*v = 10402 + 13128. Is 728/11 != v?
True
Suppose 0*g - 14*g = 6146. Let u = g + 4827/11. Is u at most -149?
False
Let m(k) = -k**2 - 11*k - 7. Let g be m(-7). Let t(n) = -g*n**2 + 22*n**2 + 3*n + 22 + 13*n. Let z be t(-13). Is -15 <= z?
False
Suppose -24*m + 8528 = -8*m. Suppose 9*b - 533 = -m. Let d = 2/431 - 936/15947. Which is bigger: d or b?
b
Let j be (-2)/(-9) - 624/(-38948)*(-28)/2. Is j < 1?
True
Let r(g) = -g**3 + 3*g**2 + 9*g + 1. Let c be r(-2). Is 577 < c?
False
Let a = -12 - -18. Suppose -2*b - a = 0, 3*d + b - 3 = -6. Suppose -39*x + 37*x = d. Which is smaller: 7/9 or x?
x
Let q be 592/17 + 132/33. Let x = 3181/85 - q. Let b(z) = -2*z. Let t be b(1). Which is greater: x or t?
x
Let c be (-2)/8 + 45/(-12). Let s(i) = -6*i**2 + 14*i - 2. Let l be s(1). Suppose -q - 31*n = -28*n - l, -3*n + 36 = -4*q. Is q != c?
True
Let k(l) = 19*l**2 - 48*l + 341. Let w be k(8). Is w less than or equal to 1174?
True
Suppose 4*n = -5*b - 61 - 20, b + 3*n + 25 = 0. Let c be b/(-65) + 106/(-380). Which is smaller: c or 0?
c
Let r = -17 + 17.44. Let n = r - 0.04. Let l = n + -0.3. Do -72 and l have different values?
True
Let u(r) = -2*r**2 + 61*r + 264. Let h be u(-4). Let t be (-2)/13 + -1 + 1. Which is smaller: h or t?
h
Let y be 272/5 + (-10)/25. Let j be 186/3 + (-8 - 0/(-1)). Is j smaller than y?
False
Let a = -474 + 1347. Which is smaller: a or 875?
a
Suppose 5*b + z = 27, -b + 0*z = -2*z - 12. Suppose 9*u - b*u - 15 = 0. Suppose 7 = -5*d - 4*p - 34, 5*p = 5*d + u. Which is bigger: -6 or d?
d
Let n = 50945 + -50942.86595. Let a = n - 0.04305. Let o = 0.091 - a. Is o > -2?
False
Let h = 1237 + -35865/29. Suppose -13 = -11*j - 2. Which is greater: j or h?
j
Let f = -92227 + 137326008/1489. Which is greater: 1 or f?
1
Let b = 1632 - 1632. Which is bigger: -27/152 or b?
b
Suppose 4*y = 5*b + 15, -9*b = -8*b - 5. Let x be 4/y*1 + (-54)/10. Is x at least -28/5?
True
Suppose 0 = -3*o, 0 = 2*l - 3*o + 3 - 11. Suppose -859 = -5*k + 4*s, l*k - 6*k = 5*s - 370. Is 174 less than or equal to k?
True
Suppose 5 = 7*d - 2*d. Let k be 24/84 + 366/(-105). Let h = k - -10/3. Are d and h unequal?
True
Suppose 16*y - 21*y = 10. Let x be (189/(-81))/(y/30). Which is greater: 40 or x?
40
Let k = -65.9 - 12.1. Let u = k - -78.66. Let o = -0.76 + u. Which is bigger: o or -1/9?
o
Let f(l) be the first derivative of -19*l - 16 - 9 - 10 + 47 + l**2. Let o be f(10). Which is smaller: o or -3/23?
-3/23
Let u = -103.26 + -4.74. Which is bigger: -0.07 or u?
-0.07
Let p be (-23)/10 - (-177)/590. Which is smaller: p or 1?
p
Suppose 4*h = -3*u - 0*u - 18199, u = 5*h + 22763. Are h and -4551 equal?
False
Let n(b) = 2*b**3 + 13*b**2 - 10*b - 21. Let t be n(-7). Suppose -6*o + 0*o + 24 = t. Suppose -o*f + 5 = s, s - 3*f - 33 = -0*s. Which is smaller: s or 23?
s
Let k = 8 + -6. Let s = -3448 + 3448. Suppose d + s*d = k, -5*d + 82 = 3*v. Which is greater: v or 25?
25
Let i = 10727/4342 + -9305661/2993809. Let r = i - 1/197. Which is bigger: r or -1?
r
Suppose -9 = 3*s - 33. Let y be 12/s - 21/6. Let p be ((-23)/y)/(16/(-32)). Is -23 != p?
False
Suppose -100498 + 406954 = 24*d. Does 12770 = d?
False
Let x be (-98)/(-637) + (-342)/26. Suppose 4*d + 3*o + 79 = 8*o, -2*o + 22 = -d. Which is greater: x or d?
x
Let w be (-1)/23*(-406)/696. Is 1 at most w?
False
Let v = -276000 + 12131027998/43953. Which is smaller: v or 0?
v
Let t = -9698653037/282 - -34392350. Let i = -1/94 + t. Which is greater: i or -36?
-36
Suppose 5*r = -5*u - 290, 0*u = 5*r - 3*u + 250. Let t = 40 + -27. Suppose -t*j + 432 = -21*j. Is r at most as big as j?
False
Let y = -178 + 204. Let c(t) = -t**3 + 27*t**2 - 27*t + 30. Let x be c(y). Suppose -4*g - g = w - 25, -3*g + 32 = 4*w. Is w at most as big as x?
False
Let q be -37 - -39 - (-24946)/(-3) - (-6)/(-9). Does q = -8312?
False
Let a = 467309536 - 57012138179/122. Let t = a - -3072. Which is bigger: -1 or t?
t
Let x = 303499/27 + -11241. Let p be (-2)/5 - (-6)/15. Suppose -3*k + p + 3 = 0. Which is bigger: k or x?
k
Let g = 10.6 + -16.7. Let i = -4.982 - 0.118. Let k = g - i. Is k equal to 19?
False
Suppose -3*y - 248 + 458 = 0. Which is bigger: 77 or y?
77
Suppose -240 = -p - 173. Let f = p - 74. Let w be -5 + -1*(3 + -2). Is w at least f?
True
Let u = 2690 + -3582. Are u and -893 equal?
False
Let t = 3262.9781 + 0.0219. Which is bigger: t or -2/5?
t
Let i be 2/8 - (-153)/12. Suppose -i*c = -11*c - 22. Suppose -1 = -3*u + c, -5*u = -2*l - 52. Which is greater: -17 or l?
l
Suppose -3*g + 5 = -4*l, -g = 4 - 3. Let a be (l - -19)*(-2 - -1). Let u = 26 - 42. Which is greater: a or u?
u
Suppose 4*f + 5*p = -2669, 4*p - 246 - 2486 = 4*f. Do f and -670 have the same value?
False
Let g be 3 + (7/21 - (-20)/(-6)). Suppose 0*p + 1 = -3*p - 5*s, g = -4*p + s + 14. Let k = -34 + 36. Which is greater: p or k?
p
Suppose -14 = 3*g - 4*g. Let f = 316 - 125. Suppose d = 203 - f. Which is smaller: d or g?
d
Let c = 996 + -1056.9. Let z = -59.9 - c. Is z > -0.019?
True
Suppose -1 - 1 = -2*z. Let a = -2/6099 + -30367/390336. Which is bigger: z or a?
z
Let j be ((-2)/(-5))/(64/(-30)). Let h(a) be the second derivative of a**5/10 - 13*a**4/3 + a**3/3 - 53*a**2/2 + 20*a. Let w be h(26). Which is smaller: j or w?
w
Let i be -3 - 124/(-44) - (-429325)/(-572). Which is greater: -751 or i?
i
Let f = 15.7 + -6. Let r = -32.7 + f. Which is greater: 0 or r?
0
Let f be 906/(-1860) - (0 - 4)/4. Let u = -7/62 + f. Is -637 < u?
True
Let g(s) = -s**3 + 10*s**2 + 17*s - 9. Let j be g(11). Let d be (-38)/j*3/(-26). Let p be -1 - 4/(-20)*0. Does d = p?
False
Suppose 0 = -3*q - 15, -g + 69 = -5*q - 209. Let z = g - 253. Is 101 > z?
True
Let x be (-2)/4 + (-4)/120. Suppose 8*z + 121 = 601. Let m = z - 62. Which is smaller: m or x?
m
Let c(o) = o**2 - o - 2. Let p be c(-1). Let y be 5 + 0 + -4 - p. Let s be 25*(-5)/(-5)*y. Is 25 < s?
False
Let l be (-2)/(-11) - (-18)/(-99). Let i = -3385 + 402818/119. Let r = i - 1/7. Is l bigger than r?
True
Suppose b + 75 = 16*b. Let x(h) = -h + 1. Let f(r) = r**2 + 25*r + 10. Let z(j) = f(j) + 2*x(j). Let s be z(-22). Is b greater than s?
True
Suppose -f - 48 = -2*b, 4*b - 98 = 3*f - 2. Let c be b/28 - (-8)/(-14). Let h be -2 + (8/6 - 1). Which is smaller: h or c?
h
Let h = 110 + -110.49. Let d = h -