ose 4*p = 0, -3*f - 6 = -k*p - 2*p. Are f and -0.7 equal?
False
Let a(q) = 8*q + 6. Let l be a(4). Which is smaller: 39 or l?
l
Let z(f) = f**2 + 6*f - 7. Let m be z(-7). Suppose m = -8*o + 9*o - 2. Is o >= 4?
False
Let s = -4.8 + 11.4. Let i = 6 - s. Is i less than 0?
True
Let w = -22/39 - -60/91. Which is smaller: w or 1?
w
Let x = -21 + 11. Is -8 less than x?
False
Let k be (-1 - (-2)/10)/2. Suppose -w = -3*y + 4*w - 15, 4*y = -4*w + 12. Let r = -1 - y. Is r smaller than k?
True
Suppose 3*r = -9 - 9. Suppose -29 = 2*m + 4*f + f, -m + f = 4. Which is bigger: m or r?
r
Let t = 94 + -84. Which is smaller: t or 3?
3
Suppose 160 = -5*a + a. Let k = -161/4 - a. Do 0.2 and k have the same value?
False
Let i be (-4)/(-3)*360/(-220). Is i less than -3?
False
Let d(c) = -c**3 + 2*c + 1. Let g be d(-1). Let t = g - 0. Let q = 1/28 + 9/140. Is q less than t?
False
Suppose 0*b - 2*b = 139886. Let y = -10001765/143 - b. Let p = 10/13 - y. Is 1 at least p?
True
Let d(x) = -25*x**3 + 2*x**2 - 2*x + 1. Let o be d(1). Which is smaller: o or -23?
o
Let c be (-120)/225 - 4/(-30). Which is smaller: c or 1/3?
c
Let v be (-67)/(-4) + (-5)/(-20). Let z(u) = u**3 - 9*u**2 + 16*u + 4. Let h be z(7). Which is greater: h or v?
h
Suppose -2*r + 4*n = 9*n - 7, 0 = r - 3*n + 13. Let v = r + 8. Suppose v*j + 18 = 6. Which is smaller: j or -1?
j
Let z = 7.8 - 7.3. Is 11 >= z?
True
Let l(v) = -v**2 + 6*v - 1. Let t be l(5). Suppose -t + 18 = 2*u. Which is bigger: u or 5?
u
Let w be -1 + 2 + -2 + 0. Is 1 greater than w?
True
Suppose -2*l - 11 = l + 4*b, l + 5*b = -11. Is l smaller than 2/59?
True
Let i be 4/2 + 7 + -4. Let w be i/((-25)/(-8)) - 1. Is w at most 2?
True
Let q = -1753/4 + 428. Let z = q + 11. Suppose -5*i + 5*j = -0*i - 20, -3*j = 3*i + 18. Which is bigger: z or i?
z
Let f = 0.1 + 0. Let c = 1.84 - -0.16. Which is smaller: c or f?
f
Let l be ((-20)/6)/((-8)/(-48)). Let y = l + 20. Is 3 greater than y?
True
Let f = 4 + -4. Suppose f = -12*g + 7*g - 15. Let a be (2/10)/(g/(-15)). Is -1/2 bigger than a?
False
Let x(b) = -b + 8. Let c be x(6). Suppose 81 - 27 = 4*t - c*j, 3*j = -9. Let h be 3/t + 2/(-8). Do 0 and h have the same value?
True
Let v = -15 - -16. Which is smaller: -1/22 or v?
-1/22
Let g be (-15)/(-10)*(-2)/(-3). Which is greater: 12/5 or g?
12/5
Let m = 59/246 - 3/41. Let j be 1 - (1 + 0 + 0). Let v = j - 1. Is v at least m?
False
Let l = -5 - -4. Which is smaller: l or -4/3?
-4/3
Suppose 25 - 5 = -5*u. Is u != -3?
True
Let i = -26/375 + 10967/125. Let y = i - 87. Is 0 equal to y?
False
Let s(o) = o + 8. Let y be s(-6). Suppose 0*t = -t. Suppose t = -0*j - y*j. Which is bigger: -2/7 or j?
j
Let n = 0 + 19. Let m be ((-10)/4)/((-4)/(-30)). Let z = m + n. Is -2 <= z?
True
Suppose 0 = 4*c - 4*w - 160, -2*w = 3*w - 15. Let d = c + -173/4. Which is smaller: d or 1?
d
Let c be ((-1)/3)/(3/(-36)). Suppose -v = -2*a + 21, -4*v + 3*a - c*a - 66 = 0. Let s = v + 35/2. Which is greater: s or 0?
s
Let f(n) = -n**2 - 7*n - 2. Let s be f(-7). Let z(o) = -o**2 - 2*o + 1. Let j be z(s). Let u be (-33)/36 - 4/(-6). Which is smaller: u or j?
u
Suppose 2*o + r - 2 = 0, 5*r + 6 + 5 = -3*o. Suppose 4 = 2*y + 2*y. Is o greater than or equal to y?
True
Let p(w) = -w**2 - 8*w - 8. Let n be p(-6). Suppose 5*o + 0*l = -l + 160, o - 3*l - 32 = 0. Let g be (-8)/o + 1/n. Is 0 at most as big as g?
True
Let l be (-13)/(-3) - 10/(-15). Suppose u + 8 = l*u. Suppose -c + 0*o = -2*o - 5, 0 = -4*c - u*o - 20. Which is smaller: c or 0?
c
Suppose -4*x + 16 = -84. Do 24 and x have the same value?
False
Let j be 2/(-30)*(-45)/(-18). Which is greater: -1/4 or j?
j
Let r(n) = n + 1. Suppose -7 = -3*x + 5. Let u(w) = -w + 5. Let g be u(x). Let l be r(g). Is 4/5 equal to l?
False
Suppose 4*x + 0 = 4. Let c(n) = -n**2 - 9*n + 5. Let h be c(-9). Suppose h*d = 3*d - 4. Is x less than d?
False
Let o be ((-2)/4)/(12/24)*1. Which is greater: -5 or o?
o
Let h = -446 + 6241/14. Which is smaller: h or -1?
-1
Suppose 0*y = -4*y + 24. Let z = y - 9. Let w = z - -5. Is 2 > w?
False
Let c = 2.7 - 2.8. Which is smaller: c or 10?
c
Suppose 5*n - 15 = -5. Suppose 2*l - 2*d = -32, 5*l - 6*l - 18 = -2*d. Let w be 4/l*(n - 1). Which is smaller: w or 0?
w
Let d be 6/2 + 144/6. Which is bigger: 28 or d?
28
Let f = 1 + 0. Let r = 7 - f. Let v = r + -5. Which is smaller: 4/5 or v?
4/5
Let z = -64 - -62. Is -10 < z?
True
Let p be (-162)/(-380) - 6/15. Let l = -9/19 - p. Let t = 6 + -4. Which is greater: t or l?
t
Let c = 33 + -98/3. Let o be 0/(-3) + 3/3. Which is bigger: c or o?
o
Let j(x) = x**3 + 4*x**2 - 6*x + 1. Let r be j(-5). Suppose -2*h = 3*s + 2*s - 25, 2*s - 10 = 5*h. Let a be h/3 + r/(-45). Are 1 and a nonequal?
True
Let o be 6*(-3 + 3 + 1). Let l = -9 + o. Which is smaller: l or -4?
-4
Let z = 4 + -2. Let x be 2/((-1)/(-1)) + z. Suppose 3*g = -s - 9, 9 = 5*s - x*g + g. Which is greater: s or 1?
1
Let t be 5/15 - 16/6. Which is smaller: t or -2?
t
Let w be (7/4)/((-9)/(-36)). Which is smaller: 6 or w?
6
Let h be 3/9*(-4 - 2). Let n = 2 + -1. Let x be (n/2)/((-3)/h). Is x equal to -1?
False
Suppose -2*d - 3*d - 10 = 0. Let p be (-4)/(-6)*(-12)/8. Let c(q) = 4*q + 1. Let t be c(p). Which is bigger: t or d?
d
Let u(v) = -8*v**3 + 3*v**2 - 2. Let l be u(-3). Let r be 2/(-9) + l/(-9). Let o be (-4)/6*r/24. Which is smaller: o or 0?
0
Let c(j) = -64*j. Let k be c(2). Let m = k - -898/7. Let n = 0.1 + -0.1. Do n and m have different values?
True
Let m be (((-1620)/(-56))/(-9))/3. Let c = 61/70 + m. Is c at least as big as 0.1?
False
Let i be (-1)/(-4) - (-5)/4. Let j(r) = -r + 7. Let g be 3 - -1 - (-1 - 0). Let p be j(g). Which is bigger: i or p?
p
Suppose -k - 3 = -2. Let f be (2 - (k - -1))*3. Let a = 7 - f. Is 1 at most a?
True
Suppose -p + 3*t + 3 = 0, -8 = 4*p + 5*t - 3. Which is smaller: -3/22 or p?
-3/22
Let x = 12 + -14. Do x and -2 have the same value?
True
Let g = 20.5 - 20. Which is bigger: g or 5?
5
Let x = 3 - 1. Let w be -2*2 + 2 + -5. Let j be (-2)/w + 8/(-28). Which is smaller: j or x?
j
Let t(z) = 2*z**2 + z + 1. Let q be t(-4). Suppose -2*w + q = 13. Let d be 26/w - (-9)/(-3). Is d >= 3?
False
Let c = 36 + -36. Which is bigger: 2/15 or c?
2/15
Suppose -7*r = 9*r. Let p = -23 - -70/3. Which is bigger: r or p?
p
Suppose 4*w + a - 3 = 6, -3*a = 9. Is 6 smaller than w?
False
Let r = -464/531 + -14/59. Is -1 at least r?
True
Let k = 0.5 + -0.1. Let n = -1.6 - k. Let l = 3 + n. Which is smaller: l or -2?
-2
Suppose b = -4*h - 12, 5*b - h + 3*h = -24. Let y be 2/4 - (-11)/2. Let s be 2/4 + (-21)/y. Which is smaller: s or b?
b
Let b = 25/18 + -7/6. Is 0 not equal to b?
True
Let s be (12/(-126))/(-1*(-2)/(-6)). Is s < -0.047?
False
Let z be (-15)/45*3*1. Is 7 bigger than z?
True
Suppose 0 + 8 = 4*t. Let i = t - 0. Let c(g) = -g**2 + 10*g + 3. Let f be c(10). Which is smaller: i or f?
i
Suppose -4*c - 7*a = -3*a + 16, 2*c = -a - 12. Are 0.1 and c non-equal?
True
Let o be 274/8466*240/65. Let f = o - 2/1079. Is 1 >= f?
True
Let q = 52 + -43. Which is smaller: q or 7?
7
Suppose 5*d = 5*b - 15, 3*d - 2*d + 2*b = 0. Let y(v) be the first derivative of -v**4/4 - 7*v**3/3 - 7*v**2/2 - 7*v - 2. Let q be y(-6). Is d <= q?
True
Let y = 16 + -18. Let a be (9/(-27))/(y/84). Is a at least as big as 14?
True
Suppose -2*i - 1 + 7 = 0. Let u be (-142)/14 - i/(-21). Is u less than -10?
False
Let u(p) = p**3 - 10*p**2 + 10*p - 13. Let j be u(9). Let s = -293/12 + 65/3. Which is greater: j or s?
s
Let q be ((-2)/(-4) + 171/6)*-1. Which is smaller: -30 or q?
-30
Let g = 2/501 + 222/167. Are g and 2 unequal?
True
Let z be -2 - (-320)/150*(-9)/(-10). Are -1 and z equal?
False
Let u be (-2)/12 - 45/27. Is u not equal to -1?
True
Let v(j) = -j**2 - j - 2. Let g be v(0). Let z = -179/222 - 1/37. Do z and g have the same value?
False
Let v(d) = -2*d - 6. Let j be (8/2)/(0 - 1). Let q be v(j). Suppose 3*n - 9 = 3*b, 2*b + 7 - q = n. Do 0 and b have the same value?
False
Let f(p) = -2*p**3 + 3*p**2 - 2*p + 2. Let d be f(2). Let j = 5 + d. Which is bigger: -1/6 or j?
-1/6
Let b be (18/(-45))/((-2)/10). Suppose 0 = b*t - 0 - 2. Is t equal to 3?
False
Let u = 0.02 - 3.02. Let y = 2.7 + u. Let k = -0.3 + 0.4. Is k greater than y?
True
Let o = -117 + 116.2. Is -1/3 greater than or equal to o?
True
Suppose 5*g - 4*q = 29, -g = -2*g 