 Which is bigger: c or l?
l
Let p be ((-88)/32)/((-15)/132). Let a = p + -493/20. Let b = a + 211/380. Is b <= -1?
False
Let m be -139 - ((-21)/7 - 4). Which is smaller: -134 or m?
-134
Suppose 0 = -4*h - 2*i + 4, -2*i + 0 = 2*h - 4. Is h bigger than 3/602?
False
Let q(d) = d**2 + 6*d + 4. Let p be q(-4). Let z be (-9)/(-57)*p/6. Suppose 2*y = -24 + 24. Which is smaller: z or y?
z
Let c be 22/24 - (-2)/(-3). Let z be 155/156 - 2/3 - 0. Let h = z - c. Do -1 and h have the same value?
False
Let v = 55 - -125. Suppose 14*i + 380 = -v. Is i greater than or equal to -38?
False
Let a be 9*9/162 + (-1)/2. Does 2/91 = a?
False
Let h(z) = z**3 - 15*z**2 + z - 16. Let t be h(15). Which is greater: t or -2/403?
-2/403
Let d be 3/(27/(-12)) - -1. Let j = 26 + -22. Suppose 0 = -7*n + j*n + 3. Which is smaller: n or d?
d
Let s = -1259 + 16356/13. Is -2/5 <= s?
False
Suppose -4*q = 31 + 77. Let p = 34 + q. Suppose -3*g + 1 = 4, p = -5*d - 2*g. Is d >= -5/3?
True
Suppose -80 = 2*q + 4*p + 20, q - 3*p + 75 = 0. Let i = 107 + q. Is 48 >= i?
True
Let n be (-4 - -1)/6*-6. Let h(j) = j**3 - 3*j**2 + 4. Let v be h(n). Let w be 4/16 - 5/v. Is w <= -2?
False
Let d(j) = j**2 + 2*j - 31. Let h be d(-7). Let g be 280/64 + 1/h*-3. Is 4 equal to g?
False
Let z(x) = -x - 8. Let c be z(-6). Which is smaller: c or -10/7?
c
Let p(h) = -h**3 + 7*h**2 - 5*h - 3. Let g = 12 + -7. Let c be p(g). Is c greater than 21?
True
Suppose 6*a - 16 = 11*a - 4*q, -q + 4 = -2*a. Is a >= -1?
True
Suppose 2*h + 4 - 4 = 0. Let p be (2 - -2)*2/18. Which is smaller: p or h?
h
Let w(u) = u + 5. Let z be w(-6). Let d(q) = -q**3 + q**2 - q - 1. Let y be d(z). Let g be (-65)/(-60) + y/3. Is g > 2?
False
Suppose -2*o + 309 = -2*c + o, -o = -c - 157. Which is smaller: c or -159?
c
Let j = 1/919 - -1835/2757. Are -64/5 and j nonequal?
True
Let f = 73 + 7. Let w = f - 58. Let p be 6/3*(-2)/(-16). Is w less than or equal to p?
False
Let q = 2.54 - 2.711. Let v = -0.071 - q. Which is greater: v or 0?
v
Let n be 48/22 + (-16)/88. Let s be 143/(-35) + 4 + n/(-10). Which is greater: s or 9?
9
Let k(p) be the second derivative of p**3/6 + 5*p**2 + 11*p. Let a be k(-9). Let u = 5/4 - 19/12. Is u < a?
True
Suppose x = -2, -k - 16 = -3*k + 2*x. Let h be (-3)/(k/8) - -2. Which is greater: -3 or h?
h
Let d(u) = u**2 + 88*u + 492. Let g be d(-6). Is g at least 3/17?
False
Suppose -8*v + 51 = 43. Which is bigger: 1.5 or v?
1.5
Let f be 4/(-6)*-3*3. Let j = f - -4. Let h(k) = -7*k + 463. Let n be h(65). Which is smaller: j or n?
n
Suppose 44 = -6*x - 28. Let n be 2/(-8) + 69/x. Is -6 at most as big as n?
True
Let z = 124.6 - 127.6. Is -0.17 greater than or equal to z?
True
Let j be (-1850)/(-75)*(-3)/2. Suppose 180 = d - 6*d. Are d and j nonequal?
True
Suppose 2*u + 0*u - 4 = 0. Suppose -3*k + 2*a = -14, u*k + 3*k = -5*a + 40. Suppose -k = -3*b + t, -b + 3*b - 2*t = 0. Which is smaller: 4 or b?
b
Suppose 0 = 1341*u - 1326*u + 1230. Suppose c + 81 = -0*c. Which is bigger: c or u?
c
Let o = -2/24913 - -250272/14225323. Which is bigger: o or 0?
o
Let n(q) = q**2 + 11*q + 3. Let l be n(-11). Suppose l*t + t = 12. Suppose -1 - 5 = t*b. Is -1 at least as big as b?
True
Let j(s) = -s**3 - 9*s**2 - 5*s - 16. Let w be j(-7). Let d = -79 - w. Is d greater than or equal to -2/29?
True
Let q = -3.1 + 6.9. Let n = q - 0. Which is smaller: n or 1?
1
Let i = 1 - 1.046. Let o = 12655/3 + -4218. Which is smaller: i or o?
i
Suppose -5 = 3*m - 212. Which is bigger: m or 1?
m
Let b be ((-47)/94)/(2/(-236)). Does b = 47?
False
Let c = -18 - -12. Let f be 112/(-24) + (-4)/c. Which is smaller: f or -7/2?
f
Let n = 58 - -59. Let u be -4*(1 - 0 - n/52). Let x(b) = b**2 - b - 3. Let j be x(3). Is j less than u?
True
Let b be (-8)/(-2)*(-147)/(-196)*1/(-3). Let s be (121/62 - 1) + -1. Which is bigger: b or s?
s
Let n be (0 + 28/(-5))/((-6)/(-30)). Let z = -26 - n. Which is smaller: 3 or z?
z
Let c(a) = -5*a**2 + 4*a - 15. Let y be c(3). Is y <= -47?
True
Let t(n) = 2*n**2. Let u be t(-1). Let v be 15/20 - (5/(-12))/(-5). Is u at least v?
True
Suppose 20 = -0*n + 5*n. Suppose -4*p = -4*y + p + 36, -3*p - 28 = -n*y. Suppose 5*m - m = -5*a - 15, 3*a + 2*m + 7 = 0. Which is greater: a or y?
y
Let d = 321219 - 34049681/106. Let o = d - 5/53. Are -6 and o nonequal?
True
Let b be (5/(-40) + -4 + (-33)/(-8))/(-2). Let x = 4/7 + -33/70. Is x less than or equal to b?
False
Let u = 79 - 202.2. Let b = u - -123. Is b smaller than -5?
False
Suppose -6*y = -3*y + 354. Let h = -117 - y. Which is bigger: 2/119 or h?
h
Let d be ((-10)/(-8) - -1)/(55/3300). Is d less than 135?
False
Suppose 339 = 3*j - 360. Let w = j - 689/3. Which is bigger: 4 or w?
4
Let r = 63 + -66. Let h be 15/3 - r/(3/(-2)). Let q(l) = -l + 2. Let b be q(-2). Which is bigger: b or h?
b
Let x(h) = 4*h**2 - 11*h - 4. Let y be x(3). Is 1/1303 greater than or equal to y?
True
Let o = -227 + 228.19. Let w = 1.29 - o. Is w less than or equal to -24?
False
Let a = -659 - -681. Which is smaller: a or 159/7?
a
Let c be 920/27 + (-50)/675. Which is smaller: 30 or c?
30
Let w be -3 + ((-18)/(-45))/((-2)/10). Let q be (-8)/6 + w/(-15). Which is smaller: q or -3/35?
q
Let t = -5/14 + 50/91. Which is greater: -1 or t?
t
Let r = 56 - 28. Let y = -18 + r. Is y > 1?
True
Let x(j) = -31*j - 8. Let t be x(8). Let o = t - -1776/7. Let h = o + 55/21. Does 1 = h?
False
Let d = -254.9 + 255. Is d not equal to 6.67?
True
Let c = -2445 + 2452. Let p(r) = -3*r**2 - 5*r + 3*r**2 - 10 + r**2. Let q be p(c). Is q bigger than 19/4?
False
Suppose -6*j = -185 + 197. Is -220 less than or equal to j?
True
Let m be (39/(-208))/((-6)/1352). Is m at least as big as 43?
False
Let w be (-3)/4 + 4011/84. Let o = w - 83/2. Which is bigger: o or 6?
6
Suppose -w + 2*g - 21 = -0*g, -g = -w - 17. Let d(o) = -o**2 + 15*o**2 + 10*o + 4*o + 17 + o**3. Let j be d(w). Is 5 less than j?
False
Let a = 9 + -24. Let n = a + 13. Which is bigger: 1/3 or n?
1/3
Let c = 215/2 + -110. Let x = -12 + 10. Which is smaller: x or c?
c
Suppose 5*t - 2*t - 2*u = 14, 0 = -2*t - u. Let k be (-3)/t*-1*14/3. Is k at least 10?
False
Let f = 3418438253/9907320 + -2/412805. Let g = f + -345. Do g and 1 have different values?
True
Suppose 10 = j - 8. Suppose -y + 3*b - 3 - 12 = 0, -y + 5*b = 19. Let m be (-38)/(-28) + y/j. Are 1 and m equal?
False
Let n(i) be the second derivative of -i**5/20 + i**4/3 - 7*i**3/6 + 5*i**2/2 - i. Let q be n(2). Let j be (1 + -1)/(-1 - 1). Is q at least j?
False
Suppose -3*v - 3*g + 27 = 0, 2 = 3*v - g - 5. Let u be ((-3)/1)/((18/v)/(-1)). Which is greater: -1 or u?
u
Let t(c) = c**3 - 6*c**2 + 3*c + 14. Let z be t(2). Which is greater: -39 or z?
z
Suppose 649 - 79 = 6*m. Which is greater: 93 or m?
m
Let i be 1 + 3/(18/78). Suppose -5*g + 27 = 4*h - 3*h, -27 = -2*h - g. Which is bigger: i or h?
i
Let o = -9 - 23. Let z = -35 - o. Which is greater: 0 or z?
0
Suppose 6*b + 10*b - 4*b = 0. Which is bigger: -4/61 or b?
b
Suppose -2*k = 3*h - 184, 44*h = 41*h - k + 188. Which is bigger: h or 509/8?
h
Let b(j) = -3*j - 9*j**3 - 4*j + 6*j + j**2. Let n be b(1). Let y be ((-15)/4)/((-15)/(-40)). Does y = n?
False
Let m = 1/6076 + 1032917/18228. Suppose 0 = -7*d + 5*d + 110. Let z = m - d. Which is smaller: 1 or z?
1
Let i(g) = -g**2 + 16*g - 18. Let y be i(14). Let l be (2/(-278))/(-4 + 45/y). Which is smaller: 0 or l?
l
Let w(x) = -x**2 - 4*x + 1. Let n = 8 - 11. Let f be w(n). Suppose 0*r + 6 = 2*r. Is f at least r?
True
Suppose 53 = -m + 7. Which is smaller: -45 or m?
m
Suppose 0 = -4*f - 6 + 26. Suppose 6*d + f*o = d, 2*o + 24 = 4*d. Let h = -5 - -8. Is h < d?
True
Let z be (-9 + 13 + 26/(-6))*0. Is z at least 9/206?
False
Let n(f) = -f**2 - 6*f - 6. Let c be n(-5). Suppose -4*h - s + 0*s + 12 = 0, -3 = -h - 5*s. Let p be (h/(-36))/((-12)/(-16)). Is c bigger than p?
False
Let d(y) = -23*y + 59*y - 24*y - 3 - 15*y. Let z be d(4). Is z >= -15?
True
Let l(q) = q**3 + q**2 + 2*q - 104. Let a be l(0). Let y = a - -1455/14. Suppose -5*u = 3*v + 23, 2*v - v - 7 = 2*u. Which is bigger: y or v?
y
Let k = 0.0145 + -0.1145. Which is smaller: -346 or k?
-346
Let g(z) be the third derivative of z**4/12 - 2*z**3/3 - 7*z**2. Let d be g(2). Suppose -4*y = -7*y. Is d bigger than y?
False
Let l be 27/12 + 3/(-12). Let t(y) = 3*y**2 - 2*y + 2. Let x