)/(-4)*(-3 - -2). Which is smaller: z or p?
p
Let u be 3 + (1 - 0 - 1). Suppose -4 = u*q - q. Which is smaller: q or -1?
q
Let n(l) = -l + 9. Let p be n(8). Let k = p + -4. Does -2 = k?
False
Let i(m) = -m**3 - 7*m**2 - 6*m - 1. Let n be i(-6). Let k be (15/(-20))/(3/2). Is n greater than k?
False
Let b(x) = -x - 5 - 7 + 16. Let y be b(2). Do 2 and y have different values?
False
Let c(y) = y**3 + 5*y**2 - 7*y - 5. Let a be c(-6). Suppose 4*j = -j - 15. Let b be 1/j + 0 + 0. Is a bigger than b?
True
Let o = 55 + -48. Is -0.1 > o?
False
Let k = 22 - 12. Let a = k - 3. Which is smaller: 2/5 or a?
2/5
Let b = -17 - -4. Is b greater than or equal to 0.1?
False
Let n = 4 - 1. Suppose -12 - n = 5*v. Let z be 2/(-8) + (-14)/8. Is z not equal to v?
True
Let s(v) = -v**2 - 4*v. Let d be s(-3). Suppose -t + d = 7. Is t bigger than -3?
False
Suppose v = -4*k + 6*v + 29, 4*k - 4*v - 28 = 0. Suppose -k*w = -w. Is w > 1?
False
Let b = -30 + 29.8. Let k = 89/2 - 46. Which is smaller: k or b?
k
Suppose -2*z + 0 = 3*j - 5, 0 = -3*j - 4*z - 5. Suppose -3*i + j*g + 13 = -0*g, 2*g = i - 6. Are -5 and i non-equal?
True
Suppose -16*y = -11*y - 180. Suppose -o = 3*b + 22, 2*b - y = 3*o + b. Is o at least -13?
True
Let t = 110 + -116. Is -6 >= t?
True
Let d(u) = -u - 2. Let i be d(-7). Suppose -l + 4 = x - 2, -5*x = -i*l + 20. Does x = 0?
False
Let d be -4 - (3 + -1*21). Is 14 at least d?
True
Suppose -3*t - 5 = 7. Suppose -9*h = 47 - 11. Are t and h equal?
True
Suppose -3*l + 6 = -0. Let f = l - 1. Let o = f + -1. Which is bigger: o or 2?
2
Let x = -59 - -50. Which is greater: x or 0?
0
Let t = -43 - -45.32. Let o = 0.73 + t. Let c = o + -3. Is c at most -1?
False
Let a(k) = 5*k - 2. Let z be a(-2). Let o be z*(0 + 21/12). Let v be 4/10*15/o. Which is smaller: v or 0.1?
v
Let p = -9 - -6. Let i = 3 + p. Which is smaller: i or 2?
i
Let j be (-4 + -2)/((-18)/(-4)). Which is bigger: -2 or j?
j
Let b be 21/2*(-6 + 8). Which is smaller: b or 23?
b
Let j be 2/(-3) - (-38)/30. Let b(g) = -g**3 + 6*g**2 + g - 1. Let p be b(6). Let s(w) = -w**2 + 4*w + 3. Let v be s(p). Is v less than or equal to j?
True
Let z be (51/(-2))/(13/(-156)). Let b be ((-24)/z)/(4/6). Which is bigger: 1 or b?
1
Let g be 21/(-7) - (-11)/3. Let b(d) = d**2 + 3*d + 2. Let n be b(-3). Suppose r = -4*j - 0 + 3, -r + 3 = -n*j. Does j = g?
False
Let d = -4 + 8. Suppose -3*p = -x + 6, -3*x = 2*x + 2*p + d. Let i = -121/24 + 51/8. Which is smaller: x or i?
x
Let p be (-2 + 1)/(-2 + 1). Let l be p - 0 - 125/10. Let c = 12 + l. Which is bigger: 1 or c?
1
Let k = 0 + 0. Suppose f + 3*z = 2*z + 6, 5*z = 2*f + 9. Suppose -5*a = 2*q - 3, -q - f = 2*a + 4*q. Which is bigger: a or k?
a
Let u = -455/18 - -51/2. Which is bigger: u or 0?
u
Let v(f) = -5*f + 1. Let m be v(-1). Suppose 0 + m = 2*k. Is 2 >= k?
False
Let g = -23 - -20. Which is smaller: g or 3?
g
Let d = -0.05 + -0.1. Is d greater than or equal to 1?
False
Let r = 1/6 - 7/18. Let z = -1 - -13. Suppose 2*i + 12 = -i, -z = -4*h + 2*i. Are r and h equal?
False
Let x = -10 + 3. Let w be (1 - 1) + 1 + x. Which is greater: -5 or w?
-5
Let i be ((-2)/(-4))/(-1 - 1). Let g = -1/2 + i. Which is greater: g or 2/9?
2/9
Let n be 3 + -2 - (0 - 0). Let i be (n + (-3)/2)*2. Let a = 3 + i. Is 3 at least as big as a?
True
Let y be (8/4 - 0) + -1. Which is greater: y or -3/14?
y
Let t(p) = p**2 - 8*p + 5. Let d be t(7). Is 0 >= d?
True
Let o(k) = -k**3 - 9*k**2 + 13*k + 25. Let t be o(-10). Which is smaller: -29/5 or t?
-29/5
Suppose -4*g = -5*l - 2, -10*g = -5*g - 2*l + 6. Suppose 2*k - 12 = 5*k. Which is smaller: k or g?
k
Suppose 16*b + 18 = 13*b. Is b at least -6?
True
Suppose 2*i = 2*y + 44, -140 = -3*i - 2*i - 5*y. Let l be ((-2)/(-4))/(i/10). Which is greater: l or 0?
l
Let j = 109/20 + -2147/60. Let q = 31 + j. Suppose 15 = 5*u - 2*z, 3*u + z - 3*z - 13 = 0. Which is smaller: q or u?
q
Let u = 4 + 2. Let a be ((-12)/(-4))/(u/(-52)). Let v be (-1)/(a/(-4) - 1). Which is smaller: 0 or v?
v
Let x be 3/9*3 + 5. Suppose 2*v + 2*s = 0, 4*v - x = s - 3*s. Let l = 5 - v. Which is smaller: 3 or l?
l
Let d(l) = l + 1. Let i be d(2). Suppose -5*s - h = -i*h + 28, -4*h + 8 = -2*s. Let n be (-2 - 3)*s/10. Is 3 < n?
False
Let y be ((-2)/(-4))/(1/(-2)). Let o = y - -3. Let m be 0 + 3/(-3) + o. Is 3/7 at most m?
True
Let w be 1*((-1 - -1) + -1 - 0). Which is smaller: w or -4/13?
w
Let n be -3*2/6*2. Let k = n + 3. Let c(a) = 3*a - 11. Let u be c(4). Is k < u?
False
Let s = 169/4 - 42. Let c = -26 + 27. Is s at most c?
True
Let i be (0*(-4)/16)/1. Is i at most as big as -2/15?
False
Let c be (-6)/14 + 1743/980. Let o = c + -3/5. Suppose d - 2 + 0 = 0. Do d and o have the same value?
False
Suppose -3*f - 5*r + 78 = 0, -2*f - 2*f + 69 = -5*r. Let h be 4/(-14) + 27/f. Is h less than 0?
False
Let w(o) = o**3 + 10*o**2 - 10*o + 11. Let x = 18 - 29. Let l be w(x). Which is smaller: l or 1?
l
Let r be 1/(4 - (-75)/(-20)). Are -19 and r non-equal?
True
Let j(h) = h**3 + 2*h**2 - 2*h + 3. Let r be j(-4). Let u be (12/14)/((-3)/r). Does u = -1?
False
Let j be ((-3)/6)/((-1)/2). Suppose 4*u = -j + 9. Suppose -3*v = 2*h + 1 + 2, 2*v + 4 = -u*h. Is v greater than 3/5?
True
Suppose -2*a - 9 = -5*u, 2*a + 8 = 4*u - 0*a. Suppose 0 = 5*b - u - 4. Is b >= -1/17?
True
Let b = 3.9 + 0.1. Let m = 7 - b. Let r = 4 - m. Which is smaller: 2 or r?
r
Let m be 3/(-4) - (-5)/((-80)/148). Let s be (-6)/24 - 33/4. Which is greater: s or m?
s
Suppose 0 = -4*a - a. Let q = a + -3. Suppose 4*j - 3*y = -0*y - 5, -j + 3*y = -1. Is q < j?
True
Let v be 10/35 + (-64)/77. Is -2 at least as big as v?
False
Let z(h) = h**2 - 14*h + 11. Let k be z(13). Which is bigger: 0 or k?
0
Let a be 1336/(-10) - (-2)/(-5). Let q = 39203/4 + -9666. Let t = q + a. Is 0 less than t?
True
Let m = -81/5 + 719/45. Are m and 1 unequal?
True
Let w(l) = 3*l**2 - 2. Let a be w(-2). Suppose -5*g + t - a = 0, 4*g - 1 - 7 = 4*t. Is g < -4?
False
Let q = 76 - 51. Suppose 0 = 2*d - p + 1, 5*p + 15 = -5*d - q. Is -1 <= d?
False
Let c be 2/((-20)/(-16) - 1). Is c not equal to 8?
False
Let m = 377/3 + -126. Let x be 7/4 + 2/8. Which is smaller: m or x?
m
Let t = 2020533/5263 + -2498/277. Let n = -375 + t. Let a be 0/(23/69 + 8/3). Is n at most a?
True
Let t = 2/37 - -359/888. Let j = t + -1/12. Which is smaller: 0 or j?
0
Let u(d) = -d - 14. Let s be u(-14). Let p = -289/7 - -41. Which is bigger: p or s?
s
Let h = -13 - -18. Let i = h + -4. Do 0.3 and i have the same value?
False
Let t be (-1*1)/(2/(-4)). Let c be (-33)/(-32) + -3 + t. Let d = c - -59/160. Is 0 <= d?
True
Let c be (0 - 0)/(-5) - -11. Which is bigger: c or 10?
c
Let l be (-1)/3 - ((-132)/(-9) + -2). Which is greater: -12 or l?
-12
Let l = -25 - -12. Is -14 < l?
True
Suppose 0 = 3*v - 5*h - 13, 2 = -h + 3. Is 0.1 at least as big as v?
False
Let i = -4 + 0. Let n(j) = j**2 + 2*j - 5. Let w be n(i). Let b(u) = u**3 - 4*u + 3. Let v be b(2). Are w and v nonequal?
False
Let r = 2 + -3. Let p be (-184)/44*(2 - 3). Let q = 712/165 - p. Is r < q?
True
Let h be (1/5)/(2/(-5)). Are h and -2 non-equal?
True
Let h = 0.3 + -0.7. Let d = h + 0.4. Let m = 9 - 0. Is m at least as big as d?
True
Suppose 0 = 6*d + d - 140. Is 20 less than or equal to d?
True
Let b = -35.9 + 36. Which is smaller: 6 or b?
b
Let k = 32.886 - -0.114. Is k < -1?
False
Let j = -72 + 73. Is j bigger than 19?
False
Let t = -16 - -398/25. Which is smaller: t or 0?
t
Let d = 14 + -12. Suppose 0 = a - d*w + 12, -4*a + 2*w - 92 = 5*w. Is -20 greater than a?
False
Let n(g) = g**3 - 8*g**2 + 7*g - 1. Let k be n(7). Is k >= -2/11?
False
Let p = -15 - -21. Let y be (0 + 4/p)/2. Let c be (0*(-1)/(-3))/(-2). Which is smaller: c or y?
c
Let g = 0 - -5. Let u = g + -4.9. Is u >= -3/2?
True
Let w(f) = -2*f**2 + f. Suppose -7*j = -2*j - 5. Let p be w(j). Which is bigger: 2/11 or p?
2/11
Let k = -0.25 + 0.05. Let h = 2.9 - 3. Let c = h - k. Is 2/5 bigger than c?
True
Suppose -5*n + 19 = -1, -2*t - 4*n + 14 = 0. Which is smaller: 0.06 or t?
t
Let l(z) be the third derivative of z**4/24 + z**2. Let q be l(4). Suppose -f - h = q*h, 0 = -4*h + 4. Which is smaller: -6 or f?
-6
Suppose 5 = -5*y - 15. Let i(u) = u**2 + 3*u + 1. Let s be i(-1). Let c be s + -1 - (1 + 0). Is y != c?
True
Let i = -27 - -26. Which is smaller: i or -3/19?
i
Let u(m) 