hich is greater: p or -1?
p
Let y be 6 + (75/10)/(-5). Which is greater: y or -0.2?
y
Let c be ((-10)/(-4))/(4/8). Suppose -2*k - 5 = -1. Let g be (c/(-2) - k)*-2. Is 3 > g?
True
Let r be 3/(-6) + (-98)/4. Which is bigger: r or -27?
r
Let p = 9 + -4. Suppose 0 = p*q - 4 - 1. Let a be (0 - 0)/q - 2. Do a and -3 have the same value?
False
Let w = 1048/7 + -150. Is -0.57 >= w?
False
Let f be (30/12)/(2/(-8)). Is f bigger than -5?
False
Suppose 2*f - t - 4 = -5*t, 34 = -3*f + 2*t. Let c = -6 - f. Suppose 0 = -3*p - c*p + 15, -16 = -2*a - 2*p. Which is bigger: a or 3?
a
Suppose 4*q - 16 = -0. Suppose -x = -q*x. Let f(a) = -a**2 + a - 5. Let k be f(x). Is -4 smaller than k?
False
Let r(w) = w**3 + 5*w**2 - 2*w - 4. Let m be r(-5). Let u be ((-12)/(-10))/(m/20). Suppose h - u*f = -5*f, -3*f - 8 = -h. Is h at least as big as 3?
False
Let z(c) be the third derivative of 1/120*c**6 + 1/10*c**5 - 2*c**2 + 0*c + 0 + 2/3*c**3 + 1/24*c**4. Let q be z(-6). Are q and -2 non-equal?
False
Let g = -10.89 + -0.11. Which is bigger: g or -0.1?
-0.1
Suppose -8*a = -a. Let x = 0 + 1. Which is greater: a or x?
x
Let a(n) = n - 6. Let m be a(6). Suppose 3*t = -g + 1, g - 1 = 3*t - 0. Is t not equal to m?
False
Let s = 2.8 + -5.1. Are s and 1/7 unequal?
True
Let s be (2 + -4)/(20/(-6)). Let n be (8/(-5))/(5/(-25)). Let h be (-2)/(-30) - n/20. Which is greater: s or h?
s
Let r = -0.4 + 0.1. Let b = -2 + 2.03. Let y = b - 0.13. Which is smaller: y or r?
r
Let t be (-12)/16 - (1585/20 - 0). Which is smaller: -79 or t?
t
Let z = -1/5156 - -830119/15468. Let i = z + -53. Which is smaller: -1 or i?
-1
Suppose 0 = 3*z + w - 7, 4*z = w - 4*w + 16. Let i be (-18)/(-14) - 1 - 1/(-21). Which is smaller: i or z?
i
Let o be 0 + (0 - 0/1). Let j be 3/(-6) + (-36)/(-45). Is o bigger than j?
False
Suppose -j = -0*j. Suppose -5*z + 8*z - 6 = j. Let b be 2 - -2*2/4. Which is bigger: z or b?
b
Let k be ((-9)/(-3))/3 - -2. Suppose 5*s = -k*f - 126, -3*f - 72 = 3*s - 0*f. Let y be 33/s - (-2)/9. Which is smaller: y or 0?
y
Let y = 77 + -383/5. Which is smaller: y or -1/18?
-1/18
Let m = 31/12 - 7/3. Let h = -158 + 80. Let o = 704/9 + h. Are m and o nonequal?
True
Let a be ((-2)/3)/(4/6). Let b(q) = -3*q**3 - q**2. Let v be b(a). Let w be 68/144 - v/9. Are w and -0.2 equal?
False
Let h be (-2 - 26/(-18))*-87. Let i = h - 48. Suppose g = -3*z - g - 13, 2*z - g - 3 = 0. Which is greater: z or i?
i
Suppose -6*i = -i. Let m be 36/(-33)*(-3)/(-6). Is i equal to m?
False
Let i(h) = -h**2 - 7*h - 3. Let g be i(-6). Suppose 4*z - p = -g, 0 = 5*z - 4*p + 1. Which is bigger: 0.02 or z?
0.02
Let o = 0.03 + -0.13. Which is greater: 5 or o?
5
Let d = -24 - -22. Suppose 3*v = 2*v - 1. Which is greater: d or v?
v
Let d = 221/749 + -1/107. Which is smaller: d or -0.54?
-0.54
Suppose 3*p - 33 = -c, 0*p + 2*p = -5*c + 22. Let g be (0 + (-1)/p)/(-1). Is g equal to -1?
False
Let o be -1*(0/(-3) - 1). Let b(z) = z - 1. Let k be b(o). Suppose k = p - 3*p. Is p smaller than -1?
False
Suppose -4*u = -13 - 11. Let z be -1 + -2 + 24/u. Which is greater: z or -1/8?
z
Let y be ((-1)/2)/((-244)/(-16)). Is -1 at least y?
False
Let h be ((-35)/3 - -3)*3. Let a be 2/(24/h) - -3. Is a smaller than 0?
False
Suppose -7*a = -6*a - 1. Which is smaller: -0.14 or a?
-0.14
Suppose 3*f - 2*f + 3*c + 13 = 0, 4*c = -3*f - 14. Let w = f + -4. Let x(j) = j**3 + 2*j**2 + 3*j + 3. Let p be x(-2). Which is greater: w or p?
w
Suppose 0 = -4*b - 8, 4*k = 3*k - 2*b + 14. Is 18 < k?
False
Let i be (-45)/10 + 6/4. Suppose 3*k + 28 = -0*k - 5*t, -24 = 4*k + 4*t. Let v be (-3)/4*(3 - k). Is v smaller than i?
False
Let o = 55327/511 - 758/7. Let z = o - -223/292. Suppose -w - 2*w + 11 = 4*t, -4*t = -8. Which is smaller: z or w?
z
Let i = 0 + 2. Let z be (-920)/18*(-60)/1825. Let x = z + -1/73. Which is bigger: x or i?
i
Let b = 1237641/17630 - 3/3526. Let d = b - 70. Which is smaller: -1 or d?
-1
Let w = -51 + 50.69. Is w less than or equal to -1/2?
False
Suppose -5*u + 30 - 5 = 0. Suppose u*n = n + 8. Is 4 less than or equal to n?
False
Let t = 45 - 48. Which is smaller: 2 or t?
t
Let a = 14/3 + -5. Is a at least -6?
True
Let c = 13/48 - -1/16. Let m = -26 + 16. Let x = 11 + m. Is c greater than or equal to x?
False
Let i = -9023545/980186 - -2/28829. Let a = i + 12/17. Which is smaller: -10 or a?
-10
Suppose -3*i - 2*o - 9 = 2*o, 0 = 2*i - 2*o - 8. Suppose p + 4*z + 7 = 0, 3*p - 7 = -0*p + 2*z. Suppose p - 3 = -f. Which is smaller: f or i?
i
Let l = -62.9 + 63. Are 27 and l equal?
False
Let s(d) = -4*d + 3. Let z be s(1). Let r(v) = v**2 + v - 8. Let l be r(0). Are l and z unequal?
True
Let i = -9 + 23. Is i less than 15?
True
Suppose 2*s - 12 = 4*n, 4*n + 4*s + 2 = 14. Let y = 221/70 - 33/10. Which is greater: n or y?
y
Let n = -33 - -13. Let o = n - -23.1. Let c = o + -3. Is c at least -1/2?
True
Let p(m) = -m**2 + 9*m + 14. Let l be p(10). Suppose -2*h = -l*h. Which is smaller: 1/3 or h?
h
Let j(x) = x**3 + 5*x**2 + 5*x + 3. Let s = 5 + 5. Let y = 6 - s. Let u be j(y). Which is smaller: u or 2/9?
u
Let f = 2 - 1. Is 4/7 at least f?
False
Let u be (-62)/28 + (-2)/(-4). Is u smaller than -2?
False
Let s(f) = 16*f - 3. Let h be s(4). Let l = h - 181/3. Let w be (-1)/(-2) - 2/4. Do w and l have the same value?
False
Let p be (-4 - 41)*2/5. Is p less than -19?
False
Suppose -7 = q - 8. Does 1/2 = q?
False
Suppose 0 = j - 0*j. Is j not equal to -3/7?
True
Let m(g) = g**2 - 3*g + 4. Let h be m(3). Let v = 13 - 9. Is v bigger than h?
False
Let p be 104 + (-12)/10 + 10/50. Is p greater than or equal to 104?
False
Suppose -13 = -2*a + 2*m + 5, 3*m = -2*a - 2. Suppose -u - 20 = -a*u. Which is bigger: 7 or u?
7
Suppose -30 = 2*m + 3*m. Let r be 18/m + 2/4. Which is greater: r or -3?
r
Let s = 0.2 + -0.1. Let j be (2/(-6))/((-26)/(-156)). Is s at least j?
True
Suppose 0 = 2*u + i - 501, 1011 = 4*u - 0*i - i. Let t be 160/u + 4/18. Let s = -25/21 + t. Which is smaller: s or 0?
s
Let j = 8 + -122/15. Which is bigger: j or -0.2?
j
Let n(a) be the third derivative of a**6/120 - 2*a**5/15 + a**4/4 + 4*a**3/3 + 2*a**2. Let k be n(7). Is -2/13 at most k?
True
Let r = 13 + -1. Suppose -2*b = b - r. Which is smaller: 3 or b?
3
Suppose -2*z - 248 = 2*z. Which is bigger: -61 or z?
-61
Suppose 5*w + 3*l + 37 = 0, 6*w - 3*l + 8 = 2*w. Let t = w + 7. Which is greater: t or -2?
t
Let k be 858/282 - (1 + 2). Which is bigger: -1 or k?
k
Let h(k) = -k**2 - 4*k. Let q be h(-4). Let l(v) = 9*v - 1. Let i be l(3). Suppose -u + 2 = -2*y, -5*y - i = 5*u - 6. Which is greater: y or q?
q
Suppose 5*p - 40 = 2*d + 3*p, d = 2*p - 15. Which is bigger: -27 or d?
d
Suppose h - 4 = -h + f, 3*f = 2*h. Which is smaller: 0 or h?
0
Let w(o) = -o**2 + 4*o - 3. Let p be w(3). Which is greater: -2/25 or p?
p
Suppose 15 = -4*t - t. Let a be (-20)/14 + (t - -4). Which is smaller: a or 1?
a
Let r(p) = -p**2 - 6*p - 2. Let f be r(-5). Suppose 2 = -5*j + 7. Which is greater: j or f?
f
Suppose b + 4 = 2*w, 4*b = b + 5*w - 11. Let z be (b/4)/((-24)/(-56)). Let r = 2/3 + z. Is r less than or equal to -2?
False
Let f = 6 + -3. Suppose -d = 2*z + d + 6, -5*z = d + f. Let v be z - -2 - (-24)/(-14). Which is smaller: -1 or v?
-1
Let b be 5/(-3) - (-16)/8. Which is greater: -0.08 or b?
b
Suppose 4*l = -l. Which is bigger: -1/27 or l?
l
Let t(k) = -k**2 + k. Let x(f) = 2*f**2 - 2*f - 1. Let p(z) = -5*t(z) - 3*x(z). Let n be p(4). Which is smaller: -10 or n?
-10
Suppose 2*z + 2*n + 18 = 0, 3*n + 1 = -z - 8. Are z and -8 nonequal?
True
Let m = 42 - 12. Let j be (m/(-25))/((-1)/5). Which is smaller: -1 or j?
-1
Let l(g) be the first derivative of -g**4/4 + 7. Let z be l(-1). Is 1 at least z?
True
Let b = -9/77 - -379/1925. Is b greater than 0?
True
Suppose 0 = 6*x - 12*x. Is -2/35 at most as big as x?
True
Suppose 0 = -2*j - 5*j - 7. Which is greater: 1/15 or j?
1/15
Let t be (-9)/12 + 177/(-4). Let b be 39/t - (-1)/5. Which is greater: b or -2/5?
-2/5
Let v = -3/682 + 21851/6138. Which is smaller: 5 or v?
v
Suppose 2 + 4 = -2*t. Suppose -5*l + 5*d = -20, 3*l + l + d = 1. Let w be (4/10)/(l/(-5)). Which is greater: t or w?
w
Suppose 10 + 8 = -t. Let p be 4/t + (-10)/(-126). Are -0.1 and p equal?
False
Suppose 0*a + 5*a - 5*b = 15, -4*a = 2*b + 6. Let k = -68/21 - -1930/609. Which is greater: k or a?
a
Su