reater: -182 or g?
g
Let p = -41828632/172975 + 12/15725. Is -242 less than or equal to p?
True
Let z = -1054/7 - -9185/63. Suppose 2*h - 25*h - 92 = 0. Which is smaller: z or h?
z
Let i(g) = -9766*g**2 + 1927*g + 1928. Let z be i(-1). Is z at least -9764?
False
Let w = -292 + 294. Suppose w*z - 4*z + 45 = -3*j, 0 = -5*j - z - 75. Is j less than or equal to -11?
True
Suppose 26*h = 9*h + 1071. Suppose 23*x + h = 17. Which is smaller: -1/8 or x?
x
Let o = -84163 + 84158. Let h(j) = -3*j - 5. Let y be h(-6). Which is smaller: y or o?
o
Let m = -26810 - -27118. Which is bigger: m or 1/2?
m
Let f be (-375)/(-50)*(-1)/((-5)/42). Let h be f/(-21)*1/10. Suppose -8 + 2 = 3*l. Is h >= l?
True
Suppose 0 = -5*z - 5*i, -6 = -3*z + z + 4*i. Let g(u) = u + 7. Let v be g(10). Let p = v - -3. Is z != p?
True
Let k = 157 - 61. Suppose -2*o + k = -3*g, -2 = -2*o + 2*g + 90. Let f = -76 + 117. Is o less than or equal to f?
False
Let q(s) = s**2 + 81*s + 1399. Let j be q(-56). Which is smaller: j or -6/197?
j
Let v = 8313 + -106723/11. Is -1389 less than v?
False
Let h be 4 - (-1374)/4 - 16. Which is smaller: 333 or h?
h
Let f = 32 + -30. Let r be (3 - f)/((-1)/(-2)) - -1. Suppose r*a = -3*t + 126, -a = 3*a + 3*t - 164. Is a at least as big as 37?
True
Suppose -8 = -4*g - 0. Let d(f) = -f**2 - 13*f + 4. Let b be d(-12). Suppose b = -10*k + g*k. Which is bigger: -3 or k?
k
Let f be (2 - (-88)/6)/(((-133)/(-84))/(-19)). Is -202 at most as big as f?
True
Let h = 12393929/24144 + -3/8048. Which is smaller: h or 512?
512
Let z be ((0/3)/3)/(22/(-11)). Let o = -185/51 + 43/12. Which is bigger: z or o?
z
Let a = -249764/163163 - -418/273. Is a < 1?
True
Let v be 30/(-225) - (-136)/1110. Let q be 0/(2 - 0 - 4). Suppose -3*m - 3*t - 12 = q, -m = -6*m - 3*t - 10. Are m and v unequal?
True
Let u be (-114)/(-76) + (-18)/12. Which is smaller: u or -1165?
-1165
Let w be -40 + 8/12*-3. Let s = -26 - w. Suppose 4 - 16 = 3*i, -3*l - 4*i = s. Is 2/391 smaller than l?
False
Let p = 24738 - 26944. Which is smaller: p or -2205?
p
Suppose 4*a - 2*g = -48, -a = a - 5*g + 24. Suppose -4*x + 135 = -9*x. Let y = 17 + x. Is y > a?
True
Let t(a) = 20*a**2 + 179*a - 2. Let d be t(-9). Let p(h) = 8*h - 44. Let u be p(d). Is u <= 13?
True
Let x = -0.02423 - -0.02423. Which is bigger: 29/2 or x?
29/2
Suppose h = -4*r - 1, 7 = h + 8. Suppose 9*b + 2 - 11 = r. Is b < 10/47?
False
Let y(l) = -218*l**2 + 8*l - 37. Let m be y(4). Let t = -248027/71 - m. Which is greater: t or -1?
t
Suppose -1696 = -19*w - 34*w. Suppose -288*g = -280*g - w. Let v be 4/10*-3*-5. Is g <= v?
True
Let m be ((-8768)/720 - -12)*(-2)/4. Let f(h) = h**2 - 7*h + 1. Let j be f(7). Which is smaller: j or m?
m
Let a be (1*3)/(24/(-592)). Let g = a + 33. Let z be (48/28)/3 - 1704/42. Which is smaller: g or z?
g
Suppose 25*j - 384 = 13*j. Suppose 12*g + j + 4 = 0. Let o = -3 + 7/2. Is o at most as big as g?
False
Let t = 11774 + -11774.06. Is -128 bigger than t?
False
Let b be ((-120)/13)/(-12)*(-6 + 4)/4. Suppose 2*s = -2*s. Which is bigger: s or b?
s
Let r(m) = 3*m**3 + 2*m**2. Let o be (0 - 1)/((-5)/(-5)). Let s be r(o). Is s less than or equal to -18/53?
True
Suppose 41*d = 73*d - 37*d. Suppose -22*z - 4708 = -d*z. Is -214 less than z?
False
Suppose 7*h - 23 = 30*h. Do 24/139 and h have the same value?
False
Let a = 219.7 + -4.7. Is a bigger than -2/7?
True
Suppose -f + 2*b + 309 = 0, -22*b - 663 = -2*f - 27*b. Which is greater: f or 316?
f
Let j(k) = k**2 - k. Let z be j(0). Let n = 1523 - 2513. Let q be (-14)/(-63) + ((-1724)/n - 2). Which is bigger: q or z?
z
Let l = 827268/25 - 254639669/7700. Let q = -53/44 + l. Which is greater: 20 or q?
20
Let w = 497 + -495. Are -59 and w non-equal?
True
Let y be (-1 + -8)/(4 - (-1 - -6)). Let m(t) = -15*t + 114. Let v be m(y). Is -16 at most v?
False
Let n(g) = -11*g**2 - 15*g - 43. Let q = -29 + 26. Let a be n(q). Is -96 > a?
True
Let m = -1287 - -1300. Which is greater: 174/13 or m?
174/13
Let o be (-31 + 105)/(-1 - (0 + -3)). Let s = -53 - -92. Does o = s?
False
Suppose -51 = -d - 83*m + 87*m, 4*d = 3*m + 217. Suppose -2*b + 4*b = 32. Suppose 39 = u - b. Is u != d?
False
Let a be 11/6 + -10 - -8 - (-3)/(-10). Is -1 <= a?
True
Let z = -10196 - -8558. Which is smaller: z or -3277/2?
-3277/2
Let a = -400/231 - -65/33. Let y(m) = m**2 + 3*m - 1. Let c be y(-3). Which is smaller: a or c?
c
Let d = -211/10 + 113/5. Let k = -744 + 744.3. Which is smaller: k or d?
k
Let v(c) = -c - 64. Let i be v(-8). Let p be (i/(-16))/(-7)*(-84)/17. Which is greater: 1 or p?
p
Suppose 0 = -3*f + 7*i - 6*i + 6, i = 0. Suppose -q = 2*m - 6*m - 349, -2*q + f = 0. Which is greater: m or -1?
-1
Let z(u) = u**3 - 8*u**2 - u + 2. Suppose 6*t + 24 = 9*t. Let h be z(t). Let c be (2/h*-1)/((-7)/42). Which is smaller: c or -3/5?
c
Let p be ((-12)/(-10))/(12/80). Let r = 15 - p. Let c be ((-4)/(-14))/(15*(-1)/r). Is -1 less than c?
True
Suppose 4*r - 22 + 182 = 0. Let y be (15/r)/((-6)/(-4)). Which is bigger: y or 1/16?
1/16
Let d be (-1 - (-465360)/465285)*12/20. Which is smaller: d or 0?
0
Let i(l) = l**3 + 3*l**2. Let k be i(-3). Let s = k - -1. Let v = 400/1683 + 58/99. Which is smaller: s or v?
v
Let u = 19627 - 13507. Is 0.1 smaller than u?
True
Suppose -3990 = -149*w + 33. Is w <= 26?
False
Suppose 5*s - 42 = 3*t - 2*t, 22 = 2*s - 3*t. Let k be ((-3)/6)/(-2 - (-14)/s). Suppose -11 = k*m + 63. Are m and -35 nonequal?
True
Let i = 25513 + -178989/7. Which is smaller: -57 or i?
-57
Let l = 4.58 - 9.27. Let x = -3.69 - l. Does 52 = x?
False
Let r be (-4 - -7)/((-5)/(-535)). Let s = -321 + r. Are 10 and s equal?
False
Let i = -135 - -155. Suppose i*z - 71 - 9 = 0. Which is bigger: 17/6 or z?
z
Suppose 5*w - 200 = 5*n, 95 = -2*n - 0*w - w. Let y = -1399 + 1356. Is n at least y?
False
Let v = -261818599/1298 - -201709. Let u = v - -5/22. Which is greater: 1 or u?
1
Let w be (3/(-3))/((-2)/10). Let n = 841 - 1297. Let p be -4 - n/33 - 6. Which is smaller: w or p?
p
Suppose -3*y - 6 = 3*l - 2*y, -2*l - 24 = 4*y. Do 2/42327 and l have different values?
True
Let k = 12.34 + 206.56. Let z = k + -219. Is 0.01 greater than z?
True
Let g(w) = 2*w + 2. Let f be g(1). Let b = -873 - -877. Are f and b equal?
True
Let m be 6/42 - (-15)/(-7). Let t(k) = -k**3 - k**2 + k - 3. Let a be t(m). Which is smaller: 3/260 or a?
a
Let o be (5/(-20)*0)/(-1 - 3). Let q be (-15)/5 - (1 - (1 - o)). Which is smaller: q or 11?
q
Suppose 2*i + 7*d = 9*d - 36, -2*d + 50 = -3*i. Let w be (-3)/((15/6 - 3)*i). Does -2 = w?
False
Let l(b) = b**3 + 5*b**2 - 3*b + 7. Let f be l(-6). Let i be (6 - 4)*4/(-8). Let d(s) = 9*s - 4. Let u be d(i). Which is smaller: u or f?
u
Let t(s) be the first derivative of -s**4/4 - 3*s**3 + 10*s + 8. Let z be t(-9). Let p be (-30 - -2)*((-510)/96)/17. Are z and p nonequal?
True
Let i = 39 + -197/5. Let f = 2.578 + -1.44. Let q = f - -0.162. Is i greater than or equal to q?
False
Suppose 0 = 5*k - k - 4. Let i(v) = 9*v - 73. Let j be i(8). Let n be 488/(-124) + (-5 - j - -8). Are n and k nonequal?
True
Suppose 2*x - x - 2 = 0. Let c(u) = -4*u**2 + 3*u. Let d(p) = -5*p**2 + 2*p + 1. Let k(h) = -3*c(h) + 2*d(h). Let w be k(x). Which is smaller: 4 or w?
w
Let x = 2321 + -2322. Which is smaller: -167 or x?
-167
Let s(u) = -u**2 + 5*u + 8. Let v be s(6). Suppose -3*r - 18 = -2*r + 4*m, -v*m = r + 8. Suppose r*d + 7*d = 3*d. Which is bigger: d or -1/13?
d
Let a = 155 - 150. Suppose 4*h + 3*m - 75 = 0, -12*m + 117 = a*h - 16*m. Is h at least as big as 20?
True
Let r = -8942 + 5819. Are r and 1 non-equal?
True
Let f = 955 + -955.154. Let l = -3.454 + 3.5. Let m = f - l. Is 1/13 at least m?
True
Let q = -74 - -78.12. Let z = 4.2 - q. Let u = -4.08 + z. Which is bigger: -1/4 or u?
-1/4
Let b be (-36)/(-5) - (-16)/(-80). Let q be (1 - -37)*b/((-98)/21). Let j = q - -52. Do j and -6 have different values?
True
Let g(h) be the third derivative of -13*h**4/12 + 9*h**3/2 + 21*h**2 - 2*h. Let c be g(1). Which is smaller: c or 2/57?
2/57
Suppose 26 = 5*m - p, -5*m - 3*p + 22 = -0*m. Let g(f) = 33. Let i(u) = u + 65. Let t(q) = m*g(q) - 3*i(q). Let a be t(-10). Which is smaller: 2/117 or a?
a
Let p = 3102 + -3324. Is p <= -665/3?
True
Let u = -157 + 161. Suppose 2*y - 438 = -z + u*z, -584 = 4*z + y. Which is smaller: z or -0.1?
z
Let