= x - 218.9913. Which is bigger: -0.1 or p?
-0.1
Let m be 132 + 6 + (-13 - -9). Suppose -q - 4*q - 561 = -4*r, r - 114 = -4*q. Is m < r?
False
Let i be ((-79)/18 - 182/2457) + (-2)/(-4). Is -5 at most i?
True
Let n = -54.874 - -55. Let x = n - 0.336. Let m = -20.1 + 20. Is x less than or equal to m?
True
Let d(u) = 37*u**2 + 140*u + 1. Let q be d(-1). Is q at least as big as -131?
True
Let b = 591 + -590. Which is smaller: -4/1681 or b?
-4/1681
Let h = 0.05063 + -0.04063. Which is bigger: 448 or h?
448
Suppose 4*c + 4 = -3*d - 4, -d + 2*c - 16 = 0. Let i be (19284/d - -4)*(-26)/43. Let l = 1455 - i. Do l and -1 have the same value?
False
Suppose 65*a + 45135 = -88*a. Is a smaller than -2?
True
Let s(l) = -5*l**2 - 8*l**3 - 87 + 50*l**2 + 41*l**2 + 6*l**3 + 2*l - 4*l**2. Let k be s(41). Are -84/13 and k nonequal?
True
Let f be ((-1)/(-2))/((-1)/(-4)). Let a be (32 + -31)/(-1*f/(-4)). Suppose -a*j = -5*j. Which is smaller: 0.03 or j?
j
Let g = 171 + -177. Let q be 34/g*(-11 - -8)*2. Which is smaller: q or 35?
q
Let t = -6022 - -6132. Is -27 != t?
True
Let c be (-2)/(64/104) - 1/(-4). Let f be 0 + 2/c + 11/(-33). Does -1 = f?
True
Let j be (5/4)/(-10 - 462/(-48)). Do -2 and j have the same value?
False
Suppose -104 = 22*a + 2*a + 2*a. Do a and -924 have the same value?
False
Let u be 1 + -5 - 50312847/5655. Let s = u - -8901. Is 1 not equal to s?
True
Suppose -34*b = -31*b. Suppose 3*m - 12 = b, 3*m = -3*y + m + 14. Suppose 0 = y*j + 4*j - 78. Is 14 smaller than j?
False
Let j = 18.971 - 0.171. Let t = j + -18.5. Are t and 19 equal?
False
Let m be -7 + (-6 + 88/12)*126. Let p = 489563/8 + -61034. Let i = p - m. Is 0 at most i?
True
Let x = 1007 + -1007. Is x >= -9/131?
True
Suppose 21*y - 19*y - 8 = 0. Suppose 20 = -y*h + 28. Suppose h*s + 46 = 5*i, -s = -i + 13 - 5. Is i less than 8?
False
Suppose 0 = 4*m - 17 - 11, -2*a = 5*m - 15. Which is greater: a or -222?
a
Let o(s) = -s**2 - 6*s - 3. Let k be o(-4). Let p = -489.4 - -491. Is p greater than k?
False
Let g be (3/4)/(258006/112). Let l = g - -5283/2641490. Which is bigger: 0 or l?
l
Let s = -24 - -26. Suppose s*a - 14 = 4*k, -a - 2*k = a + 16. Let o be (-2)/a*(-57)/2. Is -20 less than o?
True
Let z be 2/8*12/(-60). Let n = 7011/4 - 1753. Which is smaller: z or n?
n
Suppose 4*v + 1 = n, n + 15 = 4*n. Let f = -278230/7 + 39658. Let g = f - -89. Is g <= v?
True
Let s = -5 + 8. Suppose -5*c + s*o = -4, -c = 4*o - 0*o - 10. Suppose -5*y + y - 85 = 5*x, -y - c*x = 25. Which is smaller: y or -14?
y
Let h = 17.7943 - 0.0443. Is h > 0.1?
True
Let x be (3 - (-2 + 5)) + -1*3. Let z be (-1 + -2)/((-3)/27*x). Let s = z - 18. Which is greater: s or -26?
-26
Let r = 1404 - 1404. Which is smaller: r or -13/1294?
-13/1294
Suppose -49*u - 3*h - 1854 = -52*u, u + 5*h = 606. Is u > 615?
True
Let k be -5 - (-5 - 20/50). Suppose -3 = x - 5. Suppose 3*s = 4*d + 12, x*d + 0*d + 6 = 5*s. Is k less than d?
False
Let r = 259 + -251. Let j be 90/8 - (231/28 - r). Are j and 13 equal?
False
Let j be (-170)/(-15) - 12 - 21/(-18). Which is smaller: 10/33 or j?
10/33
Suppose 0 = 3*k + 4*k. Let c = -11138 + 9500716/853. Do k and c have different values?
True
Let q be -5 - -3 - (37 + -1). Suppose -4*x + 14*x = -440. Let i = x - q. Which is smaller: i or -7?
-7
Let w(d) = -d + 9. Let t be w(10). Let v = 5006 + -1757107/351. Is v greater than t?
True
Suppose -4*u + 4*w = -8 - 8, 3*u - w = 4. Which is bigger: u or 24/59?
24/59
Let u = 17.1 + 6.9. Let m = u - 16.71. Let l = m - 7.4. Which is bigger: l or 1?
1
Suppose 7525*m = 7522*m - 162. Which is smaller: m or -57?
-57
Suppose 2 = 1506*q - 1505*q. Let v be 238/680 + 2*q/(-40). Which is smaller: 357 or v?
v
Let x be ((-3)/(-12))/(71 + 26). Let p = -819/16684 + x. Is p > 3?
False
Let m = -474.4 - -455.4. Which is smaller: m or 17?
m
Let q = 2247 + -2245. Is 3/5 not equal to q?
True
Suppose -22 = -5*y - g, 3 = 9*g - 10*g. Suppose 0 = y*u + 110 - 105. Is u less than 3/52?
True
Let p = 29733 + -21941. Which is smaller: p or 15581/2?
15581/2
Suppose -2*g - 2*g = -8. Let k be (-4)/(60/(-5) - -22 - 8). Which is bigger: g or k?
g
Let z be ((-22)/3)/(28/1134). Is -298 at least z?
False
Let z(f) = f**2 + 95*f + 444. Let c be z(-78). Which is bigger: c or -2?
-2
Suppose -106*u + 107*u = -3*q - 480, 3*u = -9. Is q <= -170?
False
Suppose 5*v - 110 = -5*p, -4*p - v = -0*v - 79. Which is smaller: -31 or p?
-31
Let y = -8/9 - -146/9. Let x be ((-42)/(-4))/7*10. Let l be (-63)/x + 4 - (-228)/15. Which is smaller: y or l?
l
Suppose -204 - 12 = -9*z. Let d be ((-18)/(-12))/(z/832). Which is greater: 54 or d?
54
Let u be (-340)/10472*(-2159 - -1) + 18/(-42). Are 70 and u nonequal?
True
Let r = -50.73 - -122.54. Let c = -0.81 + r. Let z = c + -60. Which is greater: z or 0?
z
Let h be -2 + 0/(2 - 1). Let k be (-1)/(1/(h - (1 + 2))). Let j be ((-4)/6)/(k/3 - 1). Is j >= 0?
False
Let t(d) = -d**2 - 4*d + 4. Let w be t(-5). Suppose -4*b + p - 11 = 0, b = -4*p + 9 + 1. Let g be (b - (5 + -6))/((-9)/(-6)). Which is smaller: w or g?
w
Let c = 0.643 + -0.6. Let p = -153.14 + -3.86. Let b = 157.2 + p. Which is bigger: c or b?
b
Suppose 2*q - 10 = -0*k - k, 0 = 4*k + 3*q - 50. Suppose k*p = 7*p. Which is bigger: p or 2/31?
2/31
Let w = 3953 + -1699. Let m = w - 29323/13. Are -1/2 and m non-equal?
True
Let o be (-4)/((-928)/9)*((-64280)/(-4020) - 16). Which is greater: 0 or o?
0
Let x be (0 - -12)/(99/(-4290)). Let y = x - -294. Is -225 greater than or equal to y?
True
Let q(l) = -l**3 - 10*l**2 - 18*l - 19. Let i be q(-8). Let n be -1*(-15)/(-5) - 9/i. Let s be (-4)/18 - ((-736)/234 + 3). Which is greater: n or s?
n
Let r(n) = 10*n - 138. Let p be r(16). Is p at most 32?
True
Let g = 14486075/282 + -51369. Is 0 at most as big as g?
True
Suppose y = 6*y + 25. Let j be (-10)/(-25) + (-16)/y. Let q be 5/4*(0 + (-12)/(-3)). Which is smaller: q or j?
j
Let l be 12204/(-15) - (83 + -71). Are -825 and l non-equal?
True
Suppose -30*k - 82*k - 11760 = 0. Does -6 = k?
False
Let y = 6194 - 6966. Is y greater than or equal to -778?
True
Let r(j) be the third derivative of -j**6/120 + j**4/6 + 2*j**3/3 + 11*j**2. Let z be r(-2). Suppose -z*s = -20, s - 3 = 3*a + 5. Is a bigger than 4/17?
False
Let p(i) = i**2 + 9*i + 34. Let b be p(-6). Let a(k) = 4*k - 63. Let w be a(b). Which is bigger: w or 6/37?
w
Suppose 142*j - 83935 - 160589 = 0. Is 3445/2 >= j?
True
Suppose -2*y - 4*x = 172, -2*y - 327 + 125 = -2*x. Is y less than -20?
True
Suppose 4*b = -2*y + 17 - 5, 0 = 2*y - 5*b - 57. Suppose -k = -5*k - y. Is -1.8 less than k?
False
Let m be 477/371 + (-2098)/1659. Which is bigger: m or 0?
m
Let c = -0.15851 + 245.15851. Are c and -12 non-equal?
True
Let k = -135/52 + 2204/39. Let m = k - 176/3. Is 0.2 at least m?
True
Let h = -8.66346 - 0.03654. Let g = -67/4 - -17. Is g <= h?
False
Suppose -13*t + 18999 - 916 = 0. Let y = 4228/3 - t. Do 18 and y have the same value?
False
Let i(v) = v**3 - 9*v**2 + 9*v - 15. Let p be i(7). Let h = p + 59. Let q(a) = a**2 + 2*a - 4. Let t be q(-4). Is t equal to h?
False
Let m = 0.064 - 0.154. Let l = 23.24 - 22.91. Are m and l nonequal?
True
Let q(u) = -u**3 + 6*u**2 + 18*u - 10. Let m be q(8). Let d be ((27/m)/9)/((-151)/12). Which is smaller: 1 or d?
d
Suppose -5*a + 8 = -17. Suppose 4*f - f - 269 = -5*r, a*f = 15. Suppose -10*c + 12*c = r. Which is smaller: c or 27?
c
Let z = 504 + -503.669. Let t = 0.231 - z. Is t > 2?
False
Let l(i) = -14*i - 209. Let x(m) = 70*m + 1046. Let t(w) = 11*l(w) + 2*x(w). Let d be t(-15). Are -46 and d nonequal?
True
Suppose 3*m + 1283 = -4*d - 314, -5*d - 2004 = -4*m. Let k = -9206/23 - d. Is 3 > k?
True
Let m = 0.1929 - 0.243. Let y = m - -12.0501. Is y >= -0.7?
True
Suppose -930 = -4*j - w + 7994, -w - 2231 = -j. Which is bigger: 2233 or j?
2233
Let z = 272 + -51. Suppose 11*n = z - 573. Is 1 less than or equal to n?
False
Let m be 3*9 + 25/(-25). Let t be -5 + 29 + (6 - 6). Which is greater: t or m?
m
Suppose 0 = 514*f - 516*f + 760. Let r be f/6*(19 - 22). Does r = -188?
False
Let g be (-8 - -14 - 4)/((5 - 24)*291). Which is bigger: g or -4?
g
Suppose 3*g = 5*v - 14, 2*v + 2*v - 19 = 5*g. Suppose 0 = -63*x - 30 - 75 + 42. Which is smaller: x or v?
x
Suppose 6*i - 54 = -72. Let g(s) = -3*s**3 + s**2 - 9*s - 30. Let l be g(i). Which is smaller: 85 or