-4*n - 2*d = 32, n - d - 4*d + 8 = 0. Let g = -7 - n. Is h greater than g?
False
Let o be 3/12*(-16)/(-92)*22. Which is smaller: 2 or o?
o
Let g = -352 - -367. Which is greater: -9 or g?
g
Let s(g) = -g**2 + g**2 - 1 - 3*g**2. Let d be (4/4)/1 + -3. Let n be s(d). Is n at least as big as -12?
False
Let o be -8 + 0 + (-54)/(-6). Which is greater: 36/23 or o?
36/23
Let c = -0.0099 - 0.9901. Is c not equal to -66?
True
Let a = 649 + -250. Which is smaller: 400 or a?
a
Let c(q) = -5*q - 15. Let z be c(-1). Which is smaller: z or -45?
-45
Suppose -4*x + 15 = 5*o + x, -o + 4*x - 2 = 0. Suppose -5*d + r = -68, -2*d + 0*r + 20 = o*r. Which is smaller: 11 or d?
11
Let s be (27/6)/(3/(-28)). Let o be (0 + (-2)/4)*s. Is 20 smaller than o?
True
Suppose -15 = -3*k, 5*s + 3*k - 1060 - 150 = 0. Is 239 at most s?
True
Let d = -2.08 + 429.08. Which is smaller: d or -0.1?
-0.1
Let k = -11.73 - 674.27. Is 2/9 bigger than k?
True
Let a(d) = -3*d - 14. Let x be a(-6). Suppose -5 - 20 = -x*u + o, 5*u + 5*o - 25 = 0. Let j be (-7)/21 + 2/u. Is j <= 3/7?
True
Let y = 3519347/239410 - 2/23941. Let c = -27/2 + y. Which is greater: 2 or c?
2
Let t = 846 - 846. Which is greater: -8/85 or t?
t
Let x = 93411/56 + -1668. Is x greater than 1/4?
False
Let g = -82 + 97. Suppose g = -3*y, f + y - 12 = -y. Is f greater than or equal to 21?
True
Let u(c) = -7*c**3 + 2*c**2 - 3*c + 4. Let d be u(2). Is -50 bigger than d?
False
Let t be -2 + (-276410)/25130 + 13. Do 0 and t have the same value?
False
Suppose 0 = 7*h + 247 + 453. Which is smaller: -99 or h?
h
Suppose 8 + 40 = 4*a. Do a and 2/11 have different values?
True
Let z(y) = y**2 + 15*y + 8. Let x(k) = -k**2 - 16*k - 7. Let r(j) = -5*x(j) - 6*z(j). Let n be r(-9). Is -8/3 at most n?
False
Let r be (-4)/(-6) - (-21)/9. Suppose 8*p + 2*p = -140. Let k be 1161/315 - (-4)/p. Which is bigger: r or k?
k
Let r = 143 - 62. Let x = 79 - r. Which is smaller: x or -11?
-11
Let f = 32.4 + 7.6. Which is smaller: f or -0.3?
-0.3
Let z(y) = -2*y**2 - 2*y. Let w be z(-1). Let t be -3 - 4/25 - -3. Which is bigger: t or w?
w
Let g(h) be the second derivative of h**3/2 - 47*h**2/2 + 25*h. Let v be g(16). Let l = 5 + -9. Which is smaller: l or v?
l
Let i be (2/10)/((-8)/270). Do -8 and i have different values?
True
Let n(a) = a - 3. Let d be n(3). Suppose d = 5*u + 4 - 19. Suppose -5*w = u*g - 37, 0 = 5*g - g - 2*w - 58. Which is smaller: 12 or g?
12
Suppose 54 = -y - 2*y. Suppose -35*s + 243 + 107 = 0. Let c be (-6)/s + y/(-30). Is 3 != c?
True
Suppose -14*u - 144 + 578 = 0. Which is smaller: -1 or u?
-1
Let z be (-28)/322 + (-148)/414. Let n(v) = -v**2 - 4*v - 4. Let o be n(-3). Is z greater than or equal to o?
True
Let f be (-1)/((-15)/(-567)) - 5/25. Which is bigger: f or -39?
f
Let v be (-1545)/765 + -2 + (-33)/(-9). Let r(a) = -a**2 + a - 4. Let f(g) = -g**2 + g - 3. Let k(m) = -5*f(m) + 4*r(m). Let d be k(-1). Is v != d?
True
Let s(i) = -i**2 - 2*i - 1. Let z be s(0). Let b be (-150)/51 + z + 4. Which is greater: 0 or b?
b
Let q(f) = -f**3 - f**2 - f + 1. Let k be q(-2). Suppose 2*m = u + 23, 0 = 2*u - k*u - 3*m - 141. Let b be (3*(-8)/u)/2. Which is bigger: -1 or b?
b
Suppose -2*h = -2*l + 176, 5*l = 9*l - h - 358. Which is bigger: 91 or l?
91
Suppose 2*o + 0 = -8. Let y be (-42)/8 - (-2)/((-16)/6). Let c be (42/(-49))/((-2)/y). Is o greater than c?
False
Let h(o) = -4*o**3 - 2*o - 1. Let f be h(-1). Let m = -9 - -12. Suppose g - 8 = -z - m, f*g - 5 = 5*z. Is 3/2 greater than or equal to g?
False
Suppose -71 = -25*l + 21*l + 3*g, -35 = -2*l + g. Is l at least 40?
False
Let n = -426 + 469. Is n greater than 217/5?
False
Let n be 36/2*(-6)/(36/93). Is -280 < n?
True
Let w be 1 - (-9 - (-455)/28). Do -29 and w have the same value?
False
Let t be ((-4)/16)/(5/20). Let c = 3 + -1. Let h = t - c. Which is smaller: h or -2?
h
Suppose -2*k - 5*a - 153 = 0, 3*a = -k - 45 - 29. Is k at least -814/9?
True
Let v be (-4)/8*11/(-25762)*4. Which is bigger: -1 or v?
v
Let t = 548/1775 - -4/355. Which is bigger: t or -0.06?
t
Let k = -2.09 + 2.5. Let q = k - -22.59. Which is bigger: 0.1 or q?
q
Let k = 175 - 181. Is k smaller than 22/7?
True
Let i = -20/7 - -33/14. Let f = 619 + -611. Is f at least as big as i?
True
Let i = -88146285 - -9696219721/110. Let x = i + -1167. Which is bigger: 1 or x?
1
Let u = 16 - 41. Let x(t) = -3*t - 24. Let l be x(0). Is l greater than u?
True
Let b(a) = -a**3 - a**2 + a + 6. Let o be b(0). Let t be 1/4 + 0 + 24/(-96). Suppose t = -6*m + m + 10, 3*r = 2*m + 17. Is r bigger than o?
True
Let j = 43569/26 + -1677. Which is smaller: j or -1?
j
Let o be (7 + 1232/(-175))/(8/(-30)). Let n be 2/(-3)*6/4. Is o <= n?
False
Suppose -v - 4*v = -45. Suppose -14 = 4*f - v*f - 4*d, 3*d = -2*f + 7. Suppose -4*k + 4*g - 24 = 0, 2*k + 22 = -f*g - g. Is k greater than or equal to -8?
True
Let k = 2051 - 1958. Does k = 99?
False
Let x be 4/14 + 14/(-49). Suppose -g + 2 = -x. Is g at most 16/5?
True
Let f(h) = h**3 - 10*h**2 + 2*h - 20. Let r be f(10). Let s be 76/(-18) - 4/(-18). Let z(k) = k**3 + 3*k**2 - 5*k - 5. Let y be z(s). Is y at most r?
True
Let b be (-11)/(-44)*(-4 + (-944)/(-132)). Which is bigger: b or 2?
2
Let z = -0.26 + -0.74. Let v = -2.318 - -0.018. Let c = -1.4 - v. Are z and c nonequal?
True
Let j(p) = p**2 + 5*p - 5. Let k(f) = -4*f**2 - 15*f + 14. Let q(n) = 7*j(n) + 2*k(n). Let x be q(3). Let o be (x/2)/(34/12). Which is bigger: o or -1?
o
Let r be (-4)/18 + (-448)/9. Let j = r - -47. Suppose 5*i - 7 + 2 = 0. Which is greater: i or j?
i
Suppose 25*o - 23*o + 220 = 0. Is o at least -111?
True
Suppose 0 = 5*m + 3*t + 361, -m = -2*m - t - 71. Let b = 7731 - 7804. Is b at most as big as m?
False
Let r be (-1)/((-1)/3) + (-27)/1. Let p = r - -25. Is -2/9 at least p?
False
Let i(q) = -q - 3. Let z be i(-3). Let b be ((z + 5)/(-20))/(-1). Is -0.5 > b?
False
Let p = 8.755 + -8.655. Suppose 3*u = -0*u + 72. Suppose d - u = 4*d. Which is greater: p or d?
p
Let o be (-1)/(-3 + 2)*-2. Let x be 882/1029*22/(-12). Are o and x unequal?
True
Suppose 2*h - 4 = -4*i, -5*h - 2 = -i - 1. Do 1/311 and h have the same value?
False
Let w = -503 + 495. Is 11 bigger than w?
True
Suppose -3*j - 2*n = 4, j + 5*n + 1 = -2*j. Let d be 6/(-27) + j/72. Which is greater: -1/2 or d?
d
Let k be 1942164/1455 - 1/(-5). Let s = -1335 + k. Which is greater: s or 1?
1
Let a = -234 + 119. Is -118 at least a?
False
Let z be 6/(-120)*5*-356. Is z greater than or equal to 88?
True
Let i be (-6)/(-4) + (-2)/4. Let r = 2550 + -2548.75. Which is smaller: r or i?
i
Suppose 5*f + 47 = -13. Let p = 14 + f. Suppose -p = 5*s - 7. Which is bigger: s or -2?
s
Let j be ((-147)/6)/7 + -28 + 32. Let d = -1 + 1. Is d at least as big as j?
False
Suppose 38*z = a + 36*z + 53, 5*z - 25 = 0. Which is bigger: a or -42?
-42
Let m = 1060 + -1066. Which is greater: m or -0.173?
-0.173
Let y be 68/6 - 2/6. Suppose l - y = -f, 0*f = -2*f - 5*l + 7. Suppose -3*p - 2*q = -57, -39 = -3*p - 7*q + 8*q. Which is smaller: p or f?
p
Suppose 3*d - 6 = -l - 2*l, 2*l = 4*d + 4. Is d at most as big as -4/31?
False
Let f(j) = -3*j - 31. Let i be f(-6). Which is smaller: -11 or i?
i
Let k(n) = 3*n**2 + 34*n - 63. Let v be k(-13). Let t = -64 - -89. Suppose 0*g = -g - 5*j + t, v*j - 36 = -3*g. Is g bigger than 10?
False
Let q = 83/99 - -5/99. Let m = q + -2/3. Are 1 and m non-equal?
True
Let n = 35 + -75. Let c = n + 44. Let a be ((-6)/(-2) - 2)*2. Which is bigger: a or c?
c
Let n = 1 - 3.4. Let r = -1.9 - n. Which is smaller: 3/8 or r?
3/8
Let s = -15 - -26. Let v = s + -16. Is v != 6?
True
Let s be (35/21)/((-3)/135). Let c be 10/(-14)*(-30)/s. Is -1 at least as big as c?
False
Let j = -619 - -821. Which is bigger: j or 204?
204
Suppose 0 = -3*i - 2*c + 5, -i + c = 4*i - 30. Suppose 15 = 5*n, -4*g + i*n + 15 = 162. Which is smaller: -34 or g?
-34
Let v = -30 + 19. Let k(i) = -12*i - 3. Let y be k(-1). Suppose -49*z = -50*z - y. Is z != v?
True
Suppose 0 = 62*f - 68*f. Let x = 3/197 + 265/8471. Is f > x?
False
Let o be (-228)/(-380) + 233/(-405). Which is smaller: o or 0?
0
Let y(w) = -w**2 - 5*w + 3. Let q be y(-5). Suppose q = z - t, 22 = 4*z + 3*t - 11. Suppose z*l = 7*l - 1. Is l > 0?
True
Let p = -10 - 18. Let w be (-1)/(-4) + (-189)/p. Let h(s) = s**2 - 8*s + 8. Let a be h(w). Is 2 grea