9
Let z = -190 - -189.802. Let f = 0.098 + z. Let q be (3 - 2)*(-10)/6. Which is smaller: f or q?
q
Let i(b) = b**2 - 15*b + 22. Let t be i(13). Let h(v) = -v**2 - 3*v + 2. Let j be h(t). Is j <= -20/9?
False
Let i = -6.6 - 9.3. Let m = 16 + i. Let x = m + -0.2. Which is bigger: x or 2?
2
Suppose -3*s - 7 = f + 8, -5*s = 15. Let x = f + 9. Suppose x*r - 6*r + 5*d + 28 = 0, 5*r + 5*d + 20 = 0. Is -2/35 greater than r?
False
Let z(d) = -8*d**2 + 5*d**2 + 2*d**2 - 1 + 0 - 7*d. Let w be z(-5). Which is bigger: 7 or w?
w
Let n = 22 - 23. Let b be (-15)/(-5)*n/6. Which is smaller: 17 or b?
b
Let r be (-4 + 12)*(2 + -4). Is 3 greater than or equal to r?
True
Let k = -93 - -132. Let r = k - 36. Which is bigger: -1 or r?
r
Suppose 7*w = 3*w + 60. Let c be (-4)/(-2)*w/(-10). Let x be (3 - 1)/((-2)/(-1)). Which is bigger: c or x?
x
Let m = 433.19 + -436. Let b = m - 0.19. Is -7 greater than b?
False
Suppose -4*c - c = -2*j, 0 = 2*c + j. Which is smaller: -3/34 or c?
-3/34
Let c(f) = -f**3 + 5*f**2 - 6*f + 5. Let h be c(6). Let r = -113 - h. Let d be 1/4 - r/8. Which is greater: 5 or d?
d
Let w be 4/14 + (-1 - 810/42). Let p be w/60*(1 - 10). Which is greater: 1 or p?
p
Let f be (3597/132)/(3/(-8)). Let q = -73 - f. Are -32 and q equal?
False
Suppose x + 0*g - 13 = -g, -4*g = 2*x - 36. Suppose x*c - 6*c = 0. Which is smaller: 3/2 or c?
c
Suppose 5 = -5*h + j + 14, 2*j + 10 = 2*h. Which is bigger: h or -2/5?
h
Let k = -89.63 + 88.9. Which is smaller: 1/18 or k?
k
Let d be (-2)/5 - 14/(-10). Let a(g) = -g**3 + 11*g**2 - 18*g - 73. Let i be a(7). Which is smaller: i or d?
i
Let z = -0.996 + -0.004. Which is greater: 9 or z?
9
Suppose 0 = 2*u + 5*x - 8 + 18, -u + 4*x = -8. Suppose -4*o - 1 + 5 = u. Which is smaller: o or 14?
o
Let c = 29 - 197. Let p = -1852/11 - c. Let o(k) = 2*k**3 + k**2 + k + 1. Let q be o(-1). Is p at least q?
True
Let s = 372.333 - 372. Let u = -0.003 + s. Let h = u + 0.37. Is h greater than or equal to -1?
True
Suppose 4*y + 4*b - 8 = 0, -2*y - 14 = -5*y - 5*b. Suppose -32 = -2*j + 5*o, -3*j + 6*j + 4*o = 2. Let n be 1/(9/j - 2). Is n > y?
False
Let u = 923 - 905.87. Let x = -17 + u. Let o = -4 - -4.1. Is x <= o?
False
Suppose -y - 2*y + 6 = 0. Suppose -y*p = p - 18. Suppose 0 = p*v + 51 + 15. Which is smaller: v or -9?
v
Suppose -12 = -15*u - 12. Which is smaller: u or 301?
u
Let q = -599 - -599.02. Is -0.3 at least as big as q?
False
Let a(d) = d**3 + 10*d**2 - d - 6. Let z be a(-10). Suppose y - 2 = -1, 3*g + 79 = z*y. Which is greater: g or -26?
g
Suppose 6*y = 3*y - 12. Let x be ((-16)/4)/20 + (-76)/20. Let q be x/6*((-5)/(-2) + -1). Is y not equal to q?
True
Suppose -2*y + 0*c + 5*c = 597, -5*y = -3*c + 1483. Which is bigger: y or -295?
-295
Let t = 619.7 + -620. Let b be (-18)/8*(-6)/(-9). Which is smaller: t or b?
b
Let b = -188 - -188. Which is bigger: -600 or b?
b
Suppose u - 7 = -2*c, 5*c + 0*c - 10 = -2*u. Let p be (-5)/(u/(-6)) + -2. Is p not equal to -1/13?
True
Let v(t) = t + 3. Let a be v(-4). Let s be 216/99 - (a + 26/22). Let k be (-1 - -1)/((-1)/(-1)). Which is greater: k or s?
s
Let r be ((-9)/(-75))/(6/(-4)). Let s = -1079/2174 + -4/1087. Is r >= s?
True
Let u be (-19)/4 - (-2)/(-8). Suppose -34*n = -29 + 199. Is n smaller than u?
False
Let g be -4 - 84/(-20) - (-54)/(-420). Which is smaller: g or -8?
-8
Let v = 67 + -133/2. Let r(s) = s**2 - 2*s. Let c be r(2). Suppose c*l + 4*l = 0. Is l bigger than v?
False
Let p = 0.8008 + -0.0008. Which is bigger: p or -5/11?
p
Suppose 656 = 33*i + 2636. Is -62 greater than i?
False
Let c = -17 - -16. Let q = -538/357 + 24/17. Is c >= q?
False
Let l(q) = -q**3 + 4*q**2 - 12*q + 15. Let f be l(3). Suppose 2*o - 128 = -2*o. Let m = 18 - o. Are f and m unequal?
True
Let t be ((-12)/(-45))/(102/5). Let a be (432/81)/8 + 10/(-6). Which is smaller: a or t?
a
Let c(x) = -2*x - 2*x - 7 + 3*x. Let i be c(-5). Let q = -2818 + 2822. Which is smaller: i or q?
i
Let z(p) = p + 17. Let u be z(-15). Suppose 3*h - u*q = 0, 6 = -q + 3. Which is greater: h or -16/7?
h
Let r = -265819/213 - -1248. Is 1 >= r?
True
Let i = -0.14 - -0.14. Let o(u) = 12*u - 1 + 1 + 18 - 14*u. Let b be o(6). Which is smaller: b or i?
i
Let w be (-4)/(-28) - (-130)/70. Which is smaller: w or 19/22?
19/22
Let w(f) = -f + 5. Let g be w(6). Let z be (-1)/g - (-2 + 9). Let m = -53 + 46. Which is smaller: z or m?
m
Let v = 51/2783 - 18/121. Suppose -3*i = -a - 2*a + 42, -3*i - 32 = -2*a. Let h be 4*(-5)/a - -3. Which is smaller: h or v?
v
Let t = 22 + 30. Let x = -51 + t. Let c = 196/429 - 10/33. Is x greater than or equal to c?
True
Suppose -5*t + 3*w - 5*w + 24 = 0, -3*w = 2*t - 3. Is t equal to 9/2?
False
Let s(d) = d**2 - 26*d + 104. Let l be s(21). Let b = 4/225 + 152/1575. Is l less than b?
True
Suppose -23*g + 1 = 4*w - 22*g, -13 = -2*w - 3*g. Is w smaller than -2/459?
True
Let l(h) = 7*h + 21. Let p be l(-3). Suppose -3*t = 6, 2*t + t = -5*v - 1. Let r = v + p. Is r bigger than 5?
False
Let r(v) = -318*v + 45. Let z be r(-1). Is z at least 364?
False
Let w be ((-10)/2)/(3 + -4). Suppose 7*p + 24 = -b + 2*p, -w*b + 2*p = -15. Let j = -54 + 598/11. Which is smaller: j or b?
j
Let i(p) = 43*p**2 + 5*p. Let v be i(-2). Suppose v = 2*j + 422. Let r be 18/42 + j/(-7). Which is bigger: r or 18?
r
Let o be 2/6 + 3530/(-240) + 0. Which is greater: -13 or o?
-13
Suppose 13*n - 14*n + 10 = 0. Suppose -5*i - 2*r + n = 0, -3*r + 9 + 6 = 0. Suppose -4*x - 16 = -4*s, i*x - 5*x - 27 = 2*s. Is 7 >= s?
True
Let s = 24 + -114. Suppose -414 = 4*y - 54. Is y greater than or equal to s?
True
Let g(t) = t**3 + 6*t**2 - 3*t + 8. Let s be g(-6). Let i(y) = 3*y**2 - 26*y + 73. Let l be i(3). Suppose l*o = s*o. Is 2/9 smaller than o?
False
Let t = -30 - -31. Let p = 21.989 + 0.011. Let d = 17 - p. Is d != t?
True
Suppose 3*v = -12, y + 4*v = -6 - 10. Suppose 0 = -q - 1 - y. Let l = -941 - -10345/11. Which is smaller: q or l?
q
Suppose -5*l + 2*m + 6 = 0, -m - 10 + 22 = 5*l. Let p be (-1 - 23/(-7)) + -1. Which is greater: p or l?
l
Let g be ((-43)/(-2))/((-1)/(-2)). Let t = g - 66. Let b = -21 - t. Is 2 bigger than b?
False
Let k(c) = -c**3 + 2*c**2 + c. Let u be k(-1). Let j = 44 + -42. Is u bigger than j?
False
Let b(m) = 56*m + 205. Let j be b(-5). Is j <= -75?
True
Suppose 6*z - 3*z = 12. Suppose 9*w - z*w + 5 = 0. Let y be 1*(-1 - (-1 + 0)). Is y not equal to w?
True
Let a be (-20523)/3420 + (7 - 1). Which is smaller: a or -1?
-1
Let q be 879/(-20) - 3/12. Which is smaller: -44 or q?
q
Let r = -939 - -17837/19. Suppose 0 = 2*l + 2*q + 2*q - 14, -3*l - 2*q = -5. Which is bigger: l or r?
r
Let a = 220.84 + -224. Let i = -2.84 - -3. Let r = i + a. Is 1/5 smaller than r?
False
Suppose 40*u + 117 - 37 = 0. Which is smaller: u or -5/8?
u
Let x = -47617/4 + 11978. Which is smaller: x or 73?
73
Let u be ((-6)/60)/(11/(-8)). Which is bigger: u or 0?
u
Let k = -4 - -9. Suppose 0 = -5*g + 2*r - k*r - 1623, 4*g - 3*r + 1293 = 0. Let f = -4214/13 - g. Is f equal to -1?
False
Let k be 5 - 0 - 1128/216. Is k bigger than -1/15?
False
Suppose 7*a - 2139 + 2027 = 0. Which is greater: 153/10 or a?
a
Let d(n) = -13*n + 16. Let r be d(1). Which is bigger: -7 or r?
r
Let h be (-1)/(-12) + 5/12. Let s be 10/8 - (-2)/(-8). Are s and h non-equal?
True
Suppose 5*n - 7 = 3. Let d be (7984/40)/(18/15). Let p = d + -165. Does n = p?
False
Let z(g) = -g**3 + 3*g**2 - 2*g - 3. Let x be z(3). Let r(o) = -o - 3. Let d be r(x). Let s = -1/13 + -21/65. Which is greater: d or s?
d
Let x = -2 + 4. Suppose -r + 2*i = i, r - 5*i = -12. Suppose x*a = a - r. Which is smaller: a or -2?
a
Let i = 154 - 154. Let u(a) = 2*a + 6. Let j be u(-4). Let z = i - j. Which is bigger: 7/3 or z?
7/3
Let i = 10 + 33. Is i at most 0.3?
False
Let t(r) = -5*r**2 - 243*r + 70. Let g be t(-49). Does g = -24?
False
Let q be (-19057748)/20 + (-2)/(-5). Let x = -18109320/19 - q. Let s = x + 235. Which is smaller: 0.2 or s?
s
Let m(l) = l**2 + 4*l + 4. Let a be m(-3). Let j = -4.036 - -4.136. Is a <= j?
False
Suppose 0*x - 36 = -x. Let k be (x/(-3) - 2) + 3. Suppose -d = 4*s - 6*d + 35, 5*s - 4*d = -46. Is k bigger than s?
False
Let a(u) = -u**2 - 8*u - 5. Let s be a(-5). Let o be (-45)/s*4/(-6). Suppose 0 = -o*m - 3, -4*m + 2 - 8 = -2*p. Does -4/21 = p?
False
Let a = 1/161 + -5315/322. Suppose 2