pose 4*h - 1 = x, 3*h - m*x - 4 = 2*x. Suppose -10*y = -h*y - 6*y. Which is bigger: 1/3 or y?
1/3
Let m = -6/655 + -51/208945. Is m >= 1?
False
Let g = 8 + -30. Let q = -24 - g. Let b be q*1/(-14) - (-72)/182. Is b bigger than 0?
True
Let d = 118 + -132. Let i = -34 - d. Which is smaller: 2 or i?
i
Suppose -30*d = -23*d - 1806. Let i = d + -273. Is -65/4 greater than i?
False
Let a(p) = -1300*p - 10455. Let q be a(-8). Which is greater: -103 or q?
q
Let n be 42/(-9)*((-50)/(-5) - 7). Suppose 2*p + 5*o = 3*o, 0 = 3*p + 2*o - 3. Suppose p*c = -c - 64. Which is bigger: c or n?
n
Let q be -7 + (-27)/18*10/(-3). Suppose -90*n + 87*n + 6 = 0. Do q and n have the same value?
False
Suppose 2*s - 5*h - 370 = s, -5*s + 1790 = 5*h. Let w = s - 414. Is w at most -2?
True
Let u = 3.291 + 0.099. Let i = u + -7.17. Let x = -3.7 - i. Is x < -2/3?
False
Let l(z) = z**3 + 58*z**2 + 386*z - 170. Let o be l(-51). Is o not equal to -6?
True
Suppose -38794 = 1158*l - 1172*l. Does 2771 = l?
True
Let h(c) be the first derivative of 9*c**2/2 - 2*c + 1. Let m be (329/14)/47 - 15/6*1. Let k be h(m). Which is smaller: -19 or k?
k
Let d be 4 - 9 - (-10888)/2184. Which is greater: d or 1?
1
Let p be ((-56)/1404)/(10/120). Do 0 and p have different values?
True
Let d = 2239/11 + -8591087/42207. Do -1 and d have different values?
True
Let w = -12675709704 - -25858447096201/2040. Let n = w + 2745/8. Which is bigger: n or 0?
n
Let j = -5762 - -5764.403. Let o = -0.403 + j. Is o at most 0.4?
False
Suppose -16 = -23*h + 76. Suppose 20 = 3*z + h*r, -4*z - 4*r = -0*r - 20. Let g = 139/308 - 5/28. Are z and g equal?
False
Suppose 2*s - 6*g + 10 = -2*g, 0 = s + 4*g - 25. Let k = -36858 + 331771/9. Which is greater: s or k?
k
Suppose 253 = -5*k - 342. Let b = -112 - k. Which is smaller: 0.2 or b?
0.2
Suppose 284 = -n + 306. Let v be (-2345)/(-13805) + n/(-121). Which is smaller: v or 1?
v
Let c be ((-64)/(-48))/(2/(-9)). Let f be (-2)/(-58)*(8 - (-42)/c). Which is bigger: 0 or f?
f
Let w be (144/96)/(9/1). Is 112 not equal to w?
True
Let x = 36719/54 - 680. Let t(s) = 3*s - 5. Let m be t(2). Let d be ((-6)/12)/(m/2). Is x != d?
True
Let a(v) = -2*v**2 + 2*v + 1. Let y be a(2). Let n be 18*y*(-4)/24. Suppose -n = 15*j - 18*j. Is j <= 3?
True
Suppose 12*t = -2*l + 14*t + 226, 572 = 5*l + 2*t. Is l at most as big as 118?
True
Let r be ((-12151)/(-67686) - (-3)/(-18))*-1. Which is bigger: 0.2 or r?
0.2
Suppose 31 = 8*d - 9. Suppose -d*l = -4*l - 19. Let m be (-6 - -7) + l/(-1). Is -16 less than or equal to m?
False
Let f = -85 + 88. Suppose -4*y - 5*h = -2*h + 509, 2*h = f*y + 369. Which is smaller: -124 or y?
y
Suppose -2*n = -t - 5*n, 2*t - 21 = n. Suppose 6*a = 3*u + 3*a + 6, -2*a = -4*u - 4. Suppose 91*k - 95*k + 40 = u. Which is smaller: k or t?
t
Let z = 6.759 - 3745.759. Which is smaller: z or -1/3?
z
Let r = -1772 + 1771.8. Is -81.4 smaller than r?
True
Suppose 10*i + 16037 = 3*i. Let t = 22883/10 + i. Is -3 at least as big as t?
False
Suppose -11*h + 30 - 8 = 0. Suppose -3*k + 2*k + 2 = -5*q, 0 = -4*q + h*k + 2. Is q at most as big as 7/10?
True
Let w(c) = 13*c**2 - 109*c + 76. Let j be w(6). Which is bigger: j or 3?
3
Suppose k - 5*s + 31 = 0, -2*s - 18 = 2*k - s. Let q(m) = 4*m**2 - 15*m - 31. Let z be q(8). Let j = -421/4 + z. Is k >= j?
False
Suppose 10*i = 5*i + 125. Let c be (-1 + i)/6 - 1. Which is bigger: 8 or c?
8
Let w be (41/(-82))/(2*(-4)/16). Which is smaller: w or 24/479?
24/479
Suppose 5*y + 5*j = 9*j + 53, -2*j + 6 = 0. Let k = -47/46 - -12/23. Is y equal to k?
False
Let a = 71 - 73.01. Let z = a + 2.11. Is 0.09 smaller than z?
True
Let l = -3550 + 3553.48. Which is bigger: l or 0.07?
l
Let t be ((-45)/1497)/3*1*(-101)/(-303). Which is bigger: 0 or t?
0
Let x = 14029933/9 - 1561515. Is x at most -2635?
False
Suppose u = -2*h + 18, -2*h - 4*u - 7 = -31. Let g be 6 + 3 + (2 - h). Suppose 0*q - 2*q - 17 = -g*t, 0 = -2*q - 8. Is t >= 0?
True
Let y be 1195/239 - (-101)/(-12). Which is smaller: y or -4?
-4
Suppose u + 2*u = -4*k + 52, 0 = 5*k + 2*u - 65. Suppose -15 = o - k. Let j be ((-2)/4)/1*o - 2. Which is greater: j or 3/7?
3/7
Suppose -3*l - 5 = 4*t + 7, 0 = 3*t + 3*l + 12. Let c = 5176 + -5167. Suppose 0*w + c*w + 0*w = t. Is w at least 0.6?
False
Suppose -2*g = -3*z + 313 - 243, 87 = 2*z - 5*g. Let j be 1/(-2) + (-33)/(-2). Is z at most as big as j?
True
Suppose -41*t + 12*t + 5481 = 0. Let n be (-1)/((-9)/(t/(-14))). Suppose -4*l + 9 = -5*x - 0*l, -x - 2*l + 1 = 0. Is n at most x?
True
Suppose 0 = -119*y - 44415 - 185731. Are y and -1934 unequal?
False
Let d(z) be the third derivative of z**5/60 - z**4/12 - 5*z**3/2 - 169*z**2. Let k be d(5). Let v be (-828)/(-4191) - (-2)/(-11). Which is greater: k or v?
v
Let x = 61 - 53. Suppose -4*i + 4 = -x*i. Let s be (i/(-3))/(1 + 119/(-126)). Is 6 bigger than s?
False
Suppose 0 = -4*c + z - 59 + 44, 11 = -4*c + 5*z. Let n = 1 + 25. Suppose 5*m - 35 = w + 2*w, 4*m = 2*w + n. Which is bigger: c or w?
c
Let s be (-10)/(-3)*(52/(-10) - -4). Let h be (-1 - -3)*-1*6/s. Suppose 37 = -h*k - 5*u - 12, -67 = 4*k + 5*u. Are -18 and k nonequal?
False
Let t = -24.86 + 27.6. Let n = 2.833 - t. Do n and 1 have different values?
True
Let c = 72948/37 - 1971. Let s(u) = -u**2 + 13*u - 11. Let o be s(12). Which is smaller: o or c?
c
Let n(y) = 5*y - 46. Let o(a) = -7*a + 38. Let s be o(7). Let u(t) = -t + 9. Let r(v) = s*u(v) - 2*n(v). Let g be r(0). Which is smaller: 0 or g?
g
Suppose -5*d - 29 = b + 41, 2*d - b = -21. Let n be d/(-52) - ((-58)/24 + 0). Is n at most 4?
True
Let k = -664 - -664.53. Let s = 0.63 - k. Let x = -145 - -58. Which is smaller: s or x?
x
Suppose 92939*b = 92995*b - 224. Let s(h) = h + 3. Let p be s(-2). Let g be (p - -1) + 2*1. Does b = g?
True
Let w be 1/5*((-10)/8)/(10/(-40)). Is -23/76 less than w?
True
Let f be 2*18/(-60)*15/(-9). Let l = 191 + 95. Let w = 5721/20 - l. Which is greater: w or f?
f
Let o(m) = -m**3 - 19*m**2 - 3*m - 21. Let u = -66 + 120. Let i be 18/u + (-116)/6. Let h be o(i). Which is smaller: h or 37?
h
Let t = -0.47 + 0.07. Let d = 88 + -87.7. Which is smaller: d or t?
t
Let y be (0 + -1)/(5/300). Let v be (-6)/4*y/(-90). Let f be 32/70 - (-6)/(-21). Is v less than or equal to f?
True
Let n = -22372 + 22379. Let p be 2/((8/14)/2). Is n >= p?
True
Let q be (3/(-5))/((-1)/5). Let n = -54 - -59. Suppose n*h + 5 = 2*j, 8*j = h + q*j + 24. Is 3/32 at most as big as h?
True
Let c(x) = 154*x - 616. Let z be c(4). Which is greater: z or -1/5533?
z
Suppose 9820 = -171*r + 173*r. Are 4911 and r equal?
False
Let r = -272.633 - -273. Let c = r + -6.467. Is c at least 0?
False
Suppose -h + 156 = -s + 555, 0 = 3*s + h - 1217. Let v = -6862/17 + s. Which is smaller: v or 0?
0
Let m be (64056/(-3454))/(4/(-506)). Is m < 2345?
False
Let f = -36 - -37. Let j be 112/27006*(1 + (-4)/16). Is f bigger than j?
True
Let l = -2887/5 - -782362/1355. Let d be ((-673)/(-16825))/((-2)/(-50)). Which is greater: l or d?
d
Suppose r + 2*r + 4*t - 29 = 0, -4*r = 5*t - 37. Let v(l) = -13*l**2 + 4 + 23*l**2 - 9*l + 4*l**3 - 3*l**r - 2*l**3. Let o be v(9). Which is bigger: o or 16/3?
16/3
Let h = 0.03 - 41.03. Let w = -441 - -398. Let y = w - h. Which is smaller: 1/5 or y?
y
Let a = 676/565 - -2/565. Let r = -805 + 819. Let i be 152/266*r/4. Is a equal to i?
False
Let b be (-18)/(-630)*-10*7. Is -31/32 at most b?
False
Let j be (-1992)/(-1220) + (40/25)/(-1). Are -1 and j equal?
False
Let y be 3 + 78/(-12) - 2 - -5. Let z = -97 + 76. Which is smaller: z or y?
z
Let h(z) = -85*z**2 - 4*z + 5. Suppose 0 = -5*p - 10, 4*p - 8 = -4*w + 2*p. Let t be h(w). Let o be (t/(-192) + -4)/1. Is o >= 1?
False
Suppose 0 = 12*f - 11043 + 4479. Let q = 581 - f. Is q less than 28?
False
Let t be ((-32)/1080 - 0)*(-9)/(108/160). Which is greater: t or 1?
1
Let v = 17/3 + -71/12. Let x = 653 - 648. Suppose 5*p - 25 = -8*s + x*s, 3*p - 15 = 4*s. Does s = v?
False
Let u be (-1)/((15/(-50))/(6/5)). Suppose n + 21 - 100 = x, x = u. Suppose 0 = -2*l - 5*j - 64, -3*l - j + 0*j = n. Which is bigger: l or -25?
-25
Let t = 0.24772 + -1.24772. Are -8519 and t nonequal?
True
Let h be (-1)/((-16)/86) - (-75)/(-200). Let k be 70/h + -3 + -3. Which is smaller: 9 or k?
k
Let j be (141/9 + -9)*(-4)/(-270). Let k = -631/648 + j. Which is greater: k or 1?
