pose 4*f - 20 = -4*q, 2*f = -3*q + 1 + 10. Let y = q + -2. Let k(v) = -v**3 + 4*v**2 - 2*v - 1. Let a be k(3). Which is smaller: a or y?
y
Let s = 15 + -8. Let v be (2/s)/((-2)/1). Let r(b) = b - 1. Let z be r(2). Which is smaller: v or z?
v
Suppose -d + 19 = 4*u - 6*u, 3*u - 4*d + 36 = 0. Let s = u - -7. Is s not equal to -1/11?
True
Let i be (-1)/(-4) + (-5532)/48. Which is bigger: i or -116?
i
Suppose -4*l + 3*x + 7 = 0, -5*l + 3*x = 2*x - 17. Which is bigger: l or 2?
l
Let g(k) = 3*k**2 + 2*k + 1. Let i be g(-1). Let m be 0/(-2 - 0/i). Is m > 0?
False
Let t = 1.7 + -0.7. Is 2/7 greater than or equal to t?
False
Suppose 4*z - z = 12. Suppose 2*l + 18 = -z*c, -c + 3 = -7*l + 5*l. Let b be (2/l)/(2/3). Is b smaller than -2/3?
True
Let m(x) = -x**2 + 12*x + 15. Let o be m(13). Let w be 2/(o/(2 - 6)). Which is greater: -3 or w?
-3
Let q = -6 - -9. Suppose 0 = 3*t - q - 3. Which is smaller: t or 1?
1
Suppose 0 = 5*t + 3 + 2. Let i = -0.93 - 0.07. Is t bigger than i?
False
Let k = -9 + 9. Let v = 11 + -11. Is v != k?
False
Let g(t) = t**2 - 7*t + 4. Let k be g(5). Let u be k/(-9) - (-1 - -1). Let y(p) = -p**2 - 2*p + 3. Let d be y(-3). Is d bigger than u?
False
Suppose -2*z - 8 = -0*z. Is 0 equal to z?
False
Let h = -7/26 + 191/130. Is 1 > h?
False
Let c(o) = -3*o + 5. Let w be c(3). Suppose 5*t + d + 0*d + 15 = 0, -5*d + 33 = -2*t. Is t less than w?
False
Let d = 42 + -43. Are -2/57 and d nonequal?
True
Let d(r) be the third derivative of -r**6/120 - r**5/12 - 7*r**4/24 - r**3/2 + 7*r**2. Let j be d(-3). Which is bigger: j or -1/7?
j
Let p(c) = -c**2 - 10*c + 12. Let v be p(-11). Let j be -1 + 0 + 21/27. Do j and v have different values?
True
Let o be (-2)/(6/(-39))*(3 + 0). Which is greater: o or 40?
40
Suppose -11 = 5*j + 34. Let f = j - -11. Suppose -f*a = -a. Which is smaller: a or 5/4?
a
Let w(g) = g**2 - 24*g - 39. Let h be w(25). Is -10 at least as big as h?
True
Let k = 12 + -13.8. Let l = k + 7.8. Which is bigger: l or -2/7?
l
Let q = -11 - -8. Which is bigger: -4 or q?
q
Let l = 5/2 - 7/3. Is -1/3 < l?
True
Let y be (-2)/1 - (-1 - 3). Suppose -3 = -y*u + 1. Is u not equal to 6/11?
True
Let d be ((-3)/(-14))/((-15)/20). Are d and 0.09 unequal?
True
Let s = -34 - -34. Is s less than 0?
False
Let m be 244/(((-1)/1)/(-1)). Let b be (57/m)/(0 - 1). Let s = b + -1/61. Is 0.4 smaller than s?
False
Suppose -3*v = 2*v - 25. Let w be 4/(-22) + (-46)/(-11). Does v = w?
False
Suppose 24 = 4*r - 8. Let n(c) = -c + 9. Let s be n(r). Is -0.01 at most as big as s?
True
Let p = 10 - 0. Let z be (p - -5)*4/(-4). Is -14 < z?
False
Suppose 0 = h - o + 2, -2*o = -h - 6*o + 18. Which is bigger: 3 or h?
3
Suppose -3*q - 2*t + 3*t = -16, -3*q - t = -20. Let v be 3/8*4/q. Let h = -32 - -29. Which is smaller: h or v?
h
Let c(p) = p**3 + 3*p**2 - 4*p + 1. Let l be c(-4). Do l and 11/8 have the same value?
False
Let l = 10.21 - 0.21. Let u = l - 5. Let n = u - 4. Is 1 bigger than n?
False
Let j(t) = t**2 + 5*t + 1. Let y be j(-3). Let s be y*((-13)/5 - -3). Let r = -11 - -8. Is r greater than s?
False
Let q = -6 + 0. Let c be q/(-57)*(2 + -1). Is -1 at most as big as c?
True
Let f(j) = j**3 - 8*j**2 + 7*j + 3. Let b be f(7). Let c be b/(-4) - (-110)/40. Which is smaller: c or 3?
c
Suppose -13*h + 12*h + 9 = 0. Which is greater: h or 13?
13
Let n = -23 + 23.09. Let y = -0.01 - n. Is 1 greater than or equal to y?
True
Let v = -1.7 + 1.5. Which is bigger: v or -10?
v
Let i = 221 + -69. Which is smaller: i or 0?
0
Let m be 4/2 - (0 - -2). Suppose 3*i + 1 = g, 3*g - 4*i + 2 + 0 = 0. Let b(w) = w + 2. Let s be b(g). Is m bigger than s?
False
Let r be ((-1)/(-3))/(1/6). Suppose 19*w = 14*w + 5. Which is smaller: r or w?
w
Let n(l) = l**2 - 7. Let r be n(4). Let p be 3/r + (-4)/12. Is 0 greater than or equal to p?
True
Suppose 5*x + 2 = 7. Suppose g + u - 6 = -0*u, -30 = -5*g - 2*u. Let j be (-1)/g*6/(-4). Does j = x?
False
Let f = 7 - 6. Let r = 5.2 - 5. Are f and r nonequal?
True
Let a(x) = x - 13. Let r be a(12). Suppose -4*q + 14 = -3*q - 4*u, -3 = u. Let j = 0 - q. Is r >= j?
True
Let t = -43 + 42. Which is bigger: -2/9 or t?
-2/9
Let b = -0.74 + 0.74. Which is smaller: b or 5?
b
Let r(d) = d - 3. Let t be r(3). Suppose -u + 2 = -t. Let y be 0 + 3/(-1 + 2). Which is smaller: y or u?
u
Let c = 15 - 16. Let b be (3 - c)/(-12) - -1. Are b and 1 unequal?
True
Let z be (8/(-48))/((-1)/4). Let d = -0.4 + 0.4. Which is smaller: z or d?
d
Let t = 8 + -10. Let y be (-3)/((3*-1)/3). Let n = y + t. Do -2 and n have the same value?
False
Let i = -82 + 70. Which is bigger: -2/11 or i?
-2/11
Let y = -11 + 12. Let d = y - 0. Do d and 6 have the same value?
False
Suppose -4*p + 156 = -5*h, 0*p + 2*p = 2*h + 80. Suppose 4*t - 64 = p. Let i = -53/2 + t. Which is smaller: 3 or i?
i
Suppose 0 = -x - 0*x + 2. Suppose 5*k - 10 = 0, -x*k = -5*v - 5*k + 21. Let u = v + -6. Is u <= -3?
True
Let r = 236 - 385. Let y = r + 1339/9. Which is bigger: y or -3?
y
Let a = -4.1 - -0.1. Let r = 3 - 3.12. Let z = r - -0.02. Which is greater: z or a?
z
Let l = 56/3 - 18. Which is bigger: -5 or l?
l
Let b be (-28)/(-690) - (1 - (-68)/(-60)). Which is smaller: b or 0?
0
Suppose -5*m - 12 = -4*j + 5, 5*j + 4*m - 11 = 0. Let v = 117/2 - 57. Which is bigger: j or v?
j
Let c(o) = o**2 + 11*o - 23. Let q be c(-10). Which is smaller: -35 or q?
-35
Let w = -12 + 14. Suppose -1 = -3*c + w. Which is smaller: c or 1/5?
1/5
Let q(k) = -4*k - 1. Let t be q(-3). Let x = t + -7. Suppose -x*y + 2 = 6. Which is greater: -4/5 or y?
-4/5
Suppose 0 = 4*n + t + 22, 2*t = 5*n + 6 + 15. Let r = -5 - n. Which is smaller: r or -5/4?
-5/4
Suppose -b + 2*t = -10, 5*b - 2*t - 41 = 1. Let i be 1 + (2/b - 1). Let z = 0.6 + 0.4. Is i >= z?
False
Let w = 4 + 0. Let k be 6/w*-2*2. Let m be (2/k)/(2/6). Is m less than -2?
False
Let r be (0 - 0)/2 + -2. Let g = -4 + 6. Let x be ((-1)/(-2))/(g/(-4)). Which is smaller: x or r?
r
Let a = 143 + -147. Which is greater: -3 or a?
-3
Suppose 0 = 15*h - 12*h. Which is smaller: h or 2/29?
h
Let a = -25 + 28. Which is smaller: 2 or a?
2
Let w be (-5 + 1)*3/(-2). Let n be (4/6)/(4/w). Let b be -2*(-3)/30*3. Which is smaller: n or b?
b
Let i(q) = q**3 + 7*q**2 - 9*q - 12. Let p be i(-8). Let z be 2/6 + 20/(-6). Let f = z - p. Is -1 at least f?
False
Let u be (-2)/(2/(-3)) - -2. Suppose s + 2*o + 3 = 0, 3*s + u*o + 12 = 2*s. Let a be (-2)/9*s/4. Do a and -1 have different values?
True
Suppose -12*b = -8*b + 24. Are -2 and b unequal?
True
Let d be 4 + (-2 - -1 - -1). Let m(v) = -2*v**2 + 2*v + 38. Let j be m(-4). Which is bigger: d or j?
d
Let t = 11 + -7. Let l = t - 8. Which is smaller: -2 or l?
l
Suppose -3 + 8 = 5*n. Let b be 2 + 6/(-72)*26. Is n > b?
True
Suppose 0 = -2*u + 6, -z + 0*z = 5*u - 13. Let q = -1 - 5. Let b(d) = d**3 + 5*d**2 - 5*d + 3. Let t be b(q). Is z not equal to t?
True
Let m = 2.9 - -1.1. Let h = -4 + -2. Let r = m + h. Do 1 and r have the same value?
False
Let r be 30/9*(-2)/(-5). Suppose 4*y - 22 = -5*x - 0*x, 5 = -5*x + 5*y. Are x and r equal?
False
Let k be 2/(-10) - (-28)/70. Let h(o) = -o**3 + 5*o**2 + 7*o - 6. Let b be h(6). Is b smaller than k?
True
Let m = 5 - 7. Let r be ((-18)/12)/(m/(-4)). Let o be (3/(-2))/((-3)/(-8)). Is r bigger than o?
True
Let k = -116/21 + 17/3. Which is smaller: 2 or k?
k
Let v = 9/10 - 13/20. Is 22 < v?
False
Let t(j) be the third derivative of -j**4/4 - 2*j**2. Let g be t(1). Is -6 bigger than g?
False
Let r = 2.6 - 2.7. Are r and 13 unequal?
True
Let f be (16/(-4))/((-4)/(-18)). Let h be (-4 + 3)/((-3)/f). Does h = -7?
False
Let d = 2 - 2. Let l = 0 + d. Let w = -0.1 - l. Does 0.2 = w?
False
Let c be (-4 - 1) + 3 + 1. Let m be (-2)/2*1*c. Which is smaller: 0 or m?
0
Let a be 5/(-7) + (-4)/((-24)/6). Suppose -5*d + 15 = -5*l, -3*d - d + 4 = 4*l. Is l smaller than a?
True
Let v(f) = f**2 - 5*f + 4. Let q be v(4). Are q and -2/69 equal?
False
Let t be 2/(-8) - 2305/(-20). Let n = t - 463/4. Let a(j) = -j**3 - 4*j**2 + 4*j - 5. Let g be a(-5). Which is smaller: n or g?
n
Let c be 2/3 + 72/15. Let w = c + -23/3. Let f = -14/5 - w. Is 1/2 not equal to f?
True
Suppose -i - 2 = 5*q - 5, 5*i - 15 = 2*q. Let g be (-1 - -2) + (-1 - q). Let o be 2*(-2)/8 + g. Which is smaller: o or -1?
-1
Let k(v) = v - 8. Let d be k(2). Let r = 3 - 9. Is d at le