t x(d) = 16*d - 52. Let g be x(-10). Is g less than or equal to a?
True
Let p be 21427/(-2296) + 9 - (-8)/((-64)/(-3)). Which is greater: p or 1?
1
Let k(i) = -3*i**2 - 17*i - 25. Let f be k(-5). Let m(z) = 5*z**2 + 76*z + 31. Let t be m(f). Is t at most 13?
False
Let m = 56 - 51. Suppose 3*u + 4*h = -6 + 1, 2*u = -m*h - 1. Let q = 1 + -3. Is u >= q?
False
Let n = -6.98 + 1.04. Let q = 6.04 + n. Do q and 9.2 have the same value?
False
Let z = 438722 + -17108738/39. Let q = 2/195 - z. Is -36 >= q?
True
Let j(p) = p**3 - 26*p**2 + 30*p + 40. Let u be j(23). Let d = u - -4271/5. Which is smaller: -3 or d?
-3
Let k = -5/3494 + 62957/45422. Do 2/93 and k have the same value?
False
Let a be 762/4 + 3/(-6). Suppose p = z - 101, p + p = -2*z + a. Let s be ((-825)/(-125))/((-7)/(-105)). Which is bigger: z or s?
s
Suppose 0*t + 78 = 13*t. Let a be (-33)/t - (10 + -12). Suppose 0*h + 4 = -h. Which is bigger: a or h?
a
Let l = -34 - -61. Suppose l = 2*h + i, 4*h - 3*i = -0*h + 69. Suppose -h*g = -10*g + 5. Is g < -3/7?
True
Let t = 166/1211 - -1/173. Suppose -16 = 4*n, -5*r = -3*n + n - 23. Suppose -4*z - 2 = 5*m + 12, -r*z - 1 = -m. Is t at most z?
False
Let z = 96 - 82. Let w = z + -16. Let i be (2 + -4)/((-9)/(9/w)). Is i greater than 3/32?
False
Suppose 0 = 16*b + 368 - 16. Let f(g) = -g**3 - 23*g**2 - 22*g. Let y be f(b). Are y and 6/35 equal?
False
Let h = -15272 - -7997. Is h >= -7274?
False
Suppose -10*o = -6*o - 5*s - 69, 0 = 3*o + 3*s - 18. Let f(b) = b**3 + 2*b**2 - 2*b - 1. Let m be f(2). Is o <= m?
True
Suppose 0*a + 420 = 7*a. Let i = -6 + a. Let n be (-16)/i - (-4)/18. Which is greater: n or -1?
n
Let c be (21/3)/21*-4*9/2244. Are c and 0 equal?
False
Suppose -35*t = -42*t + 3871. Let b = t + -462. Is 2/5 greater than or equal to b?
False
Let n = 72 + -70. Let c(q) = 8*q - 10*q + 16*q + 16 + q**n - 3. Let o be c(-13). Is o < 2/19?
True
Let m be -19 + 9 - (-66960)/6695. Is m at least as big as 0?
True
Let c = 83 + -179. Let b = c - -58. Let v = 38 + b. Is 1/4 > v?
True
Let c(x) = 10*x**2 - 338*x - 19. Let f be c(29). Which is bigger: -1413 or f?
f
Let r = 114/253 + 164/759. Is r bigger than 1408?
False
Let c = -198.903 + 199. Let l = -0.403 - c. Which is greater: -3/11 or l?
-3/11
Let q = -223141/58815 - 66/1307. Let y = q + 58/9. Which is smaller: y or 2?
2
Let r(v) = -v**2 - 7*v + 4. Let p be r(-7). Let z be -1*(-39)/12 + 3/p. Suppose z*g - 2*a = -a + 30, -4*g - 2*a = -24. Is g at most -1?
False
Let y(o) = -41*o**3 + o**2 - 41*o**3 - 2 - 37*o**3 + 2*o + 118*o**3. Suppose 3*a - 2*a = -5, -3*p - 5*a - 22 = 0. Let b be y(p). Is b at least as big as 1?
False
Suppose -2*g - g - h + 32 = 0, 2*g + 2*h - 24 = 0. Let o be (-4)/16 + (-4)/((-32)/g). Which is bigger: o or -9?
o
Let q = -16886 - -16885.8. Is q less than or equal to 3425?
True
Suppose 396 = 111*i + 7389. Is -60 at least i?
True
Let z(b) = 2*b**2 - 5*b - 6. Let o be z(6). Suppose -2*a - a + o = 0. Let g(s) = s**2 - 8499*s - 59524. Let c be g(-7). Is a <= c?
True
Let j = -18908 - -18998. Is 92 not equal to j?
True
Let g = -234 - -236.2. Suppose -3*w + 2*w = 0. Suppose w = -11*z + 9*z - 2. Which is greater: g or z?
g
Let n(x) = 130*x**2 + 2862*x + 4. Let o be n(-22). Let h be 237/4*2/(-3). Let b = h - o. Which is bigger: b or 22?
22
Let w = 4/265 - -1466/8215. Are -19 and w non-equal?
True
Let x = 2980.9 + -2981. Which is smaller: x or -2279?
-2279
Let g = -3844.9 - -3889. Which is bigger: 2/27 or g?
g
Let s be (8/12)/((-89)/(-207) + (-8)/18). Which is greater: -1434/31 or s?
s
Let b(y) = 6*y**2 + y - 10. Let o(x) = 2*x + 34. Let z be o(-19). Let w be b(z). Let m = 82 - w. Which is smaller: -2/23 or m?
-2/23
Let q = -0.087 + -0.153. Let b = q + 0.23. Is b at least 8?
False
Let s be (8/8)/(1*4/(-25328)). Let x = -12921/2 - s. Which is smaller: x or -129?
-129
Let h = -1.403 + 1.33. Let d = h - 0.127. Is 2/379 >= d?
True
Let s(a) = a - 12. Let z be s(6). Let k be (z/6)/1 - -6. Are 16 and k nonequal?
True
Suppose 3*z + z + 668 = 0. Let h = -116 - z. Suppose -320*k - 408*k - 4794 = -822*k. Is h at most as big as k?
True
Let t(x) = 2*x**3 - 11*x**2 - 14. Let b be t(6). Suppose 3*k - 87 = 4*q - b, 3*q + 66 = 3*k. Is k greater than 22?
True
Suppose 5*r = -4*f - 227, -2*f + 2*r = 3*r + 121. Let d be 182/9 + (-7)/f*-2. Suppose 7*x = 22 + d. Which is smaller: x or 37/5?
x
Let b = 0.8863 - 1.9063. Which is smaller: 6 or b?
b
Let g(c) = 28*c - 54. Let d = -1141 + 1143. Let s be g(d). Let w = -9289/13 - -714. Which is smaller: s or w?
w
Let i be 6*3714/(-18) - -12. Which is bigger: i or -1225?
-1225
Let h be (53/3 + -17)*1/158. Which is smaller: -5 or h?
-5
Suppose 0 = 8*a - 9*a. Suppose 3*s + a*s = 6. Suppose -s*p + 23 - 6 = g, g - 4*p = -1. Is g at least as big as 11?
True
Let w = -1124591/6 + 186931. Is w > -501?
True
Let r be (-3)/(-6) - 11/(-10). Let o(a) = 6*a - 40. Suppose -2*f - 363 + 377 = 0. Let h be o(f). Which is greater: r or h?
h
Let m be (-3 - -4)/(2/(-40)). Let k = 29523/4 + -7400. Is k <= m?
False
Suppose -1348*q + 1453*q = 0. Which is bigger: q or 6/3155?
6/3155
Let v be -8 + 5*(-45)/(-25). Let s = 68021/5083 + -174/13. Does s = v?
False
Let u(a) = 68*a + 1632. Let t be u(-24). Is t less than 10791?
True
Let z = 203 + -57. Suppose -5*o + g - 2*g = -711, -o + z = 4*g. Is o smaller than 143?
True
Let t = 14 - 24. Suppose -33 = 70*f + 37. Is t at least as big as f?
False
Let b = -5601378900/698599 + 2371539/1549. Let m = -6487 - b. Is m at least as big as 1?
False
Let h = -103 + 102.4. Let d = 62 + -61.9. Which is smaller: d or h?
h
Let m be (-8956)/12*(-2)/(-34). Let y = m + -438/17. Which is smaller: -71 or y?
-71
Let r(b) = -b**3 + 10*b**2 + 10*b - 5. Let f be r(10). Suppose -8*x = f + 17. Are -14 and x non-equal?
False
Let k = -0.728 - -0.71. Let p = 0.062 + -0.1. Let g = p - k. Which is greater: g or -0.2?
g
Let y be 78/5*85/17. Suppose -y*f + 71*f = 2016. Are -288 and f non-equal?
False
Let i = 302 - 11783/39. Is 0 > i?
True
Let a = 529 + -526. Let j be a/18*3 - 66/28. Is j at most as big as -2?
False
Let j(y) = -y**2 - 13*y - 30. Let d be j(-10). Is -123 less than d?
True
Let n = 19.8 + -19.8. Is n not equal to -1616?
True
Let k be (2*2/(-10))/((-7)/(-35)). Let j be k/(-8)*-2 - 3/2. Let x be ((-7)/9)/(j/(-6))*-3. Which is smaller: x or 5?
5
Let g be 14/21 - (-16)/(-42). Let k be (216/(-15))/(471/(-60) + 8). Which is smaller: k or g?
k
Let x = 125.82 - 0.82. Let o = x + -126.13. Let f = -1.1 - o. Which is bigger: f or 0.2?
0.2
Suppose 2*i = 3*h - 10, 0*i = 5*h + i - 21. Let j be ((-95)/(-10) + -4)/((-45)/30)*-3. Which is smaller: j or h?
h
Let i be (-455508)/(-48)*(-48)/(-324)*9. Which is greater: 12654 or i?
12654
Suppose -800 = -4*w - k + 6*k, -3*w - k = -581. Suppose 4*a + 13 + w = 3*x, 2*a - 4*x + 104 = 0. Is a not equal to -50?
True
Let m = 163.39 - 165. Let t = 1.561 + m. Which is smaller: -1 or t?
-1
Let z = 2827/10305 + 10/687. Which is smaller: -1 or z?
-1
Let c = 186 - 129. Suppose 9 = 3*u + 3. Suppose -4*b = -u*b - 2*k - 22, -3*b - 3*k + c = 0. Is b less than 14?
False
Let u(f) = 2*f**2 - 76*f + 90. Let i be u(37). Let l(c) = -c**3 + 17*c**2 - 8*c - 9. Let x be l(i). Which is smaller: 0 or x?
0
Let u = 12.436 + -0.136. Let a = u + -12.317. Which is smaller: a or -1?
-1
Suppose 5*s = 6*s. Suppose -7*u + 2*u + 20 = s. Let t(x) = -x**2 + 4*x. Let v be t(u). Is v at least as big as 0?
True
Let d = -0.24 - -8.24. Let y = -30 + d. Let x = -20.2 - y. Which is smaller: x or -2/5?
-2/5
Suppose -304 = 5*c + 186. Let q be 8/36 - (c/(-36) - 2). Let i be (12/8 - 1)/(9/(-18)). Which is smaller: q or i?
i
Let r(u) = -u**3 - u**2 + 4*u. Let c be r(-3). Let s(g) = 2*g**2 - 423*g + 876. Let j be s(2). Which is smaller: c or j?
c
Let s be 510/(-561)*(-948)/(-10). Let p = s + 20282/231. Which is smaller: p or 2?
p
Let x(q) = -6*q**2 + 38 + 127*q**3 + 19*q**2 + 4*q - 126*q**3. Let n be x(-13). Which is bigger: -4 or n?
-4
Let p = 2069 - 2156. Which is smaller: p or -94?
-94
Suppose 3*k - 3*i - 2 = 1, -3*k = -i - 1. Let j be (k - (-24)/15) + -2. Let h(b) = -b**2 - 2*b + 2. Let m be h(-3). Is j not equal to m?
True
Let f = 0.8 - 3.8. Let u = -75341/387 - -8376/43. Which is smaller: u or f?
f
Let i be (48/(-64) + 23828/31792)*1. Which is smaller: i or 1?
i
Let m(o) be the third derivative 