 Let a = t - -105. Is a greater than or equal to 0.037?
True
Suppose -16 = -a + 3*q, -18 = -0*a - 3*a - q. Suppose -5*s = 17*s - 264. Let f be (-22)/(-33) - (-52)/s. Which is bigger: a or f?
a
Let g = 33 - 30. Suppose 3*r - 5*r = g*r. Let a be (-1)/(r + -3 + 2)*-31. Is a at least -29?
False
Suppose -4*x + v - 121 = -146, 4*x - 3*v - 11 = 0. Is x at least -41?
True
Let c be (-3)/8*-1 - (-819)/(-392). Let i be (2 - (-12)/(-2)) + 15. Let q be i/(-3) + (1 - -3). Is c > q?
False
Let c = -241 + 563. Let x = c - 322. Which is smaller: x or 5/94?
x
Let n(r) = -5*r**2 - r + 1. Let f(m) = -14*m**2 + 14*m + 22. Let g(y) = -f(y) + 3*n(y). Let x = -36 - -21. Let k be g(x). Are 11 and k unequal?
False
Let r = -7 - 1.5. Let a = 4 + r. Let s = 6.8 + a. Which is greater: s or 2/3?
s
Let x = 10/1087 + -1456/394581. Let n(b) = 19*b + 57. Let u be n(-3). Does u = x?
False
Suppose 0 = -y - 2*u + 3*u + 34, 3*y - 107 = 4*u. Suppose 1266 = y*b - 39. Which is bigger: 42 or b?
b
Let t be (-72)/16*1298/132. Which is greater: t or -43?
-43
Suppose 2*l - 3*w - 89 = 0, 3*l + 4*w - 108 = -0*w. Suppose -5*m = -3*j + l, -5*m = -0*m + 5*j. Suppose 40 = -z - 4*z. Which is greater: m or z?
m
Suppose 4*b = 5*x + 12, 3*x + 3 = -b + 6. Suppose -2*j + 5*j = 5*p + 205, -359 = -5*j + 4*p. Let a be (j/40)/(1 + x). Is a smaller than 1?
False
Suppose 66*i - 405 = 15*i - 30*i. Are -0.62 and i non-equal?
True
Suppose d + 4*m - 9 = 2*d, 4*d - 3*m - 3 = 0. Let v = -5892 + 11787/2. Is d less than v?
False
Suppose -2*j + 5*a - 46 = 0, 3*j - 3*a = -66 + 6. Let f = -119 + 81. Let q be f*(4/8)/1. Which is bigger: j or q?
j
Let i = 2210.075 - 0.075. Are 1 and i nonequal?
True
Suppose -3*d - 2*b = -0*d - 95, -4*b + 25 = d. Suppose 2*o + 0*m = -5*m + 22, m = o - 4. Let j = 27 + o. Is j >= d?
True
Let t be 209/(-1045) + (-6)/(-5). Are 2706 and t nonequal?
True
Let p = 1823 - 1033. Let y be (-3)/12 - 218*(-145)/40. Is p equal to y?
True
Let r = 21429166/29 + -739070. Which is greater: r or -132?
-132
Let y = -4.57 + 0.57. Let a = 3 + y. Let b = a + 2. Which is smaller: 3 or b?
b
Let h = -2.182 - 0.578. Let x = 3.76 + h. Is -3/179 at least x?
False
Let m be (2 + 4/6)*-3 - (-1175940)/(-1390). Does m = -856?
False
Let g = -1/5856 + 912073/5856. Let m be 157*(4/16)/((-1)/4). Let w = g + m. Is -4/5 != w?
True
Let s(o) be the first derivative of -2*o**3/3 + 35*o**2/2 + 5*o + 7. Let l(n) be the first derivative of s(n). Let b be l(8). Which is smaller: b or 4/7?
4/7
Suppose 108*z = 102*z + 66. Let n be z + -13 - (0 + -224)/(-4). Which is greater: n or -60?
n
Let s = -212.8 + 3.8. Let a = s - -209. Let d be (-2)/(-4)*(-7)/2. Which is greater: a or d?
a
Let m = 0.0157 - 120.0157. Let o = m - -129. Which is smaller: 56 or o?
o
Let n(m) = 24*m**2 + 1492*m + 250. Let b be n(-62). Is b greater than or equal to -1.1429?
True
Let q = -3003 + 3003.1. Which is smaller: 8116 or q?
q
Let o = 259587/14720 - 406/23. Which is smaller: o or 1/2?
o
Suppose -2*y - 248 = -0*f - 2*f, f - 128 = 2*y. Suppose 5*m - f = 4*n - 0*m, m - 150 = 5*n. Let b = n - -30. Are -9 and b nonequal?
True
Let h be ((-18)/15)/((-50)/275) - (-2)/5. Is h > -314?
True
Let n = -23980 - -23981. Which is smaller: n or 5/6396?
5/6396
Suppose 5*m - 90 = -5*o, -13*o + 15*o - 52 = -3*m. Let s be 8 + -4 + -3 - (-278)/m. Is s at most as big as 17?
False
Suppose 0 = -16558*i + 16586*i + 3388. Let k = -202 + 81. Is i less than or equal to k?
True
Let m(v) = -v**3 + 8*v**2 - 12*v + 8. Let k be m(4). Suppose 0 = k*j + 47*j + 71. Let t = 67.029 + -67. Which is smaller: j or t?
j
Let x(r) = -r**3 + r**2 + 4. Let y be x(3). Let d = -17 - y. Let f = -146/11 + 667/66. Is f != d?
True
Let j(b) = -4*b**2 + 60*b. Let r be j(15). Is r at least as big as 1/13039?
False
Suppose -z = -3*w - 27, 4*w + 7 = -5. Let a be 202/5 - z/(-45)*-1. Is 42 equal to a?
False
Let d = 69236 + -69554.93. Let t = -319 - d. Are t and 0 nonequal?
True
Let o be (-4 - (-90)/8)/((-178160)/(-13696) - 13). Are 887 and o non-equal?
True
Suppose 4*p - 5*g = -16, 3*g - 17 = p - 6*p. Let y = -320 + 66. Which is smaller: p or y?
y
Let j(p) = -p**2 + 44*p - 50. Let m be j(43). Let y be 1/(1*1/5). Let v be -1 + y + m + 3. Is v at least -6/7?
True
Suppose 7*i = -76 + 76. Suppose 7*h + 38 = -3*s + 2*h, s - 4*h + 7 = i. Is -21 at most s?
True
Let f = 7311 - 57791/8. Let x = f + -87. Is 1 less than or equal to x?
False
Let j(v) be the second derivative of v**4/12 - 4*v**3/3 + v**2/2 - v. Let a be j(8). Let z = -7159 + 408061/57. Are z and a nonequal?
True
Suppose 5*l + 1865 = 3*n - 578, -2*n = l - 1633. Which is smaller: 813 or n?
813
Let u = 172.86 + -166. Let y = u + 0.14. Let f = 4 - y. Which is greater: f or -2/3?
-2/3
Let p(t) = -173*t + 1036. Let q be p(6). Is -34 < q?
True
Let q(n) = 39*n + 6. Let b be q(2). Suppose 12*h = 10*h + b. Let f = h - 42. Is 3/50 < f?
False
Let g = -207 - -351. Suppose 60*z - 56*z + g = 0. Let h be 5/7*(-42)/z. Is 0.1 less than h?
True
Let f = 1081 - -295. Suppose 12*s + 4*s - f = 0. Is 85 less than or equal to s?
True
Let u be (-62)/(-32) + -2 + 9766/608. Which is smaller: 3.9 or u?
3.9
Suppose 3*l - 7*l = -200. Suppose 184*v - l = 185*v. Is -53 less than or equal to v?
True
Suppose -123*s + 243*s = 125*s + 27630. Is s greater than or equal to -5524?
False
Suppose t - 14 = -5*i, t + 4*t = -2*i + 24. Suppose -13*p - 5*m = -12*p - 20, 3*m - 34 = -5*p. Suppose 3*g = i*w - 17, p*g = -3*w + 9 + 7. Are 6 and w equal?
False
Let j = -48 + 50. Suppose 0 = v - 3 - j. Suppose 5*n - y + 102 = 0, n = -n - v*y - 57. Which is smaller: -4 or n?
n
Let t(d) = -12 - 17*d - 9*d + d**2 + 26*d. Let u be t(4). Suppose 4*i - 2*l - 20 = 0, -4*i = -u*l - 0 - 12. Is i smaller than 0?
False
Let u be -37 + 45 + 73126/(-9141). Is u bigger than 1?
False
Let r be 1/4 - 9/4. Let a be 574 - (4 - 3)/(7/21). Let u = a - 578. Is u greater than or equal to r?
False
Let b = -109 - 323. Let x = b + 453. Is x at most as big as -8?
False
Let h be (-12)/(-8)*(-18)/27. Let p be 15*4/(-414)*1. Let f = 271/2346 + p. Do h and f have the same value?
False
Suppose 16 = 4*i - 16. Suppose 3 = -o - 4*z - 1, 2*o - 3*z = -i. Let h be (-2)/(-11)*(-2)/o. Which is smaller: h or -1?
-1
Suppose 0 = -l - 3*q - 1742, -31 = -l + q - 1769. Is l smaller than 2/11?
True
Let w = 3577/289595 - 2/3407. Which is smaller: -1.6 or w?
-1.6
Suppose -4*h - 5*a - 8 = 0, -a = -1 + 5. Suppose 91 = -4*v + h. Which is smaller: -3 or v?
v
Suppose 9*w - 808 = 3*c + 13*w, 2*c + 5*w = -548. Let s = 341 + c. Do 0.4 and s have different values?
True
Let m(t) = t**3 - 7*t**2 - 31*t - 19. Suppose 0 = -4*f + 4*k + 48, 16 - 62 = -5*f - 2*k. Let z be m(f). Which is bigger: z or -113/4?
-113/4
Suppose -15*g - 19 - 11 = 0. Let i be (0/3)/(g/(-2)). Let v be -1 + i - (-1045)/1050. Which is smaller: 1 or v?
v
Let c be 20*2/4 - (7 + -3). Let p = -5 + c. Let u be -1 - (-3)/624*206. Is p less than u?
False
Let i be (-210)/36*16/100*10. Let v(b) = 6*b + 2. Let j be v(3). Suppose -2*w - 2 = -4*m, -m = -3*w - 3 - j. Is i equal to w?
False
Let f be ((-84)/49)/(-12) + (-8714)/61096. Which is smaller: f or -0.1?
-0.1
Let q be (-2)/8 + 2/4. Let d = -128871 + 128813. Is d at most q?
True
Let j = -0.47 + 0.22. Let m = -10 - -15. Suppose 4*n = 4*f + 30 - 10, -n + 21 = -m*f. Which is bigger: j or n?
n
Let c be (-3)/(3023160/246840994) + 2/(-8). Let s = c + -1/50386. Let p = s + 243. Is p equal to -1?
False
Suppose -8*u + 5*s = -9*u + 8, 4*s - 76 = 5*u. Let a be ((-138)/156)/(u/16 + 1). Which is greater: -4 or a?
a
Let z = -0.055 + -4.945. Let a = -0.0312 + -0.2098. Let y = a + 0.041. Which is smaller: z or y?
z
Let o = -4174 + 4246. Is o at least as big as 55?
True
Let a = 13 + -20. Let u(c) be the third derivative of -c**4/8 - 25*c**3/2 - 113*c**2. Let v be u(-24). Which is smaller: v or a?
a
Suppose 5*p + 3 - 95 = -3*g, 0 = -3*p + 12. Let b = 27 - g. Suppose -5*a + 3*z + 2*z = 5, -b*z - 13 = 5*a. Is a at least as big as -12/13?
False
Suppose -5*z = 3*l + 2101, 2832 = -11*l + 7*l + z. Let s = l + 19087/27. Which is bigger: -1 or s?
s
Let y be (-168)/(-90)*((-2)/6)/(10/(-195)). Which is smaller: 12 or y?
12
Suppose -5*g = -3*g. Suppose 16 = 4*d - o + 2*o, 0 = o. Suppose d*s = 5*h - 29 - 6, -3*h + s + 28 = g. Is h greater than or equal to 10?
True
Suppose -20 = 3*m + 451. Let x(o)