pose 2*k = k + 5. Suppose 0*q - 124 = k*r + q, 3*q = 4*r + 103. Is -23 bigger than r?
True
Let p = 1726 + -1795. Is -59 at most p?
False
Let j be 1/2 - (-113)/(-6). Let y(n) = -n**2 - n + 2. Let x be y(-5). Let a = j - x. Which is greater: a or 0?
0
Let p = 3 + 1. Let o(x) = -x**3 + 4*x**2 - x + 3. Let q be o(p). Does -2 = q?
False
Let g = 11 + -6. Let s = -620 + 625. Let p = g - s. Which is greater: p or 0.1?
0.1
Let m be (-2)/(-868)*2*1. Let i = -2204411633/2170 - -1015858. Let f = m - i. Which is bigger: f or 1?
1
Suppose 3*k + 451 = 3*x - 776, -5*k + 4*x = 2050. Which is greater: k or -413?
-413
Let j(m) = -m**3 - 22*m**2 - 55*m + 29. Let g be j(-19). Which is smaller: g or -73/8?
-73/8
Let g(v) = -v**2 - 4*v - 3. Let z be g(-3). Let x = -23645/13 + 1819. Which is smaller: x or z?
z
Let w(d) = -53 + 22 - 1 + 4*d. Let k be w(5). Which is greater: k or -11?
-11
Suppose -4*c = -2*x - 134, 2*c - 4*x + 2*x = 70. Is 34 greater than or equal to c?
True
Let v(h) = 3*h**2 - 5*h + 21. Let o be v(5). Is -2 > o?
False
Suppose -11 + 6 = -5*a. Suppose -a = -5*m + 14. Are -1 and m non-equal?
True
Suppose 0 = 3*v + 33 + 21. Let p = v + 25. Let t = -12 + p. Which is smaller: t or -34/7?
t
Let t be 4/14 - (-32528)/224. Let n(u) = 18*u**3 + u**2 + 1. Let m be n(2). Let x = t - m. Which is greater: -5 or x?
x
Suppose 0 = -w + 6 - 3. Suppose 4*y + 5*s - 98 - 25 = 0, 0 = -y + w*s + 35. Let a be (8/y)/((-58)/16). Do a and 1 have different values?
True
Let n(b) be the second derivative of b**4/4 - b**3/6 + 7*b**2 - 5*b. Let h be n(6). Let m = h - 237/2. Which is greater: m or -2?
-2
Let s = 26.8 + -5.8. Let z = s + -21.1. Are 26 and z equal?
False
Let i = 1 + 0. Suppose 4*m + 48 = -3*q, 0*q + 5*m = -3*q - 51. Let s be (29 + i)*q/(-36). Which is smaller: 11 or s?
s
Let v(x) = 3*x**3 + 5*x**2 + 6*x + 8. Let s be v(-2). Is -13/2 at least s?
True
Let v be (55/(-24) + 2)*-4. Let t(m) = -m**2 + 7*m - 6. Let k(w) = -6*w**3 + w**2 + 2*w + 1. Let y be k(-1). Let l be t(y). Which is smaller: l or v?
l
Suppose -292*g + 286*g = 1332. Which is greater: g or -221?
-221
Let c = 16 + -6. Suppose 0 = 5*q - c + 10. Is q less than 1/106?
True
Suppose f - 67 = -68. Which is smaller: f or -3/7?
f
Let h = 144 + -78. Let l = -395/6 + h. Which is smaller: 1 or l?
l
Let m be ((-1)/(-2))/(3*(-4)/144). Suppose h - 8 = -3*h. Let z = m - h. Which is smaller: -9 or z?
-9
Let l(m) = -m**2 + 10*m + 1. Let k be l(10). Let x be (-20)/6*(-128)/120. Let v = -97/45 + x. Which is smaller: v or k?
k
Suppose 58 = -z + 57. Is z at most as big as 6/481?
True
Suppose -6*l + 17 = -1. Suppose 2 = -p - l. Is -3 greater than or equal to p?
True
Let f = 25 - 46. Let i = 21 - -2. Let u = i + f. Which is greater: u or 0.02?
u
Let m be 5/(119/35*5). Is 0 greater than m?
False
Let y(q) = q + 12. Let b be y(-11). Is -1/10 not equal to b?
True
Suppose -16 = -4*d + 2*s, 4*d + 4*s + 1 + 7 = 0. Suppose -236 + 32 = -4*r. Let y = 207/4 - r. Is y not equal to d?
True
Let h = -1/166 - 40/249. Are 1/4 and h nonequal?
True
Let f = 69 - -1. Is f greater than 71?
False
Let f = 60.69 + 1.31. Let b = 60 - f. Let l be -2*-2*(-1)/28. Which is greater: b or l?
l
Let x = 0.0114 - 1.0114. Which is smaller: x or 7?
x
Let v(h) = 19*h - 61. Let j be v(0). Which is bigger: j or -60?
-60
Let p = 542 - 541.77. Is p bigger than 2.8?
False
Let k be -1 - (-4)/(612/93). Let u = -6477342868/18739871409 - 2/8545313. Let b = k - u. Which is smaller: b or 0?
b
Suppose 10 = -2*z, 2 = -3*b + 2*z + 15. Which is greater: -5/86 or b?
b
Suppose 4 = 2*i - 6. Let v = i - 20. Let p = v - -11. Do -4 and p have the same value?
True
Let c be (-190)/(3*(3 - 4)). Let r = c - 64. Which is smaller: r or 7?
r
Let z(n) = n**2 + 6*n + 3. Let j be z(-4). Let h = j - -7. Suppose -h*x - 21 = x. Is x bigger than -7?
False
Let z be (12/(-40) + 1)*(-27)/(-1008). Which is bigger: 1 or z?
1
Let r(m) = 3*m + 1. Let j be r(-2). Let p(y) = -y**2 + 10*y - 5. Let x be p(10). Is j <= x?
True
Let w = 114.2 + -114. Is 268 at least w?
True
Let n be (-14)/(6/(-3) - -4). Let r be (2/4)/(6/12). Let s = r - 9. Is s != n?
True
Let s = 5788 + -2384655/412. Which is smaller: -1 or s?
-1
Let i = -621 + 638. Is 13 < i?
True
Let x be 8/(-560)*-5*6/7. Which is smaller: x or 0?
0
Let a = 0.049 - -0.831. Let w = 0.12 + a. Which is bigger: 3/8 or w?
w
Let t(b) = -3*b - 14. Let k be t(-4). Let x be 5 + k + -4 + 14/10. Let m = 1.9 + -2. Which is greater: x or m?
x
Let q = 588 + -584. Which is smaller: q or 61/17?
61/17
Let n = -10.6 - -11.6. Let a = 2.98 + -3. Let l = -0.01 + a. Is n bigger than l?
True
Let j = -36.2 - -46.2. Is j smaller than -6?
False
Let v be 9/(-18)*-1*4. Let d be 13/(-104)*(-10 + v). Let y = 4 + -3. Do d and y have the same value?
True
Let o be (-2 + 0)*4/(-2). Suppose 3 = -o*d - 57. Which is smaller: 0 or d?
d
Let n(i) = 30*i + 149. Let l be n(-3). Which is smaller: l or 61?
l
Let l = 13 + 7. Let w be (4 + -6)/(24/l). Do w and -1 have different values?
True
Let g = 179/4 - 45. Suppose 5*b + 34 = 94. Let t be 0/(b/(-4) - -6). Which is greater: t or g?
t
Let t(x) = x**2 + 14*x + 27. Let m be t(-12). Suppose 1 = m*q - 2. Is q at least as big as -2/11?
True
Let l = -23.1 - -17. Let p = l - -6. Is -5 >= p?
False
Suppose a + 2*y = -3*a - 1900, -5*y = 4*a + 1912. Let m be a/153 + -1 + 4. Let t = 6/17 - m. Are t and 1 nonequal?
True
Let f = -489 - -507. Is 0.05 equal to f?
False
Suppose -49 = -5*v - 3*f, -3*f + 41 = -v + 5*v. Suppose 50 = 7*a + v. Which is smaller: a or 8?
a
Let n = -1488 + 25288/17. Is n bigger than -2/5?
False
Let m = -3 - 1. Let g(c) = -c**3 + 4*c**2 + 8*c - 4. Let s be g(5). Let t = s + m. Which is bigger: 2 or t?
t
Let x be ((-2)/42)/(2479/(-469)). Is x at most 1?
True
Suppose -11 = -s - 8. Suppose -3*o + 0*u = -s*u + 27, -26 = 2*o - 4*u. Is o bigger than -3?
False
Let v(l) be the first derivative of -l**4/4 - 4*l**3/3 + 6*l**2 - 3*l + 5. Let g be v(-6). Which is smaller: g or 5?
g
Let y = -4 + 3. Let b be (((-160)/(-690))/(-2))/(4/(-6)). Do y and b have different values?
True
Let b(y) = 7*y + 19. Let v be b(-9). Let r be 8/v - (-37)/143. Which is smaller: 0 or r?
0
Let w = -18 + 25. Suppose -w*x - 9 = -2. Is x > -6?
True
Suppose -19*p = -2*j - 14*p + 14, 2*j - 3*p = 18. Is 12 at least j?
True
Suppose -3*o - 8 = r, -2*o + 5 = -5*r - 18. Which is smaller: -6/385 or o?
o
Suppose 4*t + 92 = 2*o, -3*t = -2*o + 87 + 1. Suppose 41*a - o*a = -66. Let c = 38 + -61. Is a at least c?
True
Let p = -189 + 190. Which is greater: p or -1/210?
p
Let m = 22 + -39. Let j = 14 + m. Let i be (-6)/(-7) - j/21. Which is smaller: 0 or i?
0
Let p be (-336)/210*-8*1. Is 14 smaller than p?
False
Let d = -970 - -1014. Are d and 40 equal?
False
Let t = 33 - 31. Let i be ((-14)/5*-1)/t. Which is greater: i or 1?
i
Suppose -5*m - 125 = -2*j, -m + 5*j - 56 = 2*m. Let c be 8/108*-24 - (-6)/m. Which is greater: 6/11 or c?
6/11
Let l be 1 - 4/(8/4). Let f be 0/l - 105/28. Let a = -18 + 13. Which is greater: a or f?
f
Let k = 327 - 354. Is k <= 1/3?
True
Let b(w) = w**2 - 3*w + 1. Let i be 3/(-6)*-6 + -1. Let m be b(i). Which is smaller: m or 2/7?
m
Suppose 3 = -2*u + 1. Let t = u - 0. Let q = -701 - -21733/31. Which is smaller: q or t?
t
Let o(i) = -i + 1. Let z(j) = 2*j**2 - 5*j + 4. Let a(m) = 4*o(m) - z(m). Let q be a(-1). Let p be 3 - (0 - (q + 3)). Which is bigger: p or -3?
p
Let o be 62/14 + 21/(-49). Suppose 3*l + 3*a = 12, -o*l + 16 = -a - 20. Suppose -2*g - 21 = 3*m, 3*g - l*g - 3*m - 66 = 0. Is -16 at most g?
True
Let g = 59 + 30. Is g not equal to -2?
True
Let j be (-12)/6 + (-2251865150)/474. Let i = 14249803/3 + j. Let u = i + 838. Which is smaller: u or 1?
u
Let z = -31 + 20. Let v(i) = -i**3 - 11*i**2 + 3*i - 11. Let q be v(z). Let s = q + 23. Are s and -20 nonequal?
True
Suppose 9*n = 48*n + 4095. Is -100 less than or equal to n?
False
Suppose -4*b - 4 = -5*b. Suppose -5*f + f = -b*o + 24, -3*o = f + 6. Let y be 3/(f/2) - -3. Is 3/5 greater than y?
False
Suppose -6*n = 61 - 169. Suppose k + k = n. Let z be (18/27)/(56/k). Is 0 equal to z?
False
Let l = 168 - 167. Let u be 27/l*(-1)/((-12)/(-8)). Is -21 less than or equal to u?
True
Let h = 31 + -30.85. Let p = h - 0.85. Is p less than 0.3?
True
Let i = -30 + 34. Suppose u + 3*t = 8, -6 = -u - i*t + 2*t. Suppose -k + 9 = -4*