+ 9*g + 5. Let h be 1/(-4) + (-24)/(-96). Let b be o(h). Let y = -69/4 - -17. Which is smaller: y or b?
y
Suppose 12 = -3*k - k. Let q be (2 - (-1 + 2))/(k/(-102)). Let a be (-9 + -2)*1*-3. Which is smaller: a or q?
a
Let v = -81400 - -81455. Let i be (63/(-12))/(3/(-8)). Let p be (i/(-5))/((-4)/80). Are p and v nonequal?
True
Let h(g) be the first derivative of -g**4/6 - 11*g**3/6 - 17*g**2/2 + 11*g + 21. Let d(t) be the first derivative of h(t). Let p be d(-7). Is -38 at least p?
True
Suppose -25*o - 642 = -31*o. Suppose 8*w - 3 = -o. Is -7 equal to w?
False
Let i = -569 - -8603/15. Which is smaller: 22 or i?
i
Let f = -942 - -2418. Is 1476 at most f?
True
Suppose 0 = -105*h - 6757 + 1192. Is 8 bigger than h?
True
Suppose 2*o - 20 + 8 = 0. Suppose -o*h + 18 = -3*h. Let g be ((-8)/(-5))/((h/5)/3). Is 1 bigger than g?
False
Let b = 14902 - 17609. Is -5411/2 bigger than b?
True
Suppose -85*s - 73*s = -134*s + 2712. Which is smaller: -18/11 or s?
s
Let y be 7/36 + 8/(-18) + (13 - 13). Let s = -3.2 + -0.05. Let q = s - -3. Is y >= q?
True
Let l(m) = 26*m - 67. Let a be l(6). Let u = -293/3 + a. Which is smaller: u or -9?
-9
Suppose 39*t + 805 = 337. Is -517/41 at most t?
True
Suppose -4*n + 0*n - 4*o = 304, 5*n + 379 = -4*o. Suppose f - 49 = -0*f + 2*j, 0 = -j + 2. Suppose 4*k + 357 = f. Which is greater: n or k?
n
Let s = 0.008 + 0.242. Let f = 0.45 - s. Let k = -35 + 34.7. Which is smaller: k or f?
k
Let y = -926 + 661. Which is smaller: y or -270?
-270
Let a = 1270 + -1271. Which is smaller: a or 3/1405?
a
Suppose -5*j - 25 = 3*n, -20 = 3*n + j + 3*j. Suppose n = v + 5*h + 3, -3*h = -5*v + v + 11. Which is smaller: 25 or v?
v
Let z be (-3)/2*(7038/216)/23. Suppose 2 = g - 0. Suppose 0 = -g*d + 3 - 9. Which is bigger: z or d?
z
Suppose -2*x = -5*x + 2*b - 11937, 0 = 5*x - 4*b + 19899. Which is bigger: -3974 or x?
-3974
Let v(g) = 82*g - 1879. Let a be v(-27). Is -4094 > a?
False
Let v be (0 - 0) + 2 + -3. Let l = 141 + -153. Let w be -8 + 9 + -4 - l/5. Which is greater: w or v?
w
Let d = 2529 - 2530. Does -1058 = d?
False
Let o = 5/46 + 875/414. Suppose -33 = 15*z - 78. Which is bigger: o or z?
z
Let x = 363 - 201. Suppose 3*k - 393 = -2*o, -5*o + 29*k + 895 = 24*k. Suppose 0 = 3*a - 3*g - x, -a = 3*a + 2*g - o. Do a and 49 have different values?
False
Suppose 2*t = -5*p - 56, 6*p - 3*p - 4*t = -18. Let i be (-166)/(-6) + p/(-30). Let y be -2 + (1 + -4 - (-141)/i). Which is greater: -1 or y?
y
Let p = -7463 - -7458. Let w be 16/(-8) - 6*1. Let h(o) = o + 3. Let c be h(w). Do p and c have different values?
False
Let z = 5684 - 18476. Let y be 3/2*52/z. Is y greater than -1?
True
Let o = -393.45 - -389. Let p = 3.45 + o. Which is smaller: p or -7.2?
-7.2
Let n(q) = 28*q + 364. Let d be n(-13). Is 16.81 greater than or equal to d?
True
Suppose 0 = 81218*r - 81197*r + 1596. Which is smaller: r or -42?
r
Let u = -1054 + 1054. Let w be (-25)/3 - 5/(-15). Let r be 8 + w + (-2)/18. Which is bigger: u or r?
u
Let l = -72 + 82. Let d(t) = t - 6. Let z be d(l). Suppose 3*r = -z*u - 15, r = -u - r - 10. Which is smaller: -4/65 or u?
-4/65
Let f = -11802.6 + 11690. Which is smaller: f or -3?
f
Let n(c) = c**3 + 18*c**2 + c + 16. Let v be n(-18). Let g be v/(-1) + 16 + -14. Suppose 3*l = 4*y - 9 - 12, -3*y = g*l + 3. Is y at most as big as 1.3?
False
Let f be (-43)/2*(5 - 7). Let a = f + -40. Suppose -12 = 3*r, -3 - 1 = -a*d + r. Are d and -2/35 non-equal?
True
Suppose 5*l - 2*m - 20 = 0, -3*m - 23 = l - 5*l. Suppose n = -h - 2 - 18, 5*h + l*n = -85. Is h at most -18?
False
Let z = 10890 - 10598. Which is bigger: 288 or z?
z
Let m = 60 - -40. Let s = m + -95. Let r(t) = 3*t**2 + 3*t. Let n be r(-3). Which is bigger: s or n?
n
Let n = -35 + 27. Let j be 4/(-21)*n/64. Let i be -1 - (2 - 1)*0. Is i at least j?
False
Suppose 3*o = h + 1870, 372 = o - 2*h - 258. Which is smaller: 625 or o?
o
Suppose -4*g = -4*y - 12, -y = 3*g - 5*y - 10. Suppose -l + 0*x - 19 = -2*x, g*x = 2*l + 46. Let r = 0.55 - 0.65. Which is bigger: l or r?
r
Let f(j) = j**3 - 2*j**2 - 3*j + 3. Let t be f(3). Suppose -4*c - t*m + 4*m = 20, -3*c + m - 16 = 0. Let u be (-10)/c*(5 - 3). Are u and 3 equal?
False
Suppose -4*b + 258 = -2*r, -r + 342 = 5*b + 2. Suppose t + 4*x - 7 = -56, -333 = 5*t - 2*x. Let j = b + t. Is 7/9 less than or equal to j?
True
Suppose 2499*r = 3*j + 2497*r + 9, -r = -5*j - 1. Are 1064 and j nonequal?
True
Let n = -36 + 39. Suppose 4*a + n = -21. Let p be 3/(a/2) + (-325)/(-335). Are -1 and p unequal?
True
Let c(w) = -w**2 - 6*w - 47. Let b be c(-5). Let g be 21/b - 10/(-12). Is g bigger than 1/5?
True
Let c(p) = p**2 + 3*p - 751. Let x be c(-25). Is x less than -169?
True
Let f = 94 + -91. Suppose -d = 4*w - 7, -5*w = -f*w - d - 5. Suppose -r - 2*r - 5*g = 72, 0 = w*r - 3*g + 29. Are -18 and r non-equal?
True
Let b = 457 - 457.626. Let w = b + 0.426. Which is greater: 2/13 or w?
2/13
Let r = 172898/174831 - 100/101. Let i(l) = -6*l**3 - 41*l**2 - 3*l - 70. Let w be i(-7). Is w at most r?
False
Let h(p) = -6*p - 138. Let a be h(-24). Suppose 3*r = -g + 103, -a*r + 10*r - 144 = -3*g. Suppose 3*c = -2*n + 2*c - 2, -c = 4. Is r bigger than n?
True
Suppose v - 2 = 0, 5*v = -3*a - 6 - 11. Let h be 15*(4/(-1) - 124/(-36)). Is a <= h?
True
Let n be (3/(-2322))/((-2)/(-4)). Let r be -46 + 47 + (0/2 - 1). Which is smaller: r or n?
n
Suppose 0 = 30*j + j + 22*j. Let h be (1/(-5))/(2052/2710). Let z = 14/57 + h. Are j and z unequal?
True
Let z = -0.1747 - -12.1747. Suppose -4*k + 2*o + 17 = 3*o, -2*k = o - 7. Let s be (k/3)/5*2. Is s >= z?
False
Let t be (14/(-56)*6)/3. Is -144 < t?
True
Let h = -124 + 113.7. Let c = h - -10.2. Let j = -2.9 - 14.1. Is j smaller than c?
True
Suppose -1707*x + 68271 = -1686*x. Is 9749/3 bigger than x?
False
Let q = 187 - 369. Let t = -182 - q. Do -2/585 and t have the same value?
False
Suppose -4*r + 42 = 3*r. Let i be ((-2)/(-5))/(r/(-90)*-18). Let q = -322 - -324.9. Is i > q?
False
Let d be (62/12)/(-5*8/(-880)). Let j = d + -3377/30. Which is greater: j or -6?
j
Let d be 153/21 + (-14)/49. Suppose -2*w + 2*h - d*h = 216, 4*h + 432 = -4*w. Let q = 119 + w. Which is bigger: q or 12?
12
Let l = -11 + 89/9. Let x = -54.001 - -53.901. Which is smaller: x or l?
l
Let v(w) = w + 5. Let u be v(-5). Suppose -2*b + 5*x + 40 = 0, 49*b + x - 28 = 47*b. Suppose -12*j + b*j = u. Are 1/31 and j equal?
False
Let a(r) = -r**2 + 11*r + 2. Let m be a(11). Let o be (-3387)/2*m/21. Let u = -161 - o. Is u greater than or equal to -0.1?
True
Let l = 574 + -574.297. Let u = l + 0.26. Let b = -0.063 + u. Is -19 less than b?
True
Suppose 0 = 14*j - 16 - 12. Let v = -0.211 - -0.241. Is v < j?
True
Suppose -l - 1 = 5*t, 5*t = -0*l + 3*l + 3. Suppose -661*b + 9384 = -559*b. Does b = l?
False
Let i(q) = 383*q - 848. Let l be i(3). Do 305 and l have the same value?
False
Suppose 5*s = -2*o + 3, 3*o + 8 = -3*s + 35. Let u be 6/2 + (40/o - 0). Which is smaller: 7 or u?
u
Suppose 3*t + 4*h = -0*h + 308, -3*t + 304 = 5*h. Let u = t - 64. Let j be 108/(-8)*280/(-84). Is u > j?
False
Let h be 2*(-6)/(-4)*6. Let s be (2 - -1) + 0 + h/(-12). Let p = 1.22 + -0.22. Are s and p unequal?
True
Let u be -9*(6 + (-152)/18 - -2). Let q be (-1578)/u - 7 - (-6)/(-4). Does q = -402?
False
Let h = -26233 - -26233.4. Which is smaller: -2272 or h?
-2272
Suppose 6*x = 5*x + 21. Let r(z) = z - 18. Let m be r(x). Suppose -9 = u + m*f - 4, 2*f - 30 = -4*u. Are u and 10 equal?
True
Let k be (0 - 1/2)*169/((-6253)/(-267288)). Which is bigger: k or -2/17?
-2/17
Let t(a) = -a**2 - 9*a + 3. Let y be t(-8). Suppose -6*v = y + 43. Let z = -3 - v. Is z <= 6?
True
Let m(y) be the second derivative of -y**4/6 + y**3/2 - y**2/2 - 6*y. Let f be m(-10). Let a = f + 4388/19. Is a smaller than 1?
True
Let x be 3/(-32) - (-2333051)/(-75488). Suppose 4*t + 0*t + 108 = -4*s, -s = 2*t + 58. Do t and x have the same value?
True
Let u(k) be the third derivative of -k**6/120 - 13*k**5/60 - k**4/8 - 13*k**3/2 - 11*k**2 - 2*k. Let t be u(-13). Which is bigger: -1/41 or t?
t
Let s(r) = 151*r**2 + 38*r - 246. Let w be s(7). Is w greater than 7420?
False
Let y(m) = 4*m + 2. Let n be y(2). Suppose 0 = -5*f + 15 + n. Let x(d) = d**2 + 4*d - 97. Let t be x(-12). Which is smaller: t or f?
t
Let a be (6*-1)/(18/18). Let p be (0 -