**2 + 12*y - 13. Let q be p(-13). Is w < q?
False
Let w be ((0 - 1)*43)/(4 + -1). Which is smaller: w or -15?
-15
Let f = 577.1 + -577. Which is greater: -581 or f?
f
Let u = 1.8 + -2. Let t = -2/429 - -868/2145. Are t and u nonequal?
True
Let m = -2/19 - 49/76. Let o = 2940 - 2940. Which is bigger: o or m?
o
Let d(h) = -h**2 - 9*h + 23. Suppose 3*g = -12, 0*g - 4*g = 5*b + 71. Let m be d(b). Let q = 6269/14 + -448. Is m less than q?
False
Suppose -28*w - 282 = -22*w. Is 2 at most w?
False
Let r(o) = -o**2 - 11*o - 6. Suppose 3*q - 6 + 36 = 0. Let g be r(q). Do 3 and g have the same value?
False
Let g = -89 - -85. Suppose -3*x = -j - 19, -5*j = 7*x - 3*x - 57. Let a be 6/9 - x/3. Is a >= g?
True
Let m be ((-6)/(-12))/(4 + 7/(-2)). Which is bigger: -480 or m?
m
Let d be (-1730)/(-16) + 2/(-16). Let w be (d/60)/(1/(-5)). Let a(g) = -5*g - 1. Let p be a(2). Are p and w non-equal?
True
Let p = -0.986 + 0.586. Let h = 671/1533 - 2/219. Is h < p?
False
Let o = -2370 - -2418.19. Let i = -48 + o. Let x = i + -0.19. Is x < 3?
True
Suppose -10 = 3*r - r. Let f = -8 + 30. Let u be (-3)/9 + f/(-6). Which is smaller: r or u?
r
Suppose 7*b = 3*b - 2*s + 216, -220 = -4*b - 4*s. Is 48 less than b?
True
Suppose 4*w - 1 = q + 1, 2*w = 2*q - 2. Let n be ((-1 - (0 - w))/2)/(-1). Which is smaller: n or -15?
-15
Let c = 0 - 1. Let u = -1.8 - 14.2. Let l = u - -16.2. Which is smaller: l or c?
c
Let i(r) = r**2 - r - 4. Let y be i(3). Let g = -103 + 88. Which is greater: y or g?
y
Let m = 755493/8 - 38540027/408. Let v = 8531 - 51331/6. Let c = m - v. Is -1 > c?
False
Let p(o) = 4*o**3 - 4*o**2 + 6*o + 22. Let n be p(7). Let f be n/9962 - (-28)/(-238). Is -1 != f?
True
Let j = -6 - -6.1. Let s = 109 - 104.1. Let r = s + j. Which is smaller: 1 or r?
1
Let v(q) = -q**3 + 6*q**2 + 9*q. Let f be v(7). Suppose f*r - 225 = 11*r. Do 75 and r have the same value?
True
Let f = 0 + 128. Let p = f + -287. Let d = p - -639/4. Which is smaller: 2 or d?
d
Suppose 2*l = 2*u + 84, -4*u - 87 = 3*l - 227. Is 48 not equal to l?
True
Let z(x) = -9*x - 7. Let m be z(-1). Suppose -m*a + 87 - 19 = -5*l, 3*a = -l. Let t = -11/4 - -3. Which is smaller: l or t?
l
Let g = 109 - 147. Let n = g + 38.9. Let u = 0 + 0.1. Which is smaller: n or u?
u
Suppose 0 = 13*a - 8*a - 40. Let k be -2*51/(-90) + -9 + a. Which is smaller: k or 0?
0
Let k be (-104)/28 + 4 - (-158)/(-504). Are 2 and k non-equal?
True
Let r be 0/1 - 2031/6. Let b = r - -345. Is b at most as big as -1?
False
Suppose 4*n - 7*n = -15. Suppose 5*j = 6*j + n. Which is smaller: j or -45/7?
-45/7
Let k(p) = -p**3 + 28*p**2 - 25*p - 64. Suppose b = 4, 0 = l + 3*b - 13 - 26. Let w be k(l). Is -10 greater than or equal to w?
True
Let q be (-2)/(-3) + (-57)/(-9). Let m = 24 - 8. Suppose 4*l + 0*l - m = 0. Is q <= l?
False
Let h = 55 - 53. Let v = -39 - -155/4. Are v and h unequal?
True
Let a = -0.05 - -0.35. Let x = -48.8 + 49. Does x = a?
False
Let i be 50/40*((-2)/6 - -3). Are 3 and i non-equal?
True
Let x be -27*(4/4 - (-20)/(-6)). Let p be 234/x*(-21)/9. Which is smaller: p or -9?
-9
Suppose 3411*n = 3416*n + 5. Which is bigger: n or -1/132?
-1/132
Let m = 7.9 + -0.9. Let x = 34 - 34.03. Let o = x + 0.13. Which is smaller: o or m?
o
Suppose 0 = 7*j - 5*j - 6, -2*w + 2*j = 420. Which is greater: -206 or w?
-206
Let f = 665.9 - 705. Let b = f - -39. Are b and 7 equal?
False
Let u = -959 + 938. Are -21 and u equal?
True
Let r be 4/16 + (-11)/(-4). Suppose -12 = 3*f, -r*y - 3*f - f = 13. Let m be (-28)/49*35/(-150). Is y at least as big as m?
True
Let i(g) = g**3 - 8*g**2 + 5*g. Let z be i(8). Suppose -o + 40 = 2*v - 0*o, 0 = 2*v - 5*o - z. Does v = 20?
True
Let m(x) = -x**3 - 10*x**2 - 9*x + 5. Let h be m(-9). Suppose -h - 2 = -r. Suppose -2*s - 10*s = -96. Which is smaller: s or r?
r
Suppose 0 = 4*o - 1 - 7. Suppose 0 = -o*x + 1 + 1. Let g = 19/518 + -4/37. Is g < x?
True
Let y = 1084 - 1080. Let q be (-1)/(((-6)/14)/(-3)). Let i(d) = d**3 + 6*d**2 - 7*d + 4. Let p be i(q). Is p greater than or equal to y?
True
Let v be -19 - (9/6)/(-3)*-8. Let j be v/138 - 41/6. Is j less than -29/5?
True
Let m = 1 + -5. Let x = m + 4.31. Let w = x - -1.69. Which is bigger: 1 or w?
w
Let a be ((-2)/906)/(9/(-54)). Let s = 288/1057 + a. Let b = -65 + 66. Are b and s equal?
False
Let r be (7 - 34/5)/((-1)/(-15)). Suppose -28 = -5*l + 5*v + 27, 34 = r*l - 2*v. Which is bigger: 4 or l?
l
Suppose 9*b - 26 = -71. Suppose 0*k = 2*k + 10. Does b = k?
True
Let q = 859 - 858.917. Which is smaller: q or -1/5?
-1/5
Suppose 0 = 5*f + 139 + 11. Let y be (48/(-20))/((-9)/f). Let u = y + 11/2. Which is bigger: u or -3?
u
Suppose -13 = -2*v + v - 4*h, -3*h = 5*v - 99. Which is bigger: v or 19?
v
Let i be (-33)/36 - (-2)/8. Suppose -n - 1 = -x + 2, 4*n + x = -12. Do n and i have different values?
True
Suppose -15 = -9*a + 4*a. Suppose -4*q - j + 49 = 0, a*q + 28 = 5*q + 4*j. Suppose 5*h - q + 2 = 0. Is 4 greater than h?
True
Let i = -0.38 + -89.62. Let h = 90 + i. Is h >= 26?
False
Suppose 5*b = -0*b + 3*u - 28, 3 = -b - 2*u. Let t be (-3 + 1)/(b + 3). Which is bigger: t or -3/76?
t
Let u(k) = 15*k - 16. Let w be u(6). Let b = -75 + w. Which is greater: b or -2/89?
-2/89
Let p be (-28396)/(-35)*150/20. Let l = -6101 + p. Let u = l + 111/7. Which is greater: -3/2 or u?
u
Let d = -11/26 - 1/13. Suppose r - 5*q + 2 = -7, -5*r + 15 = -5*q. Suppose 2*u - 3*b = 0, 4*u - r*u - 3*b = 0. Is u > d?
True
Let v = 8260/17 - 486. Is 0.2 > v?
True
Let t = 8719/5 + -2519756/1445. Which is bigger: 1 or t?
1
Let i = 9 - 4. Let o = i - 2. Let w(u) = -2*u - 3. Let a be w(o). Is a at most 0?
True
Suppose -a = -6*j + 3*j + 10, 4*a + 5 = 5*j. Suppose -113 = j*l - 13. Which is smaller: l or -21?
-21
Let p = -219 - -214.36. Let l = 0.24 + p. Let n = -4 - l. Which is smaller: n or 2?
n
Let n = 13955 - 292877/21. Let v = 58/7 - n. Let l be (1 + -1)/((-4)/2). Is l bigger than v?
True
Let a = -85/21 - -186/35. Which is greater: -2 or a?
a
Let g(n) = 4*n**2 + 5*n + 9. Let f be g(-4). Which is smaller: f or 1?
1
Let q(c) = c**2 + 10*c + 16. Let i be q(-8). Is 2/87 <= i?
False
Let b = -1.1 - -0.1. Let i = 0.043 - -38.957. Let r = 29 - i. Which is smaller: b or r?
r
Let q be (9 + -8)/(1/3). Suppose -q*v = 213 - 57. Do v and -50 have different values?
True
Let z = 428 - 442. Does 1/9 = z?
False
Let y = 1 - 17/14. Suppose -2*x - 8 = -4*x + 2*z, 8 = -4*x - 4*z. Is x >= y?
True
Let y = 1384/7 - 198. Is 2/187 equal to y?
False
Suppose 4*j - 69 = -5*q, 0 = q - 3*j - 6 - 4. Suppose -u - q = -4*h - h, u + 7 = 2*h. Let m = -3 - h. Which is smaller: m or -6?
-6
Suppose -5*r - 18*n = -21*n + 22, -20 = 2*r - 4*n. Is r greater than -2?
False
Suppose 0 = -n - 3*n + 40. Suppose 0 = -12*m - 75 - 1053. Let w be m/n - (-10)/25. Is w less than -10?
False
Let u = 1350 + -1347. Which is smaller: 24 or u?
u
Let v = -898 - -863. Are -37 and v unequal?
True
Let v = -148/5 + 7859/265. Let k = -28547263/14416 - -31683/16. Let f = v - k. Which is smaller: 0 or f?
0
Let u = 75399 - 529068/7. Is -183 less than u?
True
Let m be (-52)/(-1) - (13 - 17). Let v = -32 + m. Is 0 bigger than v?
False
Let m be 68/12 + -6 + -79. Which is smaller: -78 or m?
m
Let u = -33 - -37. Suppose -3*o + u - 16 = 0. Let a be 0 + o + (13 - 5). Which is smaller: 0.1 or a?
0.1
Let x = -1257 - -1258. Which is bigger: -6.57 or x?
x
Suppose -7*s + 301 = 294. Which is bigger: s or -0.062?
s
Let z(c) = 3*c**2 - 5*c. Let m be z(4). Suppose 0 = p + 5*v + m - 9, -v - 35 = -5*p. Is 6 > p?
False
Let m = 4 - 1.6. Let o = m - 2.51. Let z = o + -0.89. Is -2 at least as big as z?
False
Let v = -7644/955757 - -2/3553. Which is greater: v or 3/5?
3/5
Let t = -3 + 1.9. Let o = t + -5.9. Let g = 8 + o. Which is smaller: g or 1/8?
1/8
Let z = 1/36 - -2/9. Let p(g) be the first derivative of g**4/4 + 2*g**3/3 - g**2 + 4*g + 20. Let k be p(-3). Which is smaller: z or k?
z
Suppose -z + 74 = -106. Suppose 5*r + 3*u = 8*u - z, -2*r = 5*u + 65. Let d be (4 + 0)*r/(-14). Which is smaller: d or 11?
d
Let w = 25097/13 + -1929. Let u = w - 207/143. Which is bigger: u or -0.1?
u
Suppose -2*a + 2 = -2. Let t(h) be the second derivative of -h**3/6 + 2*h**2 + 3*h. Let n be t(5). Which is bigger: a or n?
a
Let v be (-32)/30 + (-2)/(-5). Let o be (2 + 18/(-3))/1. Let u be o/1 - (-17)/4. I