)*3. Which is greater: p or t?
t
Suppose 0*k - 42 = -k + 3*h, 4*k = -2*h + 182. Let x = 87 - k. Let m be ((-4)/14)/((-54)/x). Is 1 greater than m?
True
Let o = 0.63 + 0.32. Let g = o - 1. Which is greater: -1 or g?
g
Let t = -1.1 - -2.1. Let p = 1.7 - -0.3. Which is greater: p or t?
p
Let v be 0*(0 + (-2)/4). Let o be (2/(-70))/(1/(-109)). Let y = o - 17/5. Which is smaller: v or y?
y
Let l be (-2)/(-6)*0*1. Let o = -171/620 - 3/124. Let s = 1/10 + o. Do l and s have the same value?
False
Let k = 1/87 + 341/609. Suppose 5*f - 18 = -3. Suppose 0*j = f*j. Which is smaller: j or k?
j
Suppose 5*a + 2 = -3. Let q = -2 + 1. Is q greater than a?
False
Let g = 14 + -13.1. Let r = 2.049 - -0.051. Let a = g + r. Is a greater than or equal to 0?
True
Suppose 10*c = 6*c + 20. Which is smaller: c or 27/5?
c
Let o = 0.1 + -7.1. Does 2/7 = o?
False
Let r be (1 - 36304/(-7))/(-7). Let x = r - -741. Is x less than or equal to 0?
True
Let p = -29 - -35.9. Let r = p + -7. Do r and 0 have different values?
True
Suppose -5*g + 4 = -1. Let r be (-8)/(-6) + 1/(-3). Let y be r*4*(-2 + g). Which is bigger: -5 or y?
y
Let o(a) = a - 11. Let w be o(9). Let x = -2 - w. Is 0 equal to x?
True
Suppose 11*s - 2*s = -198. Which is bigger: -21 or s?
-21
Let z = -9 - -7. Suppose -5*m - 3*s + 66 = -s, 4*m - 4*s = 64. Suppose -12 + 2 = 5*o + r, 3*r + m = o. Is o less than or equal to z?
False
Let x be (18/(-15))/(-1)*1. Is x equal to 2?
False
Suppose -c - 6 = -3*j, -c - 9 = -3*j + c. Let d = 2/3 - -5/6. Does d = j?
False
Suppose -5*d + 3*f = -14 + 4, 5*d - 10 = -4*f. Let p be d/(-10) + 16/5. Let q be (60/(-27) - -2)*p. Is 0 equal to q?
False
Suppose 0 = -2*q + 2 + 2. Suppose -2*h = -0 + q. Let y be (h + 3 - -2)*1. Do 3 and y have the same value?
False
Suppose f + 24 = o - 3*f, -4*o = -2*f - 40. Let t be (o + 1)/3 + -2. Suppose -t = 2*u + 1. Which is smaller: u or -2/7?
u
Let f(b) = b**3 - 10*b**2 - 13*b + 21. Let p be f(11). Which is smaller: -70 or p?
-70
Let l be 4 + -5 - (2/8 + 0). Which is smaller: l or 0.1?
l
Suppose -5*j = -2*j + 3. Is j greater than or equal to -3/7?
False
Let s = -11 - -15. Let y(f) = f + 11. Let j(u) = u + 11. Let c(m) = 4*j(m) - 3*y(m). Let t be c(-6). Is s > t?
False
Suppose -2*r = 7 - 13. Let b = 1 + -3. Let n = b - -3. Which is smaller: r or n?
n
Suppose 25 = p + 4*p. Let q = p + 12. Are 18 and q unequal?
True
Suppose 0 = -0*h + 3*h - 15. Suppose -n + h*s + 20 = 4*n, -n - 8 = 5*s. Suppose 0 = n*p - 0 + 2. Which is bigger: -3 or p?
p
Let t = -11103/5 + 2175. Let c = t - -45. Let i = -27 + 27. Is i less than or equal to c?
False
Let u = -14561/1680 + 1/1680. Let j = u - -9. Let w = j + -1/12. Which is smaller: w or -1?
-1
Let t = 11 + -15. Let p be 2*(-1)/t*-2. Is -1/3 at least p?
True
Let q = -0.56 + -8.44. Which is smaller: q or 1/4?
q
Let f = -7 - -6. Does f = -3/4?
False
Let f = 104 + -79. Which is bigger: f or 26?
26
Let w = -8 - -68. Let z be 1*(3 - w/21). Is z less than 1?
True
Let s(w) = w**2 + 5*w - 3. Let r be 2*-3 + (-4 - -5). Let z be s(r). Let b = 2 - 4. Which is bigger: z or b?
b
Let v be 3256/(-16)*(-6)/(-5). Let s = 245 + v. Suppose -7 = -2*y + 5*r, 3*r = 2*y - 6 + 1. Is s at most y?
True
Suppose 0 = -0*s - s + 5. Suppose -2*c = -7*j + 2*j - 31, -2*j - 4 = 2*c. Suppose c*v - 12 + 36 = 3*m, s*v = m - 20. Which is smaller: m or 4?
4
Let d = -1588 + 106398/67. Which is bigger: d or 0.1?
0.1
Let s = 37/6 + -77/12. Is 1 < s?
False
Let p = 6.99 - 7. Which is smaller: p or 2?
p
Let z(i) = 2*i**2 - 2. Let t(c) = -5*c**2 + 5. Let m(d) = -3*t(d) - 7*z(d). Let a be m(-2). Let w be (3/6)/(a/2). Which is smaller: -1 or w?
-1
Let n be 0*(-2 - (1 + -2)). Let i be (-6)/(-2 + (-2)/(-4)). Suppose 0 = -n*q - i*q. Which is smaller: q or -1?
-1
Suppose 11*m = 14*m - 36. Is 11 greater than m?
False
Let v = 3 + -6. Let z be (-1 - -4)/(-1) + 0. Do z and v have different values?
False
Let q = -1/49 + 401/441. Which is greater: 0 or q?
q
Let a(y) be the third derivative of y**4/24 - 5*y**3/6 - 7*y**2. Let r be a(6). Is r smaller than 2?
True
Let v = 87 - 60. Let i = v + -27. Which is greater: i or 1/5?
1/5
Let o(t) = t**3 - 2*t**2 + 3*t - 3. Let j be o(2). Let g(y) = -y**2 + 4*y - 2. Let k be g(j). Which is smaller: -1/4 or k?
-1/4
Let o = 20 + -8. Suppose 3*g - 5*g + 3*l - o = 0, 2*l = g + 8. Is -2/9 less than g?
True
Let v(r) = r**3 - 5*r**2 - 6. Suppose -a - 9 = -3*b - 4*a, b - 5*a = 15. Let n be v(b). Let q = -8 - n. Do q and 0 have the same value?
False
Suppose -14 = 3*j - 2. Which is smaller: -6 or j?
-6
Let f be (-1 + 2 - 1)/(-2). Let n be -1 + (29*-1 - f). Let y be (-5 + 0)*(-4)/n. Is -1 smaller than y?
True
Let z = -6 - -12. Let l(v) = 3*v**2 + 4*v + 2. Let r be l(-2). Is r greater than or equal to z?
True
Let n = -2 - -10. Let b = n - 6. Suppose 0*s = -b*s. Which is smaller: s or 2/11?
s
Let t = 3 - 2.9. Let q = t - 0.2. Suppose -5*h - 6 - 11 = 2*p, -4*p = 4*h + 16. Which is smaller: q or p?
p
Suppose 0 = 3*i - 1 + 37. Do -1 and i have different values?
True
Let k(r) = -r + 5. Let z be k(0). Is z greater than or equal to 4?
True
Let i be (3/(-6))/((-2)/(-12)). Suppose 0 = -5*w - b + 5, -2 = -w + b - 7. Is i greater than or equal to w?
False
Suppose -4*k + k = 0. Let c(m) = m**2 - 3*m - 3. Let f be c(4). Let z = 9/10 - f. Is z >= k?
False
Let x = 6.7 - 7. Let z = 1.7 - x. Does -0.2 = z?
False
Let h be (-36)/(-4) - (-2)/(-1). Which is smaller: 6 or h?
6
Let t be ((-48)/15 - 1/(-5)) + 1. Is t smaller than -2?
False
Let l be (2/3)/(4/21). Are 5 and l nonequal?
True
Let o = 7.6 + -7. Let l = 34 + -34.1. Which is bigger: l or o?
o
Let q be 0/(-3 - (-6)/3). Let w = -3 + q. Let t = 5 - 9. Which is smaller: t or w?
t
Let q = 63.6 - 64. Is -7 bigger than q?
False
Let c be (-4)/12*1*-1. Is 0 greater than c?
False
Suppose -23*k + 21*k = -12. Which is smaller: 8 or k?
k
Let z be (-5)/(75/(-9))*10. Suppose 2*y + 6 = -z*d + 3*d, 0 = -3*d - 6. Is y less than 2/19?
True
Suppose t + 3 - 24 = 0. Let g be (-4)/(-10) + t/35. Let u be (g*3)/(3/(-2)). Which is bigger: 1 or u?
1
Let y = 134 + -130. Is y greater than 4/5?
True
Let z = 653/3 + -205. Let i = z + -208/15. Are 0 and i equal?
False
Let c be (-2)/(-3)*-3*11/154. Is c at most as big as 0.2?
True
Let t = -7 - -5. Let s = 2 + t. Let o = -2/97 + -188/291. Which is smaller: o or s?
o
Suppose -3*u + 37 = -89. Let f be (-2)/7 + (-660)/u. Let y be (f/(-12))/((-2)/(-3)). Are 2 and y nonequal?
False
Let k(t) = -11*t**2 - 1. Let a(z) = z**2 - 7*z - 1. Let l be a(7). Let v be k(l). Let s be 3/v - (-1)/4. Do s and 4 have different values?
True
Let i = 181/102 - 50/17. Are i and 0 nonequal?
True
Suppose m - 10 = -4*m. Suppose -2*x + m*z = 6*z - 20, -5*z - 1 = -4*x. Which is smaller: 5 or x?
x
Let l = 17 - 12. Suppose -8 = -l*w - 3. Which is smaller: w or -1/3?
-1/3
Suppose 0 = -2*z - z + 6. Suppose -z*o = 8 + 10. Is o smaller than -15/2?
True
Suppose -7*j = -3*j. Suppose j = -4*x + 3*x + 129. Let s = x - 905/7. Which is greater: s or 0?
0
Let i be (-144)/290 + 57/95. Which is greater: i or 1?
1
Let l = 7.02 - 0.02. Let i = -6.9 + l. Is 0.2 greater than or equal to i?
True
Let d be (-4)/(-1)*(-3)/(-4). Suppose 4*y = -3*n + 13, 5*n + 55 = 3*y + 9. Suppose -k - 3 = -y. Which is smaller: d or k?
d
Let k = -0.067 - -14.267. Let b = 14 - k. Do -0.06 and b have the same value?
False
Suppose 5 + 0 = 5*f. Suppose 0 = -3*z - 4*k + 3*k - 5, 2*k = 4*z. Which is bigger: f or z?
f
Suppose -g = 5*i - 10, -4*g + 10 = 5*i - g. Let x(o) = 4*o**2 + 3 - 4 - 5*o**i - 2*o + 2. Let d be x(-2). Is d greater than 0?
True
Suppose 3*y = 5*y. Let z = 0 - y. Which is greater: z or 1?
1
Let g(y) = 3*y**2 + 0*y**2 - 4*y**2 - 12*y + 2. Let a be 2 + (1 - 15) + 0. Let c be g(a). Is c > 2?
False
Let w = -32 + 14. Let j be (3/w)/((-2)/(-8)). Let v(k) = 2*k + 7. Let u be v(-4). Which is smaller: u or j?
u
Let y be (0 - 2)/(10 + -1). Let z be (1/2)/(2/24). Suppose 5*a - 1 = -z. Which is greater: y or a?
y
Let u(p) = p**3 + 6*p**2 + 7*p + 2. Let d be u(-4). Let f be (-2)/4*d/(-15). Which is bigger: -10 or f?
f
Let p(f) = f**3 - 2*f**2 - 2*f - 3. Let l be p(3). Let v(r) = -1 + 3 + l*r**2 - 2*r + r**2 + 6*r. Let z be v(-3). Do -4/3 and z have different values?
True
Let q = 3 - 1. Let x = 165 - 158. Is x less than or equal to q?
False
Let r be (-5)/(4 + 1) + (0 - 6)