ual to 2/9?
True
Let o = -255139/1608 + 476/3. Let n = o + 275/3752. Is -1 smaller than n?
True
Suppose -2*n + 3*z = -36, -4*z - 2 + 66 = 2*n. Is n less than 24?
False
Suppose 3*j + 4 + 3 - 4 = -3*b, 0 = -3*b. Is j bigger than 1/11966?
False
Let a = -870109/153 + 5687. Which is smaller: 12 or a?
a
Let r = -9 - -0.4. Let q = r + 9.55. Let l = 1.85 - q. Which is smaller: l or 3?
l
Let k = -136 + 136.2. Let t = -3 + -32. Let i be 1/1*5/(t/4). Is k at least i?
True
Let h = 25410 + -126476/5. Let m = h - 117. Is 10 at least m?
True
Suppose f - 392 = -3*f. Suppose 108*x + 63*x = 142*x + 2900. Is x greater than or equal to f?
True
Suppose -4*m - 1 = 3, 52 = 3*c + 5*m. Suppose -c*x = -25*x + 78. Suppose -x = 3*p - 2*h, 3*p + 11 = 4*h - 3*h. Is p <= 1?
True
Let z be -2 - -2 - (-4515)/43. Let w be 29/z + 24/(-180). Which is smaller: w or 78?
w
Let r = 0.106 + -15.106. Let y = r + 15.1. Is -7/5 <= y?
True
Let n = 531/2987 - -2324591/5540885. Let o be ((-2)/6)/(2597/21). Let r = o - n. Are r and 0 non-equal?
True
Let t be (-4)/(-10) + (-30)/(-25) + (-22736)/35. Which is bigger: t or -644?
-644
Suppose 5*z = 32*l - 28*l - 1831, 0 = 2*z + 2*l + 754. Let y be (-2)/2 - (-7010)/(-19). Let s = y - z. Is s at least 0?
True
Let g = 433474 - 66755221/154. Do -1 and g have different values?
True
Let x = 313/6 + -59/3. Let k = x - 32. Let r = 8/9 - 16/9. Are k and r non-equal?
True
Let b be -1 + 4 - 2126/(-18). Let n = 167 + -288. Let o = b + n. Which is bigger: 1 or o?
1
Let x = -1.5 - 4.5. Let y be ((-49)/88 - (-68)/374)/(15/20). Which is smaller: y or x?
x
Let t(m) = 1859*m**2 + 18. Let g be t(-2). Which is smaller: g or 7455?
g
Let f = -27194 - -26908.17. Let m = f + 287. Let k = m - 0.17. Which is greater: -9 or k?
k
Suppose -t - 9*p + 261 = -6*p, 2*t = -5*p + 527. Suppose 9*c = 3*g + 6*c - t, -3*g = 5*c - 276. Which is greater: g or 94?
94
Let d(o) = 9*o + 181. Let k(q) = -5*q**3 + 5*q**2 + 2*q - 4. Let p be k(2). Let i be d(p). Which is smaller: -6/73 or i?
-6/73
Let y = -9436 + 9482. Which is greater: y or -150?
y
Let c(x) = x**3 + 21*x**2 - x - 23. Let p be c(-21). Let a be (p + 0 - -17)*(-32)/(-288). Suppose 3 = 2*g + 1. Is a < g?
False
Let b = 241 + -232. Suppose 5*h - b = -a - a, -14 = 3*a + 2*h. Suppose -o = -2, -j + 9 + 2 = 5*o. Which is greater: j or a?
j
Let u be 1/4 + 217/28. Let o be -1 + 25 + -9 + u. Let c = -42 + 65. Is o equal to c?
True
Let y be (22/4)/1*(-24)/2. Let f be (4/72)/((-6)/y). Which is bigger: 2 or f?
2
Suppose 0 = -3*r - r + 12. Suppose 7*q - r*q + 4 = 0. Which is greater: -2/263 or q?
-2/263
Let b be ((1088/(-72))/(-34))/(4/(-6)). Which is greater: 8121 or b?
8121
Let p = -501 + 299. Let y = 2215/11 + p. Suppose -3*m - 2*m - 5 = 0. Is m >= y?
False
Let z(s) = 4*s**3 - 24*s**2 + 15*s - 37. Let g(t) = t**3 - t - 1. Let k(q) = 3*g(q) - z(q). Let h be k(24). Let m = h + 2777/7. Which is smaller: m or -1?
m
Suppose -5*u - 659 = 2*z, u + 268 = -u - 3*z. Which is smaller: -133 or u?
-133
Let l = -21400 - -20789. Which is smaller: -608 or l?
l
Let h(f) = -f**3 - 24*f**2 - 115*f + 69. Let k be h(-17). Is k < -10/1287?
False
Let q be -42 + 2 + -1 - -1. Let z(d) = -16*d + 323. Let i be z(23). Which is greater: i or q?
q
Let s(d) = d**3 + 5*d**2 + 11*d + 11. Suppose 4*r = -n - 20, 2*r + 9 = -n - 3. Let o be s(r). Which is smaller: o or -35/2?
-35/2
Let u = -12951 + 13634. Which is bigger: 2729/4 or u?
u
Let p = 69638000 + -1948379371/28. Let v = -53013 + p. Let g = v - 66/7. Is g >= 1?
False
Let s be (3551/(-742))/((-81)/18). Do 2 and s have the same value?
False
Let n be 22 - 8/6*-1230. Which is smaller: 1664 or n?
n
Let w(g) = -28*g + 1. Let o be w(2). Let l = 46 + -278. Let h = l + 178. Is h > o?
True
Let j be ((-24)/4)/(6/243). Let v = j + 259. Which is greater: v or 13?
v
Let y = -412 + 545. Let a = 133 - y. Which is bigger: 234 or a?
234
Let i(d) = d - 210. Let a be i(36). Let b = a + 173. Do 85 and b have the same value?
False
Let t(o) = -o + 26. Let y be t(16). Let x(c) = -3 - c - y + 3. Let l be x(-8). Do l and -2 have the same value?
True
Let z(m) = -11*m + 92. Let y be z(8). Suppose -4*s + 45 = -4*r - 19, -y*r = 3*s - 13. Is -1 less than or equal to s?
True
Let a(s) = -s**3 + 49*s**2 - 50*s - 204. Let k be a(52). Does k = -10916?
True
Let a = -0.828 + 448.828. Let s = -447.955 + a. Which is smaller: 2/7 or s?
s
Let l(s) = -21 - 12*s - 16 + 42 + 5*s**2. Let a be l(2). Is -1/248 bigger than a?
False
Let j(f) = -2*f**3 + 88*f**2 + 88*f + 169. Let i be j(45). Are 2004/25 and i equal?
False
Let v(k) = -k**3 + k**2 + k. Let x = -44 + 5. Let r = x - -38. Let c be v(r). Which is bigger: -5/12 or c?
c
Let c be (-62)/(-1240)*(-5)/(-113). Which is smaller: 0 or c?
0
Let c = -7442 + 7049. Which is bigger: c or -389?
-389
Let q be -4 - 19 - (-2)/(-2). Let f be (8/q)/((-1)/3). Let j be (-49)/42 + 1 + f/(-18). Is 1 at least as big as j?
True
Let j = 5044 + -5193. Which is bigger: j or -154?
j
Suppose r = -15*r - 192. Let i be (r/18)/((-3)/(-324)). Let l be (2 + -75)/(-1 + 2). Is i greater than or equal to l?
True
Let k(m) = -40*m**2 + 94*m - 29. Let w be k(2). Which is bigger: w or -276/199?
w
Suppose 0 = 3*v - 5*b - 7, -2*b + 5*b + 5 = 2*v. Suppose v*k - 15 = -d, -2*d + 0*k = -3*k - 74. Let j = -8 + d. Which is smaller: 24 or j?
j
Let z(w) = 2*w**3 + 60*w**2 - 18*w + 46. Let o be z(-30). Which is smaller: 587 or o?
o
Let w(x) = x**3 - 14*x**2 + 23*x - 9. Suppose 998*c - 24 = 996*c. Let i be w(c). Which is greater: -23 or i?
i
Suppose 4*f - 3*f - 5 = 0, -2*w + f - 233 = 0. Let l = w + 113. Let q be (6/8 + l)*-10. Is 3 equal to q?
False
Let g = 23271 - 23559. Which is bigger: g or -5/4?
-5/4
Let q be -4 - 132*((-241)/6 + (-24)/(-48)). Which is smaller: 5231 or q?
5231
Let h be (11/(-105))/(222/615). Let k = h + 1/222. Let f(q) = -q**3 + q**2 + q - 1. Let i be f(0). Does i = k?
False
Let x = -6964 + 20893/3. Which is bigger: x or 2/17039?
x
Let x(i) = i + 2. Let v be x(0). Let t be (v + 0)/((-12)/46). Let z = 22/3 + t. Which is smaller: 4 or z?
z
Let m(g) = 3*g - 3. Let i be m(-1). Let p = 8 - 2. Suppose -5*r + 24 = -c, r - p*r + 4 = 4*c. Is i less than or equal to c?
True
Let b(w) = -9*w + 264 - 443 + 255. Let p be b(10). Are p and -77/5 nonequal?
True
Suppose -3*u = -u. Suppose -4*k + 6*l - 93 = 7*l, 2*k + 44 = 2*l. Let a be 10/(-24) - k/92. Which is smaller: a or u?
a
Let j = 497 + -496.9491. Let b = j - -24.2491. Let x = -24 + b. Which is bigger: x or 0?
x
Let l = -99 + 94. Let u = -10 + 30. Let s be u*(32/20 - 2). Which is smaller: l or s?
s
Let t = 1282817994/715967 + 352/31129. Let v = t + -1792. Is v >= 0?
False
Let f be (9344/(-192))/(((-44)/84)/(-1)). Do -92 and f have different values?
True
Let r be -7 + -4 + (14 - 6) + 2780. Do r and 2777 have different values?
False
Let j(g) be the second derivative of g**4/12 + 11*g**3/6 + 7*g**2 - 7*g. Let i be j(-7). Let b be -1*2/14 + (-422)/i. Is 31 < b?
False
Let t = 0.62 - 2.12. Let x = -62 - -32. Let s = x - -29. Is t >= s?
False
Let d be (3/(-27))/((-516)/387). Which is smaller: -0.139 or d?
-0.139
Let g be ((-558)/111 + 5)*3/21. Suppose 2*r - 3*r = 1. Which is smaller: g or r?
r
Let a = 463 - 670. Let j = a - -1038/5. Is -39 at most j?
True
Let z be (3/13 - (-406)/1508)*(-162)/(-3). Does z = 51?
False
Let w be (17/2)/((-3)/6). Let s = -118609/6876 - 1/3438. Let p = s - w. Which is greater: p or 0.17?
0.17
Let g(c) = -c**3 - c**2 + 2*c - 3. Let q be g(-6). Let m be -88 - ((-30)/q + (-42)/11). Is m greater than or equal to -84?
True
Suppose 9*k + 8408 = -21364. Do 2 and k have different values?
True
Let d(t) = 3*t - 14*t + 2*t + 4 - t**3 + 6*t**2. Let v be d(4). Let i = 141 + -707/5. Which is smaller: i or v?
i
Let p be 24/(-5)*10/2. Let y be 52/(-91) + 36915/(-1610). Is p less than or equal to y?
True
Let s = -0.102 - 73.898. Let u = -69 - s. Let a = -3 - u. Is a bigger than -0.1?
False
Let d = -0.544 - 250.456. Which is greater: d or -5/2?
-5/2
Let w(j) = -j**2 + 24*j + 20. Let q = 95 + -24. Suppose 0*s = -3*x + 2*s + q, x + 4*s = 33. Let y be w(x). Is -2 greater than y?
True
Let z be 12*(-7 + 61/(-3)). Let s = z - -336. Which is smaller: s or -2?
-2
Let s = -6/5 - -352/295. Suppose 0 = -5*d + 18 + 12. Suppose -4*p + 2*p = -y + 6, -2*y = -2*p - d. Which is greater: s or y?
y
Let n be ((-