Let o = 6 + 11. Let a(l) = -l**2 - 11*l - 27. Let n be a(-8). Let z be 17 - -1*(-4 - n). Which is smaller: o or z?
z
Suppose 4*c - 1 = -u - 2, -4*u = -c + 21. Suppose 7*q + 22 = -4*q. Let r be ((-4)/156)/(((-5)/q)/5). Which is smaller: r or c?
r
Suppose 58 = n + s - 24, 0 = -4*s + 8. Let t = n - 78. Which is greater: t or 12?
12
Suppose 5*i + 0*r = -4*r + 3, 0 = -5*i + 3*r - 11. Let c = -7 - -8. Let f be (84/15 - 3) + (-2 - c). Is i > f?
False
Let u = -0.21 + -20.79. Let f = u + 21.1. Do f and -14/3 have the same value?
False
Suppose -5*z + 9 = 4*g + 58, 4*g + 4 = 0. Let t = -127/14 - z. Suppose o + 0 = -1. Are t and o nonequal?
True
Suppose 0 = -16*j + 7*j + 234. Suppose -3*l + 4 = -j. Which is smaller: l or 0?
0
Let z = 2203 + -2203.5. Which is smaller: z or 188?
z
Suppose 3*t = r + 4*r - 18, -3*t = 3. Suppose u - 5*u - 41 = -r*d, -u = -4*d + 59. Let a be (d/(-20))/((-27)/(-8)). Which is smaller: -1 or a?
-1
Let z = -170/9 - -14969/792. Let i = z + -101/1144. Let p be (4/(-6))/2*-3. Which is smaller: p or i?
i
Let m be 11/((-1)/1*-1). Suppose -5*y + 3*o + 153 = -o, 0 = -4*y - 5*o + 106. Suppose -y = -3*h - 2. Do m and h have the same value?
False
Let x(b) = -2*b - 27. Let a be x(-14). Let y be 8/3*126/(-8). Let d be 166/y - (-13 + 9). Is d at most a?
True
Suppose 0 = 5*u + 6*u. Let k = 13/7 - 417/217. Which is bigger: u or k?
u
Let v = 547/20731 - -9400455/108858481. Let r = v - 4/89. Is -1 at most r?
True
Let z(n) = n - 10. Let x be z(8). Let i be (-132)/(-28) + -1 + x. Suppose -r + 2 = 0, -4*r - r + 4 = -3*m. Which is smaller: i or m?
i
Let q = -1.0457 + 0.0457. Which is bigger: q or 9/338?
9/338
Let c = 0.047 + -2.047. Does -13 = c?
False
Suppose 4 + 20 = 4*r. Let c = 76 + r. Is 82 < c?
False
Suppose 4*c - 4 = 0, -2*i + 5*i - 35 = c. Suppose -38 = -2*u + 3*d, u + 0*d = -2*d + 5. Are u and i unequal?
True
Let g = -7562/2013 - -22/183. Which is smaller: 1 or g?
g
Let d = 2809603/7748 - 37749/104. Let u = -4111 - -612543/149. Let a = d - u. Is a < 1?
True
Let n be ((-8 - -2) + 2)/(-1). Let t = n + -2. Let s = -52 - -50. Which is greater: s or t?
t
Let s be (17/68)/((-6)/8 - -1). Let h be (-2)/((-144)/69 - -2). Let v = -93/4 + h. Is v smaller than s?
True
Let d be (-1 - 3) + 6/2. Let y(o) = 7*o**2 + 6*o + 2. Let t be y(-4). Let f be 10/5 - t/44. Is f bigger than d?
True
Let c be (-5 - 0/3)*(-1)/(-1). Let n be (-2)/(c/((-325)/10)). Is n less than or equal to -12?
True
Let c = -168.6 - -14.6. Let n = c - -154. Let z = 16 + -11. Is n != z?
True
Let n = -209/4 + 53. Let u be (1 - 9)*1/(-1). Let c = 9 - u. Which is smaller: n or c?
n
Let t be (-18)/225*5 + (-117)/(-30). Is t at most 27?
True
Suppose -78*h = -123*h + 315. Is h < -1?
False
Suppose -4 + 0 = -4*w. Suppose -4*b - 4*d = -b - 4, -2*b - d = -w. Suppose 0 = -z - b*z. Is 6/19 at most z?
False
Let j = -2.67 + -13.33. Is -0.5 greater than j?
True
Let c(i) = -i - i**2 - i**2 - 319*i**3 + 313*i**3. Let a be c(-1). Which is greater: 4 or a?
a
Suppose -92*i + 77*i + 120 = 0. Which is smaller: i or 24?
i
Let p = -1107 + 1106.8. Which is smaller: p or -58?
-58
Let c = 0 + 4. Let n(r) = r**2 - 11*r + 11. Let s be n(c). Are -16 and s equal?
False
Let b = 123 + -123.1. Let w = -0.07 - -20.07. Which is smaller: b or w?
b
Let y be -3 - (-180)/28 - 3. Let u = 0 + 1. Which is bigger: u or y?
u
Let d = 129591209/43 - 3014007. Let w = -258 - d. Is w > -1?
True
Let v be 14/6 - 30/(-45). Suppose -2*d - 3 = h - 0, -5*d = -v*h + 13. Is d greater than or equal to -4/3?
False
Let s be (-4 - (0 + (1 - 3)))*-1. Let a be (s - 1)/((-3)/18 + 0). Let i = 0.1 - 0.1. Which is bigger: a or i?
i
Let k = 6.12 + -5.42. Which is greater: k or -41?
k
Let w = 638/3 - 229. Which is smaller: w or -15?
w
Let l be (-10)/(-8)*3/(-15). Let c = 49 + -47. Which is smaller: l or c?
l
Let p = -635/442 - -16/13. Which is greater: p or 1?
1
Suppose -2004 = t + 5*t. Let o be -4 + 2/(-164)*t. Which is greater: o or 1?
1
Let x be ((-3)/4)/((-5)/(80/1236)). Which is greater: 1 or x?
1
Let j = -6989/19 - -368. Let v = -467 - -468. Which is smaller: j or v?
j
Let z be ((-3)/((-3843)/2))/(6612/3857). Which is smaller: -1 or z?
-1
Let i = -0.0602 + 1.2602. Let b = 0.3 - 0.2. Is i <= b?
False
Suppose h = -0*h. Let i = -1 - h. Let z be 8/6 - (364/42)/2. Is z <= i?
True
Let f be (-16)/40 - (-24)/(-15). Do f and -24/17 have different values?
True
Suppose 0 = c + z - 34, 2*z - 29 = -0*c - c. Which is bigger: c or 7/2?
c
Let x(f) = f**2 + 13*f + 10. Let v be x(-6). Suppose 4*s = -d + 3*s - 28, -148 = 5*d + 3*s. Is d <= v?
True
Suppose -63 = -9*y + 18. Let j = -10 + y. Let i(z) = -z**2 - z. Let p be i(j). Which is greater: p or -3/4?
p
Let o = -21 - -21.3. Let c = -1 + 1.3. Let m = c + -0.2. Is m at most o?
True
Let m = 35 + -19. Suppose -25*z = -21*z - m. Which is bigger: z or -1.1?
z
Let m(v) = -460 + 3*v + 3*v + 526. Let g be m(-11). Is 11 > g?
True
Let l = 101 + -108. Let w be (-6 - l)/(3 - 2). Is w greater than -3/47?
True
Let c = 246 + 105. Is 350 != c?
True
Suppose 35*s - 11*s = -7512. Which is bigger: s or -2?
-2
Let s be (300/(-45))/(4/18). Let u = 32 + s. Suppose -2*h + 0*h = -u*z - 14, -3*z - 17 = -h. Is -5 at least as big as z?
True
Let b be 38/60 + (-2)/6. Let k = -1946 - -1945. Which is smaller: b or k?
k
Let q(b) = 143*b**2 + 3*b + 5. Let g be q(-1). Which is smaller: 144 or g?
144
Let x = 0.23 - 0.03. Are -159 and x nonequal?
True
Let b = -362 + 339. Let x = -14 - 12. Let f = b - x. Which is bigger: 24/7 or f?
24/7
Let v be (1 + -5)/(-18 - (-2 + -2)). Let t = 0.3 - 0.4. Let o = 0.1 + t. Which is smaller: v or o?
o
Let y = 26 - 21. Let s be 528/(-177) + -2 + y. Is 1 > s?
True
Let w(m) = 16*m - 117. Let j be w(8). Let y(z) = 3*z**2 - 8*z - 3. Let i be y(4). Which is smaller: i or j?
j
Let i be -9*(-2 - (477/(-237) - 0)). Which is smaller: i or 1?
i
Let x be (-15)/6 + (-34)/(-12). Which is bigger: x or 157?
157
Let x = 5.23 + -5.03. Let r = -5.2 - -5. Which is smaller: r or x?
r
Let d(g) = -g + 13. Let b be d(10). Let c be 1*(1 - 1)/(b/(-3)). Which is greater: -2/11 or c?
c
Suppose -16 = -178*i + 194*i. Is 10/3 at least i?
True
Let b(p) = -2*p**3 + 12*p**2 + 5*p + 5. Let z be b(9). Let r = -3058/7 - z. Let d be 1/(-2)*(2 + 0). Is d >= r?
False
Let i(u) = -4*u**2 + 6*u - 6. Let s(v) = 5*v**2 - 7*v + 7. Let p(o) = -4*i(o) - 3*s(o). Let f be p(5). Let g = f + -19. Is -6 greater than g?
False
Let c = -7 - -1. Suppose 30 = -2*s + 2*j, -2*s + 5*j - 15 = -0. Let h = s + 13. Which is smaller: h or c?
h
Let q = 34.07 - 32.1. Which is bigger: 3 or q?
3
Suppose -a + 2*a - 3 = 0. Suppose -a*s + 9 + 3 = 0. Suppose s*k - 14 = -6. Which is bigger: 3 or k?
3
Suppose 3*l - 2*l = -18. Let k be 3/(-8)*(-68)/l. Let b = k + 1/12. Which is greater: b or -1?
-1
Let m(k) = 7*k + k**2 + 1 - 51 + 4*k + 5. Let y be m(-14). Is -2 > y?
True
Let c(x) be the second derivative of -x**4/6 - 13*x**3/6 - 3*x**2/2 - x. Let o(q) = -q**2 + 15*q - 42. Let l be o(3). Let r be c(l). Which is bigger: r or 2?
r
Let h(x) = 0 - x - 13 + 3. Let o be h(-7). Let w be (3/26)/(o/(-4)). Are w and 1 nonequal?
True
Let j be (-25)/2 + 4/8. Suppose -6*q = -s - 11*q - 18, -4*s - q - 53 = 0. Which is greater: s or j?
j
Let y = -12.62 + 9.42. Do y and -3/2 have the same value?
False
Let l = 3.68 + -3.68. Which is greater: -59 or l?
l
Suppose -s + 8 = 7. Which is smaller: 199 or s?
s
Suppose 0*k - 3*l + 406 = 4*k, -4*k = -2*l - 416. Is k at least 102?
True
Let a(k) = k**3 - 8*k**2 - 19*k - 11. Let q be a(10). Which is bigger: 1/21 or q?
1/21
Let n = 83 - 82. Suppose 4*y + 5*l + 181 - 38 = 0, 0 = l - n. Which is smaller: -1 or y?
y
Let l(j) = j**3 + 2*j - 1. Let q be l(2). Suppose -3*p = -5*v - 14, 9*p - 4*p + 4*v = 48. Is p >= q?
False
Let x(i) be the third derivative of i**5/60 - i**4/4 - i**3/2 + 8*i**2. Let l be x(-5). Let u be l/12 - 0 - -1. Are 6 and u unequal?
True
Suppose 5*r + 2*x + 35 = x, 0 = -4*x - 20. Which is smaller: -16 or r?
-16
Let m = 642 + -670. Which is smaller: m or 13?
m
Let f be (-148)/1184 + 105/8. Suppose g = 11 - 3. Which is bigger: g or f?
f
Let i(p) = -p - 9. Let r be i(-10). Let c be 1*146*(-15)/30. Let q = c - -366/5. Is r less than q?
False
Let r = -22 - -26. Suppose -p = 4 + 5. Let m be (r/16)/(p/84). Is m at least as big as 1/2?
False
Suppose 2*o = -4*a - 1768, 