be z(l). Which is smaller: p or r?
p
Let g(j) = j**2 + 3*j + 2. Let a be g(-3). Let c be ((-1)/a)/(36/(-32)). Which is greater: c or 1/4?
c
Let b be 16/(-104) - (-9)/(-26). Let q(i) = i**2 - 5*i - 4. Let j be q(6). Which is bigger: b or j?
j
Let o = -3 + 8. Let g(d) = d - 4. Let r be g(o). Is r greater than 1?
False
Let z(a) = -a**2 - 5*a + 1. Let v be z(-5). Let m be 54*(v + (-9)/6). Let f be (-33)/m - (-2)/(-9). Is f <= 2?
True
Let u = -45 + 21. Let b = u - -25.3. Let f = b - 0.3. Which is smaller: 0.3 or f?
0.3
Let z = 4948/846249 - -8/2059. Let x = z + -5899/822. Let v = x + 7. Which is greater: v or 0?
0
Let k = -2 - -5. Let h be (1/(-1))/(k + -1). Let w = -24.6 - -25. Which is smaller: w or h?
h
Let s be (-48)/(-10) - 3/(-15). Suppose -s*c + 0*c = 15. Which is greater: c or -5/2?
-5/2
Let w = -0.03 - 2.97. Let k = 2.6 + w. Let a = k + 0.3. Is -1 at most as big as a?
True
Let k = 508/2205 + -2/245. Which is bigger: k or 1?
1
Suppose g - 1 = 3. Let f be 16/(-14) + g/28. Which is greater: f or -2/19?
-2/19
Suppose -5*i - 7 = 13. Let f be (27/(-6))/(-3)*-2. Is i less than or equal to f?
True
Let w = 9061/19 + -477. Is w smaller than 1?
True
Let t = 15 - 35. Which is greater: -21 or t?
t
Let d = -2 + 4. Let h be 1/(d/(4/2)). Let o be ((-3)/2 - -1) + h. Which is bigger: o or 2?
2
Let b = -6 + 5.6. Let v = -0.82 + 0.12. Let l = v - -0.6. Which is greater: l or b?
l
Suppose -3*d = -4*n - 13 - 7, 10 = d + 2*n. Which is smaller: d or 23/3?
23/3
Suppose 0 = 4*w + 5 - 61. Let q be (6/15)/(w/(-10)). Let d be (1 - -2) + 5/((-25)/20). Which is smaller: d or q?
d
Let a be (-24)/10 + (-2)/(-5). Let x be (3 + 9)*3/(-9). Which is bigger: x or a?
a
Let n = -3/6026 + -114359/271170. Let h = 1/45 + n. Let r = h - 1/10. Is 2/5 > r?
True
Let t be 23/4 - 1/(-4). Suppose -t = -2*m - 2. Suppose 4*i + 1 = m*y - 3, 4*i - 12 = -2*y. Is 2 smaller than i?
False
Let g = -23 - -35. Let n be g/(-8)*(-1 - -3). Do n and -3 have different values?
False
Let f be (-35)/11 - (3 - 6). Is 1 not equal to f?
True
Suppose -u - 10 = -3*w - 2*w, -5*u = -5*w + 10. Suppose 0 = 4*j, 0 = 3*r - 5*j - 3. Suppose -7*k + 3*k + r = 3*h, k - 3 = 2*h. Which is smaller: u or k?
u
Let u be 137/(-36)*1 - 17/(-68). Which is greater: u or -3?
-3
Let d be (2*1/(-2))/1. Is d >= -1?
True
Let m be (-58)/(-56) + -3 + 2. Which is smaller: 1 or m?
m
Let w = 0 - -1. Let j be (-1 - -1 - 1) + 1. Suppose j = -3*a - 3*a. Is a greater than w?
False
Let k be (-40)/6 - 9/27. Let p(u) = -u - 7. Let n be p(k). Which is smaller: 1/10 or n?
n
Suppose -3*k - 2*o = 7 - 2, o + 1 = 0. Let j = 59 + -297/5. Is j at most as big as k?
False
Suppose 0*m = 3*j + 5*m + 6, 5*m = 5*j - 30. Let c be 0 + (2 - j)*1. Which is bigger: -3/5 or c?
-3/5
Let m = 0.06 - -0.04. Let i = m + 0.1. Is -0.1 at least as big as i?
False
Let j(r) = -r**2 - 6*r. Let c be j(-4). Let x(p) = -2 + 0*p**3 - c*p - 3 - 2 + p**3 - 8*p**2. Let t be x(9). Is t greater than 2?
False
Let s = 50 + -50.16. Which is greater: -0.1 or s?
-0.1
Let x = 2.1 + -0.6. Let q = x - -1.5. Which is bigger: q or -1?
q
Suppose -6*g + 8*g - 8 = 0. Suppose g*w = -4*h + 12, w + 12 + 0 = 4*h. Which is smaller: w or -0.7?
-0.7
Let j = 10.22 + -0.22. Let c = 3 - j. Let p = -11 - c. Is p != -0.1?
True
Let t = 0.4 - 0.8. Let f = -0.7 - t. Let y = 1.3 + f. Which is smaller: y or -2/3?
-2/3
Suppose -34*i - 175 = -29*i. Is -34 bigger than i?
True
Let x be ((-4)/36*-6)/(-1). Which is bigger: x or 0?
0
Let c = 11 - 9. Suppose -r - c*o = 2, -3*r + 4*o - 6 = -0*r. Which is smaller: 1/3 or r?
r
Let u(s) = s**3 - 3*s**2 - 5*s + 4. Let i be u(4). Is i not equal to -4?
True
Suppose 3*u = 7*u - 168. Let h = 78 - u. Let m be 8/h + (-2)/9. Which is smaller: 2/5 or m?
m
Suppose -2*p + 2 + 1 = -i, -4*i = 5*p + 12. Is p bigger than 1?
False
Let o(s) = -s**2 + 1. Let m be o(-2). Are -4 and m equal?
False
Let n be 0*(2/8 - 3/(-12)). Is -2/23 at least n?
False
Suppose 5*i = -0*i. Suppose -8 = 2*f - 5*f - 5*u, -5*f + 8 = 3*u. Which is smaller: f or i?
i
Let d = 3 + -2.92. Let h = 0.42 - 0.4. Let r = h + d. Is r greater than 1?
False
Let y = 4 + -1. Let h be 5 + y*(-3)/(-9). Which is bigger: h or 5?
h
Let f = 30 + -13. Let l = f + -50/3. Let k be (-2)/(5 - (-6)/(-2)). Which is greater: l or k?
l
Let l = 0.0552 + -53.8552. Let a = l - -49. Let i = -5 - a. Which is bigger: i or 0.3?
0.3
Let j = 113/42 + -4/21. Which is bigger: j or 2?
j
Suppose -2*r - 2*h + 0 = -2, -3*h + 7 = 5*r. Suppose 16 = -y - y - m, 0 = -r*m - 8. Let v be y/(-13)*2/(-6). Which is bigger: 1 or v?
1
Let b = 2 + -4. Let r be (-2)/(-6)*0/b. Which is greater: r or 4/5?
4/5
Let u(y) be the second derivative of -y**4/12 - y**3/2 - y. Let f be u(-4). Let i = -42 - -79/2. Which is greater: f or i?
i
Let r = -74 + 75. Let j be 1*-8*2/(-12). Are r and j equal?
False
Let n(o) = -o**2 - 12*o - 13. Let i be n(-9). Suppose -z + 4*l + i = 4, -12 = -3*z + 3*l. Suppose 2 = 2*r - z. Which is smaller: 3 or r?
r
Let n be 3/4 - (-15)/(-4). Let u = -7 - n. Is -1 smaller than u?
False
Let t be (-4 + (-4)/(-16))/((-4)/32). Is t != 30?
False
Suppose -8 = -8*a + 4*a. Which is bigger: 4 or a?
4
Suppose -5*i + 4 = h - 2*h, 5*i = 5. Let l be 12/4 - 35/11. Is h <= l?
False
Let n be -4 + 50/12 - (-61)/(-6). Is -7 not equal to n?
True
Let a(q) = q**2 - 4*q - 5. Let k be a(5). Let z = -1 - k. Suppose 0 = 3*p - 4*n - 11, -4*p + 4*n = -8 - 0. Which is greater: p or z?
z
Suppose 0 = z + 33 - 36. Let k be (2 + -3)/((-2)/(-4)). Let j = k + 7. Which is bigger: j or z?
j
Suppose -2*t + 2 = -t. Suppose t*d + 8 = 4*d. Do 4 and d have different values?
False
Let o(q) = q**2 + 2*q - 3. Let d be o(-3). Let b be (-1)/8*-9 + (-5)/40. Which is greater: b or d?
b
Suppose t + 9 = -2*s, -3*s - 2 = 4*t + 9. Let o = 0 - t. Let m = -0.4 - -0.2. Are o and m non-equal?
True
Let s be -1*(3 + 19/(-7)). Which is smaller: s or -23?
-23
Suppose 4*t - 9 = 3. Is t != 30/11?
True
Let a = -1 - 1. Let y be -1 + (a + -1 - -9). Let c be y + -3 - 2*1. Is -3/4 greater than c?
False
Suppose 2 + 4 = -3*r. Let t(u) = -u**3 + u**2 + 8*u + 5. Let w be t(-2). Which is greater: w or r?
w
Let m(a) = a**3 + 9*a**2 + a + 9. Let k be m(-9). Suppose k = 3*r + r. Is r != -2?
True
Suppose 6*m = m + 10. Suppose 0 = -3*y + 4*v - 5*v - 1, -v - m = 2*y. Which is smaller: -2 or y?
-2
Let r(v) = -2*v - 2. Let j be r(-5). Suppose -j*h = -5*h + 24. Is h at least as big as 2?
False
Let b be (-1 - 2/(-4))*-4. Suppose 4*l = b*l. Which is bigger: -2/7 or l?
l
Let x(j) = 5*j - 12. Let c(p) = -p. Let s(t) = -6*c(t) - x(t). Let d be s(0). Suppose -3*i + 5*l + 6 = -7, -2*i = -5*l - d. Which is smaller: 2 or i?
i
Let w = 150/259 + 264/37. Let i = w - 143/14. Is i > -2?
False
Let q(v) = -v**3 + 10*v**2 + 11*v + 1. Let z be q(11). Let r be 2*z + (-312)/162. Which is greater: 0 or r?
r
Suppose 2*t - 4*t = 12. Let k be (-1)/2*(-2 + t). Which is bigger: 5 or k?
5
Let f be 3/6 + (-29)/52. Let k = f + 125/364. Suppose -1 = -2*v - 3. Which is smaller: v or k?
v
Let l = 7 - 7. Suppose l*b = -b. Does -1 = b?
False
Suppose 4 = p - 5*a, -3*a + a = 3*p - 12. Suppose -b - 1 = f, -p = 4*f + 3*b + 2*b. Let l be (3/(-6)*2)/f. Which is smaller: l or 0?
0
Let d = -11 - -14. Let z be d/(6*7/(-4)). Which is greater: z or 2?
2
Suppose y - 1 = -3*w, -5*w + 3*y = 2 + 1. Let m(l) = l**2 + l + 2. Let v be m(w). Let n be (v/6)/(1/(-3)). Is n greater than -1?
False
Suppose 3*c - 2 = t, 2*t = -5*c - 9 - 6. Let o = 33 + -59. Let q be o/(-30) + 8/(-12). Is q less than c?
False
Let t(y) = y**2 - 8*y - 3. Let d be t(6). Let k = 21 + -61. Let i be d/k*(-4)/6. Is -1 less than i?
True
Let f = -0.07 + 0.07. Let t = 0.52 - 0.02. Do f and t have the same value?
False
Suppose 2 = -2*o + 10. Suppose 3 = 2*l + l - 3*v, -3*l + 4*v = -1. Suppose 1 - 7 = -l*p - 3*q, 8 = -4*q. Are o and p nonequal?
False
Let y(o) = 3*o - 1. Let d be y(2). Let n be 24/(-36) - (-16)/6. Which is greater: d or n?
d
Let u = -22 + 133/6. Which is smaller: u or 0?
0
Suppose -c + 8 = 3*g, -g + 8 = -2*g + 5*c. Let l be 2/g*(3 + 8). Is l less than 12?
True
Let b = 20 + -20.2. Which is smaller: -2/11 or b?
b
Let x be (-2)/(-4) + (-9)/(-2). Suppose 5*k - h - x = 0, k - 3 = -2*k + 5*h. Which is smaller: k or 0?
0
Suppose -4*c + 10 = -10. Suppose -c = w - 2. Which is greater: w or -2?
-2
Let z = -0.2 + -1.8. 