n = -2*k - 2. Is 4/2953 at most k?
False
Let v = 5 + -3. Let p be v/(2/(-10 - -2)). Let q = -23260 - -23250. Is p != q?
True
Let f(x) = 155*x - 48. Let b be f(1). Let l be 65/390 - (b/(-6) - -1). Let o be 2/(-5) + 281/15. Which is smaller: l or o?
l
Let z = -1.099 + 3.099. Which is smaller: z or -383?
-383
Let n(g) = -4*g**3 - 31*g**2 + 171*g - 144. Let q be n(3). Let k be 104/(-6) + (-4)/6. Is k at most q?
True
Suppose 5*m = 4*t + 3794, 36*m - 34*m - 1528 = -t. Is 763 at least m?
True
Let v = 1426834/17 - 83903. Let o = v + -1038/85. Which is bigger: 15 or o?
o
Let j = -189 + 192. Let l(a) = -a. Let d(v) = v**2 + 7*v + 4. Let r(b) = -d(b) - 6*l(b). Let f be r(j). Which is bigger: f or -33/2?
f
Let v be (148/(-16))/((-5)/47). Let p = 87 - v. Let k(f) = -36*f**2 - 2911*f + 404. Let n be k(-81). Does n = p?
False
Let n = -17493.048 - -17840. Let x = n + -351. Let h = x + 0.048. Which is bigger: h or -0.2?
-0.2
Suppose -3*j + 197 = 5*f, 3*j - 81 - 107 = 4*f. Which is greater: 60 or j?
j
Let l(v) = -v**2 + v + 12. Let x be l(-5). Let r be ((-34)/3)/((-3)/x). Is r not equal to -67?
True
Let h = -23457/5 - -4692. Which is greater: 39/8 or h?
39/8
Suppose -21*u + 20*u = 97. Let t = u - -76. Which is smaller: t or -7?
t
Let x be 80/((-72)/(-9))*2/(-4). Let h be 1*((-505)/94)/x + -1. Do 1 and h have different values?
True
Let k(x) = 17 + 78*x**2 + 0 - 11*x + 87*x**2 - 164*x**2. Let q be k(9). Which is smaller: 91 or q?
q
Suppose 2*t + 25 = -q - 4*q, 5 = t - q. Suppose t*g - 169 = -13*g. Which is bigger: 40/3 or g?
40/3
Suppose 0 = -5*n + 2*h + 2600, h + 1723 = 5*n - 882. Is 516 at most n?
True
Suppose 16*i = 15*i - 1. Do 36/3071 and i have the same value?
False
Let m = 369.7 + -352. Let p = 18.082 - 0.082. Let v = m - p. Does v = -6?
False
Let w = 88345/3 - 10159159/345. Is w > 1?
True
Suppose -w + t + 17 = 0, 3*w + 39 = -2*t + 115. Suppose 7*s - 8 + 1 = 0. Let z be (-23 + s)*(-17 - -16). Is z not equal to w?
False
Let u = 226 + -218. Suppose u*w + 2 + 6 = 0. Let i = 559/1054 + -11/62. Is i equal to w?
False
Let l be (116/6)/(7/21). Suppose 76*v - 4852 + 596 = 0. Which is smaller: v or l?
v
Let g = -0.4 + 0.3. Let a = 0 - g. Let q(d) = d**2 - 51*d + 229. Let b be q(5). Are b and a nonequal?
True
Let v be 2695/15 + -3 + 1/3. Let g = -178 + v. Is -2/1011 smaller than g?
False
Suppose 35 = 7*s + 7. Suppose 0 = -s*a - 5*n - 3, a = 4*a + 2*n - 3. Which is smaller: 116 or a?
a
Let g be 5*3/3 + -3. Suppose -6*z - 2 = -g. Let r be ((-8)/16 + z/(-1))*-14. Do r and 9 have different values?
True
Let a be 12/(-26) - 3/(-6). Let l be (-13 - (550/(-40) + 1))*-4. Which is smaller: a or l?
a
Let j(u) be the first derivative of u**4/4 + 60. Let s be j(-1). Let m be (-1)/(1*2/16). Which is smaller: s or m?
m
Let k = 1685.4 + -1685.4. Let i = -3 + 2.8. Let c = -2.3 + i. Which is smaller: c or k?
c
Suppose 339 = 3*y + 3*h, y + 4*h - 6*h - 113 = 0. Suppose -y = 14*c - 841. Which is greater: c or 51?
c
Let l = 0.77 - 0.7. Let n(r) = 19*r + 69. Let s be n(-4). Let z be 6*4/6 + (-12 - s). Are l and z unequal?
True
Suppose 3*i + 3 = 0, -i - 2*i + 2765 = 4*x. Suppose -7*y + x - 237 = 0. Let s = y - 63. Are -28 and s nonequal?
True
Suppose 33*y + 5876 = 7*y. Let k = y + 224. Does k = -8/9?
False
Let u = 16/6513 - -838705/599196. Is 1 > u?
False
Let b = -219 + 240. Suppose -14*t - 112 = -b*t. Which is greater: t or 15?
t
Suppose -2*m + 120 = -2*k, -2*m - 265 = -7*m - 2*k. Let i = m - -9. Is i at least 65?
False
Let d = -404 - -402. Let x be d/4*8/(-16). Is -20.9 at least x?
False
Let p be 2*(-9)/90*(-3 + 1024/12). Which is greater: p or -17?
p
Suppose 4491 = -7*r + 4512. Which is bigger: r or -7?
r
Let s be 342/(-741) - ((-295)/(-65) - 2). Is 788 at most s?
False
Let g = 255/8 + -2359/72. Is g >= -96?
True
Let p = 5.2 + 0.8. Let x = 6 - p. Let j be ((-16)/(-6))/((-80)/(-12)). Is x greater than or equal to j?
False
Let d(y) = -3*y**3 - 5*y**2 - 5*y + 771. Let c be d(0). Is 768 > c?
False
Suppose -11*k = -3*k + 120. Let w be (-6*1/1)/(-2). Let f(v) = -5*v + 1. Let r be f(w). Which is bigger: k or r?
r
Let v = 180.854 - 181. Let b = -0.346 - v. Which is smaller: b or 13?
b
Let l be 1/(3 + (-78)/27). Let f(c) = c**3 - 11*c**2 + 21*c + 26. Let h be f(8). Suppose h*g - l = -7*g. Is g < -2/443?
False
Let c(v) = -9*v - 2. Let w be c(-2). Let y(z) = -4*z**2 - 7*z - 2. Let l be y(2). Let d be 24/l*w/(-186). Is 1 less than or equal to d?
False
Suppose 5*y - 76 = -3*n, -46*y + 49*y = 5*n - 70. Which is smaller: -76 or n?
-76
Let s be ((-10)/(-6))/(5/8885)*3. Let y = s + -97629/11. Which is smaller: y or 9?
9
Suppose h - 296 - 133 = 0. Does h = 429?
True
Suppose -12 = -27*b + 23*b. Suppose -b*f - 2 = 4, 16 = 2*o - 4*f. Suppose 78 = -5*v + 3*k, 5*v - o*k = 3*v - 20. Which is smaller: -19 or v?
-19
Suppose 0 = -5*p - 5*d - 10, 4*d + 6 + 17 = p. Let r(o) = -2*o**2 - 6*o + 6. Let k be r(p). Let x be (4 - (-95)/k)*(-4)/15. Does x = 1?
False
Suppose 0 = 2*h - h - 2*q - 93, -3*q = 0. Let y be 3/9 + (-1 - 1/h). Which is bigger: 0 or y?
0
Let z = 2406 + 304. Which is bigger: z or 2711?
2711
Let a be 102/(-36) + 5 + 40/(-240). Does a = 191/93?
False
Suppose -3*o = -5*x + 92, -828 + 792 = 3*o + 3*x. Is o less than -344/17?
False
Let s be 4/8 + (-165)/10. Suppose 4*i = 9 + 51. Suppose i = -0*r - r. Are s and r non-equal?
True
Let x be 6 + 156/(-27) + (-1162)/72. Is -15 smaller than x?
False
Let q(c) = -32*c - 2. Let y be 520/15 + 1/3. Suppose 3*i + 2*i + n - 5 = 0, 0 = -5*i + 5*n + y. Let u be q(i). Which is greater: u or -67?
u
Suppose -3*c + 4 = -8. Let b(f) = -2*f**3 + 9*f**2 - 11. Let l be b(c). Is l smaller than -2?
False
Suppose -o = -5*m - 28, 5*m + 2 = -347*o + 346*o. Suppose 0 = 3*x - 2*x + 5*t - 1, 0 = 4*x + 3*t - 72. Is o smaller than x?
True
Let c = -4335 + 954. Do c and -3382 have the same value?
False
Suppose 133 = -4*u - 7*b, -3*b = 4*u + 171 - 50. Let c be (-18)/(-81) - (-2014)/(-72). Is u bigger than c?
False
Suppose -2*b - 14 = -2*k, -2*k = 4*b + 31 - 9. Is k less than or equal to 4/567?
False
Let n = 23.27 + -26.1. Let j = n - -3. Is j bigger than 0.1?
True
Suppose 6*w - 21*w = -1620. Suppose 0 = 2*x - 4*q - w, 5*x + 4*q - 31 - 211 = 0. Is x < 49?
False
Suppose -55663 = 3*w + 2*b - 12317, -4*w = 4*b + 57804. Which is greater: -14445 or w?
w
Let j(x) = 60*x - 111. Let b be j(8). Which is bigger: 374 or b?
374
Let g = 547 - 10398/19. Let x = g - -67/38. Do -1/15 and x have the same value?
False
Let b(p) = 165*p + 782. Let o be b(4). Is o at least 1438?
True
Suppose 3*n + 4*k + 63 = -318, -387 = 3*n + 5*k. Which is greater: -124 or n?
n
Let f = -23 - -12. Let t = 5 + f. Let m be ((-20)/18 - -1)/((-114)/171). Which is smaller: t or m?
t
Let w(t) = -t**2 - 20*t - 40. Let y be w(-12). Let u(i) = 10*i + y - i**2 + 4*i - 50. Let h be u(11). Is h < 38?
False
Let l be 1 - 154/(-231)*2/(-2). Is l at most 105/4?
True
Suppose -5*a - 36*a = 4428. Let c be (8 - (-873)/a)/(114/4). Which is greater: -1 or c?
c
Suppose 2*i - 542 = 5*n + 3*i, 5*n + 544 = -2*i. Are n and -87 non-equal?
True
Let i = 7081.18 + -7081. Do 4/3 and i have the same value?
False
Suppose -3*f - 35 = a, -a - 27 - 13 = 4*f. Let z be -4*((-194)/a - 1/5). Let h = z - -37. Is h bigger than 4/19?
False
Let m be 15 + -3 + -5 + 4. Suppose 0 = -24*n + m*n - 39. Which is smaller: n or 0.1?
n
Let r be (-5825)/209 - (-466)/8854. Which is smaller: r or -27?
r
Let v(a) = 3*a**3 + 19*a**2 + 5*a - 7. Let z be v(-6). Is -2/11299 <= z?
False
Let a(q) = -6*q - 161. Let z be a(31). Do -345 and z have the same value?
False
Let x be 116/8 - (-10)/(-20). Let d = -43 - 26. Let a be d/(-6) - (1 + -4). Which is smaller: a or x?
x
Let v = 2423 - 2424. Is v >= -2/13871?
False
Let f be 2/(-9) - (21 + (-99970)/4710). Which is smaller: 1 or f?
f
Let j(q) = q**2 - 29*q + 144. Let x be j(8). Let n(b) = b**3 + 23*b**2 - 19*b + 58. Let i be n(x). Is i at most -243/4?
True
Let w be (-12)/30 + (-1)/(-1) + 193864/(-40). Is -4844 > w?
True
Let q = -151 + 113. Let r = q + 37.23. Let z = r - 0.63. Which is smaller: 2 or z?
z
Let r = 74 + 60. Let p = r + -182. Let u = p + 51. Which is smaller: 7 or u?
u
Let i = 13054/28005 + 1/1867. Which is smaller: 28 or i?
i
Let x = -1706 - -1707. Which is smaller: x or 1/18?
1/18
Suppose 2*s = 4*x - s - 10, 2*x + 2 = 5*s. Let y b