- 2*w = -b*d - 8. Which is bigger: 3 or d?
3
Let x be -1 + (-3)/(-9) + (-5125)/(-483). Let z = x - 69/7. Which is smaller: z or -1?
-1
Let t be (-1)/2*(12 + -372 + 10). Let l = t - 159. Which is greater: l or 3?
l
Suppose 2*z - 3*l = 0, -z = 2*z + 3*l. Suppose -147*d + 146*d - 11 = z. Is d at most -16?
False
Let z = 4819 + -4819.8. Is 0.3 at least z?
True
Let n be (1/3 - 26/6) + 1. Let v be n/2*(-26)/(-819). Let h = -23 + 20. Which is smaller: h or v?
h
Suppose 5*c - r - 1636 = -4*r, 4*r = -12. Let h = c + -319. Suppose 2*k - 8 = k. Which is greater: k or h?
h
Let u = 1313 - 526517/401. Is -1 greater than u?
False
Suppose 2*h - 519*z + 4 = -517*z, 5*h + 7 = 4*z. Is 1/284 less than or equal to h?
True
Let y(d) = d**2 + 16*d + 62. Let t be (-1*(-8)/(-16))/(2/4). Let x(h) = 13*h**3 + h**2. Let c be x(t). Let a be y(c). Which is smaller: 53/4 or a?
53/4
Let f(s) = -17*s - 107. Let a be f(-7). Let m be 28/a*(-3 - -2). Which is greater: -3 or m?
m
Let c = -2364 + 2378. Is c greater than -12?
True
Let g be (84/(-15) + 0 + 2*3)*-11. Let f be 78/8 - (-4)/16. Suppose 3*z + f = -5*p, -z + 3*p + p = 9. Which is smaller: g or z?
z
Let d = -100 + 95. Let k be 10/((-185)/35 - d). Let n(j) = -j**3 + 4*j**2 + 7*j - 4. Let w be n(6). Does w = k?
False
Suppose 42*c = 40*c + 266. Suppose -4*w - s = -537, 0 = w + 3*s - 7*s - 130. Which is greater: w or c?
w
Let n = 300 + -519. Let y = n - -415/2. Is -13 less than y?
True
Let t = 4653 + -16510. Which is smaller: t or -11856?
t
Let m = -1043 - -1796. Suppose -759 - m = 6*z. Which is greater: -251 or z?
-251
Let o be -4 - (1/5 - 96/5). Let r be 745/o*(-12)/(-4). Suppose 4*u = -27 - r. Which is smaller: u or -45?
-45
Let w(a) = -2*a**2 + 6*a + 37. Suppose -6*q = -53*q + 282. Let j be w(q). Is j bigger than -37?
True
Let a be (-418)/(-76)*21/889. Is 1 <= a?
False
Let q(j) = -7*j**2 + 21*j - 3. Let v be q(3). Let m be v + (-2)/172*-230. Is -1 >= m?
False
Let w = 21220 - 21150. Is 76 less than w?
False
Suppose -u = x, -2*x + 2*u = 5*u + 5. Suppose -5*v + 129 = -3*l, 0 = 4*l - x*v + 63 + 109. Let i = -2 - l. Which is smaller: i or 40?
40
Suppose -66 = 15*a - 4*a. Let d be 7*a*((-8)/(-4))/6. Is -124/9 greater than or equal to d?
True
Let w = 272 - 271. Suppose 78 = -5*j + 18. Let i be 3/w*j/774. Which is greater: 1 or i?
1
Suppose 8*z + 3*g - 101 = 7*z, 5*z - 445 = 5*g. Which is smaller: z or 96?
z
Let n = -0.0191 + 0.5291. Let p = n + -0.41. Is p less than 0.03?
False
Suppose -9*j - 1413 = 666. Let i = -458 - -227. Is j smaller than i?
False
Let x(a) = -11*a - 45. Let p be x(-5). Let i be (-62)/(-8) - p/(-40). Let g be (i/(-12))/(-1 + 3). Is -6 >= g?
False
Let h = 10573 - 10572. Which is smaller: h or 62/103?
62/103
Suppose 78*b + 3293 = 3215. Which is smaller: 303.1 or b?
b
Suppose 16*m = 11*m + 3*u - 857, -4*u + 692 = -4*m. Which is smaller: m or -168?
m
Let z(k) = -k**2 - 6*k + 27. Let h(q) = 4*q + 7. Let p be h(-4). Let o be z(p). Let v be ((-16)/(-2280))/(2/10). Which is greater: v or o?
v
Let v = 42.4 + -35. Let g = 7.17 - v. Let i = -0.77 + g. Which is smaller: i or -42/11?
-42/11
Suppose 0 = 28*u - 25*u - 45. Let i be (4/6)/((-10)/u). Which is bigger: 1/24 or i?
1/24
Let d(s) = s**2 - 5*s - 4. Let k be d(7). Let w be (-24 - 6*1598/(-399))*(-21)/(-6). Which is smaller: w or k?
w
Let c = 772 + -482. Suppose -3*w + c = -4*w. Let o = w + 192. Is -98 != o?
False
Suppose w - 3*p = -15, -5*p + 17 = 2. Let h be w - (3 + -5) - -1. Which is smaller: h or -5?
-5
Let t be (-8 + -5472)/(-5) - 12/(-4). Which is greater: t or 1100?
1100
Let a = -58.79 - -29.81. Let o = -0.02 + a. Let n = -28 - o. Which is smaller: n or 3/2?
n
Let c be (20244/(-18))/14*(-9 + 0). Is 720 < c?
True
Let j = -4813 + 2963. Let t = -1708.3 - j. Let u = t + -141. Which is bigger: u or -3?
u
Let d = 2399196760/4046691 + 15/122627. Let h = d - 593. Which is bigger: h or 1?
1
Let a = 0.18112 + -31.88112. Is a at most -3?
True
Suppose -3*w = -7*w + 12. Suppose 0 = 4*o - o - 5*i - 57, -o = -3*i - 19. Let h(m) = m**2 - 20*m + 30. Let r be h(o). Is r at most as big as w?
False
Suppose -u + 5*j - 9 = 7, 3*j - 168 = 5*u. Let f = u + 431/12. Are f and 2/11 non-equal?
True
Let k(x) = 3*x + 2. Let c be k(1). Let m = c + -7. Let l be m/7 + 420/1127. Is l <= 1?
True
Let s = -0.54 + -0.06. Let g = s - -0.6. Let d = -0.1988 - -0.2178. Is d at most as big as g?
False
Suppose 3*c = 34*i - 36*i + 537, i - 2*c - 293 = 0. Which is bigger: 264 or i?
i
Let n = 87041/2 + -42541. Do n and 981 have the same value?
False
Let q = 3438 - 3437. Is q at most as big as 1.52?
True
Let q = 173 - 173. Let s = -2/16831 - 6934366/50493. Let i = -25553/186 - s. Which is bigger: i or q?
q
Let h be (-12)/1 + 0 + -1. Suppose -5*q = -5*d + 5, -154 = q - 5*d - 165. Is q smaller than h?
False
Let w be (-3)/5*12/(-270). Let t = 7490 + -7491. Which is greater: w or t?
w
Let g(m) = -m**3 + 9*m**2 - 12*m - 11. Let x = -34 - -41. Let w be g(x). Suppose -12*c = -15*c + w. Is c at least -1/4?
True
Let n = -432 + 648. Let h = 230 - n. Suppose -2*k - 4 = -32. Is k greater than h?
False
Let n = 18/1799 - -239/1799. Which is bigger: 148 or n?
148
Let q = 10586 + -10606. Is q at most as big as 18?
True
Suppose 5*n - 17 = -3*u, 0 = 2*u - 4*n + 3 + 15. Let a be 80/(-560)*(u/(-3) - 0). Which is smaller: -0.2 or a?
-0.2
Let g = 8764390/551 - 491694/29. Let o = -1048 - g. Which is bigger: 2 or o?
2
Let r(h) = -6*h**2 + 600 - 13*h - 592 + h**3 + 0*h. Let b be r(8). Suppose 12*p - 8*p = b. Is p greater than or equal to 7?
True
Let w = 1795 - 1796. Let n be 4/2 - 2/1. Let r be (3 - (-20 - n))/(0 - w). Which is smaller: r or 24?
r
Let r be 231 - 215 - (-25)/(-2). Let y be ((0 + 2)*2)/1. Let q be ((-6)/(-4))/(2/y). Is q at least as big as r?
False
Let m(f) = -f**2 - 6*f - 5. Let r be m(-5). Let w be 1 - (-2 - 2888/(-17)) - 4. Let i = -171 - w. Is r greater than or equal to i?
True
Let h(s) = 45*s + 6. Let w be h(-10). Let r be ((-2)/3)/(8/w). Suppose 0 = -30*y - 19*y + 1862. Which is smaller: r or y?
r
Suppose 40*d - 41*d + 2 = -5*k, -2*d = -2*k + 4. Let p = -556/81 - -38797/810. Let c = p - 41. Is k < c?
True
Let g = 13791.02608 - 0.02608. Is 1 <= g?
True
Let o = -8162 + 8190. Which is greater: 56 or o?
56
Suppose 0 = 33*w - 1996 + 1138. Suppose -4*r + 12 = -2*r. Let j be (-18)/r + 86/w. Which is bigger: -1/5 or j?
j
Let d = 168 + -170.8. Let a = 2.9 + d. Which is bigger: 91 or a?
91
Suppose 121 - 6 = 3*h + 2*b, 4*h = b + 146. Let k be 13/52 + (-2 - h/4). Are -13 and k nonequal?
True
Let i(v) be the first derivative of -5*v**2/2 - 98*v - 71. Let j be i(-9). Suppose 0 = -x + 3*x + 106. Do x and j have the same value?
True
Let i(y) = -2*y + 86. Let j be i(27). Suppose -f - 2*b - 5 + 3 = 0, -4*f + 4*b = j. Is 49 less than or equal to f?
False
Let t = -3215053/1586757373 - -1/321011. Is t greater than or equal to 1?
False
Suppose -2150 = -5*c - 4*f, -2*f - 7 + 17 = 0. Let y = c - 417. Which is smaller: -21 or y?
-21
Let t = 10941/340 - -15/68. Is t != 31?
True
Let d = 1746 - 1721. Which is smaller: 0.017 or d?
0.017
Let i = 975.611 - 975. Are 5 and i non-equal?
True
Let i = 223 - 287. Let a be 9 - (-824)/i - 1. Which is smaller: a or -4?
a
Let t = 25.00307 + -0.00307. Is -26 less than t?
True
Suppose 53*u - 59 = 58*u + 3*n, 0 = 4*u + 5*n + 42. Which is bigger: -32 or u?
u
Let y = -28967 + 28971. Let q = -8 - -15. Are y and q unequal?
True
Let u(m) be the second derivative of -13*m**3/6 + 31*m**2 - 81*m. Let s be u(6). Which is greater: s or -20?
s
Let c = -441 - -108. Let r = c - -554. Is 2 greater than r?
False
Let o(q) be the second derivative of -1/3*q**3 - 1/3*q**4 + 1/2*q**2 - 20*q + 0 - 3/5*q**5. Let y be o(-1). Is 3 less than y?
True
Suppose 5*c - g - 315 = 0, -g - 4*g = 3*c - 161. Let f = c - 127/2. Is f smaller than -2?
False
Let a(f) = f**3 - 33*f**2 - 2*f + 60. Let n be a(33). Suppose -2*x - 10 - 20 = 2*q, 0 = -4*q - 3*x - 56. Let p be 10/q - 3/n*2. Which is smaller: p or 0?
0
Let k = 1/3919 - 11834/301763. Let a = 146 + -126. Suppose 5*d - 4*b = a, -4*b + 18 - 38 = -4*d. Is k at least d?
False
Let g be 40/(-222)*(-3948)/3290. Which is smaller: -51 or g?
-51
Let s(k) be the third derivative of 0*k - 32*k**2 + 0 - 7/3*k**3 + 1/6*k**4 - 1/60*k**5. Let x be s(7). Which is smaller: x or -36?
-36
Let w = 228 + 