 - 12 - 4 = 5*z. Which is smaller: -13/4 or z?
z
Let j = 0.5857 + -42.5857. Which is bigger: j or -1/104?
-1/104
Let x be (717/(-464))/(11 - 45/4). Let l = -25/4 + x. Is -1 at least as big as l?
False
Let g = 4.31405 + -0.05405. Which is smaller: g or 1/3?
1/3
Let v = 35 + -35.2. Let p be (-9*1)/((-1827)/(-174)). Is v > p?
True
Let k = 1648 - 1647. Which is smaller: 1/2844 or k?
1/2844
Let c be 103/(988/(-48)*3) - 30/(-18). Is -1 at least c?
False
Let s(b) = 17*b**2 - 1. Let g be s(1). Suppose -4*t - 34 = -5*j - 124, -3*t - 3*j + 27 = 0. Which is greater: t or g?
g
Let k be (6/(-10))/(8/(-40)). Suppose 10 = t + k*l, 0*t - 4*l + 17 = 5*t. Let i be (-12)/72 + t/516*134. Is i at least as big as -1?
True
Let v = 30 - 30. Suppose v = -2*d - 3*z - 0*z + 14, -2*d + 18 = 4*z. Which is greater: -3/38 or d?
d
Suppose -2752*d + 2749*d + 26578 = -s, -17679 = -2*d - 5*s. Is 8858 < d?
False
Let n = 11452/3 - 3757. Suppose -4*h - 59 = -5*h. Is n != h?
True
Let c = -51 + 157. Let r = -48.847 + 49.047. Which is bigger: c or r?
c
Let y be -6 + 2 - 48/(-5 + -1). Let d be 576/(-3410) + (y - 378/99). Which is greater: d or 1?
1
Let p(o) = -o**3 + 9*o**2 - 12*o + 22. Let j be p(8). Let v be ((-74)/4)/(5/j). Is v at least as big as 38?
False
Let q = -1956/124877 + 2/827. Let k = -280 - -411. Let r = -130 + k. Is r greater than or equal to q?
True
Let f(n) = 32*n + 36. Let r(g) = 8*g + 9. Let m(i) = 2*f(i) - 9*r(i). Let z be m(-2). Suppose -z*k = -6*k - 24. Are k and 27 equal?
False
Let r be -11 + 3 + -1 + 14 - (-1485)/(-351). Let h = 0 + 1. Let o = -1 + h. Is r smaller than o?
False
Suppose -6*k - 14 = -10*k + 2*p, -5*k - p + 7 = 0. Let u = -35125 - -1475135/42. Let n = -1/14 - u. Is n bigger than k?
True
Let w be 3/(-6) - (-9 + 9). Let x = -2.561 + 0.061. Which is bigger: w or x?
w
Let r(n) = n**3 + 18*n**2 + n + 19. Let b be r(-18). Suppose -5*o - 5 = -2*s - 0*o, s + b = -o. Is -1/10 smaller than s?
True
Let q = 6771 - 6461. Is q < 310?
False
Let u = 417.84 - 167.84. Which is greater: u or -7/11?
u
Suppose v + 18480 = -59*v - 24*v. Is -217 less than or equal to v?
False
Let s(w) = 28*w - 154. Let y be s(6). Suppose 0 = 17*v - y*v + 12. Is v bigger than -6?
True
Suppose -88*k + 4 = -79*k - 14. Is 16.5 bigger than k?
True
Let i = -18035 + 18034. Let y = 173 + -187.1. Which is greater: i or y?
i
Let i(z) = -z + 118. Let h be i(-27). Let v = -103 + h. Which is bigger: v or 43?
43
Let y(t) = -35*t + 40. Let q be y(2). Let r be (-82)/(-615) - 596/q. Which is smaller: r or 19?
19
Let l(o) = -65*o**3 + 6*o**2 - 42*o - 9. Let f be l(7). Are f and -22304 unequal?
False
Let h = 214 + -341. Let d = 214 + h. Is 86 at least as big as d?
False
Let g = 576 + -126. Let b be (-46)/(-69)*(g/3 + 0). Is 100 equal to b?
True
Suppose -9*j + 1615 = -10*j + 2*n, -5*j - 4*n = 8061. Let b = j + 1610. Let z be (3 + 1)*(-5)/(-4). Is z > b?
True
Let t be (-804)/(-9)*(-132)/(-8096). Which is smaller: 2 or t?
t
Let f(g) = 4*g + 51. Let l be -19 - -3 - 1/(-1). Let k be f(l). Let r be k/((-1242)/(-4))*(2 - -1). Which is smaller: r or 1/2?
r
Suppose 0 = -8*h + 108 + 92. Let z be ((-145)/h + 6)*65. Which is bigger: 12 or z?
z
Let r = 5.49 - 6.11. Let k = r - 7.38. Let h = 0.1 - 0.1. Which is greater: k or h?
h
Suppose -3*w + 8 + 16 = 0. Suppose -w*c + c - 42 = 0. Are -19 and c equal?
False
Suppose -a - 4*r - 5 = r, 4*a + 4 = -4*r. Suppose -3*y + 5*l = a, -3*l = y - 2*y. Is y greater than 0.11?
False
Let n(m) = 3 + 155*m**2 + m + 160*m**2 - 341*m**2. Let b be n(-2). Let o = -221/2 - b. Is o greater than or equal to 0?
False
Let z = 7248 - 7256. Let q = -360/37 + 300/259. Which is greater: q or z?
z
Let r = -2024 + 5141. Is r less than or equal to 3117?
True
Let p be ((-4)/48)/(81/24*1). Let a = -87.6 - -77.6. Which is smaller: a or p?
a
Let i be (-2 - (1 + -1969))*(-8 - -7). Let d = i - -182836/93. Is 1 >= d?
True
Let p = -4578 + 4653. Which is smaller: p or 91?
p
Let o = 3916/3 + -348461/267. Let n = o - 2037/712. Are n and -4 equal?
False
Let t = 210536 - 210547. Let f = -23 + 9. Is f at most t?
True
Suppose -165*r - 40 + 252 = -283. Suppose 0 = -3*j - 3*z - 1 + 25, -4*j + 4*z = 0. Let t be (-1 - (j - 25))*r/198. Which is greater: -1 or t?
t
Let x be (315/84 - (-3)/(-4))/14. Is -725 < x?
True
Suppose -2 = -5*v - t, -3*v = -3*t - 35 + 41. Is -4/3465 equal to v?
False
Let p be (3/(-1044))/(15/367). Let r be 458/232 + -1 + -1. Let q = p - r. Is q less than 0?
True
Let l = -9.5 - -10. Let j = l - 0.8. Let o = -1.51 - -1.48. Which is smaller: o or j?
j
Suppose 1704 - 729 = 5*z. Which is smaller: z or 236?
z
Let y = -10951 + 10951. Let h be (-6)/(-11)*(-18)/(-36). Is y less than or equal to h?
True
Let q = 25.93 - 25.94. Are 2.56 and q nonequal?
True
Suppose 90 = -2*f - 7*f. Which is greater: f or 35?
35
Let z be 1066/156 - (-2 - (-51)/18). Suppose 1715 - 263 = -z*k. Is -242 greater than k?
False
Let h = -14257/28 + 1151/7. Let z = h - -349. Is z less than 1/3?
False
Let b = -4.10379 - -0.10379. Is b at least as big as -91.5?
True
Let i be 1*(2/(-4))/((-6)/(-60)*-5). Is i greater than 431/5?
False
Let r = 807/28 - 18505/644. Let m = 0.7 - 0.3. Let a = -0.3 + m. Is a at least r?
True
Let x = -507 + 503. Which is greater: 311 or x?
311
Let h(p) = -p**3 + 149*p**2 + 757*p + 1996. Let s be h(154). Which is smaller: s or -752?
-752
Let c be (3/2)/(54/144). Let i = 1432 + -20053/14. Is i at least as big as c?
False
Suppose -4*z + y = -4514, -6*z - 3*y + 7*y = -6766. Is z at least 1129?
True
Let i(p) = 2*p**2 + 564*p + 1126. Let d be i(-2). Is d less than or equal to 564/119?
False
Let v = -249.29 + 179.401. Let q = -70 - v. Let r = q - 0.069. Is r < -1?
False
Suppose -8*k + 2295 = g - 4442, -3*k + g = -2525. Is 841 less than k?
True
Let r = -0.462 + -3.038. Let k = r + 3.3. Which is smaller: k or -67?
-67
Let t be (-3)/(-1) - (1 + -1). Let c(q) = -22*q**3 + 3*q**2 - 11*q - 11. Let r be c(-1). Let f be 7 - r - 1*t. Are f and -22 unequal?
True
Let c(d) = 3*d - 42. Suppose 0 = -l, -5*l - 42 = -9*x + 6*x. Let j be c(x). Let p be (-3)/15*2/(-23). Is p > j?
True
Let a = -10243 + 10244. Which is smaller: 2/9297 or a?
2/9297
Let s = -1511/10 - -151. Let u(o) = 5*o - 3*o + 3 + o - 5*o. Let y be u(2). Is s less than or equal to y?
False
Suppose -9*j + 10*j + 40292 = 29*j. Do 1444 and j have the same value?
False
Let s(l) = -l**3 + 29*l**2 + 94*l + 413. Let u be s(33). Is u at most as big as -841?
True
Let j = 0.1872 - 0.3872. Which is smaller: j or 17.7?
j
Let x be 3 + (0 + -1 - 2). Let p(z) = 7*z + 156. Let g be p(-22). Let i be 255/(-1116) + g/8. Is i >= x?
True
Let f = 27 - 18. Let v(d) = 5*d - 48. Let t be v(10). Let j = t - f. Is j at most -3?
True
Let i be (14/(-6) - -2)/89. Suppose -16*f + 15137 = 15137. Is f bigger than i?
True
Let i = 50 - 56. Let k = -5908 - -76741/13. Is i at most as big as k?
True
Let k be (8/110)/((-2)/(-10)). Let c be ((-3094)/(-136))/(-91) + (0 - (-2)/8). Is k greater than or equal to c?
True
Let i = 43927/6640 - 22/415. Let x = i + -13/2. Do x and 0 have different values?
True
Let b be 0/(-12) + 157/(-2). Which is bigger: b or -78?
-78
Let y(m) = -m + 1. Let a(h) = -6. Let b(n) = 2*a(n) + 6*y(n). Let j be b(-6). Is j less than 30?
False
Let d = 2642.96 - 2643. Which is bigger: 5/3 or d?
5/3
Let i be ((-8)/12)/(3/36)*-2. Let q = -113 + 114. Which is greater: i or q?
i
Let m be (-10)/4*2/60. Suppose -45*h = -77*h. Suppose -43*l + 46*l = -k + 1, -l + 3*k - 3 = h. Is l at most m?
False
Let x = -36712 + 36712.4. Let k = 0.1 + -0.1. Let j = 0.1 - k. Is x <= j?
False
Let g = 63 + -62. Let x be ((-1)/(-82))/((-5)/(-340)). Let p = x - 5284/6273. Is g less than p?
False
Suppose -3 = 2*c - 1. Let a(b) = -5*b**3 - 2*b**2. Let r be a(c). Suppose 88 = -p + r*p. Is 43 < p?
True
Let f be 4 + (-11)/((-11)/266). Let y be (-6)/(-4)*15/(f/(-552)). Which is greater: y or -48?
y
Let k(n) be the first derivative of 1/4*n**4 + 2/3*n**3 + 24*n + 11 + 5*n**2. Let p be k(-5). Is p greater than -101?
False
Let v = 155 - 77. Let m be (-1)/(-3)*v/104. Suppose -72 = 4*g + 4*k, -2*g + 3*g + 21 = 2*k. Which is bigger: m or g?
m
Suppose -80 = 7*z - 52. Let v be (-37)/((-9)/(-3) + z). Are v and 36 unequal?
True
Let g be 1*(1 + 14/(-7))*-775. Do 777 and g have the same value?
False
Let t(u) = 8*u**3 + u**2 + 2*u + 87.