15. Which is smaller: y or 0.5?
y
Let p(o) = 37*o + 223. Let a be p(-6). Are a and 2/1077 nonequal?
True
Let m be (-10)/(29*6/((-24)/(-4))). Is -1 <= m?
True
Let b = 126 + -138. Which is bigger: -1 or b?
-1
Let c be ((-9)/((-261)/(-5636)))/(2/11). Let y = c - -1069. Is y equal to 0?
False
Let c be (1 - 2)*-83*-3. Is 0 not equal to c?
True
Let r(p) = -p**2 + 6*p + 71. Let c be r(21). Is c not equal to -246?
True
Let f = -1124/9 + 125. Let n(t) = -13*t - 10 - 5 + 0 - 13*t**2 + t**3. Let d be n(14). Which is smaller: d or f?
d
Let w = 364 + -481. Which is bigger: w or 1?
1
Suppose 3*q + 13 - 34 = 0. Suppose 24 = -q*p + p. Is p > -4?
False
Let y = -0.075 - -0.375. Is 71 at least y?
True
Let f(l) = 4*l**3 + 2*l + 1. Let v be f(2). Suppose -7*o + 10*o - 9 = 0. Suppose 4*m - 48 = 2*j, -o*m + 0*j + 2*j = -v. Are m and 10 unequal?
True
Suppose 2*p = -4*j + 30, 3*j - 51 + 34 = 4*p. Is j bigger than -11?
True
Let a = -165 + 233. Suppose 2*h + a = -2*h. Is -17 >= h?
True
Let r = -6 + 11. Let o = 6.12 - 0.12. Let x = o + -7. Which is smaller: x or r?
x
Suppose 5*l = -5*n + 50, -3*n + 20 + 0 = l. Let w(o) = o**2 + 8*o + 8. Let j be w(-6). Let p = j - -11. Which is bigger: p or l?
p
Let n = 303.513 + -303.7. Which is bigger: 2 or n?
2
Let h = -12187/23 + 530. Let m(r) = r**2 + 11*r + 11. Let v be m(-10). Is v at least h?
True
Suppose -2*a - 9 = a, b + 4*a = -8. Let d be ((-8)/7)/(b/(-14)). Let l be 2/d*(-26)/(-39). Is l greater than 4/5?
False
Let l be (2 - (-3 - -2)) + -2. Let a = l + 1. Suppose -a*w = -5*w. Which is smaller: w or 3/16?
w
Let d = -0.736 - -44.736. Is d at most 1/15?
False
Let m(s) = -10*s**2 + 5*s. Let p be m(2). Do -30 and p have different values?
False
Let o = -584 + 721. Which is bigger: 136 or o?
o
Let b be ((-2)/6)/(2/(-6)). Let y be (-2)/65*5/7*(-189)/(-648). Is b >= y?
True
Let m be -2 - 1 - (8 - 13). Suppose m*x = -x. Suppose 5*h - 5*c + 20 = x, 4*c - 6 = -h - 0*h. Are h and -2 equal?
True
Let n = -226792/315 + 6470/9. Is n less than 1/2?
True
Let g = -167 - -463. Do 297 and g have the same value?
False
Let n = -523 + 414. Which is smaller: n or -1?
n
Let q = 144.93 + -145. Is 1/2 < q?
False
Suppose 9*q - 8*q + 27 = o, 139 = 5*o - 4*q. Which is greater: -2 or o?
o
Let r = -99 + 85. Let g = 104.2 - 118. Let h = r - g. Are h and 2/7 equal?
False
Suppose -22*h = -18*h - 76. Is 14 < h?
True
Let j be (5 - 2)/(-3)*10. Is -6 at least as big as j?
True
Let d = -21 + 28. Let b(y) = -y**2 + 8*y - 3. Let c be b(d). Let p = 11 - 5. Is c greater than or equal to p?
False
Suppose -2*v + 8*v = -6. Suppose 0 = 5*n - 5*w - 5, 3*n - 7 = -w - 0. Let t = n - 5. Which is smaller: v or t?
t
Let v = -1993 + 1269. Is -725 >= v?
False
Suppose -3*g - 2*g = 2*r - 737, 371 = r + 3*g. Let j = 3197/9 - r. Which is smaller: -1 or j?
-1
Let q be -1 - 3 - (12 - (-2 + 8)). Suppose 0*x = -2*w - 3*x - 26, x = -2. Is q >= w?
True
Let x(b) = b**2 - 58*b + 804. Let i be x(35). Is i not equal to 3/778?
True
Suppose 0 = -4*w + 33 + 27. Suppose 11*y - 8*y + w = 0. Let c = 7 + y. Is c at least 3?
False
Let j = -19 - -18. Let y = 41 - 44. Are y and j unequal?
True
Suppose -14 = -4*r + 2*r. Let y(o) = o - 6. Let p be y(r). Is 2 < p?
False
Let x = -626 - -616.87. Let u = 11.13 + -11. Let o = u + x. Is o >= 1?
False
Let f be (17 + -40)/((-34)/2). Let p = 16/51815 + -11972801/11451115. Let s = p + f. Which is greater: -1 or s?
s
Let y(j) = -j**2 + 14*j - 16. Let m be y(9). Let h(d) = d + 13. Let n be h(17). Is m != n?
True
Let k be (-2 - -2) + 40/(-32). Does k = -2?
False
Suppose 0 = -v - 4*v - 5. Suppose -15*k + 20*k = 25. Suppose 14 = -k*a - 6. Is v at most a?
False
Suppose -193 = 3*c + 8. Let k = c + 73. Which is bigger: k or 44/9?
k
Suppose -5*w + 3*s = -1357, 0*w = -w - 2*s + 261. Which is smaller: 270 or w?
w
Let l = -10805 - -6277707/581. Which is smaller: l or 0?
0
Let o = 52 + -40. Let b = o - 12. Let k = -2.2 + -0.8. Is k != b?
True
Suppose -3*s - 447 = 5*o - 46, -2*s - o - 258 = 0. Is s greater than -125?
False
Let x = 144 - 103. Suppose j - 2*j - 8 = o, 5*j + x = -4*o. Let i be ((-5)/15)/((-3)/j). Are -1/24 and i unequal?
True
Let r(c) = -2*c**3 - c**2 + 2*c. Let d be r(1). Which is smaller: d or -2/343?
d
Let l be 6/(-2292)*(1 + 3). Which is greater: l or 1?
1
Let h(j) = -j - 1. Let v be h(-8). Suppose 4 = -v*g + 3*g. Let f = -2/449 + -427/4939. Which is smaller: g or f?
g
Let k = -25 + -47. Is 0.1 bigger than k?
True
Let l = -0.4 + 0.3. Let u = -135 + 131. Let a be ((-35)/10)/(1 - (-2)/u). Which is smaller: a or l?
a
Let a = -3 + 13. Suppose 31*c = 18*c + 117. Which is smaller: a or c?
c
Let k(r) = r**2 - r - 9. Let d be k(3). Let y(m) be the third derivative of m**5/60 - 5*m**4/12 + 11*m**3/6 + m**2. Let z be y(8). Which is bigger: d or z?
d
Let u(z) = 2*z - 15. Let g = -3 + 2. Let l = 7 - g. Let w be u(l). Is 3/10 bigger than w?
False
Suppose -96 = 2*v - 116. Let b be (-4)/v*9*30/72. Which is smaller: b or -2/11?
b
Let u = 139 - 138. Is u < 11/5?
True
Let k(o) = o**2. Let d be k(1). Let s be 3/(-4)*d - 0. Let y be (-20)/(-15)*7/(-84) - (-5)/45. Which is bigger: y or s?
y
Suppose -8*o + 3*o = -15. Suppose -2*b - 4*p = o*b - 32, 5*b + p - 23 = 0. Is -3 at least as big as b?
False
Suppose 0 = 5*m - 0*m + 15, 5*a = -2*m + 244. Suppose 4*f - 100 = -3*h + 35, f + 4*h - a = 0. Let p be (12/20)/(2/f). Which is greater: p or 2?
p
Let b(v) = -v**3 - 18*v**2 - 13*v + 16. Let l be b(-17). Let j = l - -43. Which is smaller: -8 or j?
j
Let y be (18 - 7) + -6 + -39. Does -34 = y?
True
Let q be 1*1/(2/8). Let r be (6/q)/(2/(-4)). Let k be 2/(-11) + 712/(-440). Is k > r?
True
Suppose 5*f - 4*t - 31 = 0, 10*t = 5*t + 5. Suppose -f*z + 4*n = -3*z - 4, 5*n = 4*z - 2. Let w be -1*4*-1*1. Does z = w?
False
Let p = 64.97 + -64.9. Let m(y) = y**3 - 2*y - 1. Let o be m(2). Let u be (-6)/(-9) - 4/o. Which is smaller: p or u?
u
Let q be (-1 + (-45)/(-36))/((-153)/(-24)). Which is greater: 1 or q?
1
Let l = 185/6 - 59/2. Which is smaller: 2 or l?
l
Let d be 2 + 2 + 6 + -3. Suppose -j + d*j = -j. Is j at least 2/41?
False
Suppose -x + 6 = -p, -65 = -5*x - p - p. Suppose -3*d - 103 = 4*y - x, -5*d - 138 = -y. Is d < -28?
False
Let g = 7088503/562 + -12613. Which is greater: 1 or g?
1
Let l(c) = 4*c**2 + 4*c - 3. Let y(i) = 9*i**2 + 8*i - 5. Let o(z) = -7*l(z) + 3*y(z). Let p be o(0). Which is smaller: 7 or p?
p
Let x = -3641 - -83726/23. Is 0 > x?
True
Let g(a) = -27*a + 52. Let d be g(2). Which is smaller: d or 20.4?
d
Suppose f + f = -2*n + 4, 0 = 2*n - 4*f + 2. Let d = -5.85 + 3.44. Let z = 0.41 + d. Is z greater than n?
False
Suppose 0 = -5*f + a, 2*f = -5*a + 29 - 2. Let j be f/(0 + 4/20). Suppose 40 = j*c - 5*h, -4*c = h + 4*h - 14. Is 5 at least as big as c?
False
Let i be 220/154*(-3 + -4). Is -82 less than i?
True
Let c be 1*-4 + 5*(-1 + 0). Let t be (-1)/6*(-12)/c. Which is bigger: -1 or t?
t
Let r = 203843/88 - 9265/4. Let m = -3/11 + r. Let q(h) = h**3 + 2*h**2 + 3*h + 19. Let f be q(-3). Which is bigger: f or m?
f
Let d(l) = 42*l - 202. Let f be d(7). Are 91 and f nonequal?
True
Suppose -5*f + 2*k = -1 - 4, 3*f - 5*k - 3 = 0. Suppose 300 = 2*y - 132. Let x be y/42 - 25/5. Which is smaller: x or f?
x
Let u(b) = 6*b - 62. Let r be u(10). Let a(c) = c - 1. Let l be a(4). Let m be (3 - 0)/(l/(-3)). Which is bigger: r or m?
r
Let n = 0.073 + -3.953. Let g = n + -0.12. Let u = g - -5. Which is greater: 7 or u?
7
Let d(z) be the third derivative of -z**6/120 - z**5/30 + 5*z**4/24 + 2*z**3/3 - 5*z**2. Let s be d(-5). Is 54 less than or equal to s?
True
Let w = 7 + -6. Let f be (-492)/(-117) + 8/(-2). Let r = f + -191/741. Which is greater: w or r?
w
Let h = -2402 - -1186. Is h at most as big as -1216?
True
Suppose 0 = -0*f + 6*f - 810. Let s = f - 144. Are s and -15 nonequal?
True
Let n(y) = 3*y + 12 - 3*y - y + 0*y. Let w be n(6). Let b be (-4)/(-6)*(-10)/w. Which is smaller: -2 or b?
-2
Let r be 3*1*(-2)/3. Suppose -3*n + 1 = -i - 4, -4*i = -16. Suppose 6*j - 12 = n*j, -5*b - 9 = -j. Which is smaller: r or b?
r
Let g be (-851)/(-60) - 6/(-15). Let t be (3/(-18) - (-1253)/(-168))*2. Let w = g + t. Is w > -1?
True
Let h = -312.8 + 313. Which is bigger: -88 or h?
h
Let d = -2 - -2.1. Let j = 61.03 - 61. Which is smaller: d or j?
j
Let g(a) = a + 4. Let s be g(-8). Let i = -62 + 61.4. 