s be 16/(-40)*((-21)/(-3) + -2). Let p be u(s). Are p and -1 nonequal?
True
Let d(z) = -z**2 - 6*z + 7. Let k be d(-7). Let y = k + 2. Is y at least as big as -3?
True
Let g = -1.3 + 0.6. Let d = 5.2 + -4.91. Let y = -0.29 + d. Which is smaller: y or g?
g
Let x(w) = 5*w**2 + 2*w**3 - 3*w + 2*w + 8 - 2*w - 3*w**3. Let v be x(5). Is v less than -13?
False
Let w = 403.67 - 402. Let p = -1.61 + w. Which is bigger: -0.4 or p?
p
Suppose 35*a - 15 = 30*a. Suppose 3*n + 3 = a*j - 9, -9 = 3*n. Which is smaller: 9/10 or j?
9/10
Suppose o - 67 = 52. Let z be 2/(-4 - 0)*(-68)/o. Which is bigger: 2 or z?
2
Let l(t) = -3*t - 4. Let u be l(-3). Let m be 3/(((-18)/4 + -13)*(-3)/7). Which is smaller: u or m?
m
Let a be 1/(-213)*(-69)/(-115). Is 0 at most a?
False
Let i = -3570 + 110652/31. Which is smaller: i or -2?
-2
Let v = 11 - 20. Let n = -24 + 15. Let c = n - v. Is c equal to -0.05?
False
Let z be (-2)/1 + (2 - 2). Let p be 1 - (1 - (z - -2)). Suppose -4*r = -h - 8, 4*r = -p*h + 2*h + 4. Is r at most 3?
True
Let o = 46 - 203. Which is bigger: -155 or o?
-155
Suppose 0 = 3*f - 3*d - 125 + 53, 48 = f + 5*d. Suppose 0 = 3*v + 4*l - 0*l + f, 2*v = l - 15. Does -8 = v?
True
Let u = 2189 - 2188.9. Let h = -39.079 + 0.079. Is h greater than or equal to u?
False
Let p be (24/(-12))/(-3 + 7 + -3015). Are 1 and p nonequal?
True
Let m(w) = -w + 1. Let s be m(6). Let o(t) = -t**3 - 3*t**2 + 13*t + 15. Let j be o(s). Which is bigger: 36 or j?
36
Let j(o) = -o + 8. Let p be j(-3). Suppose -4*l = 7*l + p. Which is greater: -0.72 or l?
-0.72
Suppose 3*h + 4*x = 7, x + 5 = -3*h - 0. Let f be (3 - 3) + (-141)/9*h. Is f < 48?
True
Let a = -0.219 + 0.319. Do -1.22 and a have the same value?
False
Let k(t) = t**2 + 8*t + 6. Let u be k(-7). Let f = 1198 + -17971/15. Is u <= f?
True
Suppose -8*p + 4*p + 2*b - 4 = 0, 2*p = -5*b + 22. Is -1 less than p?
True
Let a = 602.82 - 592. Let z = 0.18 + a. Let o = z + -12. Is 2/3 less than or equal to o?
False
Let d be 96/112 - 162/(-7). Which is bigger: d or 25?
25
Let p be 34/(-51)*(-4 - 17/1) - 5. Let b be 8/6*66/(-4). Let q = -13 - b. Are q and p non-equal?
False
Suppose 36 = 2*o + 2*o. Suppose -3*w = m - o, 0*w + 2*w - 17 = 3*m. Let p be (-3 - -3 - 1)*w. Is -5 at most as big as p?
True
Let x be -53 + 53 - ((-2)/(-2) - -101). Let w = x - -101. Is 2/25 bigger than w?
True
Let m = 16.4 + -16.17. Let r = -47.23 + 45. Let g = m + r. Is g at most as big as 1/3?
True
Let u = -301 - -297. Are -56/15 and u unequal?
True
Let c = 82 - 105. Let b = 23 + c. Which is bigger: 5 or b?
5
Let y(a) = 269*a + 17. Let k be y(-6). Let o = k - -151717/95. Which is greater: 0 or o?
o
Let g(o) be the second derivative of -o**5/40 - 3*o**4/8 - o**3/3 - 5*o. Let t(j) be the second derivative of g(j). Let r be t(-9). Is 18 smaller than r?
False
Let c(i) = -i**2 + 3*i. Suppose -3*t - 4 = -10. Let a be c(t). Suppose 5*x + 2*s = -5, -4*x + a = -s + 6. Which is smaller: x or -2/23?
x
Let g(l) = -l**3 - 2*l**2 - 4*l + 15. Let y be g(4). Which is smaller: -101 or y?
-101
Suppose 0 = -7*j + 5*j. Let k be j*(-3 + 6 + -4). Is -2/7 != k?
True
Suppose 5*f = -5*o + 595, -506 = -4*o + 3*f - f. Is o at least 860/7?
True
Let g be (215/(-220) - -1)/((-11)/66). Is g < 0.4?
True
Let t(z) = -z - 11. Let j be t(-6). Let f(b) = b**2 + 9*b + 2. Let i be f(-8). Let w be (-6)/4*(-16)/i. Which is bigger: j or w?
w
Let v(m) = m. Let q(f) = 2*f**2 - 12*f + 12. Let s(l) = -q(l) - 6*v(l). Let y(k) = k**2 - 6*k + 11. Let a(j) = -2*s(j) - 3*y(j). Let d be a(-7). Is d < -6?
False
Let r = -1303628 - -269847433/207. Let y = r + 470/23. Let z = -3 + y. Which is bigger: z or 1?
1
Suppose 92 + 18 = -10*r. Is -16 > r?
False
Let b(h) = -4*h + 11. Let o be b(5). Let q be (12/o)/(8/12). Do -2 and q have different values?
False
Let g be (-2)/(-2 - (-8)/5). Suppose 0 = -4*o, 4*h + 4 = g*o - 2*o. Let x = 0.9 + 0.1. Is x > h?
True
Suppose 5*y - x - 72 + 24 = 0, -5*x = -10. Suppose -2*i - 9 = -p - 0*i, p - y = 3*i. Is p at least 8?
False
Let x be (-1118)/(-444)*2 - 5. Which is smaller: 0 or x?
0
Let b(s) = 44*s - 44. Let h be b(-27). Let k be (-2)/9 + h/(-36) + 1. Which is smaller: k or 1?
1
Let l = 9 + -9.1. Let k = -156 - -158.22. Let a = k + -0.22. Which is bigger: l or a?
a
Let a = 27/16 + -107/80. Let z = -13/5 + a. Is z != -3?
True
Suppose -2*h + 19 + 3 = 0. Suppose 2*u - 20 = 4*g, 2*u = -0*u - 4*g - 20. Which is greater: u or h?
h
Let l = -751 - -750.9. Let w = 115.88 - -0.12. Which is smaller: w or l?
l
Suppose -2*c - 14 = -3*z, 3*c + 3*z - 5 = z. Let s(x) = -x**2 - 17*x + 18. Let b be s(-18). Are c and b non-equal?
True
Let k be 16/2 + (-15)/(-15). Let o be (3 - 6 - -2) + -1. Let w = 9 + o. Is w > k?
False
Let n(h) = 2*h + 25. Let r be n(-13). Which is bigger: r or 1/213?
1/213
Let q be ((-3)/(1323/77483))/(1/(-3)). Let c = q - 527. Is 1 at least c?
True
Let d = -5966/13 - -459. Let b = -3 + -1. Let v be 2/(-8) - (-3)/b. Is v less than d?
True
Let a = -323 + 318. Let n = -11.1 - -1.1. Let t = n - a. Which is bigger: -0.2 or t?
-0.2
Suppose -22 = o - 5*k, 0*o - 3*o - 5*k = 26. Suppose 70 = 7*r - 2*r. Let a = r + o. Is a < 6/11?
False
Suppose 3*w - 242 = 5*t, -2*t + 123 + 17 = 2*w. Which is greater: w or 76?
76
Let g(n) = 31*n**3 + n**2 - 7*n + 18. Let l be g(2). Which is smaller: l or 257?
l
Let b = 932 + -933. Are 575 and b equal?
False
Let y be (-14)/6 + 3/9. Let x = -22/29 - 20/203. Which is smaller: x or y?
y
Suppose -18 = -3*o - 2*c, -4*c + 5 = o - 1. Let x be (48/(-2196))/(o/(-9)). Which is bigger: 0 or x?
x
Let m be 1/(-1 + 0 + 0). Let u be -2*m/4*2. Which is smaller: 2/125 or u?
2/125
Suppose -4 + 2 = r, 0 = -h - 4*r - 52. Let a be 8/h + 19/33*-2. Which is bigger: a or -2?
a
Let n(x) = -x. Let v be 1*(0/2)/(-1). Let b be n(v). Suppose 4*r - 8 = -20. Is b != r?
True
Let d = 29 - -3/2. Is 30 at most d?
True
Let j = -0.015 + 21.015. Let q = j + -21.23. Let d = q + 0.43. Do -3 and d have the same value?
False
Let t be (-5 - (22 + -4)) + -5 + 10. Is t at most -6?
True
Let g = 70 - 89. Let w be (3/(0 + 3) + g)*1. Is -58/3 >= w?
False
Let h be (0 + (-15)/(-2))/(774/(-2881)). Let r = 86/3 + h. Which is greater: r or 2?
2
Let j = 1052.92 + -1054. Which is smaller: j or 0.4?
j
Suppose 4*o + 2 = 2*o, -5*n - o + 29 = 0. Let v = n + -1. Let z(h) = 2*h**2 - 13*h - 8. Let s be z(7). Which is smaller: v or s?
s
Let h be (-2)/(-6) + (-1)/3. Let d = -1229/23226 - -23/294. Which is bigger: h or d?
d
Suppose -9*k + 7 = -11. Let m be ((-38)/(-10) - k)/((-2)/(-5)). Let y be 1*3 + (-3)/(-3). Is m greater than y?
True
Let i = 1.4 + -0.96. Let j = i + -0.3. Let z = -0.06 - j. Which is bigger: -4 or z?
z
Suppose -x + 1504 = 2*c + 2*x, 753 = c + 2*x. Let q be 4/(-18) + c/252. Let s = 3 - q. Which is smaller: s or -1/12?
-1/12
Suppose 0 = -3*k - 3, -2 = 2*l - 5*l - 4*k. Let v be (l/(-47))/(4/(-6)). Is 0 at most v?
True
Let i(r) = -r**3 + 6*r**2 - 4. Let l be i(4). Suppose -3*n + l = 2*q - q, 5*n = 25. Suppose 0 = 4*k + p + 11, 3*k - 2*p - 2 = -q. Does -4 = k?
False
Suppose 31 - 59 = -4*y. Is y less than 4?
False
Let c(i) = -i + 1. Let z(h) = h**2 + 10*h. Let g be z(-10). Let q be c(g). Let v be (5512/552 - 10)/(2/(-12)). Is q != v?
True
Let i(l) = l**2 - 10*l + 9. Let p(n) = 3*n**3 - n**2. Let x be p(1). Suppose 5*a + 6 = -b, 0*b + 33 = 3*b - x*a. Let o be i(b). Which is smaller: -1/2 or o?
-1/2
Let k = 1064449/29364 + -1/7341. Is 37 smaller than k?
False
Suppose u + 0*u - 2 = 0. Let x be (-101)/2 - (-8)/4*u. Is x at most as big as -48?
False
Suppose 2*s - 10 = 0, -4*g = -2*g - 2*s - 6. Let q be (-29)/6*(g - 10). Do 10 and q have different values?
True
Suppose 4 = 4*m - 12. Suppose 0 = -5*w + m*w - 2. Let f(c) = 2*c**3 - 2*c**2 + 3*c - 1. Let n be f(1). Is w less than or equal to n?
True
Suppose 2*n = 4*z + 25 - 15, 4*z = 4*n - 12. Let i be (-2)/(-5) + (-562)/(-15). Let p = i - 38. Is p at most n?
True
Let o = 765849/8 + -95608. Let y = -123 + o. Suppose -l = 3*l. Do y and l have the same value?
False
Let r = -1.2 - -1.3. Let z = 16.5 - 17. Let o = 0.7 + z. Which is bigger: r or o?
o
Suppose -15*r = -11*r - 328. Let t = r + -241. Let c be t/195 + 2/10. Is c at least as big as -1?
True
Let g be (-3474)/8064 + 4/7. Is g at least as big as -1?
True
Suppose -36 = -2*q - 2*q. Suppose x + q = -2*d, -2*x - 5*d - 4 = 17