 = -o. Which is smaller: p or u?
u
Let x = 6365 + -6336.97. Let r = -28 + x. Is r greater than or equal to 17?
False
Let o = 3324 + -3323. Which is smaller: 954 or o?
o
Let z = 9209 + -9367. Do 8 and z have different values?
True
Suppose 0 = -3*w + 4*i - 14, 8 = -3*w - 2*i + 24. Suppose -259 - 96 = -5*u. Suppose -w*d + u + 81 = 0. Which is bigger: d or 77?
77
Let g be ((-2)/860)/((-1687)/3615). Is g < 0?
False
Let o be ((-5)/(-1))/(3/3). Let t(g) be the third derivative of -g**4/8 - 16*g**3/3 - 13*g**2. Let n be t(-12). Is n > o?
False
Let b = 256 - 256.248. Let s = -0.152 + b. Let z = -3 + 5. Is s less than z?
True
Suppose 24*w - 21*w - 5*s = -1917, -3*w = 5*s + 1887. Which is bigger: -631 or w?
-631
Suppose -28 + 7 = -3*o. Let a(h) = 2 + h + 6 - 1 + 4. Let i be a(-5). Is o >= i?
True
Let k = -11 + 12. Let y = 645.9 + -681. Let v = -7.9 + y. Are v and k non-equal?
True
Let g = -5888 - -4137. Is -1751 less than g?
False
Let t be (1215/(-18))/9*16/(-3). Let h be 2/3*(-228)/t. Which is smaller: h or -3?
h
Let r = -32544 - -32522. Is r less than -372?
False
Let j = -2/103299 - 203444/162902523. Is -1 at most as big as j?
True
Let q = 85/63 + -3214/2709. Is q < -1?
False
Let h(p) = -p**3 + p**2 + 3*p + 3. Let j be h(-2). Suppose 12*f + 3 = -j. Let q be (0 - (0 + f))/(37/(-1295)). Which is greater: q or -36?
q
Let n = 2193361/124 + -70879/4. Which is smaller: n or -32?
-32
Let n = 359 + -434. Let d(p) = -7*p + 17. Let c be d(13). Is c equal to n?
False
Let y = 1583 - 93395/59. Let s = 62.2 - 56.63. Let c = 3.57 - s. Which is smaller: y or c?
c
Suppose 0 = -37*v - 28 - 25 + 90. Which is bigger: v or 1/49?
v
Suppose 0 = 2*d - 5*m - 6551, 4*d - 10400 = -m + 2757. Let w = -16733/5 + d. Which is bigger: w or -59?
w
Let r(b) = -2*b**3 + 72*b**2 - 69*b - 39. Let h be r(35). Which is greater: h or -31?
h
Let q(r) = -2*r**2 + 2*r + 11. Let b(o) = 5*o**2 - 5*o - 33. Let i(s) = 4*b(s) + 11*q(s). Let f be i(10). Let c = 1721/9 + f. Is 0 less than or equal to c?
True
Let y be ((-46)/391 - (-85280)/68)*(-21)/9. Is y > 0.1?
False
Let y = -67 + 69. Let j = 1143/2 + -170303/298. Let v = 137/894 + j. Is y greater than v?
True
Let o = -46969 + 39914. Do o and -7055 have the same value?
True
Suppose 591*l - 196 = 593*l + 4*a, -5*l = a + 535. Which is smaller: l or -974/9?
-974/9
Let d(c) = -c**3 + 17*c**2 - 17*c + 16. Let l be d(16). Let t = 54419/44 - 1237. Are t and l equal?
False
Let b be (7/4)/((-22)/(-176)). Let j = 14 - b. Suppose 5*w + 9 - 19 = j. Which is bigger: w or 0?
w
Suppose 4*q - 17 = -3*b + 18, 0 = 2*b - 5*q - 8. Let r(n) = 3*n**2 - 7*n. Let c be r(b). Let f be c/22 + 6 + 0 + -6. Which is greater: f or 7?
f
Let g = 87.27 - 100.27. Which is smaller: g or -2/31?
g
Let s = -33376 - -20583. Let r = 102137/8 + s. Is -27 greater than or equal to r?
False
Suppose 0 = s + 5*n + 194, -n - 1197 = 4*s - 307. Which is smaller: -226 or s?
-226
Let k = 242/43 - -5/129. Suppose -254*q + 18*q - 235 = -1887. Is q < k?
False
Let z = -136 - -79. Let f = z + 55. Let h = f - -19. Is 2 > h?
False
Let o = 0.365 - 12.965. Let r = o - -13.6. Let q = -169 + 1517/9. Which is bigger: q or r?
r
Let g(i) = 2*i**3 - 41*i**2 + 203*i + 28. Let t be g(12). Suppose 3*o + 5*d = 7*d + 43, 3*d - 80 = -4*o. Let p = 0 + o. Are p and t nonequal?
True
Let f be -1*-16*(-17)/544. Which is greater: 2/329 or f?
2/329
Let r = 108.21 - 108. Let o = r + -0.03. Let p = 0 + 1/2. Which is bigger: p or o?
p
Let a be (-4)/30*(-3)/(-4). Suppose 2*g + 170 = -3*g - n, -3*g = 2*n + 102. Let m = g + 35. Is m less than a?
False
Suppose 16 = 90*q - 94*q. Let p be 3/(-4 + 1/(-71) - q). Which is smaller: -212 or p?
p
Let x(u) = 23*u - 150. Let b be x(6). Which is smaller: -196/15 or b?
-196/15
Let r = -9 + 15. Let m = 476 - 340. Suppose -m = -4*y - 136. Is r at most as big as y?
False
Let g be 205/(-3526)*(6/(-20))/((-15)/(-40)). Which is smaller: g or -4/7?
-4/7
Let j = 6929 + -11452. Is -1 at most as big as j?
False
Suppose 9*l - 2129 + 2138 = 0. Let n = 109.745 - -0.255. Which is greater: l or n?
n
Let v = 2168 + -2167.87. Let o = -5 - 0. Which is greater: o or v?
v
Let v = 11.1 + -0.1. Let r = 4 - v. Suppose 8*l + i = 3*l - 13, 5*i = -15. Which is greater: r or l?
l
Suppose -171*a + 173*a + s = 4, -3*a + 3*s - 3 = 0. Which is smaller: a or -112/275?
-112/275
Let w be (36/(-930))/(-5*4/3200). Which is greater: -0.1 or w?
w
Let h = -34252/7 - -4876. Which is greater: h or -0.8?
-0.8
Let a(h) = 118*h + 28. Let r be a(-3). Let f = r - -558. Is f >= 233?
False
Let a = -7656 + 7580. Is a >= -60?
False
Let o = -2267 - -2835. Which is greater: o or 570?
570
Let l = -160.014 + 160. Let q = -0.334 - l. Which is smaller: -2/5 or q?
-2/5
Let x = 8159 - 66453/8. Is -148 at most as big as x?
True
Let k = 2847 - 2849. Which is greater: k or -132/193?
-132/193
Let i = 1/88324 - 133981/132044380. Is i bigger than -1?
True
Let d = 197.7 - -810.3. Let r = d - 1008. Which is bigger: -6/49 or r?
r
Suppose 873*n - 121*n = 53*n - 3613131. Which is greater: -5171 or n?
n
Let f(m) = m**3 + 5*m**2 + 4*m - 2. Suppose 0 = -4*l - 3*s - 19, -4*s - 5 = 2*l + 7. Let v be f(l). Let j be ((-3)/(-30))/(-1)*v. Is -4 != j?
True
Suppose 0 = -z - 237 + 238, -3*s + 23 = 2*z. Is s greater than or equal to 497?
False
Suppose 0 = g - 6, 2156*y - 548 = 2160*y - 2*g. Which is bigger: -117 or y?
-117
Suppose 0 = 111*g - 3641 - 31879. Which is smaller: g or 4802/15?
g
Let o = 5.9 + 6.9. Let j = o - 10.6. Let g = -0.04 - 0.06. Is j greater than or equal to g?
True
Let j(q) be the third derivative of 0 + 0*q - 1/12*q**4 + 3/2*q**3 + 19*q**2. Let o be j(13). Which is greater: o or -82/5?
-82/5
Suppose 0 = 2*k - 4*k + 8. Suppose -16 + 0 = -k*t. Suppose -6*c + t*c = -c. Do c and -5 have different values?
True
Let h = 14595 + -14594.8. Which is greater: h or 88?
88
Let m = -66 + 76. Suppose 5*p + 2*t = -12, 0 = 2*p - t + m - 7. Let v be (270/(-234))/(p/12). Which is greater: 7 or v?
7
Let f be (4/(-4))/(1*-1). Let g = -127 + 187. Which is bigger: g or f?
g
Let l(w) = -w**3 - 23*w**2 + 26*w + 56. Let b be l(-24). Let t be 1/(-4) + 2/b. Let z = 2/281 - -833/1405. Is t bigger than z?
False
Let t = -25 - 60. Let z = 55 + t. Let p be (z + -6)*(-6)/(-4). Is -54 > p?
False
Let n = 19.35 - 0.05. Let i = 0.18893 + -0.08893. Which is bigger: n or i?
n
Let m be (0 + 1/2)/(88/(-352)). Suppose -2*b + 2 = -10. Suppose t + 2*u = b*u - 5, 11 = -t + u. Which is smaller: t or m?
t
Let n = 1293 - 1292.9477. Let y = -0.1523 + n. Which is bigger: -91 or y?
y
Suppose 2*q - 712 = -5*r, -2*q - 3*q - 452 = -3*r. Let c be (-78)/4*r/(-27). Let j = c + -42. Is 62 > j?
False
Let p = -16459 - -16479. Do -2/27 and p have the same value?
False
Let x be ((-42)/1015)/(-2)*(3 + 65/(-30)). Which is smaller: x or 17?
x
Let z be (3/(-9))/((-13)/78). Suppose 0*r + 3*r + n = 218, 0 = -5*r - z*n + 363. Which is smaller: 71 or r?
71
Let q be (-17)/(255/54) + 2/(-5). Let s(o) = -2*o - 10. Let b be s(q). Let l be (b/(-5))/((-2548)/(-70)). Which is greater: l or 0?
l
Let q = 2356 + -3027. Which is smaller: q or -3359/5?
-3359/5
Let t = -0.7068 + 48.7068. Is t at most as big as -93?
False
Let q = 388 - 388. Suppose q = 2*u + 5*x + 65, -1 = x - 2. Does u = 2/11?
False
Suppose 2*i - 32 = 6*i. Let q be (-1 - 1)/(i/(-396)). Let v(f) = 55*f + 231. Let n be v(-6). Is n equal to q?
True
Let u be -2 + 4 + (-4)/2. Let j(i) = -8*i - 42. Let s be j(-5). Let c be (1 - -3)/(-1) + s + 6. Does u = c?
True
Suppose 74*d = 63 + 85. Is d less than 60/41?
False
Let j be (-9)/(-6)*10/(-3). Let l be ((16 + 4)/j)/10. Suppose 0 = 56*d - 59*d - 39. Which is smaller: l or d?
d
Let j = 34 - 29. Suppose 3*w - 23 = 4*p, 5*p = -j*w - 4 - 16. Which is bigger: -4 or w?
w
Let n be (6/3)/(4*(-2)/252). Let t be (-33)/n*9 - 5. Which is smaller: t or -83?
-83
Let h be (-12)/66 + (-636)/(-3135). Which is smaller: -24/5 or h?
-24/5
Let o = 126 - 108.4. Let j = o + -294.6. Which is smaller: 1 or j?
j
Let z = -7800 - -7784. Suppose 11 - 30 = -o. Let c = o + -35. Is c equal to z?
True
Suppose -3*l + 3737 = 4*g - 4*l, 3*l = 21. Are g and 936 unequal?
False
Let r = -26 + 30. Suppose -r*g - 3*y + 13 = 0, -g = -4*g + y. Let t be (7 - (-14)/(-2))/(-1*g). Which is smaller: -2 or t?
-2
Let l be 2/(-6) - 476/(-51). Let z be ((-2)/(-2) + -2)/((-3)/l). 