77/115. Which is greater: p or 2?
2
Let i = 0.7 + -1. Suppose -o + 2*o - 2 = 0. Let t be (-6)/(-4)*o/(-12). Is i at most as big as t?
True
Let z(b) = -b + 48. Let r be z(12). Which is smaller: r or 69/2?
69/2
Let v = 3 + -6. Let q = 3 + v. Is q at most -1?
False
Let h(j) = 1. Let k(g) = -2*g - 1. Let m(n) = 4*h(n) + k(n). Let v be m(3). Is v bigger than -2?
False
Suppose -3*t - 3*n = 36, -t + 18 = -3*t - 4*n. Let p(k) = 2*k**2 - 11*k + 7. Let o be p(7). Let i be (-10)/(-35) + t/o. Is 0 less than i?
False
Let c be 5*3*(-6)/45. Suppose 0 = -4*k - 5*q - 16, 0 = -4*k + 3*k + 3*q + 13. Suppose 4*g + 7 = -k. Is g at most as big as c?
True
Suppose 0 = -2*t - 2*t - 16. Let z(y) = y + 5. Let m be z(t). Let l = -1 - m. Which is smaller: l or -3/4?
l
Let v(f) = f**2 - 8*f + 3. Let k be v(7). Let o be k - -5 - (-5)/(-3). Let d be (-32)/14 + (1 - -1). Is d not equal to o?
True
Let w = -34 + 34.1. Which is greater: -3/5 or w?
w
Suppose 4*q - 5*r - 15 - 11 = 0, 2*q = 4*r + 16. Suppose q*x = -2 - 2. Let z = 45 + -136/3. Which is smaller: z or x?
x
Let r = 47/10 - 16/5. Let s = 59 + -56. Is r less than s?
True
Let i = 21/2 - 193/18. Which is greater: i or -0.3?
i
Let q = 3 + 2. Suppose 3*a = w + 1, 0*w + q = -a - 5*w. Are a and 2/5 equal?
False
Let a be (-1)/(-2) - 21/2. Let z be 6/a + (-205)/(-300). Is z at least 1?
False
Let n = 10 - 10.05. Let r = 0.45 - n. Is 1 greater than r?
True
Let i(f) = -f**2 + 9*f - 8. Let z be i(8). Let c be z/(-1)*1/2. Let q = -76/3 + 386/15. Which is greater: q or c?
q
Let z(j) = j**2 - 2*j - 11. Let y be z(5). Suppose 14 = 5*h - 11. Is h smaller than y?
False
Suppose 5*h + 0*h + 3*q - 8 = 0, -4*q + 5 = h. Suppose 2*z + 16 = 5*l, -2*z = -5*z - 4*l - h. Let f = z - -3. Is f smaller than 0?
False
Let y = 61 - 109. Is -1 equal to y?
False
Suppose 2*p - r = -4*r + 3, 5*r - 5 = p. Suppose -3*n + 8*n = p. Suppose n = j + 3 - 2. Is 1/3 at least j?
True
Let i = 0.016 - -0.084. Let c = 0.2 - -0.8. Let d = c - 1.2. Do i and d have different values?
True
Suppose -3*k - 41 = 49. Let u be (6/(-8))/(k/16). Suppose 9 = 3*d, 4*v - 3*d = -10 + 1. Is u greater than v?
True
Let g = -25 - -29. Let s = 0.02 - -0.28. Is g > s?
True
Suppose 4*k + 3 = 3*k. Let q(o) = -o**2 - 10*o + 3. Let c be q(-11). Let g = c - -4. Which is bigger: g or k?
k
Let x(r) = -r**3 + 8*r**2 - 8*r + 10. Let j be x(7). Let d be 1 - (j + (-57)/33). Which is smaller: 1 or d?
d
Let o be (-1 + 3/4)/1. Let m = 155/3 - 52. Do m and o have the same value?
False
Let v be 4/(5/(10/(-4))). Is v bigger than 4/5?
False
Let s(p) = 2*p - 1. Let m be s(1). Let r = -719/7 - -103. Which is greater: m or r?
m
Let b = -2.5 + 2.6. Are 34 and b equal?
False
Let m be 1/(-6)*(-18)/(-12). Let u = -0.4 - -0.4. Which is greater: u or m?
u
Let t be 0/2 - 1 - 2. Suppose 5*f - 2*k + k = -15, -4*f - 33 = -5*k. Which is smaller: f or t?
t
Suppose 0 = -3*y + 4*y. Suppose 4*h + 45 = 9*h. Suppose 0 = -s + 2*o - 4, 3*o = 2*s - 2*o + h. Which is bigger: y or s?
y
Suppose 4*v + 5*p + 5 = 4, -2*p - 28 = -3*v. Let s be (v/(-4))/((-135)/60). Which is bigger: s or -2/3?
s
Let n(u) = u + 2. Let k be n(0). Suppose -3*d - 3*s + 6*s = -15, 3 = k*d + 5*s. Which is greater: 1/3 or d?
d
Let k = 21 + 4. Let r = k - 22. Let d(l) = l + 1. Let v be d(0). Is r smaller than v?
False
Let b be 0/(3 - 1 - 1). Which is smaller: -2/15 or b?
-2/15
Let i = 19/7 - 157/63. Which is smaller: -10 or i?
-10
Let m(q) be the third derivative of q**6/120 + q**5/30 - q**4/6 - q**3/6 + 2*q**2. Let i be m(-3). Suppose i*r = -0*r. Is 0 not equal to r?
False
Let n be -1 - ((0 - -3) + (-3690)/927). Is 1 < n?
False
Let b = -2 + 1. Let f = 7405/4 - 1869. Let u = f - -18. Is b <= u?
True
Let z = 28/3 + -13. Which is greater: -4 or z?
z
Let y = 3 + -5. Let f = 4.29 + -0.29. Let o = f + y. Does o = -0.1?
False
Let p = -287 + 4303/15. Which is smaller: -1 or p?
-1
Let u be -14*(-1)/(-2)*1. Which is bigger: -4 or u?
-4
Let g = -0.94 + 0.74. Is g at most as big as -0.022?
True
Let g(j) = 3*j**3 - 2*j**2 + j. Let k be g(1). Suppose 4*z - 2*z = -8. Let o be 2/((-4)/6) - z. Is o at most k?
True
Let k = -117 + 94. Which is smaller: k or -20?
k
Let d be (0 - -1)/(1 - 2). Let v = -0.1 - -0.16. Let c = v - 0.06. Which is smaller: d or c?
d
Let j = -24 + 18. Which is bigger: j or 0?
0
Suppose -3*m = 2*h - 5*h - 18, -3*h = 5*m - 6. Suppose 2*c = c + z - 6, -m*c = -z + 8. Does 0 = c?
False
Let x = -3868 + 34712/9. Which is bigger: x or -12?
x
Suppose 3*d - 4*y - 3 + 8 = 0, -5*d + 15 = -2*y. Suppose d*c + 8 = 2*n - n, 5*c = 5*n - 20. Is c greater than 1/5?
False
Let u = 27.058 - 0.058. Is u at least as big as 1/2?
True
Suppose 4*q + 27 + 17 = 5*p, -5*q - 45 = -5*p. Let d = p - 10. Which is greater: -4 or d?
d
Suppose 0 = 2*c - 3 - 3. Suppose -c*g = g + 3*n + 3, 4*n + 32 = 4*g. Suppose p = -2*o - 7, 2*p - 5 = g*p. Are o and 2/7 non-equal?
True
Let b = -86 + 146. Is 60 at most b?
True
Let r be (-20)/(-171) + (-8)/36. Are 1 and r equal?
False
Suppose 0*x - 2*x - 3*k - 12 = 0, 19 = -x + 5*k. Which is greater: -10 or x?
x
Let c(p) = p - 11. Let y be c(9). Let g be (1/5)/(y/(-10)). Which is greater: 5/3 or g?
5/3
Let q(m) = 10 - 3*m**3 - m**3 + 6*m**2 + 4*m**3 - 6*m + m**3. Let d be q(-7). Which is smaller: 0.2 or d?
0.2
Let h(r) be the second derivative of r**5/20 + r**4/3 + r**3/2 - 6*r. Let o be h(-3). Is o at most as big as 0?
True
Suppose 3*d + 28 = 7*d. Suppose -4*w - 3 = -d*w. Let a be 1 + -1 - 1 - -2. Are a and w non-equal?
False
Let g = -4 - -4. Let f(y) = -y + 3. Let r be f(g). Suppose -5*p = -4*z, 0 = 6*z - r*z + 15. Which is greater: p or -1?
-1
Suppose -4 = 16*n - 15*n. Is 0.6 >= n?
True
Let s be (-6 + (1 - -5))/1. Let q be -1*1 + (-110)/(-106). Which is smaller: s or q?
s
Let q = -1.1 - 3.9. Let k = 2 - q. Is k at most 1?
False
Suppose -5*v = 3*a + 23, 5*a = 5*v - 15 - 10. Let f = -4 - a. Let c be (-7)/9 + f/(-9). Which is bigger: 1/10 or c?
1/10
Let s = 891273 - 370344. Let l = -359440903/690 + s. Let p = 1/46 - l. Is p > -1?
True
Let d = 19 + -5. Suppose 4*u = -4 - 0, 3*u - 49 = -4*m. Which is smaller: d or m?
m
Let p be (-10)/6 - 2/(-3). Let a = 61 - 62. Are p and a unequal?
False
Let v be (-1)/(-4) - (-1)/(-4). Let n = -3 + 2. Let o be n*1 - 14/(-84). Which is smaller: o or v?
o
Let q(g) = -g**3 + 2*g - 2. Let b be q(2). Let i be ((-6)/9)/(4/b). Which is smaller: i or -2/23?
-2/23
Suppose 0 = 10*v + 287 + 43. Is v greater than -32?
False
Let p = 4.6 - 0.6. Suppose -2*r + 2*v - 8 = 0, 0*r + 3*v - 12 = -r. Which is smaller: r or p?
r
Let t be 1 - (-3)/63*-15. Suppose 0 = -3*w + 5*w. Do w and t have different values?
True
Let x(j) = j**3 + 5*j**2 + 5*j - 1. Let l be 4*(3 + (-42)/8). Let t(a) = a + 5. Let g be t(l). Let y be x(g). Which is smaller: -6 or y?
-6
Let y(w) = 195*w**2 - 2*w + 3. Let z be y(2). Let g = z + -4663/6. Is 3 < g?
False
Let w = -0.1 - -0.17. Let a = w + 3.93. Are 0.1 and a nonequal?
True
Suppose 0 - 6 = -3*k. Let y = k - -8. Is 11 at most y?
False
Suppose 0 = -z - 3 + 21. Suppose 0 = 5*c + z - 8. Is -4 less than c?
True
Let c(q) = -q - 13. Let j be c(-12). Let b(t) = t**2 - 4*t + 3. Let h be b(2). Is j greater than or equal to h?
True
Suppose 0 = -2*q - 3 - 21. Let r be 2/16*q/(-9). Let g be 2/(-3) + (-2)/(-6). Which is bigger: r or g?
r
Let g = 0 - -4. Let w = 1 - g. Which is bigger: -4 or w?
w
Let m be 3*(1 - 0) - -3. Suppose d - m = -1. Suppose -d*j + 1 = -14. Which is smaller: 2 or j?
2
Let j = -3 + 3.1. Let p(b) be the third derivative of b**5/60 + 3*b**4/8 + 4*b**3/3 - 2*b**2. Let x be p(-8). Which is greater: j or x?
j
Let k(n) = -n - 3. Let y be k(8). Which is smaller: y or -10?
y
Let f = 1/611 - -1149/44603. Which is smaller: f or -1?
-1
Suppose -3*d - 4 = -10. Is d >= 0?
True
Let y be (-2)/(-8) - (-19)/(-44). Are y and -1 unequal?
True
Let w(y) = -y**3 - y + 2 - 5 + 2*y**2 - 10*y**2. Let t be w(-8). Let h = 13 - 7. Are t and h unequal?
True
Let v(u) = u**3 + 6*u**2 - 7*u + 3. Let a be v(-7). Let k be 2/(a + 1 + -6). Is k < 4?
True
Suppose 3*z + 62 = -5*n, 14 = -2*n - n + 4*z. Let l = -7 - n. Is 3 < l?
False
Let d = -19 - -7. Let x be d/(-54) - 26/36. Is x smaller than -2?
False
Let v be (-356)/18 - 2/9. Let p be -1 - -1 - 10/v. Which is smaller: p or 0.2?
0.2
Let l(n) = 13*n**2 - 4. Let o be l(3). Suppose 0 = -2*i + 3*k - 23