8)/8*(b + 1)*3. Let g be (x/(-2) + 0)*336/126. Which is smaller: 29 or g?
g
Let h = -7/634 + 5193/585182. Which is bigger: 0.1 or h?
0.1
Suppose 33*c + 18*c + 7003 = 129556. Is c < 2403?
False
Let g(n) = n**2 - 36*n + 287. Let a = 159 - 146. Let m be g(a). Which is smaller: -9 or m?
m
Suppose 5 = -2*s + d + 17, 2*d = -4*s + 24. Let n be 0 + -3 - (-16 + 5). Suppose n*v - 90 = 3*v. Is s at most as big as v?
True
Let y(k) = 59*k - 625. Let g be y(13). Is g less than 133?
False
Let u be ((-65)/10 - -3)*(-8)/(-2). Suppose 12*g = 913 - 1117. Which is smaller: g or u?
g
Let a = 191.613 - -0.387. Let z = 193 - a. Which is smaller: 1/90 or z?
1/90
Let g = -81 - -89. Let p = 0.113 - 16.113. Which is greater: p or g?
g
Let t = -24.93 - -25. Is -0.109 bigger than t?
False
Let u(p) = 16*p + 49. Let b(v) = 5*v + 16. Let j(c) = -7*b(c) + 2*u(c). Let k be j(-6). Let w(g) = g - 4. Let y be w(k). Which is bigger: -3/13 or y?
y
Let i(f) = -2*f**2 + 4*f - 6. Let s be i(-2). Let r be 7/(-4) - 2/8. Let a be (7 + -8)/(r - 42/s). Is 32/3 at least as big as a?
False
Let l be -1 + 2*-1 - 90/(-30). Suppose -11*w + 16*w + 180 = l. Let j = 43 + w. Is j != 7?
False
Let g be (-1 - 391/2)*(-730)/219. Let q = g + -649. Which is bigger: q or 84/13?
84/13
Let r(p) = p**3 + 3*p**2 - 2*p + 7. Let y be r(-4). Let w(b) = b**2 - 5*b - 8. Suppose -2*g = -a - 11, 5*g + 14 = -4*a + 48. Let l be w(g). Are l and y unequal?
True
Let y = -3315.218 - -3317. Which is smaller: 0.1 or y?
0.1
Let f be (1/9)/((-195)/(-1170)). Let k = -23.021 - -0.021. Is f less than k?
False
Suppose -951 = -2*t + 2*p - 2915, 3*p + 1944 = -2*t. Are t and -978 non-equal?
False
Let l = -79734 - -642705/8. Which is smaller: 603 or l?
603
Let a(u) = -u**3 - 22*u**2 + 44*u - 66. Let o(s) = -39*s - 180. Let b be o(-4). Let d be a(b). Which is smaller: 25 or d?
25
Suppose 5*z - 4*t - 4071 = -17698, -3*z - 3*t = 8214. Which is smaller: z or -2732?
-2732
Let b be 2/(-8) - 36/(-240) - 7/(-105). Is b less than 0?
True
Suppose -84*q = -72*q - 0 + 12. Is q bigger than -25/71?
False
Let x = -20500/3 - -6834. Do 50/3 and x have different values?
True
Suppose 8*o - 3*o = -2*d + 202, 2*o = -4*d + 404. Let t = 642653 + -16711605/26. Let w = t + d. Is w < 0?
True
Suppose 3 + 1 = -2*j, 3*u + j = -398. Let d = u + 2242/17. Suppose 5*t + 15 = -4*o, -87*t = 5*o - 90*t - 9. Which is smaller: d or o?
d
Let i = 797/34 - 390/17. Which is bigger: 32/19 or i?
32/19
Let t be 30/(-35) + -1*(-36)/42. Is t less than 3/955?
True
Let z = 12491/5950 - -2/2975. Let h = -4.5368 + 4.4368. Which is smaller: z or h?
h
Let r = -5.71 + 6.01. Which is smaller: r or -115?
-115
Suppose 4*x - 21 = -3*x. Suppose -x*a - 20 = -7*a. Suppose -a*p = 12 - 7. Which is greater: -2/185 or p?
-2/185
Let q = 1839.9217 - 1840. Let v = q + -4.9217. Which is smaller: v or 1.7?
v
Suppose 45*r - r + 726 = -110. Is r at least -29?
True
Let v = -6500 - -162379/25. Let z = -1801/25 - v. Let w = z + 65. Is -3 at most w?
True
Let r be (453/(-160) + 3)*(-550)/660. Let t be 3/5 + (-12)/(-30). Which is bigger: t or r?
t
Let j = -126 + 187. Let x = j + -70.1. Let i = -9.157 - x. Which is smaller: 0.1 or i?
i
Let o(l) = -l**3 + 5*l**2 + 18*l - 64. Let d be o(3). Let p be (14/5)/((-2)/(-10)). Let n be d/(-28) + 4/p. Which is smaller: -1 or n?
-1
Let p = 0.11545 + -45.21545. Is p <= -3?
True
Let m = -207.6 + 219. Let u = 9.7 - m. Are 4/7 and u non-equal?
True
Let g(q) be the third derivative of -q**6/120 - 7*q**5/30 + 4*q**4/3 - 11*q**3/6 - 89*q**2. Let z be g(-16). Which is greater: z or 0.6?
0.6
Let m = 22639/24915 - -1/2265. Let a = -10 + 8.3. Let k = a - 0.3. Which is smaller: k or m?
k
Suppose 2 = -g + 3. Let d = -17/163 - -29439/4075. Let b = 4076/425 - d. Does g = b?
False
Let r = -4 + 4. Let g = -18286 - -640016/35. Is r less than g?
True
Let y(w) = w**3 - 17*w**2 - 15*w - 62. Let k be y(18). Let p = k - -75. Is 66 greater than p?
False
Let t = -31 - -38. Let g = -6.7 + t. Is 0.9 greater than g?
True
Let c be ((-12)/48)/((-5)/(-8)). Suppose 0*u + u = 3*u. Are c and u non-equal?
True
Let z = 2/102039 - 2819/5612145. Are z and -1 nonequal?
True
Suppose 2862*n = 2923*n - 267180. Is 4380 at most n?
True
Suppose j + 5*j = -858. Let q = 116 + j. Is -27 at most as big as q?
True
Let v = 3072 - 3070. Is 426 less than v?
False
Suppose -8*s = -12*s - 4*b + 1352, 0 = 4*s - 4*b - 1360. Do 335 and s have the same value?
False
Let p be -2*(-10)/8*2. Suppose p*v = 3*v + 24. Let x be 3/v*-1*(-12)/(-117). Which is greater: 1 or x?
1
Let t = 3030 + -302999/100. Which is smaller: -0.1 or t?
-0.1
Let p be 3362/5016 - ((-33)/44)/(27/(-24)). Is p not equal to 0.3?
True
Let z be (120/(-5))/1*3/6. Let k be z/36*2 - 4/(-6). Is -5/73 smaller than k?
True
Suppose -3*j + 2397 = 51*g - 48*g, 0 = -g + 4*j + 794. Which is smaller: 791 or g?
791
Let c = 11 - -3. Let p = c + -23. Let m = 258 + -264. Is m smaller than p?
False
Let z = 18 - 56/3. Let v = -627976 + 628173. Which is smaller: v or z?
z
Let j = -1196.1 + 1061. Let t = -143 - j. Let u = 0.1 - t. Which is smaller: -1 or u?
-1
Let i = -2543 + 1758. Is -786 greater than or equal to i?
False
Suppose -81*h - 27 - 55 + 1 = 0. Is -1/2043 smaller than h?
False
Let d = 0.695 + -0.7888. Let l = d - -0.0038. Is 1 bigger than l?
True
Let n(j) = j**3 - 8*j**2 + 11*j + 6. Let v be n(6). Suppose -r + 4*r - 294 = 5*b, -2*r + 4*b + 194 = v. Are r and 102 equal?
False
Let p = -1732400/7 + 247040. Let b = p + 446. Which is smaller: b or -20.9?
-20.9
Let o = -13 + 17. Let w be 54/(-10) + o/10. Let c = -7082 - -7077. Do w and c have different values?
False
Suppose -c = 6, 3*m + 129*c + 24 = 124*c. Which is bigger: -8/51 or m?
m
Let p = -0.6581 - -0.6831. Is p <= 0.18?
True
Let c(k) = -10*k + 22*k**2 + 0*k + 14 - 39 + 15. Let v be c(-1). Is 22 >= v?
True
Let v = 35822 - 42561. Are -6739 and v non-equal?
False
Suppose -51*l + 4*q = -50*l, -3*q - 27 = -3*l. Is 0.51 less than or equal to l?
True
Let b be ((-27)/108)/((-42)/32). Let w be 4*(-3)/6 - -7. Suppose -6*a + w = -3*a + i, 2*a + 5 = i. Which is bigger: b or a?
b
Let x be ((-4)/(-18) - 352/(-1008)) + -15 + -4. Is -17 > x?
True
Suppose 0 = h - 2*h. Let i = -31727/317320 - 1/63464. Which is bigger: h or i?
h
Let s = 168871 + -1688711/10. Let p = 4 + -7. Is s less than or equal to p?
False
Let k(a) = -2*a - 8. Let f(g) = -g - 3. Let c(j) = 10*f(j) - 6*k(j). Let d be c(-9). Let t be ((-24)/20 + d)*5/1. Which is smaller: -4 or t?
t
Let v = 435 + -423. Suppose 4*p = -v*i + 7*i + 13, -p + 6 = 4*i. Is -3/134 at least i?
False
Let u be 1/(-8 + (-34372)/(-4303)). Is -84 smaller than u?
True
Let k(o) = o**3 - 5*o**2 + 16*o + 7. Let w be k(11). Suppose 19*r - 10*r = w. Is 102 smaller than r?
False
Suppose -a - 1 = -2*o, 2*a = -5*o - 12 + 1. Let m = o - -3. Suppose -5*b + 3*v - 3 = m, -3*v = -b - 1. Is -2/31 != b?
True
Let l = 197 - 198. Which is smaller: -31.4 or l?
-31.4
Let r be (2 - -1)/((-1)/(-3) + 134134/(-401799)). Which is greater: r or -17990/3?
-17990/3
Let x = 96.7 - -430.3. Let t = 573 - x. Do t and -1 have the same value?
False
Let j be (-42)/(-2440)*(-176)/110. Let m = j - 1143456/10675. Is m <= -107?
True
Suppose 5*c = 5*b + 20, 0 = 5*c - b - 4. Let w(n) = -n**2 - 5*n + 16. Let g be w(c). Suppose -4*k = r, g + 3 = k + 5*r. Which is smaller: k or -2/17?
k
Let v = -4.51 - -4.2. Let d = 0.39 + v. Let t be (-1)/6 - (-5)/30. Is d equal to t?
False
Let o(m) = m**3 - 10*m**2 + 14*m - 31. Let i be o(5). Is i less than or equal to 1/12?
True
Let t = -243/238 + 25063/20468. Let a = -37924/43 - -882. Let m = t + a. Which is greater: m or 17?
17
Let m = 7072 + -7076. Which is smaller: m or -347?
-347
Suppose -3*r + 27526 = -14*j + 4*j, 0 = -2*j - 2*r - 5500. Which is greater: j or 0.3?
0.3
Let j(c) = c**3 + c + 63. Let d be j(0). Suppose 0 = 5*f - 4*v - 331, -87*f + 82*f + 303 = 3*v. Is f greater than or equal to d?
True
Let c be (25/5)/(1/28). Let v(g) = -48*g - 3316. Let b be v(-72). Are c and b non-equal?
False
Let b(r) = r**2 + 3*r - 2. Let i = -32 + 28. Let q be b(i). Let v = q + 4. Does 24/5 = v?
False
Suppose 11*v - 426 - 230 = 52*v. Let c be (-1)/(-3)*(-3)/2. Is c less than v?
False
Let s = -1547 - -1536. Which is smaller: s or -6/7?
s
Let c be (165/6)/(-5) - 9/(-18). Let w(s) = -5*s**2 + 2*s - 25. Let m be w(c). Whic