= 15*y**3 - 6*y + 11*y**2 - 5*y - 14*y**3 + 12. Let z be w(-12). Is 1/3 less than z?
False
Suppose -2*h = 17 - 35. Let m(c) = -c**3 + 10*c**2 - 7*c - 20. Let d be m(h). Which is greater: -5/7 or d?
-5/7
Let l be 0/(13/(-39) - 4/6). Let a = 5.07 + -0.07. Is l at least as big as a?
False
Let d(j) = -j + 0*j - j**2 + 2*j**2 + 32 - 15*j. Let z be d(14). Which is greater: 16/3 or z?
16/3
Suppose 599 = -5*z + 2*h, 3 = -2*h - 3. Which is bigger: z or -1?
-1
Suppose 4*m = -4, 4*m - m + 31 = 4*a. Suppose -6*c = -a*c + 15. Let j be 5/c + (-26)/60. Which is smaller: 0 or j?
j
Let v = -26.24 - -26. Let c = -0.34 - v. Is c bigger than 14?
False
Let t = 23 - 12. Suppose -t*j + 7*j = 8. Which is greater: 7/5 or j?
7/5
Let k(q) = q - 5. Let y be k(9). Suppose 5*u - 6 = y. Suppose -l - l = -u. Which is greater: -2/7 or l?
l
Let z = 0.824 + 0.276. Which is greater: z or -1?
z
Let t = 11 + 18. Are t and 55/2 unequal?
True
Let b = -4 + 64. Let v be 18/(-45) + (-22)/b. Let x = v + -1/30. Is 0 at most x?
False
Suppose -129 = 5*o - 1034. Which is greater: 180 or o?
o
Let m(p) = -p**3 + 7*p**2 - 5*p - 2. Let s be m(6). Suppose -s*o - 20 = -4*v, -o = -4*v - 1 + 3. Does o = -6?
True
Let o be (-2 + 1)*-4 + 1*-3. Let l be 29/2 - o*(-3)/(-6). Which is smaller: l or 64/5?
64/5
Let t = 114 + -115. Is t at least 4/3?
False
Let w = 0.9 + -1. Let h be (-2)/14 + 506/161. Let z be h + (282/153)/((-2)/3). Which is bigger: w or z?
z
Let v = -52 - -65. Suppose 4*c = d + v, d + 0 + 16 = 5*c. Is -2/39 not equal to d?
True
Let w be (2 - -8851)/(21076 + (-6 - -1)). Let a = -1/1109 - w. Is 1 >= a?
True
Let n = 2.2 + -3.4. Let j = 0.12 + -0.32. Let o = j - n. Is o at most 1?
True
Let d = -10 - -3. Let y(w) = -4*w - 21. Let v be y(-4). Which is smaller: v or d?
d
Suppose -4*m + 17 = 17. Suppose -3*h + 96 = -4*j + 28, -4*h - 2*j + 98 = m. Is h at least 24?
True
Let p(w) = 3*w**3 + 24*w**2 - 2*w + 6. Let v be p(-8). Let m = -7 + 6.8. Let k = m - -1.2. Is k bigger than v?
False
Let q be (-8)/(-12)*3 + 7 + 0. Suppose -q*l + 6 = -3*l. Is l equal to 8?
False
Let h be 18/(-6) - (-671)/33. Do 0.2 and h have different values?
True
Let h be (-85)/30*(-627)/(-22). Is -82 at least as big as h?
False
Let i be ((3 + 1)*1)/(16/(-184)). Which is smaller: i or -60?
-60
Let m = 587 - 580. Suppose j - 5*w - 19 = -2*j, j - 9 = -w. Suppose j = z - m. Is 14 greater than or equal to z?
False
Let c(l) = l**3 + 11*l**2 + 16*l - 9. Let u be c(-11). Which is smaller: u or -184?
u
Suppose -22 = 3*b + 5*x + 168, -2*b = x + 115. Let p be (-33)/b - 34/40. Suppose 0 = -4*s - 1 - 3. Is p less than or equal to s?
False
Suppose 6*r + 24 = 12*r. Let i be -3 + (52 - (-2 + r + 0)). Is i at most as big as 47?
True
Let d = 749 + 204. Which is smaller: d or 0?
0
Suppose -3*j = 3*j - 24. Let c be 382/12 - j/(-24). Is c < 33?
True
Let j = 15.76 - -0.24. Let x = 3691 + -3691. Do x and j have the same value?
False
Let z = -0.993 + 1.093. Which is smaller: -497 or z?
-497
Suppose 28*d = -12*d - 360. Is -79/8 smaller than d?
True
Let u = -1/33 - -35/66. Let v be 1*((-95)/(-15) + -7). Which is greater: u or v?
u
Let g(l) = -l**2 - 8*l - 4. Let m be g(-7). Suppose -70 + 22 = -m*u. Let c be u/28 + (-8)/14. Is 0 greater than or equal to c?
True
Suppose 0 = v + 5*n - 28, 2*v + 5*n - 45 = -14. Which is smaller: v or 5?
v
Let b = -626351/71 + 8822. Do b and -1 have the same value?
False
Let x = 348 + -348. Which is greater: -1/186 or x?
x
Let x = -552 + 531. Which is greater: -23 or x?
x
Suppose 3*t - 49 = 4*y, t - 3*y - 22 = 1. Which is smaller: -4/5 or t?
-4/5
Suppose 2*y - 6*c = -2*c - 22, c = 2*y + 7. Is y greater than -336?
True
Let u = -44.3 - 4.7. Let m = u - -35. Let w = m + 1. Is w >= 0.2?
False
Let r = -1.12 - -1.2. Let f = r - 0.88. Let j = f + 4.8. Is j at most as big as 0?
False
Let p = 5581/133 - 648/19. Is 9 not equal to p?
True
Let m(q) be the first derivative of -q**3/3 + 2*q**2 - 5*q + 1. Let u be m(2). Which is greater: u or 4/21?
4/21
Let q = -42 - -46. Let n = 13/12359 - 148654143/86513. Let b = 1722 + n. Which is greater: q or b?
q
Let c be -562*4/32 + (-4)/(-16). Let p be 279/c - (3 + (-15 - -8)). Which is smaller: p or 0?
0
Let b be -1*4 - (11 + -1). Let q be 4 + 2 + b + -3. Is -10 not equal to q?
True
Let n = -498 - -500. Is 95 at most n?
False
Let h(g) = 2*g**2 + g - 4. Let s be h(-4). Suppose q + 0*q = -5*n + 29, -4*n = 4*q - 36. Let t be (-3)/(-2)*q/s. Is t > 1?
False
Let a(w) = 5*w**3 - 2*w**2 + 1. Let d be a(1). Suppose -5*t + 20 = 5*z, 0 = 4*z - d*t - 5 - 19. Let r be 6/(-30) - 19/z. Which is greater: r or -3?
-3
Suppose 11*z - 352 = 3*z. Let i = -44 + z. Is i != -34?
True
Let b be 166/4 + (-3)/6. Let k = 49 - b. Is k at most 9?
True
Let t = 7 + -5. Let m be t/4*-6 + 4. Let i be 14*(m - 10/4). Which is smaller: -20 or i?
i
Let h be (-45)/135 - (-1)/3. Which is bigger: h or 1/751?
1/751
Let m = -182.9818 - 0.0182. Which is greater: 1 or m?
1
Let k(c) = -c + 16. Let s(g) = -15. Let l(j) = 5*k(j) + 6*s(j). Let m be l(8). Let b be (-40)/m + 34/(-55). Which is smaller: 0 or b?
0
Suppose v + 10 = 3*y + 2*v, -2*y = 2*v - 8. Suppose 4*u - y*h = 22, 2*u - u = 2*h + 8. Let q = -104 - -649/6. Does q = u?
False
Suppose -l + 5*l + 42 = 2*m, m - l = 20. Let g = m - 16. Let b be 1/g - (-8)/(-12). Which is smaller: b or 0?
b
Let z be 3 + -1 + 2*25. Suppose -5*f + 2*f + 5*b = -39, 5*f = 4*b + z. Suppose -38*d + 152 + 114 = 0. Which is smaller: d or f?
d
Let n(c) = 3*c**3 + 3*c**2 + 6*c + 4. Let i be n(-2). Is -19 smaller than i?
False
Suppose -8*x + 5*x = -3. Which is bigger: -6/25 or x?
x
Suppose -h + 4*w + 6 = 2*w, h + 4*w = 0. Let y be (225/(-50))/((-2)/h). Let n = 0.3 + -1.3. Which is bigger: n or y?
y
Suppose -l - 15 = -6*l. Suppose l*y - 53 = -17. Suppose 4*o - o = j + 10, 0 = 3*j - 3*o + y. Which is smaller: -5/4 or j?
-5/4
Suppose 0 = -73*y + 93*y - 660. Is 33 less than y?
False
Suppose 0 = 2*j - 3*h - 19, j - 4*h + 26 = 2*j. Let k be 2/(-2)*j/35. Which is bigger: k or 2/35?
2/35
Let v(n) = -3*n**3 - 35*n**2 + 26*n + 32. Let l(p) = 2*p**3 + 18*p**2 - 13*p - 16. Let h(g) = -5*l(g) - 3*v(g). Let b be h(14). Let y = 3063/11 - 279. Is b > y?
False
Let t(r) = r + 4. Let a be t(6). Let s = -679 - -685. Suppose -b + a = 4*n, -5*b - 3*n - s = -2*b. Do b and -6 have the same value?
True
Suppose s + 16 = -3*s. Let r be (-15)/10*(-4 + s/(-2)). Suppose 0 = 5*d - 2*d - 12. Which is bigger: r or d?
d
Let s = 630192/13 + -16077239/325. Let l = 992 + s. Which is greater: -2/5 or l?
l
Let x be (9/9)/(0 - -1). Suppose -x = 3*o + 53. Let y be (8/o)/((-1)/(-4)). Which is smaller: -1 or y?
y
Let i(o) = 2*o**2 - 31. Let y be i(4). Which is greater: y or -10/49?
y
Let g = 19 + -17. Suppose -2*i = -2*x - g - 0, -5*i + 23 = 4*x. Suppose -4*n + 3*a + 19 = 0, n - x*a + 1 = 12. Is n smaller than 4/3?
True
Let g(t) = t**3 - 14*t**2 + 13*t + 4. Let d be g(13). Suppose 100 = -d*j + 8*j. Is j at least 24?
True
Let u(l) = -2*l**3 + 18*l**2 - 13*l - 24. Let v be u(8). Which is bigger: v or -2/99?
v
Let s = -7 - -33. Let a = s - 37. Let o = 9.3 + a. Which is smaller: o or -2/7?
o
Let x = -0.6 + 1. Let w = 527.9 - 528. Is w at most as big as x?
True
Suppose 6*q - 19 = 4*q + 3*b, b = 3*q - 11. Is 17/7 greater than q?
True
Let l = 0.8 + 6.2. Let b = -8 + l. Let y = 192 - 189. Is y greater than or equal to b?
True
Suppose 2*s - 29 = -5*m, 0*m + m = 2*s - 47. Let d be ((-2)/(-8))/(23 - s). Is 5 > d?
True
Suppose -4*m = 2*n - 8, 5*n - 8*n = 5*m - 8. Suppose -5*v = 3*r - 24, -m*r = r - 5*v. Suppose -25 = -3*u - 2*u. Is r at most u?
True
Let s(r) = r**3 - 6*r**2 - 8*r + 4. Let w be s(7). Let n be 2/9 + (-4 - 4/(-36)). Which is greater: w or n?
w
Let z = 1867535347/555912 - 2501308/1103. Let j = z - 13099/12. Let n = -1/8 + j. Which is smaller: n or -1?
-1
Let r be 30/40 + (-1)/(-4). Let a = -652 - -22817/35. Is r at most a?
False
Suppose 0 = 17*i - 12*i - 15. Suppose -47 = i*u - 2. Let t be (-63)/u + (-16)/(-20). Is t at most 7?
True
Suppose -21*f = -30*f + 81. Is 86/11 <= f?
True
Let d be (459/18)/(56/(-80)). Which is greater: -37 or d?
d
Let o(q) = 8*q**2 + 7*q + 19. Let b be o(-8). Let t be (19/b)/((-2)/(-4)). Which is smaller: t or -1?
-1
Let w(i) = -24*i - 54. Let h be w(-2). Suppose d + 0*d - 4*q = -1, 4*d - 4*q + 4 = 0. Let f be (d - -2) + 1 + -7. Is