True
Let p(c) = c. Let j(z) = -8*z - 27. Let l(m) = -j(m) - 6*p(m). Let h be l(-28). Suppose -30 = a - 0. Which is smaller: h or a?
a
Let f be (-1 - (-56)/32)*-4. Let l be f/((-83)/(-21) - (3 + 1)). Is 63 less than l?
False
Let m(v) = 13*v + 3. Let g be m(-4). Suppose 0 = 2*h - 7*d + 11*d + 28, -3*h - 3*d - 39 = 0. Let r be (-56)/h*432/(-42). Which is bigger: r or g?
r
Let d be -26 - (-11 + (2 - -4)). Let o = d + 35. Let c(q) = 13*q**2 - 1. Let h be c(-1). Is h equal to o?
False
Let m = 1.74 - 2.74. Suppose -4*o = -i - 547, 4*i + 4*o + 744 + 1404 = 0. Which is smaller: i or m?
i
Let n(q) = -q**3 - 130*q**2 + 541*q + 406. Let z be n(-134). Which is smaller: z or -2371/9?
z
Suppose -5*q - 3 + 52 = 4*h, -3*q - 4*h = -31. Suppose -15 + 6 = -q*i. Let k be (1 - (-738)/(-750))*i. Which is smaller: 0 or k?
0
Let r = -51 - -51.085. Let i = r - 0.285. Which is smaller: -29 or i?
-29
Let c be 318/(-102) + 3 + (-17031)/(-119). Which is greater: c or 138?
c
Suppose w = -2*w - 270. Let y = -2507 - -2594. Let b = w + y. Is -1 > b?
True
Let m be 0/(3 + -1) - -20. Suppose 17*x - 27 = 15*x + 3*u, 4*x + u = 5. Which is greater: m or x?
m
Suppose 5*h - 6*t = -5*t + 285, 0 = -5*t + 25. Let l = h + -51. Which is greater: l or -0.5?
l
Suppose -167 - 953 = -10*o. Suppose -o*m + 137*m = -50. Which is greater: m or 21?
21
Let r be (-125)/50 + (305/(-2))/(-1). Let y be 6/45 + (-20)/r. Suppose 4*q + 4*x + 4 = x, -x = 0. Are y and q equal?
False
Let c(f) = -2*f + 25. Let j be c(11). Suppose -33 = -5*x + r, 3*x - 21 = 4*r - j*r. Let v = -14 + x. Which is greater: v or -10?
v
Let u be ((-6)/(-8))/((-16)/64). Let d be u/(165/(-10)) - (-196)/(-110). Suppose w - 5*x + 7 = 0, 12 = -5*w + 3*x - 1. Is d equal to w?
False
Let g(f) = 2*f - 5. Let x(l) = 5*l - 11. Let t(n) = -7*g(n) + 3*x(n). Let o be t(5). Suppose o + 49 = 4*q. Is q smaller than 14?
False
Let p = 87650/11 + -263599/33. Suppose s = 5*r - 24, 5*r - 2 = 3*r. Is s less than or equal to p?
False
Let b = -4761 + 5206. Is 5 at most as big as b?
True
Let p = -0.89 - -1.17. Suppose -322*j - 20 = -302*j. Which is smaller: p or j?
j
Let a(g) = 14*g + 25. Let s be a(-8). Suppose n = -2*t - 176, 4*t + 63 = -3*n - 291. Is t greater than or equal to s?
True
Let v be (350/21*-6)/(-1 - 0). Let j = 308 + -1036/5. Is j greater than or equal to v?
True
Let l = 85640/29 - 2953. Is -122 equal to l?
False
Suppose 2*m + 110 = 4*u, 3*u + 2*m = -13 + 92. Suppose 23 = -v + u. Let i be v + -5 + 0 + 0. Is i not equal to -2/81?
True
Let g = -9116 + 9115.9. Which is smaller: g or 2/12399?
g
Let m = 2 - 44. Let s = m + 44. Let b = 2 - s. Is -5 greater than or equal to b?
False
Let o = -21 + 49. Let m be ((-5)/3)/(o/(-42)). Let p = m + -11/4. Which is smaller: p or -17?
-17
Suppose 5*g - 5*p = 10, -2*g - 5*p + 2 = -3*g. Let l be 0 - g - (-2 - -2). Let j be -8 - (14 - (-1859)/(-91)). Is j at least l?
True
Suppose 0 = -3*g + 2*y + 119, 3*y = -5*g + 2*g + 129. Suppose -566 + 812 = 6*o. Is g <= o?
True
Suppose -4*n = -12, 4*n = 3*j + 6*n - 9. Suppose -j = 15*d - 31. Which is smaller: 16 or d?
d
Let z = 41 - 73. Let r = 43 + z. Suppose 3 - 14 = -r*u. Which is smaller: u or 26/15?
u
Let k be (44 - 29)*(-34)/(-10). Is k less than or equal to 4?
False
Let v(c) = -5603 - 5596 - c + 11149. Let w(k) = k - 3. Let n be w(3). Let i be v(n). Which is bigger: -51 or i?
i
Suppose 1200 = -89*v + 93*v - 5*a, 2*a = 4*v - 1224. Is v greater than 310?
False
Let r = -3821 + 3840. Suppose 0 = -d - 13 + 29. Is d at most r?
True
Let h be 8 + -2 + -1 + 3 - 1. Let d = h - 17. Let f = d + 18. Is f greater than or equal to 8?
True
Let y be (11/(143/7020))/(-1). Which is bigger: y or -549?
y
Suppose 5*z - 2*i - 159 - 101 = 0, 5*z + 3*i - 235 = 0. Let p be z/(-4)*(12 - (8 - -2)). Is -19 at least p?
True
Suppose -3*x + 6*x = -30. Let y = 1198 - 1187. Is x < y?
True
Let f = 47885 - 1484433/31. Let b = 0 + 0.1. Is f >= b?
False
Let s(d) = -252*d + 7532. Let o be s(38). Which is smaller: -2048 or o?
-2048
Let b = -1.9 - -2. Suppose 4*r + 103*s - 104*s + 124 = 0, -s = -r - 28. Which is smaller: b or r?
r
Suppose -5*n - 6 = 2*u + 4, -2*u - 10 = 2*n. Let c = 0.0356 - -0.2564. Let d = 0.512 - c. Is n equal to d?
False
Let v(g) = -12*g - 1. Let j(q) = -q**2 + 9*q - 3. Let k be j(9). Let m be v(k). Which is smaller: 37 or m?
m
Let j = 34920 + -34921. Let a be (5/47)/(3 + -2). Is a < j?
False
Let j = -3379.952 - -3381. Is j less than 1/2?
False
Let w = -6 + 6. Suppose -s + 185 = -6*s - 5*l, 5*l = 20. Let n = s - -79. Is n bigger than w?
True
Let s = -341 + 1355. Suppose 3*o + 3*y + y - s = 0, -5*o = -5*y - 1725. Which is greater: o or 343?
343
Suppose 5*d = 3*z + 167, -169 = 3*z - d - 3*d. Let g = -59 - z. Let s be g*(-4 + 33/9). Is s less than or equal to -1/8?
False
Let r be (-1418)/2127 - 3/((-9)/(-130)). Let b be (-2)/(-7) + 1564/(-35). Is b <= r?
True
Let t = -6982.748 - -6982. Which is bigger: t or 0?
0
Let h = 6012679271/539235042 - 38329/3433. Let j = h + 1/3342. Is j not equal to 0?
True
Let r be (82/(-4) + 1)/(45/(-840)). Suppose -r = 13*m + m. Are -3 and m equal?
False
Let k be 154/66 - 128/96. Let d = -1314/13 - -101. Do d and k have the same value?
False
Let a = -3363 + 4833. Which is smaller: a or 1469?
1469
Let w be (39/(-26) - -3)/((-2)/4). Let g be ((-16)/w)/(-8) + 2/(-6). Is g <= -28?
False
Let y = 498 - 738. Let c = y - -255. Suppose 24 = 2*v + 3*d, -2*v = -2*d - 30 - 4. Is c <= v?
True
Suppose 2*g + 735 = -77. Let x = g - -408. Does x = -1/5?
False
Let c = -21 + 23. Suppose 0 = 5*j, 0 = 3*u + u + c*j + 44. Suppose 37 + 51 = -8*y. Are u and y non-equal?
False
Let c(u) = 2*u**2 + 5*u + 7. Let i be c(-6). Suppose 4*b - i = -3*b. Suppose 9*r - 11 - b = 0. Is r smaller than 7?
True
Let p = 113.4 - 92. Let o = 21 - p. Let i = 22.6 - o. Is -1 smaller than i?
True
Let o be 84728/(-714) + 15/9. Suppose 0 = -5*b - 4*u - 588, -u - 122 = b + 2*u. Is o bigger than b?
False
Let t be 156*1*(-3)/6. Let m(u) = u - 2. Let a(s) = -s**2 + 69. Let k(w) = a(w) - 6*m(w). Let j be k(10). Is j at least as big as t?
False
Let t = -14.027 - 0.023. Let x = -14 - t. Let y be (-36)/(-27)*(-4)/(16/(-6)). Which is greater: y or x?
y
Let g be ((-6)/4)/((-3)/6) + (-81)/24. Are g and -33 nonequal?
True
Let v be (84/(-210))/(2/5). Is -172/163 greater than or equal to v?
False
Let a = -14843 - -15263. Which is smaller: 417 or a?
417
Suppose 2*q - 4*g = -10, 176*q - 11 = 179*q - 4*g. Let b = -873 + 6123/7. Is b < q?
False
Let t = 5/525706396 + 104911160898/12801345022397. Let i = -3/1028 + t. Which is smaller: -1 or i?
-1
Let n = 77 - -106. Let r be (-3)/18 - 0 - n/(-18). Is r bigger than 10?
False
Let p(s) = s**3 + 5*s**2 - 12*s - 25. Let k be p(-6). Let b = k - 12. Let t be -1 + (-33)/3 + b + -4. Is t <= -17?
True
Let f be (-3238)/(-40) - 2/(-8). Let r = -82 + f. Let u = -21182 - -21186. Is u < r?
False
Suppose 263873 = 131*w - 39785. Which is bigger: w or 1?
w
Let y be -2 + (0 - -1 - 20). Let d = y + -52. Let p = 623971 + -624042. Which is smaller: d or p?
d
Let a = 4253 + -4252.9999. Which is smaller: 4 or a?
a
Suppose 4*s + 165 = -231. Let w be s/165 + (-533)/(-5). Which is greater: 107 or w?
107
Let z(k) = -k**3 - k**2 + k + 118. Let m be z(0). Let q = m - 4. Let i be 4 + (-687)/q + 2. Which is bigger: i or -1?
i
Let z = 0.01112 - -7.98888. Let v = -5 - -2. Let g = 4 + v. Which is greater: g or z?
z
Let n be 1/1 + 0 - 41/(14695056/358448). Is n <= 1?
True
Let u = -5048 + 4801. Is u smaller than -247?
False
Let p be 5/(-56)*128888/14. Let k = p + 822. Let f = 319/7154 + k. Is f <= 0?
False
Suppose 2*d + o = -5, -d + 1 = -3*o - 7. Let a be d + 2/3*15. Suppose 0 = 12*p + 30 - 150. Are p and a non-equal?
True
Let u be ((-22)/163636)/(6/36). Is 1 at most as big as u?
False
Suppose 4 = -0*o + o - 4*y, -5*y = 4*o + 5. Suppose -11*r + 37114 = -28798. Let h be (-4)/14 + 0 - r/(-392). Which is smaller: o or h?
o
Let n = 304 + -696. Let h = n + 397. Which is smaller: h or -50?
-50
Let r be 15 - ((-17104)/(-816) - 10). Which is smaller: 4 or r?
4
Suppose -716 = 4*j - 4*b - 296, b + 440 = -4*j. Is -160 at most as big as j?
True
Let f be 12/2*2241/54. Suppose -k - 2*o = 72, 0 = -5*k + 2*k + 5*o - f. Is k bigger than -2/7?
False
Suppose 2*c = -c - 444. Suppose -3929 = -4*n - 103*n - 19658. Does c = n?
False
Let