. Is 10 at least as big as b?
False
Let l = 57.65 + -142.65. Are 6.6 and l equal?
False
Let n = -10594 - -13729825/1296. Is 1 less than n?
False
Let r = -39 - -36. Let l be 3*(-3)/r*400/210. Let p be (45/(-10) - -1)*-2. Which is greater: l or p?
p
Suppose 4*s - 24 = 2*s. Suppose -12*c = -9*c - s. Suppose -y - 2*g - 62 = 3*y, c*g = -5*y - 85. Which is greater: y or -10?
-10
Let j(o) = o**3 + o**2 + o - 1. Let y(h) = -2*h + 14*h - h**3 - 10*h - 3*h + 3. Let u(s) = j(s) - y(s). Let i be u(-2). Is i >= -20?
True
Suppose 16*y + 1171 + 17021 = 0. Are y and -3409/3 non-equal?
True
Let t(m) = -m**2 + 174*m - 1168. Let q be t(7). Is q <= 15/68?
False
Suppose -3*x + 0*x = -5*x. Suppose -3*v = -4*b - b + 15, x = 4*v. Let d be b - 1 - 7/4. Is d less than or equal to 42?
True
Suppose p - 52 = 4*s, 3*p + 4*s = 7*s + 138. Let f(z) = -z**2 + 40*z + 177. Let t be f(p). Is 38/23 bigger than t?
True
Let o = 1603 + -46490/29. Let a be (3 - 1)*-1 - -4. Suppose -2*d = -a*s + 3*s, -2*d = -s + 4. Is o bigger than d?
True
Let q be ((-1419)/88)/((-42)/(-20552)). Which is greater: -7890 or q?
-7890
Let a be ((-40)/(-56))/((-1)/(-7)). Suppose -a*f + 4*d - 18 - 32 = 0, 2*f + 20 = -d. Which is smaller: f or 2?
f
Let x(a) = a**2 - a**3 + 1 + a - 2 + 2*a. Let j be x(2). Let d be (-22)/(-77) + (-1216)/1463 + 229/440. Which is bigger: j or d?
j
Suppose -3*p + 33 = 3*a, 3*a - 4*a - 2*p = -8. Let x be ((-329)/3 - 2) + a/21. Is x >= -112?
True
Let h(p) = -3*p - 2. Let k be h(-2). Suppose -k*s + 3*b = -0*b, -2*b - 1 = -3*s. Suppose 3*t = 5*j - 22, 14 = 3*j + 5*t - 7*t. Which is smaller: s or j?
j
Let k = 161 - 229. Suppose -4*g + 5*z = 288, 3*g - 5*z + 197 = -6*z. Let w = g - k. Is w less than or equal to 3?
True
Let m = -14453/357 - -18/119. Let b = m + 40. Let q be 2/(-7)*42/18. Which is greater: q or b?
b
Let d(p) = p**3 + 9*p**2 - 12*p - 17. Let w be d(-10). Let z be 40/4 - w - -2. Suppose 0 = 3*l - 3 - z. Which is smaller: 16/3 or l?
l
Let p = 6158 - 6158. Which is greater: -653 or p?
p
Let f = 16.62 - 3.27. Let t = -104.45 + f. Let p = 91 + t. Which is greater: -70 or p?
p
Let t = 7055 - 7057. Is -9/694 <= t?
False
Let v = 35012 - 280093/8. Which is bigger: -4 or v?
v
Suppose -615 - 20 = v + 3*l, 5*l - 1877 = 3*v. Is -625 bigger than v?
True
Let v = -234 - -230.16. Let k = v + 3.84. Let g = 28.4 + -31. Which is smaller: k or g?
g
Let l = -34 - -291/8. Suppose -123*s + 32*s + 273 = 0. Which is smaller: s or l?
l
Let t be (1 - -1)*(-124)/(-8). Let u be (0 + 1*(-6 - -4))*-17. Which is smaller: u or t?
t
Suppose 0*j + 3*j - 4*w - 15 = 0, 3*w - 10 = -2*j. Suppose -3*l - 109 = -4*n - 4*l, -j*l + 129 = 4*n. Which is smaller: 24 or n?
24
Let x = -52 + 134. Let i = -153 + x. Which is bigger: -0.2 or i?
-0.2
Suppose 0 = 5*g - 20, 4*x - 3*g - 6 = -34. Let z be 2 + (-4 - -5) + x. Which is bigger: z or 6?
6
Let x be (-2928)/200 - -4 - -15. Is 3 smaller than x?
True
Let n be (210/(-4))/(-1*(-5)/30). Let y = -381 - n. Which is greater: -65 or y?
-65
Let a = -46853 - -30604. Let s = a - -27867037/1715. Which is smaller: 0 or s?
0
Let p(w) = -w**2 - 8*w + 21. Let l be p(-11). Let q = l - -160. Is 148 at most q?
True
Let u be 1*(-1)/(-5) + 48/10. Let y be u/(10/(-4)) + 285/140. Is y <= -1?
False
Let j = -238.15 - -3.15. Let p = -231 - j. Is p at most as big as -2/7?
False
Let t = 1197 - 1535. Is t less than -347?
False
Let m(u) = 30*u + 60. Let g(h) = -5*h - 10. Let c(z) = -35*g(z) - 6*m(z). Let s be c(2). Let p be 15/s*(-16)/(-42). Is 21 greater than p?
True
Suppose -60*r - 58 = 33*r + 35. Is 20/577 < r?
False
Suppose 15*d - 4*d = -7*d + 18. Is d <= -51?
False
Let o = 22598 + -22599. Let t be 6/9 - 152/3. Let b = t - -248/5. Which is smaller: o or b?
o
Suppose 104 = 6*k + 14. Suppose -k*b - 23 - 112 = 0. Which is bigger: b or -2?
-2
Suppose 2*j - 12 = 2*z, z + 2*j + 3*j = 0. Let n be 32/80 - (13/z + 2). Which is bigger: n or -3/59?
n
Let r be -2 + 2 - 228/(-36). Do r and -11/8 have the same value?
False
Let a(g) = -g**3 - 10*g**2 + g + 10. Let p be a(-11). Let h = 319 - 319. Suppose h = -z - p + 80. Is -41 not equal to z?
True
Let c(h) = 30*h**3 - h**2 - h - 1. Let i be c(-1). Suppose s - 5*m + 56 = 21, 2*s + 2*m = -58. Is s at least i?
True
Let z = 1378 - 1068. Is 310 at most as big as z?
True
Let o(f) = -2*f - 24. Let x be o(10). Let q = 23 + x. Is q != -20?
True
Let q = -4437715/19 - -233503. Which is smaller: -60 or q?
q
Let p = -331 + 254. Let w = p + 88. Which is greater: 49/5 or w?
w
Let c = 429038/170289 + -6/6307. Let l = 92/27 - c. Suppose -3*a = -n - 5, 2*a = 3*a - 4*n + 2. Is a less than or equal to l?
False
Let f(z) = -20*z - 100. Suppose 5*a + 5*m + 13 = -22, 9 = -a - 2*m. Let b be f(a). Let n = 43/3 + -14. Is b not equal to n?
True
Let r = 322 - 316.438. Let h = 0.062 - r. Let u = 26.5 - h. Is u smaller than -2/5?
False
Let b = 9315 + -9315.1. Is b <= -2592?
False
Let m(n) = -3*n**3 + 3*n + 2. Let v be m(-4). Let u be (117711/22)/29 - (19 + -16). Is u not equal to v?
True
Suppose 0 = -153*u - 3537 + 477. Which is smaller: -188/9 or u?
-188/9
Let p be 2228/(-24)*2 + 12/18. Let s = -187 - p. Which is smaller: s or -6?
-6
Suppose -s - 145 = 5*k + 78, -5*s + k = 933. Let t = -640 + 453. Is t != s?
True
Let g = 207.928 + 0.072. Let d = -207.6 + g. Is d at most as big as 0.13?
False
Let p be 54838/(-10) + (-480)/(-600). Is -5482 smaller than p?
False
Let n(b) = -124*b. Let f be n(-1). Let j be 21/(2 + 121/(-66)). Which is smaller: f or j?
f
Suppose 3*s + 227 = 215. Which is smaller: s or -37/12?
s
Let i(k) = 33*k - 183. Let r(n) = -n**3 + 12*n**2 - 9*n - 15. Let u be r(11). Let p be i(u). Which is smaller: p or 45?
45
Let u be -3 + (4/6)/(6/45). Suppose 9*k + u - 11 = 0. Is k less than -1/171?
False
Let m = -12387 + 37001/3. Is -53 >= m?
True
Let p = -50 + 54. Suppose -p*j + 137 - 409 = 0. Let r = j - -338/5. Which is bigger: r or 0.16?
0.16
Let b = 303 + -303. Let t be (1920/(-200))/(b - 1/(-40)). Is -385 at most t?
True
Let p be (-17)/36 - 1/(-4). Let m be (14 - (-146)/(-10)) + 30662/36120. Let c = -1/903 - m. Which is smaller: c or p?
c
Let t(m) = m**2 - 23*m + 16. Let w be t(16). Let f be (2/3)/((-4)/w*4). Let z be (-10)/(-4)*f/10. Which is smaller: z or 3/22?
3/22
Let y be 19 + (8/6 - (0 - (-50)/(-30))). Let n(j) = -20*j - 1. Let w be n(-1). Which is smaller: w or y?
w
Let a = 182071177 + -186012107626149/1021645. Let m = a - 708899199/10625108. Let f = 267/4 + m. Which is greater: f or -1?
f
Let k = -3069/5 - -591. Is -23 at least k?
False
Suppose 64 = 60*x - 56*x. Let c be (-2 + x/9)/((-2)/(-6)). Are c and 4/27 unequal?
True
Let x(s) = 2*s**2 - 31*s - 356. Let n be x(-13). Which is bigger: 386 or n?
386
Let g(w) = w - 2. Let x be g(0). Suppose 0 = 29*v - 44*v - 15. Let i(y) = 7*y**3 - y**2 + 2*y + 2. Let r be i(v). Which is smaller: x or r?
r
Suppose -6*f + 4*v - 128 = -10*f, 40 = f - v. Let j = -34 + f. Suppose j*m - 72 = -5*w, -2*m = -7*w + 2*w - 72. Is 35 smaller than m?
True
Let i = -403.00642 + 0.00642. Which is smaller: i or -4?
i
Let f be (-4)/10*750/(-232200). Is f != -2/7?
True
Let r(g) = g**3 + 11*g**2 + 14*g - 2. Let q be r(-4). Suppose -3*h - q + 51 = 0. Are h and 1/139 unequal?
True
Let m be ((-2)/4*-4)/(1 - 93/87). Let s(w) = w + 1. Let b(a) = -11*a - 5. Let o(z) = b(z) + 5*s(z). Let j be o(5). Is m at least j?
True
Let z = -199 - -21. Let l = z + 132. Let h(b) = -b**2 + 4*b + 13. Let w be h(10). Which is bigger: w or l?
l
Let h = -179.003 - -169.2. Let a = 9.9 + h. Does -2/7 = a?
False
Let s(c) = c**3 - 13*c**2 + 17*c - 427. Let y be s(14). Let i be (2/6)/((-1)/(-6)). Is y != i?
True
Let m be 1 + (0 - 6/8). Let h be ((-4)/((-32)/(-546)))/(13/(-104)). Let q = 3816/7 - h. Is m < q?
False
Suppose 3*b - 20 = -2*v, 0*b = -b - 4*v. Let u be (41/6478)/((-1)/b). Which is smaller: u or -1?
-1
Let n = -297 - -308.55. Let q = n - -0.45. Suppose -2*a + 6 + 8 = -4*v, -4*a = -4*v - 12. Do a and q have different values?
True
Let v be 18*(-20)/450 + (96/20 - 2). Is v equal to -9020?
False
Let b = -16 + 31. Suppose 0 = 57*t + 6346 + 1862. Let w be ((-65)/(-39))/((-15)/t). Is w at most b?
False
Let w = -0.02 - 0.05. Let h = w - -9.07. Let o = h - 9. Is o not equal to -8?
True
Let l(j) = 8*j**2 + 111*j - 69. Let v be l(-15). Which is smaller: 18 or v?
18
Let m = 1.2 + -1.4. 