j + d. Is 6/19 equal to a?
False
Suppose 4*t = -u - t + 56, 2*u + t - 103 = 0. Let o = u - 5. Suppose 2*g - g = -o. Are 0 and g non-equal?
True
Suppose -20*h = -18*h + 14. Let u(q) = 6*q - 1. Let n be u(-1). Let i be 7*-2 - 21/n. Which is smaller: i or h?
i
Suppose -2*p + 59 + 43 = 0. Let z = -28/9 + 65/18. Is z greater than p?
False
Let y(p) = 3*p + 147. Let i be y(-35). Let g be (-4)/(-42) + i/126. Is g at most as big as -2?
False
Let w be (24882/104)/(9/24). Let r = -563 + w. Which is bigger: 151/2 or r?
151/2
Suppose 3*q + 163 = 2*r, -83 = -2*r + r + q. Let v = -43 + r. Which is smaller: v or -2?
-2
Let w = -12236 - -587329/48. Which is greater: w or 1?
1
Let g be 30/(-5) - (-23 - 132). Which is smaller: g or 168?
g
Let d(y) be the third derivative of -3*y**6/20 - y**5/20 + y**3/6 - y**2 + 45. Let o be d(1). Let f = -16 - 3. Which is greater: o or f?
f
Let w = -92 + 118.36. Let s = 26 - w. Let t = s + 0.07. Which is bigger: 1/4 or t?
1/4
Let c be (30 - 30) + 41 + -1. Let d be c + -21 + -1*2. Let v = 8 + 8. Is v greater than or equal to d?
False
Let c be (-36)/96 - (-30)/(-48). Which is smaller: c or -2/18193?
c
Let u = 10289 - 9473. Is u < 822?
True
Let t be 4/(-10) - 2499/(-85). Let r be (-18)/(10/(5/(-1))). Let z be 54/(-12)*(-60)/r. Is t > z?
False
Let q be (-82)/(-574) - 470/7. Are q and -0.07 non-equal?
True
Suppose 0 = 5*v + 4*h - 28, v - 2*h = 5*v - 20. Suppose 0 = 3*m - m + v*t - 4, 2*m + 5*t - 2 = 0. Suppose -m*r - 52 = -130. Are r and 14 non-equal?
True
Let f(j) = -80*j - 1296. Let i be f(-13). Is -248 less than or equal to i?
False
Let i(r) = -3*r**2 + 603*r - 4769. Let h be i(8). Is -829/6 < h?
True
Let j(t) = t**3 - 6*t**2 - t + 7. Suppose -5*h + 5 = -5*n, -8*n = -5*h - 12*n + 50. Let d be j(h). Which is smaller: d or -147?
-147
Let f = -215.3 + 222. Let a = f - 6.6. Let t = -101 + 70. Which is greater: a or t?
a
Suppose 2*q = -h + 5, 20*q = 19*q - 2*h + 7. Is q > -9/500?
True
Suppose 37*o - 39*o = 76. Suppose 5*n = 145 + 90. Suppose -4*k = -0*k + 3*s + 162, 4*s = -k - n. Which is greater: k or o?
o
Suppose -17 = x - 4*o, -x = -443*o + 440*o + 13. Which is bigger: 14/1319 or x?
14/1319
Let i = -4528 - 174. Is i greater than or equal to -4701?
False
Let q be (-23631)/9 - (-904)/339. Is q equal to -2623?
True
Let r = 7 + -4. Let u be ((-198)/(-48))/r + 1/(-4). Suppose -k = m + 1, k + m = 5*m + 14. Is k equal to u?
False
Let j(b) = -b**3 - 390 + 6*b**2 - 5*b - 2*b**2 + 402. Let u be j(5). Is -37 <= u?
False
Let p be (-468)/(-12) + 4/(4/(-3)). Suppose 7*g - g - p = 0. Let m be (-41)/(-18) + 3/g - 2. Which is smaller: 2 or m?
m
Suppose 0 = -4*r - y - 269, 0 = -r - 88*y + 87*y - 68. Which is bigger: r or -66?
-66
Suppose 112*r - 1962 = -106*r. Suppose -5*w = 2*n - 5 - 29, -4*n + 20 = 2*w. Which is bigger: w or r?
r
Suppose -z + 5*p - 37 = -1, -232 = 5*z + p. Which is smaller: z or -52?
-52
Let v = 5834 - 5711. Is v > 144?
False
Let l(u) = -16*u - 28. Let c be l(-3). Let o be (-12)/8 + c/24. Which is smaller: -432 or o?
-432
Suppose 14 = -j + 5*y, 5*j - 75 = -y - 3*y. Suppose 13*f - j*f - 2 = 0. Which is bigger: 4/271 or f?
f
Let v = 1057/2 + -529. Is -11.6 greater than or equal to v?
False
Suppose y + 2*i + 56 = -4*y, 0 = 2*y - 3*i + 30. Is y bigger than -11?
False
Let c = -3119 - -3143. Suppose 0 = -15*i + 22*i - 140. Is c greater than or equal to i?
True
Let v = -50 - -50.042. Let a = v - -38.958. Let s = a - 39.8. Which is greater: -0.1 or s?
-0.1
Let a(d) = -28*d + 10. Let j be a(-4). Suppose -j = -2*v - 124. Which is bigger: v or -14/23?
-14/23
Let o(a) = a**3 - 29*a**2 + 55*a - 28. Let p be o(27). Let z be 45/18*4/1505. Is z less than p?
False
Let d be (-27)/(-18)*349576/(-111). Which is bigger: d or -4725?
d
Let x = 6/841 - 1772/12615. Suppose -q + 2*k - 10 = 0, 0 = -4*q + 4*k + k - 31. Let t be (0*2/q)/1. Is t at least as big as x?
True
Suppose 8*s - 17*s + 45 = 0. Suppose 13 = -s*n + 728. Is n at least 142?
True
Let c be (-119955)/220*(-4)/(-3). Suppose 4*o + 2906 = 4*n - 5*n, -2894 = 4*o - 5*n. Is o at least as big as c?
True
Let a(d) = 345*d - 2414. Let v be a(7). Which is smaller: v or 2/32659?
2/32659
Let y = 5172 - 4917. Is y > -2/3?
True
Suppose 0 = w - 17 + 76. Let r = 143 + -143. Is w equal to r?
False
Let u be -2*(-3)/(-12) - (-2)/(-4). Let s = u - -49. Let g be (-1 - (-9)/65) + s/120. Which is greater: g or 1?
1
Let r = 130 - 133. Let q be ((-8)/(-36))/(10/r). Is q greater than or equal to -4?
True
Let c(d) = -d**3 - 6*d**2 - 5*d. Let u be c(-5). Let a = -8/41 - 239/246. Is u less than or equal to a?
False
Let p(g) = -2*g**2 - 6*g - 1. Let k be p(-7). Let c = k + 59. Suppose -c*t - 23 = -7*t - 2*d, 4*d = 2*t - 14. Is t not equal to 4?
True
Let a be (-20)/60 - (-916)/12. Let x = a + 228. Is x smaller than -1?
False
Suppose 2*m - 4*u + 19 - 3 = 0, -u - 1 = -3*m. Suppose -2*l + 54 = m*n, -114 = l - 5*l - n. Is 29 bigger than l?
False
Suppose 134*d - 42230 = 25*d + 73964. Do d and 1065 have the same value?
False
Let u be 1435/20 - 2/(-8). Let p = u - 84. Let z be 1/((-15)/p) + 69/(-80). Which is smaller: -1 or z?
-1
Let u = 10027/4 - 2507. Let o = -617 + 590.7. Is o at most u?
True
Let c be -1 + ((-1)/2)/((-5)/50). Suppose 0 = c*t + 5*t - 36. Suppose t*r - 22 = -2*n, 6*n - 3*n + 2*r = 13. Which is bigger: n or 2/75?
n
Suppose -2*s = 14 + 4. Suppose 37*k - 18*y = 35*k + 164, -5*k - 2*y = 13. Which is greater: s or k?
k
Let k(w) = w**2 - 7*w - 26. Let u be k(10). Let s be 160/28 + (-24)/u. Which is smaller: 2/53 or s?
s
Let g = -4/325 - 97/18525. Suppose 7*m - 21 = 4*v, -5*m + 3 = -5*v - 12. Suppose 5*t + 15 + 13 = -3*d, m*d - 22 = 5*t. Are g and d unequal?
True
Let c = 14.43 - -406.57. Which is greater: c or -1/4?
c
Let i be (1656/(-54))/46 - 1/((-15)/(-38)). Let o be ((-2)/(-10))/(4/(-5)). Does o = i?
False
Let w be (18/(-4))/((-179)/(-49762)). Which is bigger: -1 or w?
-1
Suppose 2*r = -i + 15 + 2, 59 = 3*i + 4*r. Suppose -i*o + 24*o = 4*w - 18, -5*o + w = 15. Do 4 and o have the same value?
False
Let b(w) = 2*w**3 - 5*w**2 + 10*w - 3. Let r be b(3). Let l be r - 36 - (-1)/111. Is 1 less than l?
False
Let k = -1450 - -1411.12. Let f = 4815.12 - 4815. Let h = f - k. Is h less than or equal to 0?
False
Let n be (12/10)/((-10)/(-175)). Suppose -83*l + 23 = 3*h - 87*l, -4 = -l. Do n and h have different values?
True
Let q = -0.081503 - -75.475503. Let y = -75 + q. Let m = 0.006 + y. Which is greater: m or 1/2?
1/2
Let y be ((-1)/(-4))/((-97)/69064). Which is bigger: -181 or y?
y
Let q(w) = -w**3 - 7*w**2 - w + 4. Let n be q(-7). Let v(x) = 2*x**3 + 16*x**2 - 20*x - 13. Let r be v(-9). Suppose n = 2*l + r. Is l at least 4?
False
Let i be (((-77)/(-21))/11)/((-15)/90). Which is smaller: i or -57?
-57
Let w be -13 + 22 - 1*-3. Suppose -w = -4*l + 6*l. Let h be (1/l)/((-20)/180). Which is smaller: h or -1?
-1
Let z = 234 + 106. Which is smaller: 331 or z?
331
Suppose 564 = -512*h + 52. Which is smaller: h or 2/12511?
h
Let q = -2441 + 539463/221. Let t(l) = -9*l**2 + 19*l - 10. Let z be t(1). Which is greater: q or z?
q
Let y = -535.13 + 535.7. Which is smaller: 0.072 or y?
0.072
Let q be 3*(-1 + -6)*2064/(-344). Suppose -277*k = -283*k + q. Is 28 bigger than k?
True
Let l = 3227781/143 + -22572. Are 2 and l equal?
False
Suppose u - 84 = -5*n - 29, -4*n = 4*u - 44. Suppose -k - k + 4 = 0. Let i be 1 - ((-8)/k - 0). Is i <= n?
True
Let p(t) = 5*t - 1. Let i(j) = -31*j - 186. Let l(f) = -i(f) - 5*p(f). Let g be l(-30). Is 13 at least as big as g?
True
Let d = 4654 + -4830. Which is greater: d or -178?
d
Suppose -2*g + 2 = -4. Suppose 4*x - c - 9 = 0, -8*x + 10*x + 18 = -4*c. Let a be x/g + 11*10/(-294). Which is greater: a or -1?
a
Suppose 3*w - 270 = -3*o, 4*o + 3*w - 211 - 151 = 0. Let i = -11 - o. Is -103 at least as big as i?
True
Let d = 264 + -257. Are d and -41 nonequal?
True
Let v(n) = -27*n**2 - 6*n + 7. Let l be v(2). Let r = 53 + l. Are -62 and r nonequal?
True
Let d = 21505 - 23293. Is d less than 0.5?
True
Let x = -463 - -462.93. Let p = 1.33 - x. Is -1/7 <= p?
True
Let p(q) = 255*q + 1381. Let w be p(15). Is w at most as big as 5206?
True
Let p be 2*(-3)/4*10/(-15). Suppose 8*a + p + 7 = 0. Let t = -136/7 - -19. Which is greater: a or t?
t
Let n(d) = -d**2 + 10*d. Let u be n(8). Suppose -4*x - u + 32 = 0. Su