 t(7). Let b = s + -172/3. Let l = b - -139/21. Which is smaller: 2/3 or l?
l
Let f = 272 + -261. Suppose -3*d + 184 = -f*d. Is -22 <= d?
False
Let m be (-6 - 142/(-24))/(2/34). Let t = m + 11/12. Which is smaller: -3/5 or t?
-3/5
Let p = 2.182 - 0.012. Let m = 1.97 - p. Let r = -11 + 31. Which is smaller: r or m?
m
Let l(s) = -3*s**2 - 8*s - 3. Let j be l(-3). Let i(a) = -a**2 - 11*a - 8. Let n be i(j). Suppose k - n = -24. Is -2/3 less than or equal to k?
False
Let h(a) = -2*a - 98. Let k be h(14). Let d(z) = -162*z + 35. Let u be d(1). Which is smaller: k or u?
u
Let j(k) = -k**2 - 23*k + 88. Let y be j(-26). Let a = -41 - -57. Which is smaller: y or a?
y
Let n be 31/4 - 8 - ((-12210)/24)/11. Is n at least 424/9?
False
Suppose -1758 = 23*g - 1229. Is -12 equal to g?
False
Suppose 0 = -15*q + 64 - 19. Is 380 equal to q?
False
Suppose 2*q = 4*r - 7914, 2*q = -r - 6478 - 1466. Which is smaller: -3968 or q?
q
Let r(j) = -136*j + 17373. Let d be r(124). Is 1528/3 smaller than d?
False
Let s = 23.85189 + 0.03811. Let c = -24 + s. Let k = -0.06 - c. Is k equal to 0.02?
False
Let p be ((-124)/(-341))/(-1 + -3 + 3 - 1). Is p < -209?
False
Let a be (40/25)/((-10773)/105). Is a bigger than 1?
False
Let b = 18 + -14. Let g be -4 - (-2 - b) - (-2 - -2). Let z be 135/(-63)*g/12. Is z <= 0?
True
Let u be 3/2 + 1/(-2). Let v be (-12)/(-21)*(-28)/(-17 + 13). Let x be 11*u/2*v. Are 23 and x nonequal?
True
Let p = -11015 - -11319. Which is greater: p or 295?
p
Let t(b) = -3*b**2 + 4*b + 15. Let x be t(-4). Let m = x + 78. Suppose m = -3*u + z, 0*u - 2*z = -3*u - 28. Is 3 greater than u?
True
Let h = 285 + -221. Let f = -64.6 + h. Let d = 97/54 - 8/27. Which is smaller: f or d?
f
Let k = -111 - -116. Let z = 32 + k. Let h = -38 + z. Does 2/63 = h?
False
Let r = -7261 + 130495/18. Is r smaller than -12?
False
Let u be (-1555)/564 + (-27)/(-108). Let a = 78/47 - u. Let l = 9 + -6. Which is smaller: l or a?
l
Let k(r) = -r**3 + 41*r**2 - 289*r - 26. Let q be k(10). Is -12 not equal to q?
True
Let a(g) = 5*g**2 + 7*g - 7. Let r(q) = 9*q**2 + 14*q - 14. Let b(x) = 11*a(x) - 6*r(x). Let k be b(6). Let t = -27.67 - -28. Is t greater than or equal to k?
False
Suppose 0 = 26*m - 19*m + 196. Let d be (-8 - m/4)*-47. Which is smaller: d or 43?
43
Let v(y) = -y**3 + 6*y**2 - 10*y - 11. Let c be v(5). Let j be (-10)/(-60) + (-4242)/c. Which is smaller: -2 or j?
-2
Let g = -124 + 244. Suppose -2*s + 13 + 47 = 5*a, 0 = -4*s + 3*a + g. Which is smaller: 125/4 or s?
s
Suppose -2*p + 108 = p. Suppose v = 406 - 381. Let h = v - p. Which is smaller: -53/5 or h?
h
Suppose -5*t + 4*h = -3*t + 22, 0 = 3*t + 5*h - 22. Let k be ((21578/66)/1)/((-47)/141). Let a = -981 - k. Which is bigger: a or t?
a
Let m = -248 + 177. Let r = 290 - 217. Let a = r + m. Is 5 equal to a?
False
Let g(x) = -7*x**2 + 124*x - 852. Let r be g(8). Which is smaller: r or -297?
r
Let r = 4439.99 + 7.01. Which is smaller: r or 2/5?
2/5
Suppose 1738 = 5*z - 3*r, 65*z - 1393 = 61*z + 5*r. Suppose 2*m + 2*x + x = 707, 2*x + 1028 = 3*m. Are m and z unequal?
True
Let g be 2*(-2073 + -10 + -5). Is g < -4176?
False
Let m be (-8121737)/(-24294210) + (-1)/3. Let w = -2/685 + m. Is 1 less than w?
False
Suppose -4 = y + 3*y. Let s be (8 - 7*(-40)/(-28))/(-30). Which is greater: s or y?
s
Let v = 1950 + -1924. Which is greater: v or -0.024?
v
Let t = -70.28 - -70.3572. Are t and 3 equal?
False
Let v = -1039 + 1038. Is v at most 3515?
True
Suppose -v - 81 = 2*v. Let r be -1*6 + 16 + -11. Which is smaller: v or r?
v
Let c = -17234 + 17234.09967. Which is smaller: c or -1?
-1
Suppose 0 = 3*k + 4*j - 337, -5*k + 0*j + j + 531 = 0. Let u = 193 - k. Which is bigger: 85 or u?
u
Let d = 14.505 + -1.505. Which is smaller: d or 239?
d
Let k(i) = i**3 - 12*i**2 + 6*i - 33. Let l be k(12). Let z be (2 - 2)*(-13)/l. Is -6/53 at least as big as z?
False
Let p = 3/360770 - -3300143563/1443080. Let q = 2258 - p. Does q = -28?
False
Let d = 269 + 247. Let r = d + -515. Which is smaller: r or 0?
0
Let o = 611 + -42158/69. Suppose -328*i + 715*i - 336*i = 0. Which is smaller: i or o?
i
Let x = 277 + -45. Let j = 1612/4827 - 1/1609. Which is bigger: x or j?
x
Let z = -279 + 284. Suppose 2*q = q + 4. Let f be (-15)/z + q/2. Which is greater: -31 or f?
f
Let a = -5095 + 5731. Is -5 bigger than a?
False
Let k = 21867 + -21866.6. Does k = 1669/6?
False
Suppose 5*n + 19 = -3*v - 47, -n - 28*v = 205. Which is smaller: n or -1244?
-1244
Let w be ((-4391)/(-3))/((-34)/(748/33)). Is w greater than or equal to -976?
True
Let q = -4 - 35. Let r be (-3 - q/8) + -2. Suppose -4*u - 7 = -11. Is u not equal to r?
True
Let a(j) be the second derivative of j**5/20 - 3*j**4/4 - 2*j**3/3 + 4*j**2 + 9*j. Let d be a(9). Let b be 21/d - 111/(-84). Are b and 0.1 nonequal?
True
Let y = 3211 - 3211.11. Are -0.024 and y nonequal?
True
Let o be 11826/20169*(1 - -2). Is 3 < o?
False
Let q be (-8)/(-4) - 6 - -11. Suppose 5*x = 2*l + 225, 10*l - 13*l - 3*x - 285 = 0. Let s be ((-3)/(-1))/(-6)*l/5. Is s at most as big as q?
False
Let w = 19375 + -19369. Is 480/73 at most w?
False
Let c(a) = 4*a**2 - 467*a - 4435. Let h be c(-10). Which is bigger: 0.4 or h?
h
Let y be 52176/1488 - (-2)/(-31). Which is smaller: 467/13 or y?
y
Let v be (-3 + 2)/(9/(-3303)). Which is greater: 4/3 or v?
v
Suppose 0 = -55*u + 45*u - 70. Do -152 and u have different values?
True
Let w = -378 + 377. Which is bigger: -4/213 or w?
-4/213
Let b(n) = n**3 - 6*n**2 + 7*n - 6. Let v be b(5). Let w = 24979/8541 - 1/657. Which is smaller: v or w?
w
Suppose -2*f - 2*d = -14, 103*d - 108*d + 30 = 0. Which is greater: f or 11/149?
f
Let q = 21 - -4. Which is bigger: q or -115?
q
Let o be (-25)/(-5) - (-4 + 5). Let y be (2 - (9 - o))/1. Is y less than 5/9?
True
Let a be 13200/(-5082) + -3 + (-22)/(-7). Which is smaller: -2 or a?
a
Suppose 3*g = -2*l + 3994, 3*g = -l + 2939 + 1056. Let a be ((-5)/(-2))/(-5 - g/(-284)). Let x = a + -68/11. Is x not equal to -14?
True
Let p(s) = -58*s + 3965. Let l be p(-13). Which is smaller: l or 4718?
4718
Let y(v) = v**2 - 16*v + 33. Suppose 5*s = 25 + 45. Let q be y(s). Which is bigger: 8 or q?
8
Let v = -7/32 + 99/160. Let m = 571 + -320. Which is bigger: m or v?
m
Let j be 0/(1 - 2) - 58. Let n(k) = -9*k**2 + 54*k + 7. Let o be n(7). Is j greater than or equal to o?
False
Let s = -36897 + 36897. Is -168/619 != s?
True
Let w(o) = -o**3 - 6*o**2 + 36*o + 10. Let r be w(-10). Suppose 2*i = -2*s + 100, -114 = -2*i + 7*s - 2*s. Which is smaller: r or i?
r
Let o be -144*(5 + 44/(-8)). Suppose -o + 69 = -y. Suppose -y*n = -h + 12, 4*n + 5*h = -0*n - 16. Which is smaller: n or -5/2?
n
Let p be 9/(-27) - 32/(-6). Suppose -p*o + 46 = -49. Let c(u) = 2*u**3 - 10*u**2 - 10*u + 6. Let v be c(6). Is v < o?
True
Let o = 2.895 + -1.82. Let l = 0.175 - o. Which is greater: l or 1?
1
Suppose 0 = -4*i - 8, -22 = -3*k + 2*i + 21. Suppose -50*b + 51*b = -k. Is b smaller than -106/9?
True
Let j = -0.4045 - -0.5045. Which is smaller: j or -0.0072?
-0.0072
Suppose 0 = -0*a + 4*a - 60. Suppose -a*s = -4*s + 528. Let m be (-3)/(-2) - 306/s. Is m at least as big as 8?
False
Suppose -12*w + 168 = 9*w. Suppose -g - 7*x = -w*x - 2, 3*x + 6 = -5*g. Which is smaller: g or -3/73?
-3/73
Let w = 309037 - 309037. Let q be 21/25 + (0 - 1). Is q != w?
True
Let w be ((-40 - -37)/(30/44) + 3)*74. Which is bigger: -103 or w?
-103
Let d(j) = j**2 - 15*j - 14. Let k be d(16). Suppose -9*o - k*o = -231. Is -2 at least as big as o?
False
Let z be 1098/(-21) + (-2)/(-7). Let y = -52 - z. Suppose y*g = -3*g + 216. Is 72 greater than or equal to g?
True
Let c = 2.542 + -69.542. Let j = 0.5 + -0.5. Are c and j equal?
False
Let u be 4568/(-14846)*(-13)/31742. Is 1 greater than u?
True
Let p = 1707 + -1704.2. Which is smaller: 0.55 or p?
0.55
Let k = 0.1 - 0. Let j = 124.0177 - 0.0177. Is j < k?
False
Let o be (22 + -2)/(-17100)*(-5)/2. Which is smaller: o or 0?
0
Suppose -13*o - 8 = -5*o. Suppose 4*h - x - 2*x + 9 = 0, -3*h + 4*x = -2. Let p be 2 - (-3)/(9/h). Which is smaller: p or o?
o
Let k = 23.2919 + -0.2919. Which is bigger: 9/13 or k?
k
Let o(b) = -3*b**2 + 16*b + 386. Let n be o(-9). Is n smaller than -16/267?
True
Let d be (-4 + (-26)/(-6))*9. Suppose 3*s - 2*w + 5 = 1, 0 = -s - d*w + 17. Let u be s + 237/(-3