is greater: x or 4?
x
Let p(z) = 187*z + 302. Let i be p(2). Do i and 677 have the same value?
False
Let t(j) = -2*j + 13. Let m be t(13). Let z(c) = c**3 + 13*c**2 - c + 2. Let n be z(m). Is 15 at most as big as n?
True
Suppose -39*m = -13483 - 5939. Is m at least 497?
True
Let s = -1866022/489 + 3816. Let h = -2 - -2. Is s greater than h?
True
Let v(h) be the first derivative of h**4/12 - 7*h**3/6 + h**2 - 4*h + 2. Let s(b) be the first derivative of v(b). Let k be s(7). Is 4 less than or equal to k?
False
Let r = -1153 + 1146. Suppose 1 = -2*h - 1. Let s be h/3 - (-23)/(-3). Are r and s equal?
False
Let i(u) = -2*u - 6. Let x be i(-5). Let m = -20 - -25. Suppose -3*t = -2*j + x - 6, m*j + 51 = -4*t. Is -7 != j?
False
Let r(u) = -5*u**2 + 6*u + 19. Let x(h) = h**2 - h + 1. Let l(s) = -r(s) - 6*x(s). Let g be l(0). Let m = -23 - g. Which is bigger: m or 5/3?
m
Let b = -53 - -43. Let q(n) be the second derivative of -n**5/20 - 11*n**4/12 - 11*n**3/6 - 5*n**2 + n. Let a be q(b). Is a equal to -1/6?
False
Suppose 0 = 10*n - 12*n - 8. Let g be 2/n + (-165)/10. Is g <= -19?
False
Let p(z) = z**3 + 44*z**2 - 101*z - 493. Let g be p(-46). Let v = 69 - 147. Which is bigger: v or g?
v
Let l(w) = -w**3 - 14*w**2 - 19*w - 14. Let b be l(-13). Suppose b = -h + 6. Let y be 3 - (h/(-10) - 3). Is 0.2 < y?
False
Let l be (-5)/((-60)/51)*1*-52. Is -221 > l?
False
Let j = 7 + -4. Suppose -2*n = j*n. Let d be (-19)/12 + 52/156. Is d > n?
False
Let l(a) = -a**2 + 12*a + 1. Let n = 10 + -5. Let g be l(n). Suppose 2*h + g = 5*h + 3*r, 0 = 4*h - 5*r - 3. Is h equal to 1?
False
Let m be (-80)/612 + 4/(-18). Let h be (-6)/(-14) + 24/42. Is m bigger than h?
False
Let k(z) = -z - z**2 + 3 - 2*z - 5*z + 18. Let d be k(-10). Is 12/11 at most d?
False
Suppose -4*k + 2*q + 102 = 0, -74 = -5*k - q + 36. Let a = 29 - k. Let x be a/(-18) + (-2)/30. Which is smaller: 0 or x?
x
Let q = -52.1 - -52. Let z = 0.23 + -0.04. Which is smaller: q or z?
q
Let t(g) be the second derivative of -g**5/20 + 5*g**4/12 + g**3/2 + 5*g**2 + 17*g. Let b be t(6). Is -35/4 at most b?
True
Let a(g) = 6*g**2 - 6*g - 6. Let o be a(-2). Let l be (o/(-9) - -3)/(1 - 0). Which is smaller: -4 or l?
-4
Let b be 2/(-4 - (-30)/7). Let r(g) = 2*g - 11. Let c be r(b). Suppose c*f - 8*f = 50. Does f = -9?
False
Let p = 10.125 - 10. Let m = p + -0.025. Which is bigger: m or 11?
11
Let u = 19 - 97/5. Suppose -3*n = -2*q + 10, 4*q - 6*q - n = -10. Are q and u equal?
False
Let y(n) = 2*n**2 + 3*n. Let k(p) = -3*p**2 - 5*p. Let i(s) = -3*k(s) - 5*y(s). Let u = 12 - 13. Let a be i(u). Which is smaller: a or 1/5?
a
Let i be 6 - (6 - 3) - 2. Let z be ((-24)/48)/(i/2). Is z <= -15/19?
True
Suppose 2*t + 12 = -0*t. Let h(r) = -r + 31. Let s be h(19). Let y be (-6)/s + (-33)/6. Is y greater than t?
False
Let b = -5.1 + -0.9. Let v = -4 - b. Let u = -0.09 + -0.01. Do u and v have the same value?
False
Let f be 274/(-3) - 2*5/(-30). Is f < -91?
False
Let b = -5.111 + 1.111. Let f be (-4)/(-144) + 2/9. Which is greater: b or f?
f
Let y(q) = -q**2 - 4*q - 9. Let o be y(-4). Let t be o/(-3)*(-143)/33. Which is smaller: t or -9?
t
Let h = -0.04 + -10.96. Let i = -66 - -199/3. Is h >= i?
False
Let f = -7 + 8. Let k = -4485.83 - -4460. Let i = 26 + k. Is i at most as big as f?
True
Let x = 1153 - 1164. Do x and 1 have the same value?
False
Let m be (-1)/4 + 34/8. Suppose 17 = -5*y - 3*b, -2*b - m + 1 = -5*y. Let c be (2/(-1))/(29 + -15). Are c and y equal?
False
Let i be (-55)/(-4) + (-3)/(-12). Suppose m = -2*z + 31, m + 2*z - 49 = -3*z. Which is bigger: i or m?
m
Let y = 4 + -3. Let z be ((-24)/20)/(y/(-10)). Which is bigger: 13 or z?
13
Let g be (-1)/((-5)/(-6)) + -1. Suppose -7 = -3*q - 4*u, -2*u + 3*u = -q + 3. Suppose -3*h - 5 = -0*a - q*a, a - h = 3. Is a smaller than g?
False
Let j = -74357/81 - -918. Is 1 at least j?
True
Let y = -75 - -23. Let d = y + 52. Is d < -1/9?
False
Let g = 23 - 95. Let h be (-4)/6*27/g. Is 0.02 less than or equal to h?
True
Let x = 37 - 25. Let v = x - 10. Let c = -1 + 1.3. Is v at most c?
False
Let u = -2652089/40 + 66309. Let v be (9/4)/((-18)/(-75)). Let m = v - u. Is m smaller than 4?
True
Suppose -22*f = -12*f - 290. Suppose -27*m - 2 = -f*m. Which is smaller: -7 or m?
-7
Let z be (81/2)/(-9)*6. Let h = 22 + z. Let k = -12 - -6. Are k and h equal?
False
Let r = 1295 + -1504. Which is smaller: r or -208?
r
Let v(j) = -j**3 + 6*j**2 + 1. Let h be (-24)/3*3/(-4). Let z be v(h). Suppose -5 - 18 = -23*x. Is z at most as big as x?
True
Let s(g) = -3*g**2 - 2*g + 2. Let h be s(1). Let v be (0 - h)*100/(-30). Is -12 greater than v?
False
Suppose -2 = 2*j + 14. Let i be (9 - 5)/((-2)/j). Suppose -3*l - 5 - i = 0. Is -6 at most as big as l?
False
Let s = 475 - 1054. Is -579 > s?
False
Let s = 2.55 - 2.74. Which is greater: s or -6?
s
Suppose c - 6 = -3*h - 14, 0 = -2*c + 2*h + 16. Suppose -2 = -c*u + 5*m + 5, 13 = -2*u - 3*m. Which is smaller: u or -10?
-10
Suppose 4*d = 4*w - 176, -94 = -5*w + 4*d + 129. Suppose -4*z - w + 7 = 0. Let j be -10*((-6)/(-3))/2. Is j <= z?
True
Suppose 9*p - 10 = 4*p. Let g = 2 - p. Which is bigger: g or 1/191?
1/191
Let b be (2 + 1)/((-3)/(-62)). Suppose -4*z + 2 = b. Is z greater than or equal to -17?
True
Let h = -37761722/63 - -599376. Let r = -140/9 - h. Is r greater than 1?
False
Let s(j) = -26*j - 234. Let p be s(-9). Which is smaller: p or 2/523?
p
Suppose 0 = -4*w - 33 - 3. Let f be (-6)/(-4)*14/w. Let s = f + 61/21. Are 0 and s non-equal?
True
Suppose -1010*m + 91 = -1023*m. Let v = -5 - -9. Suppose o - v*o - 21 = 0. Is m greater than o?
False
Let b(a) = 4 + 0 - 30*a + 10 + 1. Let v be b(1). Is -16 greater than or equal to v?
False
Let m(v) = -v**2 + 6*v - 4. Let t be m(5). Suppose -p + 7 = -t. Let k be p/(-70) + (-2)/(-5). Is -3 >= k?
False
Suppose -2*p + 0 - 21 = -3*b, -b - 17 = 2*p. Let m be (24/14)/(22/(-77)). Which is smaller: p or m?
p
Let a be ((-15)/10)/(1/(-2)). Suppose z = a - 8. Let b(n) = n**2 - 13*n - 20. Let p be b(14). Which is bigger: z or p?
z
Let g = 14.96 + -15. Let q = g - -1.04. Is -17 bigger than q?
False
Suppose -7*c - 25 = -2*c, 0 = 5*k + 4*c + 25. Let l(b) = b**3 + 6*b**2 - 31. Let s be l(-5). Which is smaller: k or s?
s
Let b = -589 + 589. Which is smaller: b or 3.6?
b
Let x be (16/(-24))/(3/(-333)). Do x and 73 have the same value?
False
Let b be 2*-57*(-66)/36. Is 211 < b?
False
Let c(b) = -480*b**2 + 5*b + 4. Let l be c(-1). Let a be 1170/l*(-5)/3 - 4. Let x = 0 - 1. Is x greater than or equal to a?
False
Let o(s) = 6*s**2 - 3*s + 2. Let n be o(1). Let l be ((-10)/n + 3)*-9. Which is smaller: l or -11?
-11
Let m(g) = -g**3 - 6*g**2 - 6*g. Let s be m(-5). Is 32/5 <= s?
False
Suppose 2*n = 67 - 65. Which is greater: n or -3/160?
n
Suppose 3*h - 19 = -5*a, 4*h - 3*h = 3*a - 17. Suppose z - 125 = -5*t - 4*z, a*t + 2*z = 110. Which is greater: t or 21?
21
Let b = 0.1 + -0.1. Let t = 88 - 95. Let l be (2/t)/(81/21). Which is smaller: b or l?
l
Suppose 0 = -15*f + 1491 - 321. Is 80 at most f?
False
Suppose -153 = -17*m + 18*m. Which is smaller: -152 or m?
m
Let b = -74.2 + 78.3. Which is bigger: b or 2?
b
Let j = -4.5 + 6.4. Let y = -2 + j. Suppose -11 = -4*p + 3*b - 2, 0 = -2*p - 2*b - 6. Which is bigger: p or y?
p
Let z = -6566 - -6567. Let n = -2/3571 + 14330/82133. Which is smaller: n or z?
n
Let r(w) = -20*w + 161. Let v be r(9). Is v at least as big as -11?
False
Let x = 1519 - 1520. Which is bigger: -2/1163 or x?
-2/1163
Suppose b - 5*m - 16 = -1, 33 = -5*b - 2*m. Let j = -6 - b. Which is bigger: j or -2/25?
-2/25
Let j(a) = -a**2 - 3*a + 3. Let b be j(1). Let y be ((-3)/(-702))/((-4)/8). Which is smaller: y or b?
b
Let r be 114/(-22) + (2 - (-60)/(-33)). Let b be 11/9 + r/((-225)/(-10)). Are 2/33 and b nonequal?
True
Let j be (2/2)/((-18)/486). Let s be ((-4)/(-40)*j)/(18/15). Is -1 <= s?
False
Suppose 8*x - 6*x + 2*q = -10, -3*x - 4*q = 13. Let a = 1 + -3. Let z = x + a. Which is smaller: z or -17/2?
z
Let g be 381*(128/(-24) - -5). Which is smaller: g or -128?
-128
Let u = 291 - 291. Is u bigger than -233?
True
Suppose -6*z = -15485 + 4949. Is 1755 >= z?
False
Suppose 12*c - 2328 - 588 = 0. Which is greater: 245 or c?
245
Let z(d) = d**3 - 6*d**2 - 7*d - 1. Let r be z(7). Let g = 47/422 + -375393/2110. Let t = 177 + g. Is t