p - 15 = 0. Let w be (f - -1) + (408/20)/(-6). Is 0 greater than w?
False
Let j = -260/7 - -640/21. Let b = 1110 - 860. Suppose 42*r = -b - 44. Is r bigger than j?
False
Let z = 12062 - 11809. Is 253 > z?
False
Let l(y) = -y**2 - 20*y - 9. Let a be (-9)/15 + 84/(-10). Let r be l(a). Let f be 1/r*-46 + 8/20. Which is smaller: f or -2?
-2
Suppose -5*b + 97 = 4*c, 0 = -8*b + 5*b - 5*c + 66. Suppose b*l - 858 = -16*l. Are 22 and l non-equal?
True
Let j = 2 + -30. Let u be 92/j - (-6)/21. Let o = u + 1. Which is greater: o or -4?
o
Let i = 39888 + -279217/7. Which is bigger: i or 65/7?
65/7
Suppose -2*p - 4*p = 18. Let u = 29 + -31. Let z(r) = r**3 - r + 1. Let g be z(u). Which is greater: p or g?
p
Let q be (-2)/(-5 - 5509/(-1099)). Let z be 1 - ((-10674)/69 + -1). Let g = z + q. Which is bigger: g or 1?
1
Suppose 0 = -m + 427 - 360. Suppose 264 = 5*k - k. Which is smaller: k or m?
k
Let r be (-198)/(-44) + (-25 - -14). Let j = 0 - -0.1. Let m = 0.9 + j. Which is bigger: r or m?
m
Let t = 62.8942 - -0.0058. Let j = t + -61.01. Which is smaller: 0.1 or j?
0.1
Let p(h) = h**3 - 240*h - 203. Let r be p(0). Let g(v) = 202*v. Let f be g(-1). Are r and f equal?
False
Let m = 769 + -169. Let d be 4/m*(5/(-15) + -1). Which is greater: d or 0?
0
Let d = -1130370 + 6796835/6. Is 2435 greater than or equal to d?
False
Let d = 1 - -3. Suppose 6*r = 2*u + 2*r - 52, -4*r - 96 = -d*u. Suppose -15*a - 20 = -10*a, 0 = -3*c - a + 65. Is c greater than or equal to u?
True
Suppose 0 = -j + 4*x - 12, -8*j + 6*j = 4*x. Let r be (-1)/(j/6) + 117/(-130). Which is greater: r or 0?
r
Let m(g) be the second derivative of -4*g**3/3 - 3*g**2/2 + 11*g. Let z be m(4). Let q = z + 34. Is q at least 1/5?
False
Suppose -138 = -5*m + 72. Suppose -d = -3*q + 7, -5*d - 3*q = 29 - 12. Let c be (-10)/d + 243/6. Which is bigger: m or c?
c
Suppose 0 = n + 3*z, 4*n - 4*z - 15 - 1 = 0. Suppose 2 - n = -t. Let w be (-2)/(-6)*3/t. Which is smaller: w or 3?
w
Let g be 69936/30 + (-40)/(-50). Let c be (-16)/4 - (4 + g/(-20)). Which is greater: 108 or c?
c
Suppose 0 = -3*z + 4*f - 1, 6*f = -z + 5*f + 2. Which is smaller: -4/2211 or z?
-4/2211
Let u = 35 + -30. Suppose 0 = -5*h - u*p - 150, -2*h - 58 = -0*h + 4*p. Suppose m + 33 = -b, 0*b = -3*m + 5*b - 91. Is h bigger than m?
True
Suppose 0 = -8*d + 13*d + 30. Let l be 21/d*(-24)/14. Let m be (-3 - -4)/(7/82) - 6. Which is smaller: l or m?
m
Let c = 27216 - 27215.8. Let j = 7 + -6.85. Is j smaller than c?
True
Let f be 1*7/(-35)*-1 + 236/20. Is 470/41 bigger than f?
False
Let w be -12*11/(-1980)*(73 + 3 - 2). Let l be 6*4/4*1. Is l >= w?
True
Let o = 0.5 + 0.5. Let y be 25021/(-14541) - 10/(-6). Is y bigger than o?
False
Let c be ((-1)/3)/(16/240) - (-477)/63. Which is bigger: 7 or c?
7
Let u = -2955 + 1652. Which is smaller: -1304 or u?
-1304
Let g = -11553/5 - -2313. Which is greater: -191 or g?
g
Suppose -22*t - 8 = -26*t. Suppose 5*q + 23 = -t. Let b be (-3 + q/(-3))/((-4)/(-2)). Is -0.7 bigger than b?
False
Let o(l) = l**2 + l - 3. Let u be o(-5). Suppose 17 = -a - 4*d, a - 2*a = -5*d + u. Let i = 103 - 120. Is a < i?
False
Let b be (-1404)/(-84) - -12 - 12. Is 17 <= b?
False
Let p be 3/6 + (-44)/88. Which is bigger: p or -3/59?
p
Let x be ((-1)/15)/(204/144). Let g = x + -393/680. Suppose -v + 2 = -l, 3*l + 1 = -3*v + 7. Is g at least l?
False
Let y be 2846 + 48*(-17)/(-51). Do y and 11451/4 have the same value?
False
Let r = -2114 + 2116. Which is smaller: -121 or r?
-121
Let n be (6/5)/(-3) + 432/180. Suppose n*o = 9*o + 91. Which is greater: o or -17?
o
Let m = 6995 - 6994. Is m <= -11/151?
False
Let s(l) = -7*l**2 + 175*l - 92. Let u be s(22). Is u >= 2?
True
Let r = 228/325 + 63/1300. Let b = -2/63 + -59/126. Which is greater: b or r?
r
Let i(o) = -o**2 + 15*o - 64. Let b be i(14). Let c be 5/(b/(-1235)) - 8/16. Is 123 less than c?
False
Let k(s) = 7*s - 39. Let o(d) = -20*d + 117. Let x(b) = 8*k(b) + 3*o(b). Let f be x(10). Which is greater: -7/5 or f?
f
Suppose 3*q + 397 = 28. Let m = -109 - q. Is m >= -2?
True
Let n = -19 - -22. Let a(p) = 3*p - 8 + 32 - n + 12. Let f be a(-10). Is -0.1 smaller than f?
True
Let f = 143 - 10. Let i = -135 + f. Is 68 <= i?
False
Let b(h) = -15*h - 19. Let i(y) = 4*y + 5. Let p(f) = -2*b(f) - 9*i(f). Let a be p(-9). Suppose -150*z = -261*z + 138*z - 1242. Is a less than z?
False
Suppose -260*h + 239*h = 40740. Does h = -1939?
False
Let v = 365.55 + 5.45. Let s = v + -373. Let i = 0.3 + -0.7. Which is smaller: s or i?
s
Let r = 33101736/3535 + -9364. Is r equal to 0?
False
Suppose -2*v + 2*j = -6, 2*v + 3*j - 363 = -367. Which is smaller: 44/127 or v?
44/127
Let m be (-2)/(-18)*-14137 - 2/9. Let l = -67549/43 - m. Which is bigger: 0 or l?
l
Let k = 4 - 1. Let o = 65440/99 - 5954/9. Is o at least k?
False
Let i = 636/1615 - 1252204/62985. Is i > -18?
False
Suppose -3*f + 730370493 = -572171313. Let t = f + -21324780266428/49115. Let a = 3/517 - t. Which is smaller: 0 or a?
a
Suppose -3*o - 5*i + 1210 = 0, -4*o - 2*i - 7 + 1611 = 0. Which is bigger: 395 or o?
o
Let i = -1.1333 + 0.2333. Do i and 1/14 have the same value?
False
Let j = 8 - 9. Let z = 352 - 354. Let d be 3/8*(z/(-27))/j. Are -1 and d unequal?
True
Let b be 7/(3773/(-2178)) + 4/1. Let o = 25 - 11. Suppose -9*d = -o*d - 5. Which is greater: d or b?
b
Let x be (1 + -1 - 0) + 0. Suppose 3*i + 2*d - 42 + 25 = 0, 5*i - 35 = -5*d. Let n be i/978*4 - (-14 - -14). Is n < x?
False
Suppose -5*p = -2633089 + 941969. Let i be 6/21 - p/(-301). Let o = -1124 + i. Is o at most as big as -1?
False
Let y = -66 - -78. Suppose -3*q + 6*q = y. Let m(g) = -g**2 + 6*g - 9. Let i be m(q). Is -18/11 bigger than i?
False
Let p = 0.381 - 1.381. Suppose 0 = 2*l + 3*c - 413, -5*c + 151 = 3*l - 467. Is l bigger than p?
True
Let j = 267.59 + -232.476. Let i = j - 0.114. Let f be (2 - (2 + -1))/(-3). Is i equal to f?
False
Suppose 3*f + 56 = -x, -7*x = 4*f - 2*x + 93. Let v(l) = -l - 37. Let z be v(f). Let y be 4*((-42)/z)/(18/15). Are y and 7 nonequal?
False
Let f be 4/32*((-1968)/15 + (10 - 6)). Which is bigger: f or -17?
f
Let g = 13.809 + -40.809. Let v = 0.08 + 3.92. Let y = v - g. Which is smaller: y or 0.2?
0.2
Suppose -19 - 20 = -13*d. Suppose -312 = j - 5*c, -j - 449 = -d*c - 129. Do -331 and j have the same value?
False
Let g(p) = p**3 - p**2 + 3*p + 4. Let b = 5 - 5. Let m be g(b). Suppose 0*l = l - 5*i - 1, l - m*i = 0. Is l less than -2?
True
Let a = 295.6 - 249.58. Let f = -92.4 + a. Let s = f + -0.62. Which is greater: -2/3 or s?
-2/3
Let p = -126 + 133. Suppose -11*t + 4*t - p = 0. Which is smaller: t or -11/14?
t
Let v be 5/((-5)/(-2)) - 7. Let o(a) = a**2 + 13*a - 46. Let u be o(-16). Let i be (39/(-18) + u)/(38/1197). Is v smaller than i?
False
Let c = 1182566/1605 + -3684/5. Let t be 1/((-963)/(-20))*(-170568)/(-74175). Let w = c - t. Is 1 at least as big as w?
True
Let s = 52970/55469757 + 4/30163. Let u = 423812257014305/152637 + -2776602377. Let q = s + u. Which is greater: -1 or q?
q
Let h(a) = 2*a**2 + a - 1. Let t be h(1). Let b be -2 + ((-1 - -3) + -4)*t. Suppose 4*q + 7 + 13 = 0. Which is bigger: b or q?
q
Suppose 0 = -o - 3*s - 3, 2*s = 3*o - 2. Suppose -4*t - t - 25 = o. Let u be 1/(-7)*t - 6/14. Is 16 smaller than u?
False
Suppose -109 = -5*r + 4*o, 3*r + 37 = 5*r + 5*o. Let j be (-12)/(r/35*15/(-48)). Which is smaller: 63 or j?
63
Suppose 0 = 2*p + 5*z - 7184, -p = -5*z + 98 - 3660. Is p at most 3579?
False
Suppose 0 = 20*o + 63 + 126 + 1491. Which is greater: o or -413/5?
-413/5
Let y be (-34 + -2)/2 + 0. Let f(n) = 4*n - 32 + 11*n + 3 - 82*n**2 + 79*n**2. Let x be f(4). Is x >= y?
True
Let j be 28287/(-765) - 87/(-493). Let n be (-72)/2 - 0 - 0. Are j and n equal?
False
Let i be (2/(-8) - (-325)/52)*12. Suppose 22*y = i + 412. Is y > 24?
False
Let h = 7.8 + -8. Let f be -4 + (-9 + 18 - 34). Is f greater than h?
False
Let p = 10.85 - 198.95. Let g = 197 + p. Let f = g + -3.9. Which is bigger: f or 1?
f
Let s be (3 + ((-848025)/(-30))/(-5))/((-6)/(-4)). Which is smaller: s or -3768?
-3768
Let s be ((-6132)/(-8) - 7)*(-18 + 16). Is -1520 <= s?
True
Let x(a) = 48*a + 522. Let u be x(-42). Is -2/3 equal to u?
False
Let q be 30 + -32 + 4/(-6)*15*5. Which is smaller: 25 or q?
q
Suppose -2*b + 143*f - 145*f = -11840, -5*b + 29606 = -f. Are