/(-2). Suppose 0*y + 3*y - 15 = -z, -4*y - 5*z + 31 = h. Let b = 527/3 - 173. Which is smaller: b or y?
b
Let m(u) = -u**3 + 2*u**2 - 3*u + 2. Let o(y) = -y**2 - 9*y + 12. Let q be o(-10). Let j be m(q). Let a be ((-1)/j)/(9/(-8)). Is a at least 1?
False
Suppose 6*d = -2*d - 120. Let g be d/(-9)*(-36 + 9). Is g less than -47?
False
Let m = -127/21 + 185/42. Let w = m + -27/7. Let o = 10 + -15. Is w less than o?
True
Let h = -19 + 6. Let d = h + 15. Is d bigger than -2?
True
Let c = -22 - -123. Let q(y) = -y**3 + 5*y**2 + 7*y + 1. Let x be q(5). Suppose c - x = 5*z. Is z smaller than 11?
False
Let n be 0 - (-1 + 0 - 2). Suppose -4*z - z + n*q - 28 = 0, -3*z + 5*q - 4 = 0. Suppose 59*j + 315 = 24*j. Are z and j unequal?
True
Suppose -2*b - b = 0. Suppose -5*a + a + 64 = 0. Suppose -4*f = -b*f + a. Is -4 at most as big as f?
True
Let u(d) = -3*d**2 - 19*d + 1. Let w be u(-9). Which is greater: w or -356/5?
w
Let b be (-6)/15 - 4585/(-11400). Is b at most -1?
False
Suppose 0 = 24*p - 27*p - 5*r - 2, p + 2 = -3*r. Let j be 47/91 + (-4)/14. Which is smaller: p or j?
j
Let q be (-1 + 1)*(1 + 0). Suppose 6*d = -q*d + 96. Let z be 132/8 - (-2)/4. Is d at most z?
True
Let t(w) be the third derivative of -w**5/60 - 3*w**4/8 + 3*w**2. Let s be t(-9). Suppose -4*z - 9 = -2*a - 21, -3 = -3*z. Which is greater: s or a?
s
Let n = 1.86 + -1.93. Which is bigger: n or 2?
2
Suppose 3*q = 5*q - h, q - 3*h = 0. Let x be 4 + q*(-1)/(-4). Which is smaller: x or 5?
x
Let p(k) = -k**3 - 6*k**2 - k - 8. Let w be p(-6). Let b = w - -2. Is b at most -3/11?
False
Let a be ((-5)/(-20))/(14/56). Is a smaller than -0.047?
False
Let x be (-12758)/(-18) + 46/207. Let r = x - 6373/9. Is 2 greater than r?
True
Let s = 410.9 + -395. Let f = 15.86 - s. Is 2 at least f?
True
Let s be (245 + -51)/(7*2). Which is smaller: s or 13?
13
Let h(f) = 3*f**3 - 10*f**2 + 6*f + 35. Let t be h(-4). Is -340 < t?
False
Suppose 64*a = 53*a. Is a smaller than -8/219?
False
Let y be -2 + 1 - -1 - 1. Let m be (3/11)/(6/(-16)). Which is greater: m or y?
m
Let u = 0.013 + -29.013. Let r = u + 28.9. Is -0.1 less than r?
False
Let o be (4*(-36)/5952)/((-13)/(-4)). Which is greater: o or 0?
0
Let h = -138 + 410/3. Let c be (-1)/((22/48)/(-11)). Suppose -5*b - c = 4*t - 0*t, -5*t = b + 9. Is h smaller than t?
True
Suppose 0 = 2*b - 7*b + 15, 0 = 5*u - 3*b + 159. Is -31 at most as big as u?
True
Let q = 0.73 + 0.27. Which is smaller: -989 or q?
-989
Let j be (-1 - (3 + -2)) + -2. Let h be (j + -1)/(2/(-4)). Let g be 28/36 + h/45. Which is smaller: 2/25 or g?
2/25
Let m(r) = r**2 - 3*r + 4*r - 1 - 13*r. Suppose -33 = -3*v + p - 0*p, -p - 9 = -v. Let c be m(v). Is c greater than -2/35?
False
Suppose -3*i + 2 = -i. Let k = -11/229 - -22693/458. Let m = k - 895/18. Which is smaller: i or m?
m
Let d = -7193 - -14661/2. Is 138 less than d?
False
Let h be (-2922)/117*(-3)/(-100). Let o = -10/13 - h. Which is bigger: 0 or o?
0
Suppose 3*z + 1519 = -g - 4*g, -5*z - 2573 = -2*g. Which is smaller: -512 or z?
z
Let u = 5 + -4.9. Is u greater than -188?
True
Let h = 19 + -63. Let r be (2/(h/(-6)))/(-1). Which is greater: r or -1?
r
Let p = -2.729 - 70.771. Which is smaller: -1/2 or p?
p
Let h = -5 + 4.85. Let d = 1.41 + -1.21. Is h less than d?
True
Suppose -2*o = 3*d + 24, 5*o = 5*d - 3*d - 60. Let n = o + 9. Let w be 3 - (-3 + (-16)/n). Which is greater: -3 or w?
w
Let u be 4*-1 + (17 - -7). Let x be ((-4)/u)/((-2)/(-10)). Is 1/4 < x?
False
Suppose 4*n - 36 = -3*o, 4*o + 0*n = n + 29. Suppose 0 = o*t - 12*t + 4. Let q be ((-1 - 8) + 2)*t. Which is greater: q or -8?
q
Suppose 1088 - 468 = 10*b. Suppose 0*t - 252 = -4*t. Which is smaller: t or b?
b
Let c = 0.049 - 52.049. Let f = 0.4 - -0.6. Is f > c?
True
Let t be ((-2)/(-5))/((-3)/(-45)*-1). Let d(k) = k**3 + 5*k**2 - 3*k - 9. Let l be d(t). Is l greater than or equal to 1/4?
False
Suppose 5*b + 0*b = 3*u + 171, -4*b = -5*u - 142. Suppose -29*l - 92 = -b*l. Is l < 24?
True
Suppose 8 - 28 = 20*j. Is j > 2?
False
Let l be (2*-1)/(10/(-25)). Suppose 5*n - 6*n - 32 = 0. Let p = -27 - n. Is p >= l?
True
Let m be ((-3598)/18)/(-1) - 2/(-18). Which is smaller: m or 199?
199
Suppose 0 = b + 5, -9*b + 7*b = 2*j + 24. Which is smaller: -14 or j?
-14
Let f(w) = -5*w - 52. Let o be f(-20). Is o <= 187/4?
False
Suppose -5*q + o - 4 = -8, -5*q + 12 = -3*o. Is -1/1537 at most as big as q?
True
Suppose -388 = 124*t + 108. Suppose v + v + 2 = 0. Which is smaller: v or t?
t
Suppose 6*j - 2 = 4*j. Let n be 10/8 + 0 - j. Is n greater than or equal to -1?
True
Let l = -74 + 118. Suppose -4*u + 2*c = l, -6*c = -c - 10. Let t(i) = i**2 + 7*i - 2. Let x be t(-5). Is x at most as big as u?
True
Suppose 5*z + 3 + 22 = 0. Suppose -23*h + 10 = -5*a - 26*h, 2*a + 2*h + 4 = 0. Is a at least as big as z?
True
Suppose 168 = -5*a + t, -20*a - t - 129 = -16*a. Which is greater: a or 1/3?
1/3
Let i be 45*(-3 - -4 - 32/40). Which is smaller: 137 or i?
i
Suppose 0*n = n + 2. Let r(h) be the third derivative of -h**6/120 - h**5/10 + h**4/12 + 5*h**3/3 - 22*h**2. Let l be r(-6). Is n at least as big as l?
True
Let l = 3025 + -1573. Let j be ((-3)/36*-2)/(36/313248). Let h = j - l. Is -3 at least as big as h?
False
Suppose 0 = 2*r - 186 + 68. Let z = r + -42. Which is bigger: 16 or z?
z
Suppose 0 = 5*y - 10*y. Let i(d) be the third derivative of d**6/120 - d**4/24 + d**3/6 - d**2. Let n be i(1). Which is bigger: y or n?
n
Let f = 0.23 - 0.41. Let r = 0.2 + f. Let b = -16121 - -16120.9. Do b and r have the same value?
False
Let f be -19 + -6 - (-1 + 0). Let r be (12/(-16))/((-63)/f). Is r at most as big as 2/13?
True
Let g(o) = 5*o - 6. Let k be g(2). Let p be (-1)/14*k/(-3). Which is smaller: 1 or p?
p
Suppose 3*n + 2*y = 136, y - 183 = 4*n - 8*n. Let f be 2*-2 - n/(-11). Which is bigger: 0 or f?
f
Let p = 238 + -234. Suppose -2*u + 128 = -0*u. Let w be u/10 - (-4)/(-10). Is w != p?
True
Let a = -35.9 + 41. Let w = a - 5. Which is smaller: -2 or w?
-2
Let o(f) = f - 12. Let b be o(12). Suppose b*p - 5*p = s + 4, -3*p = -5*s + 8. Let a be -1 - (-2)/(-4)*p. Which is greater: -2 or a?
a
Let t(k) = -k - 8. Let j = 11 + -19. Let c be t(j). Suppose -2*s + 6 - 26 = c. Which is smaller: -9 or s?
s
Let l = 456 + -535. Which is bigger: -3/5 or l?
-3/5
Let u = 993 + -961. Is 249/8 at least as big as u?
False
Let v(m) = -m**2 - 3*m - 6. Let z be v(-3). Let y be 15/45*z/(-7). Is y smaller than -2?
False
Suppose 2*w + 57 = 235. Let o = w + -1334/15. Is 0 not equal to o?
True
Let c be (-1 + (1 - 1))/(-1). Is c equal to -24?
False
Let h be (-4)/((-12)/15) - (0 + -1). Suppose -a = -u - 22, 4*u + 9 - 83 = -2*a. Let y be 126/a*h/7. Which is smaller: y or 2?
2
Suppose -t + 6 = -6. Let n be 4 - 1/(t/188). Is -12 greater than or equal to n?
False
Let g be -2*(95 - 5)*2/(-26). Which is smaller: g or -2/5?
-2/5
Let l = -2890 + 132949/46. Which is smaller: l or 0?
0
Suppose 5*n - n - 5*u = 37230, -3*u - 6 = 0. Let i = n - 3154393/339. Let m = i + -236/1695. Is m smaller than 0?
True
Let t be (4*(-2166)/96)/(2/(-8)). Is 362 < t?
False
Let n(u) = -u**3 + 2*u**2 + 2*u + 4. Let i be n(3). Let o(a) = -a + 1. Let f(t) = 8. Let k(d) = i*f(d) - o(d). Let w be k(-8). Which is smaller: w or 15/7?
w
Let k be (-3)/(-12) + 2/(-8). Suppose 5*t = -k*t. Let i(x) = x + 3. Let h be i(t). Is 0 smaller than h?
True
Let i be 63/(-84)*(-96)/26. Which is smaller: -14 or i?
-14
Suppose q = 5*s + 2*q + 967, 0 = s - q + 191. Is s at most as big as -192?
True
Let u(j) = -j**2 - 5*j + 91. Let h be u(7). Are -14 and h unequal?
True
Let p = 0.3 - 0.26. Let k = p - -4.96. Let g = -439.04 - -441.04. Which is smaller: g or k?
g
Let o = 139 + -203. Let r be 5/25*20/o. Which is greater: r or -1?
r
Let l be -8*(14/4)/7. Let c(p) = p + 8. Let u be c(l). Suppose 5*n = 3*x + 19, 2*x + 11 = n + 5*x. Is u less than n?
True
Let t = 135 - 231. Are t and -92 non-equal?
True
Let p be (1/2)/((-20)/40). Let q = p + 7. Let z be q/14 + 12/21. Is 7/4 greater than z?
True
Let r(i) = i**2 - 8*i - 2. Let m(p) = -2*p**2 + 15*p + 3. Let d(y) = -3*m(y) - 5*r(y). Let g be d(2). Which is greater: g or -6?
g
Suppose -27 = -4*l - 3*g, 3*l - g = 7 - 3. Let h be (6 - l) + (-510)/174. Is h <= 0?
False
Suppose -5*c = -w - 6 - 3, 0 = -5*c + 15. Let n be (w + -3)/(6*138/(-8)). Which is small