: i or p?
i
Let o(y) = -49*y**3 + y. Let s be o(-1). Let i = 49 - s. Which is smaller: i or -3/62?
-3/62
Suppose -1237 = -4*n + 323. Let h be 5*4/n*2. Which is bigger: h or 1?
1
Let t = 15 - -18. Let v = 32.9 - t. Which is smaller: -39 or v?
-39
Suppose -5*n - 11 = -1. Let o be (n/9)/(1/(-759)). Let p = -166 + o. Which is bigger: 2 or p?
p
Let q = -116/33 + 1948/429. Let c = q + 4/13. Let b = 23 - 21. Which is smaller: c or b?
c
Suppose -18*w + 224 = -4*w + 2*w. Let t be 24*(-1 + (-9)/(-6)). Is w smaller than t?
False
Suppose -13*d + 6 = -11*d. Let l be d/12 - (1 - 4/16). Which is smaller: l or -2/195?
l
Let u be 90/6*(-6)/(-10). Suppose 2*t - 3 - u = 0. Let j be (2 - 3)*(-1 + t). Is -5 equal to j?
True
Let l = 92 + -125. Let x = l - -34. Which is bigger: -41 or x?
x
Let z = 33.02 - 33. Let t = z - 3.32. Is 0 != t?
True
Let d be ((-1)/(-2))/(1625/270 + -6). Which is greater: d or 31?
31
Suppose 96 = u - n, 0 = 5*u - 4*n + n - 476. Let c = u + -102. Is -3 less than c?
False
Let h be (1 + -3)/((-14)/(-21)). Let k be (-3)/4 - 5/h. Let r = k + -2/3. Is 1/4 less than r?
False
Let a be (-1)/4 + 1*3070/13240. Which is greater: 0 or a?
0
Suppose t + 3*t + 12 = 0. Suppose -3 = -f - 0. Suppose -z + 2*s - 1 = -f*s, z + 1 = 3*s. Is t equal to z?
False
Let x be (216/(-90))/(6/(-20)). Suppose 0 = x*m - 9*m. Is m > 0.22?
False
Suppose 0 = 30*f - 51*f + 126. Are f and 16 equal?
False
Suppose -4*f = -d - 36 - 0, 2*f - 10 = 0. Is d at least as big as -1/2?
False
Let p be (3/6)/((-3)/(-30)). Suppose 60 = p*v + 4*b - 0*b, 0 = 2*v + b - 24. Suppose 4*j - q - 4 = 5*j, 3*j + q = -v. Which is greater: j or -3?
-3
Let n(d) = d**3 + 3*d**2 - 4*d. Let z be n(-4). Suppose 4*p + z = 24. Suppose 4*x + 6 = p*x. Which is bigger: x or 4?
4
Suppose 0 = -3*s + 8*g - 6*g, 5*s + 3*g = 0. Let o = 13 + -9. Let i be (o/21)/(2/3). Are s and i equal?
False
Suppose 4*n + n + o - 9 = 0, -2*n - 5*o = 1. Suppose -27*p - n = -29*p. Which is greater: 9/4 or p?
9/4
Let a(l) = 3*l - 15. Let y = 21 + -16. Let z be a(y). Which is smaller: z or -2/121?
-2/121
Suppose 5*b + 533 = -3*o, -341 = 2*b + 2*o - 127. Which is greater: -107 or b?
b
Let b(w) = w - 1. Let n = -17 - -14. Let h be b(n). Let p be (-8)/(-84)*6/h. Which is bigger: -1 or p?
p
Let u = -0.5 + 0.4. Let o = -205 - -218. Which is bigger: o or u?
o
Let t(i) = -10*i + 213. Let h be t(-4). Which is bigger: h or 252?
h
Let d(y) = -y**2 + 19*y + 66. Let t be d(22). Which is bigger: t or 11?
11
Suppose 0 = -3*r + w + 3*w - 88, 5*w = 3*r + 89. Let f = 39 + r. Suppose -2*u - 2 = 0, 2*b = -2*u - 3 + 21. Is f less than or equal to b?
False
Let c(h) = h**3 - 7*h**2 - 2*h + 13. Let m be c(7). Which is greater: -25 or m?
m
Let t = -67 - -22. Let l = 45 + t. Is l at least 2/183?
False
Let f be (-505)/2 + (-1)/(-2). Let u = 311/2 + 565/6. Let r = f + u. Which is smaller: r or -1?
r
Let q = -127 - -126. Let p(a) = a + 3. Let d be p(-4). Is q greater than or equal to d?
True
Let j(f) = 4*f + 14. Let x be j(-4). Which is smaller: x or 7?
x
Let i(q) = -q**3 - 6*q**2 - 4*q + 7. Let b be i(-5). Suppose 4*c + 228 = 4*z, -37 - 32 = -z - 3*c. Let j = z - 55. Is b at least j?
False
Let y = 5 - 4. Let c = 943/3906 + -13/62. Which is smaller: c or y?
c
Let k = -48 + 49. Let m = -0.1 + -0.66. Let i = -0.04 + m. Which is smaller: k or i?
i
Let h = 32 + -38. Let r be 13/(-4) - (-7 - h). Is -0.3 equal to r?
False
Let h(d) = -d**3 - 8*d**2 - 7*d + 2. Let r be h(-7). Suppose 0 = r*a + 2 - 0. Let z be 1224/176 - (3 - (-16)/4). Do z and a have different values?
True
Let f(w) = -w**2 - 9*w - 4. Let m be f(-4). Let h = 6 + -8. Let u = h + 19. Are m and u unequal?
True
Let u(s) be the first derivative of -s**4/4 + 3*s**3 - 7*s**2/2 - 9*s + 26. Let w be u(8). Let c be 4/(-35)*15/18. Which is greater: c or w?
c
Suppose 4*a - 12 = 0, -5*a = 4*q - a + 4. Suppose -3*k + 4*k = 4*x + 20, 4*x + 36 = 3*k. Let g be q/16 - 22/k. Is 0 not equal to g?
True
Let z = 2 - 3. Let a be 3 - 0/(0 + z). Suppose 0 = -r + 4*n + a, 3*r + 2*n - 12 = -r. Which is bigger: 6 or r?
6
Suppose -5*w - 53 = u, 2*w + u = -u - 26. Let z be 21 + 1 + (-20)/w. Which is smaller: 25 or z?
z
Let o be ((-3)/24*6)/((-9)/(-36)). Do -25 and o have different values?
True
Let n(a) = 2*a + 9. Let m be n(-7). Let q = -4 - -9. Suppose -q*g - 19 = -0*g - 4*b, 0 = -2*g - 4*b - 2. Is g <= m?
False
Let l(m) = -m**2 - 13*m + 218. Let n be l(-24). Let t be -48 - -6*(-1)/(-2). Which is smaller: t or n?
n
Let t(p) = -2*p + 1. Let j(y) = y - 1. Let x(k) = -11*j(k) - 6*t(k). Let o be x(-5). Let l = 21 - 23. Which is smaller: o or l?
l
Suppose -950*u = -952*u + 2. Which is smaller: u or -3/25?
-3/25
Let j = -23.7 + 23.5. Is j not equal to 2/123?
True
Suppose -18*o - 9339 = 15*o. Is o at most as big as -283?
True
Let x(t) = -21*t - 126. Let l be x(-8). Which is smaller: 3/2 or l?
3/2
Let n = 32 + -30. Suppose c - 12 = -3*o - 2, n*o = 4*c - 12. Is -1 greater than c?
False
Let o = -33 - -32. Are o and 17.8 nonequal?
True
Suppose 0 = 4*q - g + 61, -2*g - 80 = 5*q - 4*g. Suppose 5*s + 40 = -3*b, 3*b = 3*s - 2*s - 46. Let f = b - q. Are f and -1 equal?
True
Let q = 75.7 + -77. Let v = q + 0.3. Is v bigger than 14?
False
Let k(i) = i + 2. Let m be k(-2). Let s(v) be the second derivative of -v**3/6 + 7*v**2/2 - 5*v. Let w be s(3). Which is smaller: w or m?
m
Let h be (4/6)/(6/10). Let i(g) = -35*g**3 + 2*g**2 + 3*g + 2. Let t be i(-1). Suppose -1 = -t*o + 35*o. Which is bigger: o or h?
h
Suppose -11*c + 10*c + 4 = 0. Let l = c - 8. Let m be (l/(-8))/((-3)/66). Which is bigger: m or 0?
0
Suppose -3*v + 8 = -7*v, -4*q + 5*v - 42 = 0. Let o be (-2)/6 + (-176)/12. Let m = o - q. Which is bigger: -3 or m?
m
Suppose -2*y - 2*t - 12 = 0, 0 = -2*y - 5*t - 6. Let d be (y/10)/(2/5). Suppose 7 + 1 = -4*x. Is d equal to x?
True
Let k(w) = w**3 + 22*w**2 - 48*w + 21. Let n be k(-24). Let f be (n + -11)/((-1)/(-4)). Is 38 at least f?
False
Let f = 16416083/837 + -19613. Let a = f - -257/9207. Which is bigger: -1 or a?
a
Let j(x) = -4 + 0 + 2 + 0*x - 2*x. Let i be j(-3). Suppose -d = i*d. Which is smaller: 2/3 or d?
d
Let a = -682.1323 + 0.1323. Is a equal to -0.1?
False
Let d(i) = -i**3 + 4*i**2 - 2*i + 7. Let x be d(5). Let b be (-132)/(-14) - (-12)/x. Suppose -3 = 3*u + b. Is u greater than -5?
True
Suppose -5*g - 103 = 3*z, -46*z + 50*z - 2*g + 94 = 0. Is -82/3 smaller than z?
True
Let h = 4 + 1. Let p(k) = k**3 - 4*k**2 - 5*k + 1. Let b be p(h). Suppose l - 5 = -b. Is l > 3?
True
Let i(r) be the third derivative of -r**4/8 - 5*r**3/6 + 7*r**2. Let c be i(-4). Suppose 5*f = 4*w - 12, 4*f = 4*w - c*w - 22. Is 1 less than or equal to f?
False
Suppose 32*i - 13*i = -247. Let l = -0.9 + 4.9. Is i not equal to l?
True
Let f be (((-18)/44)/(-1))/((-204)/544). Which is smaller: 0 or f?
f
Let h = -0.566 + 0.53. Let a = h - -0.636. Is a != 8?
True
Let j(o) = 3*o - 6. Suppose 16 - 4 = 2*v. Let d be j(v). Suppose 238 = -40*f + 758. Which is smaller: d or f?
d
Let a = -3 - -2. Let r be (a - -1 - -1)/1. Let p = -53257/104 + 4097/8. Which is greater: r or p?
r
Suppose 16 = -3*y + 82. Suppose 5*i - 60 = -5*f, 3*f - y = 2*f - 3*i. Let q = 6 - f. Which is bigger: q or -9/4?
q
Let h be (-91)/(-84)*(-3 - -7). Let g be (72/48)/(1/2). Is g < h?
True
Let v(d) = -d**3 - 1. Let y be v(-2). Suppose 20 = -3*x + y*x. Suppose 3*i + 2*i + x = 0. Which is smaller: i or 4/9?
i
Let y = -72 + 162. Let p be (4/10)/(102/y). Which is smaller: 1 or p?
p
Suppose 5*o = 3*f + 122, 66*f - 172 = 69*f + 5*o. Are f and -193/4 nonequal?
True
Suppose -20 = 46*v - 36*v. Which is greater: v or -0.8?
-0.8
Let z = 133/6 + -44/3. Suppose 0 = -6*x + x + 55. Suppose 0 = h + 2 - x. Is z not equal to h?
True
Suppose 5*f + 29 = 5*u - 16, -3*f - 7 = 2*u. Let h be (4/(-6))/(6/45). Is f at most as big as h?
True
Let x = -106 - -107. Is 4/9 less than or equal to x?
True
Let p be -6 + 3/((-9)/3). Let l(c) = 2*c - 15. Let x be l(4). Let k be (-12)/x - 2/p. Is 0 bigger than k?
False
Let l be (3/222)/((-10)/40). Suppose 2*u - 6 = -3*t - u, 37 = 5*t - 4*u. Let g = t + -4. Which is smaller: g or l?
l
Let o = 61 - 45. Suppose 0 = o*k - 14*k. Let a(w) = -4*w + 3. Let l be a(2). Which is greater: l or k?
k
Let l be (-1)/2*(2 - 2). Let a = 4.423 + -0.623. Which is greater: l or a?
a
Let u(k) = 4 + 17401*k - 17403*