ose i = -m + 1. Suppose -1 = -5*v - 6. Which is smaller: v or i?
i
Let p be ((-13)/5798)/(6/72). Is 0 not equal to p?
True
Suppose 3*z - 1 - 2 = 3*y, 0 = 3*z + 4*y - 17. Let j(i) = -3*i**2 - 8*i**3 + 8*i**3 - i**3 - i**2 + z. Let m be j(-3). Do -6 and m have the same value?
True
Let x = -95 - -25269/266. Is 0 < x?
False
Let v = 6/43 - 104/129. Let k = 4 - 3. Let z = k - 0.9. Is z at most as big as v?
False
Let a(z) = -5*z - 1. Let w be a(-1). Let x(f) = 3*f**2 - f. Let s = -51 + 50. Let d be x(s). Are w and d equal?
True
Let g be (828/(-40))/9 - (-2 + 8). Which is greater: -7 or g?
-7
Let k = -30 + 30. Is 0.0402 bigger than k?
True
Let r = -1960 + 1939.99. Let t = 20 + r. Let p = t - 0.09. Which is smaller: p or -0.18?
-0.18
Let c = -5 + 12. Let h = -24 - -34. Let g(d) = -d**2 + 11*d - 2. Let v be g(h). Which is smaller: v or c?
c
Let m = -5493/8 - -1387/2. Is -1/2 at most m?
True
Suppose 58*p = 57*p. Which is smaller: p or -2/47?
-2/47
Let c(w) = w**3 - 4*w**2 + w + 7. Suppose 2*j = 4*s - 4, -3*s - 3*j + 29 = 2*j. Let q be c(s). Which is greater: q or -11?
q
Let r = 21 + -22. Let n = 0.017 - -43.983. Which is smaller: n or r?
r
Let u(n) = 7*n - 19. Let q be u(7). Suppose q*a - 32*a = 12. Which is smaller: -7 or a?
-7
Let d(i) = -i**3 + 4*i - 3. Let z be d(2). Let w be (2/4)/(z + 2). Let q be (-6)/16 + (-1150)/(-1104). Which is smaller: q or w?
w
Let d be (1 + 0)/1*-1. Let t(f) = f**2. Let h be t(d). Let x = 6300 - 50401/8. Is h less than or equal to x?
False
Let n = -1.9171 - 0.0829. Is 266 at most n?
False
Suppose -4*g + 0 = 12. Let a(h) = 159*h + 5 + 158*h - h**2 - 318*h. Let b be a(g). Which is smaller: 2/3 or b?
b
Let s be (42/9 + -5)/(13/(-36)). Let x = 153/208 - s. Is -1 not equal to x?
True
Let y be (-3)/3*(4 - -1). Let f(q) = 9*q + 2. Let d be f(4). Let p = d + -40. Is p equal to y?
False
Let h = -17 - -23. Suppose -8*f + 5*f = h. Is -12 less than f?
True
Suppose 4*p - 10 = 3*p + 3*g, -g + 34 = 2*p. Suppose -8 = 17*c - p*c. Which is greater: 2/3 or c?
2/3
Suppose -2*a + 4*w = 9*w - 6, -a + 9 = 4*w. Is a greater than -55?
True
Let o = -9 + 15. Let m be 1 - (-4 + -23 + 0). Suppose -m = -2*r - 2*r. Which is smaller: o or r?
o
Let x(j) = 1 - 2*j - 2*j - 45*j**2 + 46*j**2 - j**3 + 8*j. Let s be x(3). Is -35/6 != s?
True
Let f = -771 - -765. Let x be (-4)/(-14) - 51/7. Which is smaller: x or f?
x
Suppose 135 = 10*w + 405. Does w = -23?
False
Suppose -p - 14 = 6*p. Let v be 1470/(-375) - (p - 2). Which is greater: 0 or v?
v
Let s be (-3)/15 + (-134784)/(-195). Which is bigger: 689 or s?
s
Suppose 2*m = -2*m + 12. Suppose 1 = 2*h + m. Which is smaller: h or -3/7?
h
Let h be 140/(-21)*(-1)/4. Which is smaller: h or 16?
h
Let d = 0.7 - -4.3. Let u = 60 - 79. Let w = u - -16. Which is smaller: d or w?
w
Let u = -4.5 + 4.94. Let c = -3.44 + u. Are -1 and c equal?
False
Let u = -3153 + 3219. Let s = -2.1 + 2. Which is smaller: s or u?
s
Let n = 19 + -32. Let a = 0.5 - -9.5. Let c = n + a. Is c smaller than -0.1?
True
Suppose -2*z + 2 - 12 = -5*r, -5*z = -2*r + 4. Which is smaller: 1/27 or z?
z
Let v = 25 + -827/33. Let y = 23 - 24. Is v < y?
False
Suppose 0 = -5*b - d - 50, -6*d + 2*d = 2*b + 2. Let j = b - -14. Suppose -8 - 1 = -3*t. Is t at least as big as j?
True
Suppose -4*o + 16 = 0, 4*o = 2*q + 3*q + 16. Which is greater: 3/197 or q?
3/197
Let s = -310/3 + 102. Which is bigger: s or -0.03?
-0.03
Suppose -132 = -43*g + 37*g. Is g > 25?
False
Suppose -13*g - 243 = -230. Which is greater: g or -6/5?
g
Let s = 11 + -25. Let n = -15.7 - s. Let z = n - -1.6. Is 1 > z?
True
Suppose -5*q = -2257 - 2748. Let o be 4/(-22) + 28/q. Which is smaller: 1 or o?
o
Let p = -8/431 + -37612/109905. Let y = 2/51 - p. Which is smaller: y or 5/6?
y
Suppose 2*n = -2*i, -n = -6*n + 5*i + 10. Let y(d) = -14*d**2 - 4*d + 3. Let h be y(n). Which is greater: -16 or h?
h
Let k = -123 - -8257/67. Is k smaller than -1?
False
Let i(w) = w**3 + 8*w**2 - 8*w + 13. Let q be i(-9). Let c be 6/8 - (q + (-13916)/4272). Is -1 less than or equal to c?
True
Let x(g) = g**2 + 3*g. Let a be x(-3). Let r = 59 - 35. Suppose a = -3*s + 3*q + 6, 0 = s + 4*s + 2*q - r. Are -1/4 and s unequal?
True
Let j be 6/4 + 50/20. Suppose -j*t + 14 + 26 = 0. Let u be 6/10*t/52. Which is smaller: 1 or u?
u
Let i = -0.07 - 2.43. Let f be ((-2)/(-6))/(10/6). Which is bigger: i or f?
f
Let j be (0 + (-25)/(-2))*84/35. Which is greater: 1/6 or j?
j
Let c = 0.7 - 0.7. Let y = -1.2 + -3.9. Let g = y - -4. Is g < c?
True
Suppose -46*i - 17972 - 198 = 0. Are i and -395 non-equal?
False
Let u(w) be the third derivative of 2*w**4/3 - 13*w**3/6 + 39*w**2. Let b be u(-4). Is -78 at least as big as b?
False
Let x(a) = 80*a - 58. Let p be x(3). Which is greater: p or 1/3?
p
Let u be (4/(-1228))/(-1 - 0). Is u > -1?
True
Let y(x) = x**3 + x. Let b be y(-1). Let l = -3 + 12. Let i = 19 - l. Is i less than b?
False
Let u = 646 + -663. Is 15 > u?
True
Let f = -19.44 + 19. Which is smaller: 1/4 or f?
f
Let z = -207641/9 + 22977. Suppose 60 = 3*p - 222. Let m = p + z. Do m and 0 have the same value?
False
Let c = 142 - 152. Let u = -2 + 2.1. Which is bigger: u or c?
u
Let k(t) = 104*t**2 - 2. Let a be k(-4). Suppose 5*h + 738 = -a. Let r = 3351/7 + h. Which is bigger: r or -1?
-1
Let y = -0.2 + 0.4. Let u = -0.897 - -1.997. Is y <= u?
True
Let t = 154 + -154. Let k = 28522768195/5481 - 5203935. Let j = 2/203 - k. Which is bigger: t or j?
t
Let f be (17 + -16)/((-1)/2). Let q = 0 + -1. Which is greater: q or f?
q
Let g = -2 + 3. Let z be 12*((-20)/(-75))/2. Is g >= z?
False
Let v = 272 - 305.2. Let y = 33 + v. Which is smaller: y or -2/3?
-2/3
Let d be ((-7)/((-595)/(-20)))/(2/1). Let t be (3/(-9))/(2/(-18)). Suppose t = 2*v + 1. Which is smaller: v or d?
d
Let v(d) = -2*d - 14. Let h be v(-8). Suppose 5*p + 22 = -h*w - 17, -2*w - p - 19 = 0. Which is smaller: -6 or w?
w
Suppose -6*b + 21*b = 315. Let m be -2 + 0/(-5) + b. Which is bigger: m or 20?
20
Let o = 7 + -4. Let k be 3/(-2)*(-8)/o. Suppose 2*s + f - 2*f - 8 = 0, k*f = -4*s + 28. Which is smaller: 4 or s?
4
Let k = -17.2 - -3.2. Let h = -14.3 - k. Let z = h - -0.2. Are z and 0 nonequal?
True
Let h be (717/(-27))/((-2)/6). Let m = h + -79. Let y = -100/209 - -16/19. Which is smaller: m or y?
y
Let v be 18 + 1 - -3*(-10)/(-10). Suppose 0 = 2*p + 5*r - 24, 0 = 4*p + 2*r - r - 12. Suppose -c - 101 = -5*y, -p*y = 2*y + 2*c - 92. Does v = y?
False
Let z be -2 + (-5)/(30/666). Which is bigger: z or -572/5?
z
Let s(z) = -z**3 - 6*z**2 + 38*z - 7. Let w be s(7). Does -378 = w?
True
Let q = -0.0387 - -0.0387. Which is greater: q or -5?
q
Let w = 289 + -394. Does -105 = w?
True
Let f(w) = -w**3 - w**2 - w. Let z be f(2). Let j = -11 - z. Suppose -2 + 0 = 2*h, 24 = 5*l + h. Which is smaller: j or l?
j
Suppose 20*v + 3*a = 16*v + 216, -v = -2*a - 65. Is v smaller than 59?
True
Let k(b) = -b**2 + 14*b + 1. Let i be k(14). Which is smaller: i or -1/154?
-1/154
Suppose -3*h + h = -52. Let s = 56 - h. Let u be (-5)/(-3)*81/s. Is u at least as big as 4?
True
Let u(j) = j**2 - 7*j + 5. Let l(n) = 2*n**2 - 4*n. Let r be l(3). Let g be u(r). Which is bigger: 2/93 or g?
2/93
Suppose -2 = 3*w - 2*w. Which is greater: w or -20/33?
-20/33
Suppose 0 = -3*m + 3*a + 843, m = -3*m + 2*a + 1126. Let t = 821/3 - m. Is -8 less than t?
False
Let q = -164 + 177. Which is smaller: 12 or q?
12
Let a(l) = 4*l**2 - l. Let i be a(3). Let d = -39 + i. Which is greater: -5 or d?
-5
Let l = -3699/4291 + 3/613. Let n(h) = -h - 7. Let s be n(-5). Is l > s?
True
Let z be 4/12 + 80/(-6). Let o(f) be the third derivative of -f**6/120 - 13*f**5/60 + f**3/6 + 14*f**2. Let y be o(z). Does 1 = y?
True
Let u = 0.208 - 0.238. Is 6 not equal to u?
True
Suppose 110*i = 143*i + 33. Let v = -53441/150 + 1069/3. Are v and i equal?
False
Let w = -227 + 193. Do 2/5 and w have different values?
True
Let o be 0/(-2) - 3/40. Let n = 172.92 - 173.02. Which is greater: n or o?
o
Let z = -88 - -88.05. Let w = z - 0.009. Which is smaller: w or 0.1?
w
Let v = 1 - 0.1. Let k = 0.954 - -0.046. Let h = v - k. Which is greater: h or -2/3?
h
Let f = 12 + -17. Suppose 0*t + 3*c = -2*t - 57, -62 = 2*t + 4*c. Let z be ((-6)/f)/(t/70). Is z not equal to 2?
True
Suppose 116*o = 108*o + 40. Suppose o*x - 21 = v + v, 18 = 2*x + 4*v. Let s