y = -91 - -156. Suppose -30 - y = -5*c. Let r be (-4)/(-10) + (-616)/(-35). Which is bigger: r or c?
c
Suppose 2*i = -10*i. Suppose -3*y - 4*a - 230 + 89 = i, 98 = -2*y - 4*a. Which is smaller: y or -42?
y
Let y be (198/(-1386))/(2/(-2674)). Which is smaller: 190 or y?
190
Suppose 3*y - 3 = -6. Which is bigger: y or -22?
y
Let n(k) = -k**3 + 13*k**2 + 3*k - 6. Suppose 60 = 2*w + 2*w - 2*t, -2*w = 3*t - 14. Let i be n(w). Is 32 at most as big as i?
True
Let n = 9 + 0. Let p = n + -7.6. Let c = p + -1.2. Which is greater: c or 4?
4
Let a(k) = -k**3 + 6*k**2 + 4*k - 15. Let j be a(6). Let g be j/2*(-40)/(-15). Let b = 7 - 29/4. Which is smaller: b or g?
b
Suppose 0 = 6*b - 326 - 178. Do b and 83 have the same value?
False
Suppose 3*u = -2*k - 3, 0 = -5*u - 6 + 1. Suppose 11*i = -565 - 667. Let r = i - -112. Is r != k?
False
Let b = 18.01 - -0.99. Let y = b + -19.2. Which is greater: 20 or y?
20
Let n = -2295 - -319006/139. Suppose 0 = -5*t - 4 - 1. Is n > t?
True
Let s = -3 + 13. Let n be 42/(-15)*(-14 - -9). Let c = s - n. Which is greater: c or -5?
c
Let m(a) = -a**3 - 7*a**2 + 1. Let w be m(-5). Let h be (-2)/7 - (56/w)/4. Let f = -41/2 - -21. Which is bigger: h or f?
f
Let h be 11*(2 + 0 + 0). Let q(m) = 5*m**2 - 12*m - 22. Let g be q(-2). Is h equal to g?
True
Let v = 1 - 16. Let p = 13.7 + v. Is 0.1 > p?
True
Let s(x) = x**3 + 12*x**2 + x + 4. Let m be s(-6). Is 213 < m?
True
Let f = -111 + 125. Let z be (-778)/f - 32/(-56). Is z at least -53?
False
Let a = 92 - 297. Which is smaller: a or -204?
a
Let r = -963 - -10533/11. Which is smaller: 2 or r?
r
Let h(n) = n**3 + n**2 + n + 10. Let v be h(-5). Is -93 less than or equal to v?
False
Let b be 5904/(-14085) - 4/(-10). Is b < -1?
False
Let o be 5377/(-190) + 3/10. Is -30 at least o?
False
Let r be (-60)/96*(-3 + (-17)/(-5)). Which is smaller: 2.48 or r?
r
Let o(j) be the third derivative of j**4/12 - 14*j**3/3 - 2*j**2. Let c be o(13). Is -4/5 at least c?
True
Let x be -3 - 38/(-22) - -1. Let l be 2*-2*2/8. Let u = l + 1. Which is smaller: u or x?
x
Let g be (-9)/1 + 18 - -16. Is g at least 1.1?
True
Let m(q) = 6*q**3 + 8*q**2 + 4*q + 8. Let l be m(-3). Which is greater: l or -95?
l
Suppose d + 6*n = 3*n + 4, -n = d. Let m be 2/(-3)*d/(-6). Let o(l) = 15*l + 148. Let k be o(-10). Are k and m non-equal?
True
Suppose 2*z = -0*z + 8. Suppose 0 = 2*g + z*p - 18, -3 + 7 = 4*p. Suppose 2*y + 4*h = g + 3, -h = -5*y + 14. Which is bigger: y or 2?
y
Let u(p) = -2*p**3 + 2*p**2 + 2*p + 2. Let q be u(-2). Which is smaller: 19 or q?
19
Let w = 0.139 + -0.439. Let l be ((-24)/(-98))/(12/42). Which is bigger: w or l?
l
Suppose -5*v = -7*v - 22. Let j(i) = 11*i + 2 + i**2 + 8 + i. Let s be j(v). Which is greater: -3 or s?
s
Let x be -5*-1*8/20. Let z be (-3 + x)/(4/(-20)). Let k = 4 - -2. Is k < z?
False
Let t = -99 + 100. Let d be (-6)/(-4)*8/(-678)*t. Which is bigger: -1 or d?
d
Let g = -1.783 + 0.783. Is 0.47 smaller than g?
False
Let r = -1574/5 + 316. Let c = 20.5 - 20.6. Which is smaller: c or r?
c
Let r(n) = -3*n - 2*n - 2*n**2 + 29 + 5*n + n. Let o be r(0). Suppose -y + 3*j + j = -10, -j + o = 5*y. Is y bigger than 6?
False
Let u(b) = -20*b**2 + 99*b + 11. Let a be u(5). Let t = -7 + 2. Which is smaller: t or a?
t
Let b = 0.504 - 0.434. Is b greater than or equal to -2/65?
True
Let b = -86579/4 + 21794. Do b and 150 have the same value?
False
Let n be (-558)/(-42) - 13 - 48/(-28). Suppose 5*o - 26 + 1 = 0. Suppose 2*z = -17 + o. Is n <= z?
False
Suppose 5*r - 139 = 366. Is r at least as big as 101?
True
Let v(f) = f - 6 - 7 - f - f. Let c be v(0). Let p be 5*(-5)/(75/42). Which is bigger: p or c?
c
Let k be 1/(-7) - 417/(-2772). Let i = k - -1/396. Is -1 greater than i?
False
Suppose 6 = 11*c - 5. Is c at least as big as 1?
True
Let j(h) = h**2 - h - 48. Let s be j(-6). Which is bigger: s or 21?
21
Let t(r) = r**2 - 5*r + 6. Let y = 62 - 58. Let k be t(y). Which is smaller: k or 23/3?
k
Suppose 2*g = -3*g + 2*u + 10, -2*u = 10. Suppose 2*q = 2*y - q + 7, y + 4*q - 2 = g. Let c be 48/80*(-5)/y. Which is smaller: c or 2?
c
Suppose -7*f = -10*f + 4*x - 8, -x = -2*f - 2. Which is bigger: -34/39 or f?
f
Let w = -1993 - -2074.3. Let c = w - 81. Which is greater: 5 or c?
5
Let g be (3515/(-740))/(-2*(-1)/8). Suppose 3*t + 40 = -8. Which is smaller: g or t?
g
Suppose 0*b = b, 2*q + 3*b = 6. Suppose 0 = -3*z + 12, k - 20 = -q*k - 4*z. Let h = 1/5 + -23/165. Which is greater: h or k?
k
Let q be 2/((-8)/132 + 0). Let m be ((-14)/q)/(12/18). Is 1 at most m?
False
Suppose h = 6*h - 210. Let g be -4 - (-3)/(9/h). Is 9 >= g?
False
Let z(k) = -6*k - 5. Let c be z(3). Let g(w) = 3*w - 4. Let l be g(-6). Which is smaller: l or c?
c
Suppose -13*j + 12*j = 0. Suppose -5*k = 2*n - 188, j*n + 160 = 5*k - 5*n. Suppose 0 = k*c - 39*c + 3. Do 0 and c have the same value?
False
Suppose d + 18 = 5*k, 0 = -4*d - d + 4*k - 6. Which is bigger: d or 877?
877
Let g be (-1157)/11 - (-52)/286. Is g < -106?
False
Let c(t) = -6*t. Let s be c(-2). Let n be (-1 - -9) + 3*(-5)/3. Suppose n*p + s = -12. Is -6 at most p?
False
Let b = -21.01 + 0.01. Let c = -22 - b. Is c > 18?
False
Suppose 2*l - 3*z - 390 = -z, -l - 3*z + 191 = 0. Which is greater: 195 or l?
195
Suppose 0 = -3*o - 3*l - 3006, 5*o + 2596 = l - 2414. Which is smaller: o or -1003?
-1003
Let c = -11 + 13. Suppose 3*x - 4*r = -12, -11 + c = -5*x - 3*r. Which is smaller: -7/5 or x?
-7/5
Let v = 1.9 - 2. Let k = 1644 - 1636. Which is greater: v or k?
k
Suppose 21 = 6*w + 69. Is -7 greater than w?
True
Let b = 0.97 - 2.97. Do b and 498 have the same value?
False
Let r(u) = u**2 - 75 + 0*u**2 - 4*u + 26. Let a be r(11). Is 28 at least a?
True
Suppose -4*j = -0*j - 212. Suppose 5*l + j = -2*w - 31, l + 2*w + 12 = 0. Let t = -11 - l. Which is smaller: 1 or t?
1
Let z = -1.9 + -0.1. Let q be (-432)/9828*14/4*-1. Which is smaller: z or q?
z
Suppose -9*k + 3*k - 42 = 0. Let q be -3*2/6 - k. Let j = 7 - q. Are j and 5/8 unequal?
True
Let x(f) = 3*f**2 - 26 - 5*f - f + 10 + 3*f. Let p be x(-3). Which is bigger: 56/3 or p?
p
Let a = 63 - 62.59. Let n = 0.21 - a. Let z = 0.1 + n. Which is greater: z or 0.02?
0.02
Let l(t) = -t**2 - 5*t + 4. Suppose -4*n + 2*v + 4 = 0, 6 = -2*n - 3*v - 0. Let o = -4 + n. Let s be l(o). Is 10 >= s?
True
Let b = 12.27 + -12.5. Let a = 0.23 + b. Let o = -0.54 + 0.7. Is a bigger than o?
False
Let h = 0.37 - 0.07. Let c = h - 0.36. Let j = 0.04 - c. Which is greater: 4 or j?
4
Suppose 3*g + 11 = 4*y, -y + 3*g - 3 = -4*y. Suppose 0 = 2*j + r + 1, j + 15 = -3*r + y. Which is bigger: 5 or j?
5
Let p = 0.0131 + -1.0131. Is p < -304?
False
Suppose -2*z + 5*f - 10*f - 1259 = 0, 631 = -z - 3*f. Does 0 = z?
False
Let p be 1 + (35/210 - 11/30). Is 31 smaller than p?
False
Let v be 2224/(-80) + 4/5. Let g be 5 + (-9)/(v/(-6)). Do 3 and g have the same value?
True
Let m be (-3 - 66/(-16))*(-3)/9. Do 1 and m have the same value?
False
Let f = -406 + 3683/9. Do 2 and f have the same value?
False
Let x(i) = -i**3 - 7*i**2 + 3*i - 1. Let q be x(-7). Let z be -2 - 27 - (-16 - (-10)/1). Is z greater than q?
False
Let j(m) = -m**2 - 22*m + 77. Let c be j(-25). Is c not equal to 6/5?
True
Let x = -43 + 71. Suppose 0 = -y - x + 27. Let j be ((-2)/1)/(20/4). Are y and j unequal?
True
Let m = 375 + -1121/3. Which is bigger: m or -9?
m
Let y = 6.516 - 6.5. Let j = -0.026 + y. Which is bigger: -0.6 or j?
j
Let c = 38.8 + -47. Let h = 12 + -4. Let m = h + c. Which is bigger: -4 or m?
m
Let n(a) = -a**2 - 2*a + 3. Let y be n(2). Let m be 75/(-10)*(-8)/y. Let k be ((-8)/m)/((-6)/9). Which is smaller: k or -1/9?
k
Suppose 2*i + 8 = 4*y, 2 = -0*y + y + 3*i. Suppose 0 = 4*f + 2*v + y, -2*v = f - 3*v + 5. Suppose 0 = -2*h - h. Are h and f nonequal?
True
Let p(d) = -17*d - 121. Let v be p(-2). Which is smaller: v or -84?
v
Suppose 0 = -2*f - 4*z - 16, z - 5*z = -5*f + 16. Let a be ((-2)/(-32))/(5/4 + f). Let h = 2 - 3. Is h smaller than a?
True
Suppose 8*s - 10 + 2 = 0. Which is smaller: s or -62?
-62
Let c = -3.08 + 89.08. Which is greater: c or -1?
c
Let l be -4*2/(-4) + (62 - 65). Which is bigger: 0.055 or l?
0.055
Let n = 0.21 - -0.79. Which is bigger: 538 or n?
538
Let k(i) = i**3 + 5*i**2 - 7*i - 6. Let h be k(-6). Let v(d) = -d**2 + 6*d + 10. Let a be v(7). Let y be (a/(-6) - 0)/