 + 4. Let p be i(-3). Let x = 668/5 - p. Let r = 9 - 8. Which is bigger: x or r?
r
Let r be (-56)/(-187) - 14/119. Suppose -5*k = -3*i + 7, -4*k - 3 = 2*i + 7. Do r and k have the same value?
False
Let b be 4/6 + (-40)/(-12). Suppose -2 + 4 = 2*l - 2*c, 3*l + b*c = 10. Suppose -l*m = 2 + 2. Are m and -2 non-equal?
False
Let m be (-2)/26*11/(66/12). Which is bigger: m or -3?
m
Let o(k) be the first derivative of k**2/2 - k - 1. Let r be o(4). Suppose 0 = r*i - 6*i - 6. Is i > 0?
False
Let h = 7 + -6. Let j = 10 + -8.6. Let k = j - -0.6. Is h > k?
False
Let g = 645/236 - -1/59. Which is smaller: g or 2?
2
Let g = 1.5 + -0.5. Let i = g - 0.6. Let q = 3 + -3. Do i and q have the same value?
False
Let v be -3 - 0/1 - -15. Is 12 at least v?
True
Let b(r) = r**2 + 4. Let w be b(4). Let y be ((-16)/w)/(2/(-10)). Let x be 1/y*(-12)/(-9). Is x at most 1/4?
False
Suppose 0 = -2*k - 130 - 4. Let l = 137/2 + k. Let o = 58 - 57. Which is smaller: o or l?
o
Let n = 0.03 + -0.53. Let o = 0.8 - n. Which is smaller: -2 or o?
-2
Let r(z) = z**2 - 5*z + 9 - z - 2. Let c be r(5). Let u be (-2)/10 - 8/(-40). Is c at most u?
False
Let h = 4 - 3. Let o = h + 5. Let d be 2/20 - 3/o. Is -0.3 bigger than d?
True
Let n = 363 + -528. Let x = n - -60223/365. Let g = 712/3285 - x. Which is bigger: g or 0?
g
Let m(t) = t**3 - 6*t**2 + t + 6. Let g be m(6). Let q = 19 - g. Which is smaller: 6 or q?
6
Let u = -0.04 - 0.16. Is u >= 1/15?
False
Let a be ((-3)/(-1 - 0))/1. Suppose 4*x = a*j + 2*j - 9, 0 = -x - j + 9. Suppose -x = 3*r + r. Which is bigger: -0.2 or r?
-0.2
Suppose 3 = 3*v - 0*v. Which is bigger: 2 or v?
2
Let g = 13 + -7. Suppose 4*m + g = s + 3, -2*s + 6 = -3*m. Which is smaller: -3/13 or m?
-3/13
Let w(p) = -p**2 + 2*p + 4. Let r be w(3). Let g be (r + 3)*14/8. Does 6 = g?
False
Suppose 2*f = -a - 2, -3*f - 17 + 1 = -5*a. Let g(j) = -j**3 - 3*j**a - 4*j - 2 + 3*j**2 + 3*j + 3*j**2. Let k be g(2). Is -2/7 >= k?
False
Let w = 7 - 3. Suppose 3*f - w*f = -5. Suppose -21 = 2*a - a + 5*v, 4*v = -f*a. Is a at most as big as 5?
True
Let g = -376 + 100. Let i be 3 + (g/32)/3. Let h = 0 + -1. Which is smaller: i or h?
h
Let s be (-52)/(-91) + 6/(-7). Do s and 18 have the same value?
False
Suppose -5*h + 5*z + 10 = 0, -2*h - 3*z = -2*z - 13. Suppose -h*a = -10*a - 4*q + 10, 6 = 3*a - 3*q. Suppose a*r - 4*l = l, 3*l = 5*r. Is 2/3 smaller than r?
False
Let v = 22 + -10. Is v bigger than 13?
False
Suppose 4*m + w - 299 = 0, 0*m - 2*m = 2*w - 148. Let c = -528/7 + m. Let o be (6 + -4)/(-3 - -1). Is o <= c?
True
Let g = 28.98 + -29. Let l = 0.2 - 0.3. Which is bigger: l or g?
g
Let g be (710/25)/((-7)/2). Let z = g + 42/5. Is 2/7 < z?
False
Let q be (-1)/3*(-54)/6. Suppose 2*d + q*u - 15 = 0, -3*u + 21 = 5*d - u. Which is smaller: d or 2?
2
Let p = 891/5 - 179. Which is bigger: p or -0.04?
-0.04
Let o be (-18)/5 - 2/5. Let z = 3 + o. Let f = 6 - 8. Which is greater: z or f?
z
Let k = -6023/27 - -223. Let r = 19/108 - k. Which is bigger: 1 or r?
1
Suppose 2*v + 2*a + 62 = -2*v, 4*v = 3*a - 47. Which is smaller: v or -15?
-15
Let s = 4 + 0. Which is smaller: s or -3?
-3
Suppose -2*y - 3*p = -9, -3*p + 21 = 4*y - 0*y. Suppose 0 = -3*r + 4*l + 17, r - l - y = 2*r. Do r and -1 have different values?
False
Suppose -4*t + 7 = -3*d, -4*t + 6 = 2*d + 4. Let u be 6*(d + 8/6). Suppose 2 - 2 = -4*p. Is u less than or equal to p?
False
Let i = 4.09 + -0.09. Let g = i + -4.06. Let n = 0.06 + g. Which is bigger: n or -2?
n
Let g(c) = 5*c + 3. Let r be g(9). Which is bigger: 47 or r?
r
Let i be 57 - (1 + (-4)/2). Let s be i/(-10) + 2/5. Let b = s + 6. Which is smaller: b or 2?
b
Let y = 4311 - 17385/4. Let s = y - -35. Is 4 > s?
True
Suppose -4*u - 5*t = 17, -u - 2*t - t = 13. Is -1 at most u?
True
Suppose -5*s + 3 = -2. Suppose 3*c = -0 + 6, 2*c = 4*b + 8. Let r(y) = 2*y**2. Let l be r(b). Which is smaller: s or l?
s
Let w = 4 - 8. Let q = w + 2. Let g = -4 + 3. Which is smaller: q or g?
q
Suppose 61 - 361 = 5*m. Let i be (2/m)/(4/8). Which is smaller: i or 0?
i
Suppose k = 2*k - 5. Suppose 0 = -k*c + 4*o - 21, -13 = -4*c + 5*c - 3*o. Is 2 greater than or equal to c?
True
Suppose 2*g + 5*f - 15 = 0, -g - 2*f + 0*f = -5. Suppose -j + 9 + 4 = 2*z, 0 = -5*z + 4*j. Let h be z*-1*3/18. Does h = g?
False
Let y = 25 - 21. Let f be (8/(-48))/(2/(-30)). Which is smaller: f or y?
f
Suppose -11 + 6 = 5*m. Which is smaller: m or 4/9?
m
Let n be 2/((-2)/(-2)) - 3. Let j be (4/20)/(n/(-5)). Is 2 less than j?
False
Let t be 0*(1 - (-25)/(-20)). Is 2/91 greater than t?
True
Let i be 85/10 - (-2)/(-4). Let b be 2/i - (-22)/8. Suppose 3*g + m - 12 - 8 = 0, -b*g + 5*m - 10 = 0. Is g less than or equal to 5?
True
Let h(d) = d**3 - 5*d**2 - 6*d - 5. Let k be h(6). Let a be ((-4)/(-5))/((-2)/k). Is a at least as big as 3?
False
Let s be 15*((-7)/35)/(3/9). Is s <= 1?
True
Suppose -z = -o - 1, -o - 3 = -2*o. Suppose -2*i = -z*i + 2. Let u = 0 + 0. Which is bigger: i or u?
i
Let g = 31 + -30. Is -4/9 smaller than g?
True
Suppose 5*s = s + 20. Let r = -5 + s. Let j be ((-36)/14 - -2)/(-1). Which is smaller: r or j?
r
Let f(l) = l**2 + 22*l + 20. Let a be f(-21). Is -15 at most as big as a?
True
Let w = -3/214 + 367/10914. Which is greater: 1 or w?
1
Let n = 0.1 - 0.1. Let c = 0.1 + n. Suppose 3*z - 1 = 2. Which is bigger: c or z?
z
Let p = -27 + 29. Is -2 < p?
True
Let y be ((-27)/6)/(3/6). Which is smaller: -10 or y?
-10
Let d = -117/4 - -811/28. Let a be ((3 - 1) + -2)/(-2). Suppose -5*y + y = a. Which is smaller: y or d?
d
Let x(n) = -n**2 + 8*n - 3. Let d be x(5). Let m be 3/d - (-2)/(-8). Which is smaller: m or -2?
-2
Let v = 236 + -2594/11. Let b = 5 - 3. Let g be (-2)/b*2 - -3. Is g > v?
True
Let s(b) = b - 8. Let x be s(0). Let g = x - -9. Is 0 >= g?
False
Let m = -41 + 41.21. Let s = m + -0.01. Which is smaller: s or 1?
s
Let m = 30 + -59/2. Let j(o) = -o. Let g be j(-2). Which is smaller: g or m?
m
Let d = 2 - 0. Let f be d/84*174/(-8). Let l = -3/8 - f. Which is greater: -1 or l?
l
Let h(r) = -r - 1. Let p be h(2). Let x be (p - (-9)/3)/(-2). Let v = 23 - 68/3. Which is smaller: v or x?
x
Let f(h) = -3*h - 6. Let p be f(-4). Let o(t) = -t**2 + 6*t + 2. Let l be o(p). Let s be (l + -3)*(2 - -1). Is s equal to -1?
False
Suppose -d - 60 = 4*d. Let n = -25/2 - d. Is 1 at most as big as n?
False
Suppose -8 = -3*f + 1. Suppose 2*x + f = -x. Suppose -5*b + 6 = -2*q + 6*q, 0 = -b - 4*q + 14. Which is bigger: x or b?
x
Let c(b) be the first derivative of b**4/4 + 8*b**3/3 + 5*b**2/2 - 9*b + 13. Suppose -5*d = 10, 3*r + 2*d = -r - 32. Let p be c(r). Which is greater: p or 4?
p
Let d be (-4)/14 - 6/(-21). Are d and -1/13 unequal?
True
Let b be 28/245*(-5)/(-6). Is 1 at most as big as b?
False
Let m = 1227976/35 - 35092. Let y = -32/5 - m. Which is greater: 1 or y?
1
Let b(m) = -m**2. Suppose c + 4 = -c. Let o be b(c). Is -4 equal to o?
True
Suppose -j + 15 = 53. Let g = -194/5 - j. Suppose 3*q = -i - 12, -i + q + 4 = -4*i. Which is greater: g or i?
i
Let s be (13/26)/(1/(-12)). Let h be 2 + s + (1 - 5). Is -9 > h?
False
Let m be (4/(-10))/((-10)/(-50)). Let n = m - -2. Let u = n + 1. Which is smaller: u or 0.2?
0.2
Let q(v) = v**3 + 19*v**2 + 17*v - 8. Let w be q(-18). Let y(c) = 12*c**3 - 2*c**2 + c. Let z be y(1). Which is smaller: w or z?
w
Let c be -2 + (-27)/(-12) + 636/(-112). Which is smaller: -4 or c?
c
Let o = -28 + 26. Which is greater: o or 1?
1
Let f be (4/(-3))/(40/(-30)). Is f smaller than 0?
False
Suppose 0 = q - 4*q - 48. Is q not equal to -29/2?
True
Suppose -43 = -5*h - 4*f, -4*h = f - 6*f - 18. Which is smaller: h or 8?
h
Suppose -2*g - 9 = v, 5*g + 2 = -4*v - 19. Let q = 0 + v. Which is smaller: q or 0?
0
Let y be -1 - -4 - (-72 + -4). Which is smaller: y or 78?
78
Let w(l) be the third derivative of -1/24*l**4 - 2*l**2 + 3/2*l**3 + 0*l + 0. Let f be w(9). Which is smaller: 2/9 or f?
f
Let i(y) = -2*y**3 - 2*y**2 - 3*y - 2. Let s be i(-1). Suppose -s = 2*q + 1. Let l = -1747/10 + 175. Which is greater: l or q?
l
Let k = -7/15 - -241/420. Which is bigger: k or -1?
k
Let f be (-52)/(-12) - 8/6. Suppose -5*d - 5*a = 0, a - 4*a = -5*d. Suppose d*j = -j + f. Which is smaller: j or 4?
j
Let v be ((-2)/(-6))/(1/9). Suppose 3*k = -v*f + 9, k + 2 = -f + 5*k. Suppose 0 = -f*z + 6. Are 3 and z unequal?
F