37/1045. Are -44 and y unequal?
True
Suppose -3*k - 5*w + 7 = 0, -5 = -9*w + 14*w. Let m = 8 - 25. Let a = m - -16.9. Is k bigger than a?
True
Let z = 369 - 177. Let t = z - 192. Which is smaller: t or 39?
t
Let a = 150 - 165. Suppose -5*s + 2 = -5*p - 43, 0 = -2*p - 8. Let o be (2/s)/((-24)/a). Which is greater: 1 or o?
1
Suppose -99*l + 652 = -98*l. Let p = 657 - l. Suppose 0 = -c + r + 2, 2*r = -4*c + 3*r - 7. Which is smaller: c or p?
c
Suppose 11*r + 10 = 6*r. Let i be r/3 + (-90)/(-27). Let z = 45 + -41. Which is smaller: i or z?
i
Let n = -2978 + 4493. Which is greater: 1507 or n?
n
Let j(w) = -7*w + 180 - 192 + w**3 - 11*w**2 + 31*w. Let a be j(8). Which is bigger: -24 or a?
a
Let q = 1632 + -1603. Which is bigger: q or 56?
56
Let f be 2378/(-3567)*(-234)/(-446). Which is greater: 1 or f?
1
Let i = 123 + -109. Let s be 1275/10*(3 + 190/(-66)). Which is smaller: s or i?
i
Let p(y) = -y - 107. Let w be p(-12). Is w greater than -98?
True
Let h be (-6422589)/1449 + (-3)/(-7). Which is bigger: -4431 or h?
-4431
Let l(b) = b**3 - 13*b**2 + 5*b - 89. Let s be l(13). Let w(q) = -5 + 8*q**2 + 23*q - 13 + q**3 + 17*q**2. Let o be w(s). Which is greater: 8 or o?
8
Let n = 26 + -24.56. Let o = n - 1.41. Let p be (-2*(-1)/4)/(-1). Which is greater: o or p?
o
Let q be ((-22)/4)/((-2)/(-52)). Let u be q/(-62) - ((-429)/(-22))/13. Which is smaller: u or 2?
u
Let j(s) = -3 - 152*s - 14 - 1 - 8 - 11. Let n be j(5). Are n and -1 equal?
False
Let t = -1034 - -7240/7. Let m = -623.996 + 624. Which is bigger: t or m?
t
Let b = 33 + -77. Let q = b - -37. Let r be 8*((-5)/4 - (-4)/8). Is q smaller than r?
True
Suppose -5 = -5*l + 10. Suppose -5*u - 104 = -3*f - l*u, -28 = -f - u. Let z = 31 - f. Which is smaller: 6/79 or z?
z
Let n(a) = -43*a**3 - 2*a**2 + a + 2. Let l be n(-1). Let f be 20*(-1)/l*3. Let r = 184/119 + f. Is r less than -1?
False
Suppose 13*b - 1058 - 22 = -131. Which is smaller: 65 or b?
65
Let q = 13399 + -13398. Is q at most as big as 87/124?
False
Let p = -1.3 + 1. Let s = -21.91 - 5.12. Let z = s - -27. Are p and z equal?
False
Suppose -20*u + 11 + 29 = 0. Suppose -u*g - 86 = 3*w - 6*g, 2*g + 78 = -4*w. Let x(z) = -z**3 + 4*z**2 + 8*z + 1. Let p be x(6). Which is greater: w or p?
w
Suppose -o - 4*x = 12, o = -x - 4 + 1. Suppose o = 231*c - 237*c + 96. Which is smaller: -2/7 or c?
-2/7
Let t = 4005 - 4009. Let w = -1 + -3. Let u be w*t/16 + -2. Is u at least as big as 2/13?
False
Suppose -2*m + 3*m = -52*m + 99428. Which is bigger: m or 1874?
m
Let r = 14 - 15. Suppose -55 + 30 = d. Let z be d + 27 + 58/(-27). Which is bigger: r or z?
z
Suppose -6 = -2*u + 3*u. Let b be u/(-15)*(-40)/(-288). Let i be 0/(-7)*(-1)/2. Is b at least i?
True
Let j = -34505/17 + 254681235/125477. Is j bigger than 1?
False
Let v(q) = -12*q**3 + 128*q**2 + 1049*q - 15. Let y be v(-8). Is y bigger than 5929?
False
Let d = 376.7358 - -0.0642. Let g = -377 + d. Do 1/70 and g have the same value?
False
Let k = -124.847 + -0.153. Let i = -821 - -823. Which is bigger: k or i?
i
Let f(b) = -1924*b + 19230. Let d be f(10). Let x be 3 + 6/(-9)*-3. Do x and d have the same value?
False
Let q be (-120)/210 + 38/(-7). Let w(l) = -5*l + 5. Let g be w(-6). Let r be 2*(q + 0)*1/g. Is 1 equal to r?
False
Let r be 50/9*(-64599)/706. Is -507 >= r?
True
Let n be (-2)/(-9) + ((-12750)/54)/5. Let f be (-3)/3 + 2 - n. Let q be ((-1)/2 - 2)*f/(-450). Are 0 and q unequal?
True
Let b be 22/4*1632/4488. Let v = 1819 - 34535/19. Which is smaller: b or v?
v
Suppose -b + 32 = 4*g - 3*b, 5*b = -3*g - 2. Suppose 0 = -g*n + 30 - 120. Let m be 3 + (-9 - -5) - 17/n. Is m bigger than -1?
True
Suppose 17 = 8*p + 65. Let a(v) = v**2 + 15*v + 10. Let w be a(p). Suppose -s - 31 - 27 = -5*j, -4*j + 184 = -4*s. Which is smaller: s or w?
w
Suppose 912 = 11*s + s. Let o = -1904/25 + s. Are o and 1 non-equal?
True
Suppose 18*h - 6136 = -8*h. Suppose -69 = -h*t + 239*t. Is -24 less than t?
True
Let j = -109 + 57. Let n = 52 + j. Let l be (n + (1 - -2))*(-11 + 6). Which is bigger: l or -13?
-13
Suppose -5*q - 2*i + 569 = 0, -31 - 81 = -q - i. Suppose 0 = -4*s - q - 25. Let l be -1 - (1 + 69/s). Which is greater: l or 0?
0
Let u be ((-1800)/330)/30 + (-26)/(-22). Let k be (0 + (-2)/3)*-54. Suppose -u = -a + k. Is 36 greater than a?
False
Let q = 58 - 62. Let i(a) = -238*a + 5. Let g be i(q). Let w = g + -69860/73. Is w <= -1?
False
Let j be (80/(-100))/((-164)/10). Let v = 7.7 + 1.3. Let s = 9 - v. Which is smaller: s or j?
s
Let u be -13*58 - -5 - (-13 - -16). Is u bigger than -751?
False
Let i(t) = t**3 - t**2 - 2*t + 1. Suppose -2*o + g = -3*g - 12, -3*o + 4*g = -14. Let z be i(o). Let f = -181 + 3979/22. Is f bigger than z?
False
Let a be (18/15)/(21/70). Let p be 30/(-9)*(-18)/a. Which is smaller: p or 13?
13
Suppose -4*u - 3*b = b + 68, -5*u = -b + 67. Let o = 312 - 294. Suppose o = -s - z, -46 = -0*s + 2*s + 4*z. Is u less than or equal to s?
True
Let q be (18 - 3)*(-7)/(-3). Let w be -4*(-3)/(-6) + q. Let t be -1 + (-2)/((-116)/w)*2. Is t not equal to 0.1?
True
Suppose -5*n + n + 29 = x, 1 = n - x. Suppose 21*g - n*g = -30. Suppose -v = y - 1, -3*y - 3 = -y + v. Which is smaller: y or g?
y
Let v be (18/(-15))/((-1)/((-20)/6)). Let l be (-14)/(-168) + 542/(-168). Which is smaller: l or v?
v
Let z be (12/(-16))/(23496/64 - 3). Which is greater: z or -2/3?
z
Suppose 5*q = -5*a - 5, 16 = 5*q - 5*a - 9. Suppose 6 = -q*s, -75 = 7*m - 3*m + s. Suppose -3*w = 12, 0 = -4*y - 0*y - 3*w - 80. Which is smaller: y or m?
m
Let k(n) = n**2 - 13*n + 46. Let s be k(6). Let f be 1*4*(9 + -8)/s. Let l = 483/4 - 120. Is f greater than or equal to l?
True
Let z(n) = -11 + 25 + 10*n + 4 + 7*n**2 - 3. Let a(p) = p**2 - 1. Let q(j) = -6*a(j) + z(j). Let l be q(-7). Which is bigger: l or -1/14?
l
Let t = 10535 + -10527. Is -264 equal to t?
False
Suppose 21*z - 5 = 5*u + 16*z, u - 3*z = -1. Let a be (-4)/(-14) + (-208)/434. Is u less than or equal to a?
True
Let r(t) = t**2 + t - 6. Let j(l) = 3*l**2 + 2*l - 19. Let y(a) = -4*j(a) + 11*r(a). Let v be y(8). Let f be 2/(-4)*16/v. Which is smaller: f or -0.3?
-0.3
Let z be ((-18)/(-5))/1*-25. Suppose -49 = 4*x - s + 308, 2*x = -s - 171. Is x greater than or equal to z?
True
Let x = -3921603/760 - -5160. Which is smaller: 0 or x?
x
Let z = 17712 + -17713.1. Let t = 9.93 - 10. Do z and t have different values?
True
Suppose -170 - 123 = -2*t + 3*g, 2*t - 295 = 5*g. Let o be ((-24)/(-10))/((-58)/t). Suppose 2*h + 0 + 4 = 0. Is o equal to h?
False
Let o = 13769/4 + -3443. Which is bigger: o or 559?
559
Let t = -102479/3 + 33721. Which is smaller: -439 or t?
-439
Let x = 110.404 - -1.196. Let d = 112 - x. Is d at least 31?
False
Suppose x = -4, -3*p + 3355 + 3276 = 5*x. Let z = p - 166276/75. Suppose 0 = -4*f - 2 - 2. Which is bigger: f or z?
z
Let d = -71/6 + 12. Let f = 23 - 23. Let r be (2 - 3)*3 - (f - 2). Is r less than or equal to d?
True
Suppose -28*a + 722 = 7*a + 3*a. Which is smaller: a or 416/21?
a
Suppose -16 + 4 = 3*j. Let l be j - (-1 + (-1 - -1)). Let d be -5 - 0 - (-169)/52. Is l at least d?
False
Suppose 11*j - 22*j = -66. Let d = 54 + -44. Suppose -f + m = j*m + 46, 0 = -f + 4*m - d. Is -49/2 != f?
True
Let a = 22762 - 15894. Is 6870 at least as big as a?
True
Let w be (-2)/3*3/83. Let i(d) = -6*d**3. Let y be i(-3). Let f be (2/(-3))/(108/y). Which is bigger: f or w?
w
Let r be -93078 - (1 - (1 + -2)). Let d be -2 + r/(-365) + 2. Let h = d + -255. Which is smaller: 1 or h?
h
Let l be 1/(-3)*(-3)/(-5). Let q = 179823/10 - 35965/2. Is q <= l?
True
Let n = -53/3 + 17. Let c be 14/7 - 7 - 23/(-1). Suppose 0 = 2*a + 3*h - 8*h - c, 3*a = -2*h - 11. Is a > n?
False
Suppose -17*u - 22 + 73 = 0. Suppose 4*x - u*x = 5*b + 10, -2*b = 4. Let r = 10352/167 - 62. Is x at most as big as r?
False
Let d(u) = u**3 + u**2 - 1. Let q(v) = -v**3 - 25*v**2 + 16*v + 8. Let o(g) = 3*d(g) + q(g). Let c be o(9). Which is smaller: -174 or c?
c
Let v = 266 + -263. Suppose 0 = v*b - 28 + 25. Is b > 2/273?
True
Let l(j) = -2*j**2 + 17*j - 31. Let t be l(4). Suppose 99 = -t*g - 31. Is -3 at most g?
False
Let f be (-2)/(-9) + (-20)/171. Let o = -3.6305 - 0.1175. Let a = -0.252 + o. Do f and a have different values?
True
Let b = -4 - -2. Let z = -2.14 + 0.34. Let u = z + 4.8. Is b >= u?
False
L