r than i?
True
Let g = 105 - 73. Let p = -26 + g. Are p and 0.1 non-equal?
True
Let f(u) = 2*u + 0*u + 3 + u**2 - 6*u. Let a = -1 + 4. Let s be f(a). Are 1/2 and s nonequal?
True
Suppose -32 = 6*i - 2*i. Suppose 4 + 11 = -5*h. Let l be (h - 14/(-10))*5. Is i greater than or equal to l?
True
Let v(r) be the first derivative of r**3/3 - 4*r**2 - 3*r - 5. Let n be v(8). Is n < 0.2?
True
Let b = -33.3 - 2.7. Let h = b - -34. Which is smaller: h or -7?
-7
Suppose 14*i = -25*i + 39. Which is greater: i or 2/1711?
i
Suppose -f - 320 = 4*a, 2*f - 17 = 2*a + 133. Which is smaller: a or -716/9?
-716/9
Let u = 42 - 42. Suppose -3 = 2*v - 2*f + 11, 5*v + 3*f + 35 = 0. Let d be 6/36*4/v. Which is bigger: u or d?
u
Suppose 5*b = 5*z - 25, 5*z + 3*b = 2 + 7. Suppose 5*a - 23 = -w, -2*w + z*w - 8 = -2*a. Let f = a - -2. Is 6 <= f?
True
Let z = 352 + -509. Which is smaller: z or -156?
z
Let a(p) = -p + 20. Suppose -3*r + 31 = s, 2*r + 2*s + 3 = 17. Let m be a(r). Which is greater: 13 or m?
13
Let v = 314 - 274. Is v equal to 0.01?
False
Let p be 253/23 - (0 + 8). Is p greater than or equal to -58?
True
Let r(q) = -q**3 - 3*q**2 + 10*q. Let a be r(-5). Suppose a = -7*n + 5*n + 2. Which is smaller: n or -4/9?
-4/9
Let c = 1/64 + -203/704. Suppose 0 = -3*i - n - 1, -5*n = -i + 3*i + 18. Do i and c have different values?
True
Let v = 37 + -36. Let i be 2/996*3*-4. Which is smaller: v or i?
i
Suppose 0 = 3*b - 3, -3*a - 5 = -7*a - b. Suppose -1 + 2 = -3*q - t, -t = 4*q + a. Which is smaller: q or 9/16?
q
Let l be 1*((-3810)/(-40) - (-1)/(-4)). Which is bigger: 97 or l?
97
Let d = -26.3 + 28.3. Which is smaller: 0.8 or d?
0.8
Suppose 2*s = -2*u + 72, -u + 20 = 22. Suppose 0*w = -w + 37. Which is greater: w or s?
s
Let a be (1 - 3)*14454/77. Let b = a + 376. Is 4/11 > b?
False
Let r be (-320)/616 - 1 - (-12)/28. Let h = -1 - 1. Which is greater: r or h?
r
Suppose 0 = 111*h - 104*h + 147. Does h = -510/23?
False
Let m = 5954/23 + -259. Suppose -3*w - 9 = 0, 32*p = 27*p + w - 2. Which is bigger: m or p?
m
Let p be (-96)/(-7) + 14/49. Let o be 1*(p - (0 + 2)). Let r = -2367 - -2379. Are r and o equal?
True
Let o(n) = 8*n + 2. Let x be o(-4). Let z(b) = -7*b + 34. Let s be z(-14). Let m = -163 + s. Which is smaller: x or m?
m
Let d = 2/6835 - 13688/61515. Let n = 1.1 + -0.1. Are n and d equal?
False
Let w = 0.04 + -50.04. Let r = -88 - w. Let s = r + 30. Which is greater: s or -1?
-1
Let o = 0.151 + -0.551. Do -14 and o have different values?
True
Let t be 3707/(-15180) - 1/(-4). Which is bigger: t or -1?
t
Suppose -18*l + 22*l = -48. Suppose -5*x + 0*t + 5*t - 55 = 0, 2*x - 6 = -5*t. Which is smaller: l or x?
l
Let j = -3.169 - -0.169. Are j and -10 nonequal?
True
Let r = 0 + 2. Suppose r*f + 48 = -2*x, 2*f = -0*x + 3*x + 72. Let n be (2 - 4)*(-4)/x. Is n <= -1?
False
Let t = 5332 + -5339. Let b = -0.43 - -0.03. Let d = b - -0.3. Which is greater: d or t?
d
Let r = -496 + 497. Let v = 16 + -13. Which is greater: v or r?
v
Suppose -i + 4*i = 0. Let k = -12/25 + -242/225. Let d = 134/63 + k. Which is bigger: i or d?
d
Suppose b + 6*b + 7 = 0. Let w = b - 13. Do w and -12 have the same value?
False
Let v = -852.716 - -853. Which is smaller: 0 or v?
0
Let x(v) = -2*v**3 + 34*v**2 - 19*v - 53. Let k be x(16). Is 155 at least k?
True
Suppose 10 = 56*f - 54*f. Suppose 9*a - f = 4*a. Let q be 22/84 + 7/(-21). Which is smaller: a or q?
q
Let p(c) be the third derivative of -c**4/3 + 3*c**3/2 - 9*c**2. Let a be p(6). Let m = 34 + a. Which is smaller: -6 or m?
-6
Let b = -451 + 455. Suppose 0 = 5*x + 3*s, 5*x = -s + 5*s + 35. Suppose 9 = 3*k + 3*o, -x*k = k + 2*o - b. Does 6 = k?
False
Let x = -4.7 - -4.39. Let u = x - 14.69. Are u and -1/3 non-equal?
True
Let k = -1.9 - -2. Let q = -0.76 - -6.76. Which is greater: q or k?
q
Suppose -2*k + b + 0*b = 465, -2*b = k + 240. Is -233 != k?
True
Suppose c = -c - 2*d + 10, 2*c + 20 = 4*d. Suppose -x - 4*x + 5 = c. Is x equal to 1/13?
False
Let v = 14 + -12. Let k be (v/(0 + 2))/(9/(-2)). Is -2 greater than or equal to k?
False
Suppose 19*u = 3*u + 256. Which is greater: 12 or u?
u
Let b = 1.303 - 0.303. Which is bigger: b or 90?
90
Let g(i) = -i**2 - 2*i + 12. Let v be g(2). Suppose -4*z = -10 + 30. Let m be (z + 11)*2/3. Is m less than or equal to v?
True
Let s(m) = -2*m**3 - m**2. Let n(p) = -p**2 + p + 1. Suppose y + 2*z = -6, 2 = -3*y - 3*z + z. Let u be n(y). Let q be s(u). Which is smaller: q or -2/49?
-2/49
Let z = 940/3 + -89291/285. Let t = -271/2565 + z. Is 0 greater than t?
True
Let m(t) = -t**3 + 2*t**2 + 3*t - 3. Let y be m(2). Let j = 194 - 191. Suppose -y*d + 6*d = j. Which is bigger: d or 10/7?
10/7
Let m(b) = -b**2 - 15*b + 19. Let v be m(-16). Let s be (-1)/(v*2/(-18)). Let r(n) = n**3 - 3*n**2 + 7. Let t be r(s). Is 8 bigger than t?
True
Let s(i) = -4*i**2 + 5*i + 1. Let m be s(3). Let f = -1 - 16. Which is smaller: m or f?
m
Let a = 33.8 - 43. Let c = 2.1 - 11.1. Let t = a - c. Which is greater: 0 or t?
0
Let v be (-456)/14*(140/(-21) - -6). Which is smaller: 23 or v?
v
Let g(y) = 116*y + 45. Let t be g(-5). Is t != -536?
True
Let k be 3 - 3 - 1*8. Let y = 0 - -0.1. Are k and y non-equal?
True
Let f(x) = x**3 - 6*x**2 + 5*x + 1. Let l be f(5). Let w = -44 - -74. Let k = -29 + w. Does l = k?
True
Let y(p) = -p**3 + 8*p**2 + 50*p + 10. Let b be y(-8). Is b < 633?
False
Let d(g) = 2*g + 13. Let o be d(-6). Let t = -702/391 + 32/17. Which is smaller: o or t?
t
Let a(q) = q**3 - 16*q**2 - 2. Let f be a(16). Is f at least as big as -10/11?
False
Let c = 163.318 + -0.318. Let w = c - 164. Is -33/4 < w?
True
Suppose -3*o + 40 = y, -4*o + 15 + 21 = -3*y. Suppose 9*b - 24 = o*b. Suppose -50 = 5*t - 5. Are b and t unequal?
True
Suppose -i = -4*i + 6. Suppose 4*y = -2*s + i, 9 + 5 = -4*s + y. Suppose -3*x + 7 = -4*m + 6, -x - 21 = 4*m. Does m = s?
False
Suppose -3*x - x = -20. Suppose x*m - 27 = -7. Is 5 < m?
False
Suppose 0 = -4*v + 3*d - 12, 0*v - 5*v - 3*d = -12. Suppose -3*u - 5*t + 1 = v, 1 = -2*u - t - 2*t. Let b be -34*((-12)/u)/3. Are -17 and b nonequal?
False
Let w = 257.816 - 258. Which is smaller: w or 2?
w
Let v(u) = -u**2 - 2*u + 12. Let g be v(2). Which is greater: 140/33 or g?
140/33
Let z = -13.8 - -12.8. Are z and 65 non-equal?
True
Let q be 2/2 + (-6)/(-3). Suppose q*a + 2 = -4. Let r = 85 + -88. Is a bigger than r?
True
Suppose 2 = -6*f + 32. Suppose -f*w = -w. Are w and -6/25 equal?
False
Let c be 3/(-18) - (-70)/(-240). Let r = -9/20 - c. Is r less than 0?
False
Let w = -21889.31 - -21779. Let m = w - -110. Which is smaller: m or 3?
m
Let r = 10 + -11. Let k = 3.4 + -3. Let a = k + r. Which is greater: -0.1 or a?
-0.1
Let j = -1152.3 + 1151. Which is smaller: 28 or j?
j
Suppose 9*u - 416 = -308. Let s be (-2)/(-3)*3 - -12. Which is smaller: s or u?
u
Let i be (-48)/(-20) - (-4)/(-10). Let p(c) = -c**3 + 2*c**2. Let h be p(i). Is h at most as big as 0?
True
Let k = -7826/2923 - -100/37. Let a be 5/((-2)/6 - 0). Let v be 3*(a/(-9) - 2). Is v < k?
True
Suppose 9*y + 2069 - 584 = 0. Are -159 and y unequal?
True
Let r(u) = u**2 + 6*u + 1. Let x be r(-7). Suppose n - 5*n + x = 0. Suppose -2*h - n*h + 12 = 0. Are h and 2 unequal?
True
Let s(c) = -2*c - 27. Let q be s(-14). Is q less than 37/31?
True
Suppose 4*k = -k - 35. Suppose -w - 45 = -4*w. Let p = w + -24. Do p and k have the same value?
False
Let b be ((-2)/(-205))/(138/(-140) - -1). Let z = -2/123 + b. Is z > -7/5?
True
Let m be (-2114)/24*(-4)/(-28). Is -13 greater than or equal to m?
False
Let s(n) = -2*n**3 + 4*n**2 + 3. Let m(r) = r**3 + 4*r**2 + 4*r. Let k be m(-3). Let w be s(k). Let f be (-192)/w + 2 + 0. Is f >= 1?
False
Let z(b) = b**2 + 3*b - 1. Let j be z(0). Let f be (j/2)/((-13)/(-78)). Which is smaller: 0.02 or f?
f
Let t = -2089/22 + 95. Let h = t + -51/154. Let g = -6 + 6.2. Which is bigger: h or g?
g
Suppose -3*f + 3*k = f, 3*f + 2*k = 0. Let y be 70/312 + 14/(-56). Do y and f have different values?
True
Let d = 86 + -2579/30. Let z = d - -71/570. Which is smaller: -0.1 or z?
-0.1
Let s = 254 - 165. Let m = 89.1 - s. Is 1/19 smaller than m?
True
Let k be (-1)/(15/(-28) - 8/(-28)). Suppose 22 = 3*z + 13. Let i be z/12 + (-5)/4. Which is bigger: k or i?
k
Suppose -3 + 6 = -3*s. Let b be 1 + 5/(100/(-2508)). Let p = b + 125. Which is bigger