= 64*k + 26. Which is greater: p or k?
p
Suppose 0 = 13*y - 14*y + 9. Let v be y - (-7 - -19) - -23*14. Are v and 320 unequal?
True
Let k be -3*(-5)/15 + -25. Let d be -2 - -2 - (k/38)/2. Let f = d + -17/114. Which is greater: -5/3 or f?
f
Suppose -4*i + 663 = -d, 2*i + 0*i = -d + 333. Let m be (658/i - 4)/((-108)/8). Which is smaller: 1 or m?
m
Let d(n) = n**2 - 5700*n - 57104. Let u be d(-10). Let g = -84952/15789 + 10/831. Which is greater: g or u?
u
Suppose 341*s + 1 = 340*s. Are 16/139 and s equal?
False
Suppose -10*h = -7*h + 123. Let s(x) = -57*x**3 - 176*x**2 + 2*x + 12. Let a be s(-3). Is h greater than or equal to a?
False
Let n be (132/88*26/(-21))/((-12)/(-7)). Is -9 smaller than n?
True
Suppose 0 = 14*v - 35042 + 31309 + 91513. Which is smaller: v or 0?
v
Let j(w) = -9*w + 88. Let z be j(-26). Suppose -3*v + 2*l = -404, 5*v + z - 998 = 4*l. Is 131 less than v?
True
Let b = 2188 - 1028361/470. Let c = b + -117/235. Is c less than or equal to 59?
True
Let a = 1.6174 + -0.0574. Let z = a - 3.3. Are -1 and z non-equal?
True
Let v be (-62)/(-93) + (-5)/3. Let l = -3881/6171 - -50/121. Which is smaller: v or l?
v
Let h be (-4 + (-26)/(-5))/(2/5). Suppose -h*t = -g + 45 - 226, 20 = -5*g. Let m = -59 + t. Does m = 58?
False
Let t = -3595 + 3682. Let m = -18.6 + 105.6. Let l = m - t. Is l bigger than 16?
False
Let b(s) = -s**2 + 27*s + 27. Let f be b(28). Is f greater than 8/1697?
False
Let j = -16521 - -4642407/281. Which is smaller: j or 1?
j
Let n be (-47)/(-7) - 2/(-7). Suppose 5 = -p - 3*f, p = 5*f - n + 18. Suppose -c + 8 = 5*w - 2*w, -5*c + 1 = 2*w. Which is smaller: p or w?
p
Let g = -0.04306 + -0.15694. Is g greater than 466?
False
Suppose -4*a + 3*h = -0*h + 40, 4*a + 5*h = -8. Let t(u) = u**2 + 17*u + 69. Let d be t(a). Is -4/5 > d?
True
Let n = -0.0287 - 328.9713. Let z = n + 329.056. Does z = 5/3?
False
Let p = 836 + -850. Is p greater than 10?
False
Let f be (8/(-6))/((39/(-5058))/(-13)). Are f and -2247 nonequal?
True
Let a = 939/7 + -3749/28. Let h = 1 - 2. Let u be ((-11 + 2)/h)/(-1). Is u greater than a?
False
Let g = 367.75 + -136.75. Is g greater than or equal to -39?
True
Suppose 180 = 33*k - 35*k. Let a = -134 - k. Let p = a - -35. Which is smaller: 1 or p?
p
Let t = 132 - 128. Suppose g = t*d + 4*g - 4, -4*d = -4*g - 32. Suppose -9*s - 15 = -d*s + 5*n, s + 5*n = -7. Is s > -5?
True
Let x = 2.66 - -35.34. Let v = 38.2 - x. Which is bigger: v or -0.3?
v
Let r(h) = -9*h - 3. Let b be r(-5). Let m = -65 - -113. Let c = b - m. Which is bigger: -8 or c?
c
Let d(p) = p**3 - 53*p**2 - 154*p - 796. Let s be d(56). Suppose -t - 5 = 4. Which is greater: s or t?
t
Suppose -11*t + 6*t = 235. Suppose -3*u + 2*u - 46 = 0. Which is smaller: t or u?
t
Let b(g) = g**3 + 23*g**2 + 41*g - 14. Let m be b(-21). Let f be (-1)/8*362 - m/(-28). Are f and -44 nonequal?
True
Let j = -11/35103003 - -11817695084876/6072819519. Let c = j + -1946. Which is bigger: 0 or c?
0
Let n(m) = 3*m**2 + 87*m - 91. Let f be n(1). Which is smaller: -1/20049 or f?
f
Let h = 151.96 + 3.04. Let j = 158 - h. Which is smaller: j or 21?
j
Let i = -11/380060 + -639569672/1615255. Let w = i + 396. Which is greater: 0 or w?
w
Let b = -0.1493 - -8.1493. Suppose -h + 10*h - 180 = 0. Which is smaller: b or h?
b
Let t = -55 + 26. Let x be 1279/(-45) + (-5)/(-25) + 4/18. Is x greater than t?
True
Suppose -251*r + 253*r = -76. Let d = r - -39. Which is bigger: d or -4/45?
d
Let f = 58 + -66. Let p be f/20 - (-3006)/15. Is p <= 2/3?
False
Let g(y) = y**3 + 8*y**2 - 9*y + 11. Let j be g(-9). Let u = 31 - j. Let h(l) = 1297*l + 146583. Let x be h(-113). Which is bigger: u or x?
x
Let k = -777 - -22537/29. Let z = -127816/447405 + -2/63915. Which is greater: k or z?
k
Let s = -10977 + 54883/5. Is -4.4 < s?
True
Let h be (-400)/240*(-5)/((-25)/(-6)). Let l(v) = 8*v - 22. Let r be l(h). Is 33 bigger than r?
True
Suppose -31*c = -24 - 38. Suppose c*n = 10, -4*n + 18 = 3*z - 5*z. Which is smaller: z or 3/206?
3/206
Let b = 809 - 785. Let v be (8/(-12))/(b/(-9)). Which is smaller: v or -16/11?
-16/11
Suppose -2*a = -2*c + 3172, 0 = 3*a - 35*c + 37*c + 4718. Is a greater than -1589?
True
Let z = -4531 - -6784. Is z equal to 2252?
False
Let f be (-1 - (-19)/21) + (0 - 59262/(-49)). Is f at most 1210?
True
Let p(u) = -7*u**2 + 42*u + 5. Let h be p(6). Suppose -k + 4*o = -o - 6, h*o = -3*k - 2. Is k < -1/5?
False
Let r = -14.45 + -0.55. Let z = -8.8 - -9.8. Is z < r?
False
Suppose 5*u = -2*c + 5, -c - u - 25 = -4*u. Let p be (-4)/(-30)*c/11*1. Which is bigger: p or 1?
1
Let y be 4500/510 + -2 + -2 - (0 + -7). Is y >= 12?
False
Suppose 77*c - 5 - 7 = -12. Is -139 < c?
True
Let b = 266/59 - 709/118. Let t = 13 - 105. Is t equal to b?
False
Let r = 1822 + -1811. Is 42 >= r?
True
Suppose 24 + 29 = -3*a + 62. Let x = -3 + 1. Let h be 3/(-2)*x*1. Is a < h?
False
Let a = 45 - 45. Let k be (a/(-2) - 0)/4. Suppose k*i = -6*i. Which is greater: -11 or i?
i
Suppose 8 = -3*l - 1, 8 = -2*d - 4*l. Suppose d*n - 97 = 5*b, -b + 3 = -4*n + 8. Which is greater: b or -23?
b
Let q be (-15)/((2970/36)/33). Suppose -2*g = 5*z + 39, 2*z + 54 = -0*g - 4*g. Let d = g - -11. Which is smaller: q or d?
q
Let k(v) = 5*v**2 - 10*v - 17. Let f(b) = -6*b**2 + 11*b + 18. Let x(i) = 4*f(i) + 5*k(i). Let d be x(-2). Which is smaller: -3 or d?
-3
Suppose -5904 + 1432 = 72*k + 6184. Is -91 less than k?
False
Suppose -3*z + 6*z = -2*h - 169, -h = 5. Let r(y) = 7*y**3 - 139*y**2 - 25*y + 46. Let v be r(20). Which is smaller: v or z?
v
Suppose 100*y - 281110 = 689690. Which is greater: y or 9710?
9710
Let n = 31 - 33. Let y(d) = 0 - 6*d - 2 + 13 - 7. Let s be y(n). Is s equal to 16?
True
Let r = -5747/23 + 250. Let z = 71/368 - r. Let j = 3 - 2. Is j < z?
False
Let b = -98 - -103. Suppose 4*x - 6 = -5*k - 66, 2*k - b*x + 24 = 0. Let q be (-19)/7 - (k - -9). Which is greater: -3 or q?
q
Let d = -524.2 - -553. Let u = d + -30.8. Is u less than -0.106?
True
Let u(c) = 4*c - 14. Let t be u(3). Let d be 1/(-3)*(-4707)/(-15). Let z = 105 + d. Is z != t?
True
Let k = 198 + -194. Suppose -k*g = -g. Is g at least as big as 2/505?
False
Let j(l) = -l**2 + 14*l - 45. Let t be j(7). Suppose 7*m - 35 = -7. Let u be 11/22 - (-22)/m. Which is bigger: t or u?
u
Let m be ((-9)/(-12))/((-3)/2). Let u = 4776/25 + -185914/975. Which is smaller: u or m?
m
Let k(d) = d**3 + 17*d**2 - 38*d - 1. Let g be k(-19). Let l be g + (-1240)/136 + 10. Let y be 1 + -2 + (-3)/(-5). Which is smaller: y or l?
y
Let u be (-122)/(-1159) + (-66216)/630135. Is 0 <= u?
True
Let n = 2 + 3. Suppose -3*j + j + n*f + 53 = 0, -4 = -j - 5*f. Let g = 21 - j. Which is greater: g or 1?
g
Suppose 46 = -146*b - 115 + 15. Is b bigger than 8/515?
False
Let n(u) = 8*u**3 + 6*u**2 + 5*u + 8. Let p be n(4). Let f = -632 + p. Which is smaller: f or 15?
f
Let l(f) = 2*f + 16. Let s be l(-6). Suppose -2*x = -3*j + 4, s*x + j + 8 = -0*x. Let o be -1*((-7)/x + -3). Which is smaller: 2/35 or o?
o
Let x(d) = -d**2 - 6*d + 8. Let u be x(-6). Let j be (-4)/u*(0 - (2 - 4)). Let r be j/((-98)/4 - 3). Which is greater: r or 2/3?
2/3
Let g = 3137 + -3162. Are g and 2/317 non-equal?
True
Let q = -444 + 440. Let s be (152/16)/((-2)/q). Which is smaller: s or 20?
s
Let o(u) = u**2 + 13*u - 1668. Let h be o(-46). Which is greater: h or -87?
-87
Let y = -19/14 + 291/217. Let i(w) = 2*w**3 + 12*w**2 + 10*w + 5. Let z be i(-5). Suppose t + j - 2 = 0, z*t - 5*j = -0*j. Which is greater: y or t?
t
Let a = -13007 - -12764. Which is smaller: a or -244?
-244
Let z = 80 + -68. Let r be 72/30*80/z. Suppose 28 + r = c. Is c bigger than 44?
False
Let i = 1520 - 1530. Suppose 0 = y - 3*y - 22. Which is bigger: i or y?
i
Let s = -5448 - -5511.152. Let y = s - 0.152. Let c = y + -63.055. Which is smaller: 1 or c?
c
Suppose 2*r = -0*r + 8. Let m(t) = 4*t**2 + 12. Let j be m(0). Suppose r*c + j = -2*c. Is -2 <= c?
True
Let z = -1.2244 - -1.3244. Which is greater: 0.3539 or z?
0.3539
Let x be 1 + (8/24 - 84/9). Let b = -67 + 97. Suppose -3*u = 2*m + b, m - 2*u - 7 = 2*u. Is m at most as big as x?
True
Let h(a) be the second derivative of -2*a**2 - 1/6*a**4 + 2 - 28*a + 5/6*a**3. Let w be h(2). Which is greater: -15 or w?
w
Let k be 6/(-4)*(-5 - 104/(-24)). Let z = 1/51 - 290/6987. Is z less than or equal to k?
T