8 and p have the same value?
True
Suppose -4*z - 4*j - 562 - 1110 = 0, -z + 2*j - 406 = 0. Which is smaller: -420 or z?
-420
Let u be 1/((-6)/(-48)) + 17 + -40. Let w be 1/(1 + (-24)/21). Let a(h) = h**3 + 6*h**2 - 5*h - 2. Let r be a(w). Which is smaller: u or r?
r
Let h be (-4 + 2)/(6/24*-2). Suppose -5*c + 90 = 5*z, -z + 4*c + 37 - 4 = 0. Suppose y + h*x + z = 0, 3*y + 2*x - 5*x = -18. Which is smaller: -2 or y?
y
Let j(w) = -9*w**3 + 7*w**2 + 26*w - 221. Let q be j(5). Is q at least as big as -1041?
True
Suppose 0 = 3*w - 3*i + 51, 5*i - 2*i = 2*w + 32. Suppose 180 = 4*r + 8*r. Let m = r + -34. Is w > m?
False
Let p(t) = 1 + t**2 + 0 + 4*t + 1. Let j = -627 + 624. Let m be p(j). Which is smaller: 2/19 or m?
m
Suppose 6*g - 215 = -209. Which is smaller: g or -3/286?
-3/286
Let j = -572 + 40043/70. Are j and 1 nonequal?
True
Let d = -6493.9 - -6494. Suppose 3*l = -4*u + 444, 3*l + u + u - 450 = 0. Which is greater: d or l?
l
Let p be 2682/11 - (150/22 + -7). Let y = p + -239. Which is smaller: y or 35/6?
y
Let z = 12.83 - 4112.83. Which is bigger: -1 or z?
-1
Suppose -2*r = -3*t - 3, 2 + 1 = -3*t - 3*r. Let f(y) be the first derivative of -y**4/4 + 3*y**3 - 5*y**2 + 16*y - 130. Let a be f(8). Are a and t unequal?
True
Let m = 93 + -254. Let r = -308 - m. Let j = -136 - r. Which is greater: 7 or j?
j
Let i = -423 - -413. Let v(w) = 8*w + 105. Let c be v(i). Which is bigger: 122/5 or c?
c
Let q = -1.8 - -16.8. Let j = -21 + q. Which is greater: j or -1/5?
-1/5
Let j = 513 + -518. Let k be (-5 - -5)*j/(-20). Is 1/47 > k?
True
Suppose 76*u - 4321 = -43*u - 1703. Let n = -23 - -47. Which is smaller: n or u?
u
Let k = -0.537 + -329.463. Let i = -335 - k. Which is smaller: 0.12 or i?
i
Let i be ((-4)/(-1) - -1) + 695664/(-139248). Is i bigger than 1?
False
Let j = 10/83 + 19020/581. Let w = j + -7367/224. Which is smaller: w or 9?
w
Let g = 3195.52 - 3196. Is g greater than 1/2?
False
Let k be 3/(15/(-2)) - (-22)/(-1155)*-26. Let u = -0.8 + 1.11. Does k = u?
False
Let p = 0 - -0.04. Let g = p + 1.96. Let u = 18702 - 18699. Is g greater than u?
False
Let c(z) = -z**3 + 6*z**2 + 2. Let b be c(0). Suppose d - 5*x = 401, 1658 = 7*d - 3*d - b*x. Is d at most 416?
True
Suppose 0*s = -3*d + s, 2 - 17 = 5*s. Which is smaller: 1/8188 or d?
d
Let k = 1841 + -1836. Is 10.24 > k?
True
Suppose -4*r + 4*n = -40, -5*r + 0*n + 2*n = -47. Let q = 135551/11 + -12323. Is q less than or equal to r?
True
Let y be (-6260)/(-70) - (3/(-7))/(-1). Let g = y - 92. Let n = 143 - 142.96. Is n < g?
False
Let d(a) = -2*a**2 + 17*a - 65. Suppose 10*k - 4*k = 36. Suppose -70 = -13*b + k*b. Let s be d(b). Which is bigger: s or -94?
-94
Let m = 122 + -127.7. Let a = m + 11.7. Suppose 2 = -17*q + 15*q. Is q less than or equal to a?
True
Let m(c) = -c**3 + 8*c**2 + 23*c - 3. Let i be m(9). Suppose i*o - 124*o = 0. Is 4/95 > o?
True
Let f = -218 - -223. Suppose 0 = -8*u + 3*u + 2*v + 1, 5*v - f = 5*u. Which is bigger: u or -1/208?
u
Let w = -6 - -5. Let o be -13 + w + (-2)/(-4). Suppose -11*i - 6 = 137. Does o = i?
False
Let k(t) = -t**3 + 30*t**2 - 54*t - 36. Let s be k(28). Suppose -89*o + 104*o = 390. Which is greater: o or s?
o
Suppose -5*c + 5 = 5*h, 2*c + 35*h - 6 = 32*h. Is -100/23 at most c?
True
Let x be (-2)/9*(-33)/22*15. Suppose -8*o - 9 = -x*o. Let m be -1 - o/(-78)*-22. Which is bigger: m or -1/6?
m
Let z = -2.1765 + -1.0935. Is -0.15 <= z?
False
Let s = -807 - -684.6. Let l = 123 + s. Let o = 0.23 - 0.23. Which is bigger: l or o?
l
Suppose -32 = x + 5*d + 55, -3*x + 4*d - 204 = 0. Is x greater than or equal to -87?
True
Let m = -12162 - -60809/5. Let d = -7.1 - -0.1. Let h = -5 - d. Which is bigger: h or m?
h
Suppose -3*n + 5*n + 36 = 0. Let j be 40/8 + n/4. Which is greater: -0.2 or j?
j
Let k = -6084.046 + 6090. Let f = k - -0.046. Let n = 4 - 3.99. Is n <= f?
True
Let y = -0.298 - 0.012. Let z = y + -14.69. Let i = 27 - 27. Which is smaller: z or i?
z
Suppose 0 = -4*z + 2114*h - 2115*h - 25384, 4 = h. Which is bigger: z or -6345?
-6345
Suppose 2*o = -2*u - o - 83, -2*u - 107 = -5*o. Let n(l) = 19*l**3 - 154*l**2 + 12*l - 13. Let r be n(8). Which is greater: u or r?
r
Let j be 26588/119 - (-6)/(-14). Is 225 less than j?
False
Suppose -2*o - 37 = 67. Suppose 4*p + 334 = 1278. Suppose 0 = p*g - 244*g - 408. Is o equal to g?
False
Let i be 278/(-3058)*(-2013)/(-6). Which is greater: i or -48?
i
Let x(t) = 13*t**2 - 7*t + 55. Let h(q) = 6*q**2 - 3*q + 27. Let n(c) = 9*h(c) - 4*x(c). Let k be n(0). Let b = 12529/534 + 10/267. Is k >= b?
False
Suppose 5*z + 130 = -5*j, -4*j = 6*z - 3*z + 78. Let r = z + -24. Let w be 2/5 + (-130)/r. Is 22/9 equal to w?
False
Suppose 0*u + 4655 = -69*u - 41644. Which is smaller: u or -666?
u
Suppose 13*i + 1 = -7 - 5. Is i greater than 1/8888?
False
Let x = -28.077 - -0.077. Let z = 27.03 + x. Let v = z - -0.67. Which is smaller: -0.4 or v?
-0.4
Let u(m) = -80*m - 48. Let k be u(-3). Suppose -5*q + 412 = -548. Is k > q?
False
Suppose -11439 = 18*l + 23*l. Let q = l + -202. Are -481 and q equal?
True
Let y be 87/348*(-88)/(-34). Does 0.2 = y?
False
Suppose -162 = -4*y + 3*k, -4*y + 73 = -4*k - 87. Suppose -6*h = -11*h + 9*h - 168. Is y >= h?
True
Suppose 2*m + 0 = -g + 2, -4*m = -g - 22. Let o be (4/g)/((-48)/(-72)). Is o at least as big as 14/69?
False
Let o(j) = j**2 + 5*j - 5. Let v be o(-5). Let k = -298.77 + 309.77. Which is smaller: v or k?
v
Suppose -4*c - 1309 + 341 = -2*z, z + 248 = -c. Which is smaller: c or 7?
c
Suppose -5*g = -5*j - 70, 7*g - 3*g - j - 56 = 0. Let c = 62 - g. Suppose -3*f - 9 = -c. Which is smaller: -0.2 or f?
-0.2
Let x be ((-4)/(-12))/(1/(-265)*45/(-54)). Is x > 92?
True
Let d be -1*1 + 0*(-25)/(-725). Which is smaller: d or -78/47?
-78/47
Suppose 10*d = 4*d - 84. Let j = -83.3 - -76. Let x = j - -7.3. Is x at most as big as d?
False
Let z = -5.557 + 5.527. Which is bigger: z or 305/2?
305/2
Let o be (-1331500)/(-375)*12/16. Is 2659 not equal to o?
True
Let a = -8273 + 223396/27. Is a <= 0?
False
Let k = 315 - 310. Suppose 2*t + 2*n = 166, -3*t = -t + k*n - 154. Is t greater than 88?
False
Suppose 0 = -162*v + 173*v - 110. Suppose -v*y = -22*y. Is -5/18 at most y?
True
Let w = 1.0567 - 0.6567. Which is smaller: -0.0976 or w?
-0.0976
Let n be (500/(-15))/(21/7). Let k = -6691/603 - n. Is -1 equal to k?
False
Suppose 2800 = 155*r - 55*r. Which is bigger: r or 268?
268
Suppose 22*t + 21104 = 25*t - 19*t. Do t and -1318 have the same value?
False
Let d = -88 - -91. Let r be 33/209*d/63. Which is bigger: -1 or r?
r
Let q be 44/175 + 4/(-7). Let s(x) = -6*x - 107. Let p be s(-18). Which is smaller: q or p?
q
Let t = -167568 - -335137/2. Let h = 0.075 - -9.125. Is t smaller than h?
True
Let p = 68 - 474/7. Let h be -5 + 1 + ((-1)/(-21))/(142/12567). Is p greater than or equal to h?
True
Let s(f) = 2*f**3 - 14*f**2 + 113*f - 4. Let i be s(19). Which is smaller: i or 10810?
i
Suppose 3*z = 4*p - 108, -104 = -5*p - 7*z + 3*z. Suppose -9 = -15*r - p. Let v = -6 - -2. Is v smaller than r?
True
Let v(m) = m**2 - m - 4. Let r be v(3). Let f be (-391)/46*(1 + 2/r). Which is smaller: f or -15?
f
Suppose 0*q - 28 = -7*q. Suppose -4*j + 8*j - q = 0. Let d be (-2 + 3 + -2)/(j + 0). Which is greater: d or 2?
2
Let d = -84 + 89. Suppose -50 = -4*v + d*r, 62 + 17 = 5*v + 2*r. Suppose v*g - 4 = 131. Is 13 at least g?
True
Let d be 752/32*4/(-6). Let q be 89/6 - (-4)/6. Let r = q + d. Is -0.2 greater than r?
False
Let a = 837 + -1068. Which is bigger: -252 or a?
a
Let x(a) = -a**3 + 21*a**2 - 35*a - 70. Let s be x(19). Which is smaller: s or 42?
s
Suppose 13*f = 2283 - 8383 - 6627. Is 2 != f?
True
Let q be 336/(-15) + 4/10. Let c(o) = -o**3 + 41 + 12*o + 2*o - 7*o**2 - 12*o - 15*o**2. Let z be c(q). Is 0 > z?
True
Let o = -0.878 + 0.383. Let f = o + 0.505. Does f = 0.29?
False
Let w = -19.612 - -12.302. Let g = 0.016 + 0.194. Let j = w + g. Which is greater: -1/4 or j?
-1/4
Suppose 0 = -54*t + 45*t + 18. Suppose -192 = -t*h - 176. Let b be (-4 - -1)*3/(-1). Which is smaller: b or h?
h
Suppose -m = -2*x + 5239, -3216 = 4*x + 3*m - 13729. Which is bigger: x or 2622?
x
Let d = 40 - 41. Let s = d - -5. Suppose x = 4*u - u + 81, 3*x = s*u + 253. Which is greater: 88 or x?
88
Let s be (16/14)/((-16)/(-56)). Let d = 70 + -9. Let u = -57 