et o = 172 - 162. Suppose -h + 0 + 3 = 5*s, h - 21 = s. Let m be 7/(14/h) + 2. Is m at most as big as o?
False
Let t = -269 + 269.042. Let d(r) = -1 + r**2 + 16 + 9*r + 0*r**2. Let j be d(-7). Is t less than or equal to j?
True
Let o = 2219.2 + -2142.08. Is o greater than 1?
True
Let s be 0/(((-144)/(-6))/(-4)). Let v = -72679/79 - -920. Which is smaller: s or v?
s
Let y = -3603 + 3673. Which is bigger: y or 5?
y
Suppose -166*j + 8 = -0 + 8. Which is smaller: -14/205 or j?
-14/205
Let l be 0/(-3 + 6)*(16 - 310/20). Let r be (-2 - -4)*(-27)/(-40). Do l and r have the same value?
False
Let t be (-350)/85 - 2/(-17). Let a(y) = 37*y + 4. Let f be a(t). Which is greater: -145 or f?
f
Suppose -71*v + 612119 - 91604 - 13788 = 0. Is v less than 7138?
True
Let g = -1568 + 1585. Is 16 smaller than g?
True
Let b(h) = -h**3 + 36*h**2 - 331*h + 106. Let i be b(23). Is -630 less than or equal to i?
True
Let x(u) = -9*u + 1. Let h be x(1). Let y(d) = -d**3 - 9*d**2 - 8*d. Let q be y(h). Let k be (22/(-144) + (-14)/63)/18. Are k and q non-equal?
True
Suppose 51 = 29*y - 500. Which is bigger: y or 655/34?
655/34
Let r = 83/76 + -16/19. Let h = -5.62 - -5.307. Is h < r?
True
Let z = 0.1448 - 1.4448. Let v(c) = -c**2 + 7*c - 2. Let y be v(4). Let l be 4/y*25/(-35). Which is greater: z or l?
l
Suppose 4*z + 50 = -5*i - 285, 28 = -4*i. Which is bigger: z or 141?
141
Let k = -7.4 - -0.4. Let m = -25 + 27. Suppose 4*w + m - 14 = 0. Are w and k equal?
False
Let g = 176017/708 + -746/3. Are 0 and g non-equal?
True
Let m = -97/4 - -24. Let o = 78 - 78.078. Let k = 16.078 + o. Which is bigger: k or m?
k
Let j be 2 - (-4 + 3 + 1). Suppose 77 = -2*l - 5*x + 6*x, j*l = -x - 79. Let h be 61/(-48) - 52/l. Is 1 smaller than h?
False
Suppose b + 3 = 9. Let u be (-4)/(-24) - 19/b. Let z be 5 - -1 - (u - -7). Which is smaller: 3 or z?
z
Let n = -9264 + 454259/49. Let h = 10609/539 - n. Are h and 12 unequal?
True
Let z(i) = -628*i + 46. Let d be z(-3). Suppose 0 = j + 2, -d = 4*l - 2*j + 3*j. Is l at most -482?
True
Let p = -63.7 - -160.7. Let r = -450 - p. Is r > 0?
False
Let o(i) = -i**3 - 4*i**2 - 2*i - 6. Suppose 2*d = b - 0*b + 14, -4*b + 5*d - 41 = 0. Let w be o(b). Suppose w*s + 2*s + 4*u = -56, 5*s - u = -58. Does -12 = s?
True
Let d = -255 + 3823/15. Let h = -37 - -32.65. Let q = -0.65 + h. Which is bigger: q or d?
d
Let j be ((-153)/102)/((-6)/(-88)). Suppose -3*u + 5*v = 22 - 93, 4*u - 116 = -4*v. Let m = j + u. Does 4 = m?
False
Suppose 33 = -5*o - j + 19, -2*o + j = 0. Is -6 greater than o?
False
Let j = 14298 + -12298. Which is smaller: 9994/5 or j?
9994/5
Let g = -2282/9 - -254. Suppose -5 = -f - 0. Suppose 3 = f*i - 2. Which is smaller: g or i?
g
Let b be (-18 - (-70847)/2807) + -7. Does b = -1?
False
Let n be (-7)/((-70)/24) - (-4)/(-10). Suppose -3 = -5*w + n*c + 6, -5*w + 3*c = -11. Let s be (w - -3) + (-2 - 116/57). Which is smaller: s or 0?
s
Let l = 414 - 752. Let r = 270 + l. Is 1 greater than or equal to r?
True
Let u(n) = n**3 - 17*n**2 - 27*n + 43. Let m be (-1 + 0)/((-15)/270). Let o be u(m). Let y = -115 - o. Which is smaller: y or 2?
2
Let q = 141 + -148. Let g be 4/q*(-3)/(-40). Suppose i + 1 = -0. Which is smaller: g or i?
i
Let b(y) = 19*y**2 - 169*y + 71. Let m be b(6). Is m < -247?
True
Let c = 16815 - 16814. Which is bigger: c or 140/61?
140/61
Let s = -1503 - -1502. Which is bigger: s or -13/63?
-13/63
Let r = 403 + 391. Let w = -3957/5 + r. Which is smaller: -0.2 or w?
-0.2
Let j = -39575 + 198721/5. Which is smaller: j or 168?
168
Let a be -19 - -22 - 10/2. Let j(z) = -7*z - 2. Let f be j(-1). Suppose 0*d - 2*d + 15 = -f*w, 0 = -4*d - 20. Is w equal to a?
False
Let t be 24/18*226*6/8. Suppose 430 = -6*l + t. Do -34 and l have the same value?
True
Let d = 12442/3 - 11185364/2697. Are -1 and d unequal?
True
Suppose 3*f - 3*x - 81 - 288 = 0, -131 = -f - x. Suppose 12*v - 43 = -r + 13*v, -3*r + 4*v + f = 0. Is r >= 44?
True
Let r = -5 + 3. Let i be (-111)/(-4) - r/8. Let f = -0.6 - -0.7. Is f <= i?
True
Suppose -23 = 2*f + 3*x, -2*x = -26*f + 22*f - 38. Let z = 0.5 + -4.5. Which is bigger: z or f?
z
Suppose -l = -2*l + 3, 3*l = 4*y + 1. Let r be 29975/(-60) + y/6. Let k = r + 494. Which is smaller: k or 1?
k
Suppose 0 = 14*d - 12*d - 1476. Is d greater than 738?
False
Let k = -45.931 + -0.069. Let n = 22 + k. Let g = n - -10. Is g smaller than 1?
True
Let i(f) = 4*f**2 + 140*f - 36. Let r be i(-35). Is r less than -51?
False
Let g be (-268)/(-14)*(-735)/210. Which is smaller: -1150/17 or g?
-1150/17
Let j = -39.992 - 0.008. Let b = j - -73. Suppose 0*l - 2*l + 2 = 0. Do b and l have the same value?
False
Suppose -314*w + 336*w = 457358. Is w greater than 20789?
False
Let p = -133 + 141. Let l be (4/p)/((-7)/(-12))*7. Let z = -53/322 + 1/46. Is z at most l?
True
Suppose -p = -2*g - 37, 4*p + 0*g - 4*g - 144 = 0. Let w be (-28)/p - (-41)/(-5). Let j be (18/12 - 6)*52/30. Is w < j?
True
Let y be (-24)/(-18)*9/942. Suppose 5*x = 9 + 6, 0 = -3*u + 5*x - 15. Suppose 124*w - 119*w = u. Which is smaller: w or y?
w
Suppose 0 = 36*k - 2200 + 2686 + 7758. Which is greater: -2511/11 or k?
-2511/11
Suppose 15 = 2*m - 3*j, -5*j - 17 - 8 = 2*m. Which is smaller: m or -1/525?
-1/525
Suppose p + 3*z + 3 = 5, 0 = -4*p - 5*z + 22. Suppose 0 = 2*a + 4*d + p, 3*d - 48 = 3*a - 0*d. Let i(o) = o**3 - 7*o**2 + 6*o + 12. Let n be i(4). Does n = a?
True
Suppose -u - 58 = 2*j + 46, -5*u = -5*j + 445. Let m = 0.775 - 0.275. Is u at least as big as m?
False
Let q be (-138)/(-54) - (-1 + (-4)/(-1)). Let r = 94 - 64. Let o = 29 - r. Which is greater: q or o?
q
Let d be (-2)/(-18) + (6/27)/((-2)/23). Is -5 bigger than d?
False
Let s be (1 - 1)/(-8 - -7) + -1. Let g be (-86)/301 + s*8/70. Is g greater than or equal to 23?
False
Suppose 17*f + 158523 - 57029 + 80253 = 0. Is -10691 > f?
False
Suppose 2*z = -3*f + 142, 0 = -0*z - 2*z - 4*f + 144. Let w = -66 + z. Suppose 5*o = 4*j - 1 + 6, o - w*j = 1. Which is smaller: o or 0?
0
Suppose 8*c - 34 = 758. Let i = -99 + c. Is i bigger than -2/315?
True
Let y be (-4)/(-14) + (-48)/21. Let j be 2 - -3*(6 - (-8)/2). Let l(a) = a**2 - 30*a - 69. Let t be l(j). Is t less than y?
True
Let z = -54/241 - -25576/103389. Which is smaller: -1 or z?
-1
Let i(r) = -18*r - 343. Let z(j) = 9*j + 173. Let v(w) = -2*i(w) - 5*z(w). Let u be v(-20). Which is smaller: 12/155 or u?
12/155
Let a = 88.4 - 216.4. Let j = -175 - a. Which is greater: j or -1/3?
-1/3
Let r be (150/45)/((-14)/15). Let j be ((-88)/24 + 3)/((-6)/(-27)). Which is smaller: j or r?
r
Let k(t) = 1. Let j(z) = -2*z - 10. Let l(x) = j(x) + 5*k(x). Let u be l(-3). Let b = 1019/3330 - 2/333. Do u and b have the same value?
False
Let k = -1.7922 + 1.83. Let j = -2.6522 - k. Let a = j + 2.7. Is -2 less than a?
True
Let b = -3.12 - -3. Let z = 1171 + -1147.88. Let c = z + b. Which is bigger: c or 1?
c
Let w(s) = -s**3 - 11*s**2 - 20*s - 18. Let a be w(-9). Let p = -15/44 - 9/22. Is a <= p?
False
Let q = -296406/247 + 43667575/8151. Let v = q + -4157. Is v greater than 0?
True
Let p = 0.982 - -0.018. Which is smaller: 146 or p?
p
Let y = -258 + 146. Let a = 315 + y. Is a less than or equal to 202?
False
Let z(q) = 2*q**2 - 16*q - 170. Let u be z(-7). Which is bigger: 15 or u?
u
Let y = -1463 - -943. Which is smaller: 3/5 or y?
y
Let h be (19 - (-15610)/(-820))*98/3. Is h smaller than 0?
True
Let w = 14 - -103. Suppose 0*o = -3*o - w. Let q be (8/60)/((-120)/(-200)). Which is greater: o or q?
q
Suppose -8*x + 11*x = -2*m + 11, 2*m - 4 = 4*x. Let t(l) = 16*l - 61. Let i be t(m). Is i at most 41/2?
True
Suppose 0*v - 17 = -v + 4*p, 2*v = 5*p + 25. Suppose -v*d - 14 = -5*y - 4, -15 = 4*d + 3*y. Is d <= -20/13?
True
Let u(k) = 8*k - 21. Let y be u(11). Suppose -19 = -12*v - y. Let o be 3*1/(-1)*1. Which is bigger: v or o?
o
Suppose b = 3*u + 26, -u = -5*u - 5*b - 22. Let a be 65/(-1040)*(-6)/u. Are a and -1 unequal?
True
Let v = 49 - 28. Let o be 3/36*(-28)/v. Is o not equal to 1?
True
Let j(n) = -n**2 - 11*n - 9. Suppose 3*i + 3*d = -21, -d + 5*d - 60 = 4*i. Let s be j(i). Let l = s + -2. Is -10 at least l?
True
Suppose 3*h = 6823 - 20548. Which is bigger: -4576 or h?
h
Let g be (3/(-2))/(90/30) - 7692/(-15408). Is g < -1?
False
Let r(v) = v**2 - 16*v + 43. Let m be r(13). Suppose 0 = -m*g -