et a(k) = 18*r(k) - z(k). Let q be ((-1)/1)/(0 - (-7)/(-56)). Let x be a(q). Is x smaller than 27?
False
Let f(u) = -4*u - 11. Let c be f(-4). Let m be ((-45)/c)/(-3)*-1. Let i be (1/12*m)/1. Is 1.5 at least as big as i?
True
Let u = 12336/65 - 1396/13. Is u <= 83?
True
Let m = 26380 - 47122. Which is smaller: m or -20743?
-20743
Suppose -15*b - 2446 = -931. Let k = -100 - b. Which is smaller: k or 13/10?
k
Let y(h) = -989*h + 156374. Let n be y(158). Suppose 2*m + 5*k - 204 = 0, -3*m = -m - 5*k - 244. Is m > n?
False
Let l(j) be the first derivative of j**4/2 + 2*j**3/3 - j**2 - 786. Suppose 2 - 22 = 4*c, -w = -5*c - 26. Let t be l(w). Is t at least -10?
True
Let t be (-30)/(-35)*49*-1. Let a = 43 + t. Is a at most as big as 6/11?
False
Let q be -4*4/(-96) - (-506)/(-12). Let j(s) = s**3 - 3*s**2 - 23*s - 13. Let a be j(6). Let m = a - q. Which is greater: m or -2?
m
Let c = 1937937 + -397276156/205. Let v be 9/(-3) - (-2404)/820. Let d = c - v. Does d = 5?
False
Suppose 3*f = 6 + 9. Suppose -5 = -2*x - 5*s, -f*x + 5*s + 0 = 5. Which is bigger: x or -3?
x
Let j = -83/28 - -19/7. Suppose 691*v = 684*v - 9590. Let q = -75356/55 - v. Which is greater: j or q?
q
Let s be (-268)/(-6) - (-9)/27. Let g be (-3)/(-6) + s/(-2). Is g less than -83/4?
True
Suppose -t + 75 = 75. Suppose g - 25 = -4*g, -3*a + 5*g - 4 = t. Suppose -12*x + a*x + 5 = 0. Which is bigger: -3/11 or x?
x
Let d(j) = j**3 + 6*j**2 + j + 8. Let q be (-8 - -2)*(5 - 2 - 2). Let f be d(q). Let k be (1770/876 - f)*8/(-6). Which is smaller: 1 or k?
k
Let l = -12314047 + 566362347/46. Let k = -1822 - l. Is 0 at most k?
True
Let n = 11 + -6. Suppose -5*p - 10*f + 1 = -7*f, 5*p = -n*f + 5. Is -2/49 at most as big as p?
False
Let g = 0.0089 + 247.9911. Let j = -244 + g. Is 2 != j?
True
Suppose -2*p = n - 7, -2*p - 21 = -29. Let x = -11.67 - -11.1. Let j = x + -54.43. Is j != n?
True
Let z = -136.69 - -224. Let v = z + -1.31. Let s = v + -86. Which is smaller: -61/3 or s?
-61/3
Let p = 13594 + -13573. Is p smaller than 23?
True
Suppose 87*k = 67*k - 14880. Let t = 745 + k. Let m be ((-4)/(-789))/((-2)/3). Do t and m have the same value?
False
Let n = 3 - 280. Let m = n - -276.93. Which is greater: m or -1/4?
m
Let y = 1.865 + 0.04. Let k = -13.67 - -13.575. Let z = k - y. Is z <= -17/4?
False
Let i be (12/12)/((-1)/(-2)). Let z be (-118)/(-159) - i/3. Suppose -39 = 42*f - 81. Which is smaller: f or z?
z
Let o(t) = 9*t + 1264. Let j be o(-53). Does j = 5500/7?
False
Let n = 722 + -345. Let r = -403 + n. Is r bigger than -26?
False
Let g be (-15 - -3)*(3 - 1575/522). Let m(f) = -6*f**3 + f. Let q be m(1). Let v(u) = -u - 6. Let b be v(q). Which is greater: b or g?
g
Let c = -173/423 + 89/141. Is -42/11 not equal to c?
True
Let y be ((190/(-8))/19)/((-157)/(-108)*-3). Which is bigger: y or 0?
y
Let m be (40/16 - 3) + (-3302)/(-4). Let b = m + -14029/17. Which is smaller: 0.02 or b?
b
Let x = -0.214 + -0.076. Let h = -11.49 - x. Which is smaller: -3 or h?
h
Let d(g) = -2*g**3 - 19*g**2 - 37*g - 144. Let m be d(-8). Which is smaller: -59 or m?
-59
Let a be 0 - (-672 + 0 + (-4)/(-2)). Suppose -a - 38 = -12*m. Let j = m + -36. Which is bigger: 24 or j?
24
Suppose 21*g + 7*g - 190020 = -2*g. Is -1 <= g?
True
Let f = -892 + 6826. Is f bigger than 5934?
False
Let w(t) = 11*t**2 - 11*t - 11. Let c(a) = -31*a**2 + 33*a + 33. Let l(f) = 6*c(f) + 17*w(f). Let h be l(-10). Which is smaller: h or -2/151?
-2/151
Suppose 36*p - 17185 = 31*p. Let b be 2/10 - -3*p/(-105). Let c = -97 - b. Is -3/20 at least as big as c?
False
Let w = -137.2 + 137. Let r = 0.5 + 6. Let y = -7 + r. Which is smaller: w or y?
y
Let y = 0.05456 - 214.01456. Let r = -214 - y. Let t = -9 - -13. Is t not equal to r?
True
Let o = 1064 - 544. Let x be (-5)/(2725/o) + 2 + -1. Is -1 > x?
False
Suppose -78*g + 63 = -93. Which is greater: g or 596?
596
Let z = -54 - -181. Let s = -126.9 + z. Which is bigger: s or -2/307?
s
Let q be 4 + 45/(-12) - 4/(-32096)*-2054. Which is smaller: 0 or q?
q
Let o = 120 - 105. Let v = 80 + o. Let s = -90 + v. Which is smaller: s or -1?
-1
Let m = 233041 - 12351176/53. Suppose 0 = -4*v + 20 - 4. Suppose 2*i + 2*i + v*g + 12 = 0, -5*i + g - 3 = 0. Which is smaller: m or i?
i
Let l = 4449.6 + 993.4. Are l and -0.1 equal?
False
Let u(v) = 7*v + 229. Let k be u(-18). Suppose 8*o - 303 = -k. Which is smaller: 24 or o?
24
Suppose -2*m = 34 - 8. Let w = m + -8. Let y(c) = 9*c**2 + 243*c - 21. Let z be y(-27). Is z less than or equal to w?
True
Let x(z) = z + 3. Let t be x(0). Suppose 27*h - 9*h - 36 = 0. Suppose u - 4*l = -9, t*u + 4*l - 3 = h. Which is greater: u or 2/11?
2/11
Let u = 17.674 + 0.386. Let w = -0.06 + u. Let i = w - 17. Which is bigger: -0.2 or i?
i
Let r = -12.076 + 152.366. Let l = r - 140. Which is smaller: l or 1/2?
l
Let g = -383/70 - -27/5. Let n be (-2)/(-21)*(-35)/14. Let h = n - g. Which is smaller: h or -1?
-1
Let l = -1548 + 1502. Suppose -58 = m - 0*k - 4*k, 2*k - 6 = 0. Is m less than or equal to l?
True
Let u = -1.91 - 0.09. Let n = -870 - -860.01. Let x = n - -10. Is u < x?
True
Suppose 39*q = 22*q - 272. Suppose -10*d = -3*n - 13*d, n + 3*d = -4. Which is smaller: q or n?
q
Let p = -82 + 106. Let l = 21.9 - p. Let v = -2 - l. Is v less than 0.1?
False
Let h = -300 + 350. Which is greater: -1 or h?
h
Suppose 2*i = -3*y - y + 6, 2*i - 9 = -3*y. Let k = i - 8. Suppose -2*t + 175 = 169. Do k and t have the same value?
False
Suppose 27*z = -181082 + 10199. Are z and -6331 nonequal?
True
Let k = -36 + 37. Suppose 0 = -3*h + v + 3*v + 8, 4*h - 9 = 5*v. Which is greater: h or k?
k
Let x = -129.2 + 115. Let c = 13.2 + x. Are c and 23 equal?
False
Let b(l) be the second derivative of 0 - 12*l + 26*l**2 + 1/3*l**3. Let h be b(-26). Is h bigger than -7/8?
True
Suppose -2*v - 34 = -0. Let l = v + 20. Let n be l - 1 - (-30)/(-20). Is -2 at least n?
False
Let c = -37012738/187 + 197930. Let d = 28/17 - c. Which is bigger: 0 or d?
d
Suppose 0 = 2*v + 86 - 78. Let s be -1*(49 + v)/(-3). Suppose 0 = 2*l + 23 - s. Do -1 and l have the same value?
False
Let f = -10 - -10. Let l be 2 - f*(-5)/15. Suppose l*o + 2*o = 12. Which is greater: o or 4?
4
Let m(n) be the second derivative of -n**4/2 + 25*n**3/6 - n**2/2 - 3*n. Let d = -155 - -159. Let i be m(d). Is i bigger than 3?
False
Let t = -9.6 - -2.8. Let w = -3.2 + t. Do w and 0.4 have different values?
True
Suppose 279 = -3*g + 4*n, -9*n + 372 = -4*g - 7*n. Let d be 1/(-2)*((-10)/g)/(-5). Does d = 0?
False
Let u = -1190 - -1296.1. Let h = 368 + -262. Let b = u - h. Which is smaller: b or -12/7?
-12/7
Let a = -5/34 + 3947/26724. Which is smaller: a or -1?
-1
Let w(k) = 11*k + 105 + 1 + 42. Let i be w(-17). Suppose -2*g + 43 = -3*g + u, -3*g - 4*u - 108 = 0. Which is smaller: i or g?
g
Let o be 2/(-9)*3 - 72653/(-99813). Suppose 0 = -3*i + 5 + 7, 4*i = -2*u + 18. Which is smaller: u or o?
o
Let j be (-2)/(-4)*-2 + (6 - 6). Which is bigger: j or -5/348?
-5/348
Let b be (-5 + -4)*5/(-15). Suppose -5*s + 2*l + 61 = 346, -b*l = 2*s + 114. Let g = s + 53. Which is bigger: -1 or g?
-1
Suppose 0 = -4*q - 12*q + 64. Let m be 1575/801 + (2 - q). Is -1 >= m?
False
Let w = 5.808 + -2.822. Let b = 0.022 - 0.008. Let o = b + w. Is -0.1 bigger than o?
False
Let s be ((-26)/(-5))/((-124)/8). Let q = s - 2/31. Suppose 0 = 7*r + 112 - 14. Do q and r have different values?
True
Suppose -g = -4*h + 4, 498*h + 4 = 502*h - 3*g. Does -28/81 = h?
False
Suppose -3*o + 2*o = -j + 626, -4*o = -16. Is 632 != j?
True
Let z = 4134 - 4222. Which is bigger: -8 or z?
-8
Let h = 67 + -62. Suppose 0*k = -k - 2*t - 2, -h*t = 4*k + 17. Let a be 6/(-4)*k/(-20). Is -2 >= a?
False
Suppose 201*b - 185*b + 86320 = 0. Is b not equal to -5394?
True
Let q = -0.163 - -0.973. Let x = q + -19.51. Let k = x + 2.7. Do k and 1 have the same value?
False
Let z(m) = -m**3 + 3*m**2 + 49*m + 18. Let j be z(8). Let t be 7 + 86 - (3 + -1). Which is smaller: t or j?
j
Let q = 11358970356291/203426 - 55838341. Let h = q + -1983812627/18511766. Let z = 750/7 + h. Which is smaller: z or 1?
z
Let j be ((-40)/(-5) - 2)/(-2). Let c be j*1 + 3332/1106. Which is smaller: c or -1?
-1
Let r = 147.05 - 147.11. Which is greater: -0.1215 or r?
r
Let f = -2710.1 - -2706. Is 0.71 less than f?
False
Suppose -2*h + 26 = 4*t, 