6 = -0*b. Let d be 1 + b*(-1)/(-1). Is d at most f?
False
Let n = 3788 + -428040/113. Is 0 equal to n?
False
Let i = -147 - -140.9. Let s = i + 6. Which is smaller: s or 2/5?
s
Let r = -715 - -495. Let a be (3/(-20))/(24/r). Which is greater: a or 1?
a
Let p = -18.32 - -15.1. Let u = 0.22 + p. Is u > 0?
False
Let h = -0.15 - 0.75. Let z = h - -0.9. Let d = -0.3 - -0.25. Which is bigger: z or d?
z
Let h = -63 + 82. Suppose -h*q = -18*q + 1. Let x(s) = -s**2 - 4*s - 3. Let c be x(-4). Are q and c equal?
False
Suppose 5*c - 20 = -4*v, -6*v - 2*c = -2*v - 8. Suppose 0 = -3*k - v*k - 66. Let w = 15 + k. Which is smaller: w or -6?
w
Let k = -256 + 270. Which is greater: 12 or k?
k
Let a = 7/1256 + -2383/1779752. Does a = -1?
False
Let s = 623 - 622. Which is smaller: s or 1/32?
1/32
Let m(c) = -4*c**2 + 11*c - 24. Let f(u) = -5*u**2 + 12*u - 24. Let h(r) = -6*f(r) + 7*m(r). Let y be h(4). Is y > 27?
True
Let t(w) = w**2 + 5*w + 5. Let x be t(-4). Is x bigger than -1/36?
True
Let c(n) = -36*n**2 - n**3 - 7 - 14*n + 9*n**2 + 16*n**2. Let j be c(-9). Is -43 greater than or equal to j?
True
Let z = -0.98 - -1.91. Let c = 0.52 - z. Let q = c + 0.11. Is q smaller than -1/4?
True
Let d = 16.93 - 17. Let v = 12.6 + -12.57. Let w = v - d. Does -2/7 = w?
False
Let f = -6 - -4. Suppose -5*o = 5*r + 4 + 41, 15 = -2*r + o. Let h be f/r - (-10)/(-8). Is 2/7 bigger than h?
True
Let o be 5/(-1*(0 + -1)). Let t = o + -6. Let b be 12/3 - (4 - 1). Which is smaller: b or t?
t
Let h = 136 + -135.9. Which is greater: h or 61?
61
Let y(t) = -t + 1. Let x be y(-3). Suppose 9*d + 15 = 4*d. Let z be (d/3)/(x - 5). Is 1 not equal to z?
False
Let a(f) = 66*f**2 - 4*f - 5. Let s be a(-1). Let p = s + -59. Let q = -0.1 - 0. Is q at most as big as p?
True
Let k be ((-47)/(-2914))/(6/(-8)). Which is bigger: -1 or k?
k
Let x = 10 + -20. Let g = x - -6. Let h = 202 + -206. Is g at most as big as h?
True
Suppose -4*y = 4*g + 1544 + 424, 3*y = -5*g - 1482. Which is bigger: y or -488?
-488
Let u be 120/(-82) + (-8 - (-171)/18). Is u at most as big as -1/2?
False
Suppose -16*d = -17*d + 2. Let i be 2/67*(-2)/d. Which is smaller: i or 0?
i
Suppose -5*z - 5 = -2*k, 2*z - 6*k + k = -2. Let t be (-8 - -10)*3/z. Is t greater than -8?
True
Suppose -3*b + 5*v + 71 = 0, 2*b = -2*v - 3*v + 39. Suppose -10 = 4*l - b. Which is smaller: l or 5?
l
Let y be 78/20 + -5 + (-1)/2. Let w = 1 - 5. Let k = w - -3. Which is smaller: k or y?
y
Let s = 3113 - 3116.982. Let t = s - 0.018. Is t at least as big as 0.06?
False
Let v(m) = -3*m + 5*m - m + 1 - 5*m - 2*m**2. Let h be v(-2). Let b be (-1)/4 - 1/(-4). Which is smaller: h or b?
b
Let z be (-2)/6 + (-165)/(-9). Suppose b + z = -5*b. Let q(w) = -3*w + 7. Let i be q(b). Is -0.1 bigger than i?
False
Let t be (-10)/14 - (-6)/(-21). Let u be -1 - ((-4018)/9 + 1). Let a = 444 - u. Is a at most as big as t?
False
Let j = 65 - 61. Let n(x) = x + 12. Let t be n(-11). Which is greater: t or j?
j
Let k(c) = -c**3 - 7*c**2 - 5*c - 7. Let y be k(-7). Is y not equal to 28?
False
Let d(z) = -z**2 - 4*z + 8. Let q be d(4). Let r = q - -23. Is 23 greater than r?
True
Let z = -16.6 + 15. Let i = 2.2 + z. Is 0.3 < i?
True
Let u be (1/138*-5)/((-13)/39). Do u and -1 have the same value?
False
Let v be (64/96)/(1/(-39)). Let w = v - -16. Is w greater than or equal to -5?
False
Let d = 7/4 - 17/12. Let t(z) be the third derivative of -z**6/120 - z**5/15 - z**4/12 + 2*z**3/3 - 3*z**2. Let i be t(-3). Which is smaller: d or i?
d
Let l = -5 - -6. Let r be (l/6)/((-32)/48). Which is bigger: r or -1?
r
Suppose 17*i + 12*i - 58 = 0. Is i at least as big as -39?
True
Suppose 2 = b - 0. Suppose b*n + 13 - 35 = 0. Let t = n - 12. Is t at most as big as -1?
True
Let m(v) = -v**3 + 7*v + 28. Let h be m(0). Which is greater: 138/5 or h?
h
Let f = 34 - 27. Suppose f*l - 11 + 4 = 0. Is l less than or equal to 4/11?
False
Suppose 5*p + o + 0 = -6, 3*p = o - 2. Which is smaller: 14/271 or p?
p
Let g = -1.449 - -1.399. Which is greater: -5/3 or g?
g
Let o = -0.03 + -14.97. Let i = o + 13.4. Let h = i + -7.4. Which is greater: h or 2/7?
2/7
Suppose 36 = 4*b - 4*a, -5*b - 37 = -8*b + 5*a. Let l be (32 - -1)*(-12)/b. Let r be (-30)/l - 20/(-15). Is r greater than 3?
False
Suppose -2*r - 5*l - 100 = 0, l + 4 = 2. Suppose 0 = -24*p - 37 - 107. Let k be (-3 - 0)*p/r. Which is smaller: -2/11 or k?
k
Let u = -9 - -1. Let s(z) be the first derivative of z**4/4 - 3*z**3 + 4*z**2 - 6*z - 3. Let v be s(8). Which is greater: v or u?
v
Suppose 3*g + 2*j + 42 = 7*g, -2*g - 4*j = -6. Let y = g - 5. Let d = 0.99 - 0.89. Is y < d?
False
Let v be 4 + (-14)/7 + 12. Which is greater: 100/7 or v?
100/7
Let y = 3 - -70. Let g = y + -73.08. Which is smaller: g or 0.2?
g
Suppose -5*h + 6 - 1 = 0. Let d(j) = -j**2 + 8*j + 6. Let q be d(5). Let n be q/6 + (-2)/(-4). Is h less than n?
True
Let s = -3/46 - -53/460. Let f be (-1 - -1)*6/(-12). Which is greater: s or f?
s
Suppose 0 = -l - 26 + 14. Let m be l/36 - (0 + -2). Is m less than or equal to 3?
True
Let s be (-265 + -4)*(-3)/(-3). Is s > -269?
False
Suppose -4*d - k - 148 = 649, -d = k + 203. Let c be (-176)/d*6/28. Which is smaller: c or 0?
0
Let i be 2/(-1) + 14/(-12)*-6. Which is bigger: i or 18?
18
Let k be ((-3)/2)/(5/(-7550)*5). Is k at least 454?
False
Let i = 65 - 68. Let q be 58/10 - (2 - (i - -4)). Which is smaller: q or 4?
4
Suppose -2*n = 7*c - 2*c - 25, -c = -5*n + 22. Suppose -36 = -7*h - 8. Suppose -z - h*w = -c*z, z = -5*w. Which is smaller: z or 18?
z
Let z = 145 - 137. Is -1/3 bigger than z?
False
Let a be ((-9)/3)/3*-5. Suppose -a*y - 64 = -7*y. Is 32 smaller than y?
False
Let s(r) = 2*r + 11. Let j be s(-5). Suppose 5 - j = -m. Which is smaller: m or 3?
m
Suppose -535 = 5*b - y, -263 + 828 = -5*b - 5*y. Let d be -3*3*((-345)/b + -3). Do -1 and d have different values?
True
Let h(u) = u**2 + 21*u + 65. Let p be h(-17). Let s = p + 34. Which is bigger: 29 or s?
s
Let q be (-192)/33 + 7 + (-2)/11. Let v be (24/3)/(-3 + q) - -38. Is 35 greater than v?
True
Suppose -5*t + 11 = -4. Suppose 5*p + t*i = -16, 0*i - 4*i = 4*p + 8. Let r(k) = -k**2 - 3*k + 4. Let l be r(p). Is -6 less than or equal to l?
True
Let d = 51/2 - 25. Let v = 300 + -296. Are d and v equal?
False
Let n = 41.9 - 42. Let c = 46304 + -4815541/104. Let o = -7/8 + c. Is o at least n?
False
Let h(j) = j - 8. Let o be h(10). Let w be o - 65/4 - (-6 - -5). Which is bigger: -12 or w?
-12
Let d = -6 - 0. Let q(z) = -z**2 - 8*z - 7. Let k be q(d). Let x be 201*(-2)/(-78) + (-4)/26. Is x < k?
False
Let a = 0 - -4. Let s = -2/2831 - 5652/14155. Which is smaller: a or s?
s
Let n = -10678 - -160073/15. Let u = -979/147 + -1/147. Let f = u - n. Is -1 not equal to f?
True
Let u = 150 - 148. Suppose p + h = -4*h + 2, -3*h - 6 = 0. Do p and u have the same value?
False
Let b = 1157/14007 - 5/203. Let u = 9934 - 9935. Which is smaller: b or u?
u
Let d(s) = s**2 - 12*s + 67. Let p be d(10). Which is smaller: p or 339/7?
p
Let y(k) = -k - 4. Let r be y(0). Suppose -2*p + 17 = p - u, 4*p - 2*u - 26 = 0. Let l be 50/(-18) - p/18*1. Is r <= l?
True
Let x(g) = g**2 + 4*g - 4. Let z be x(-4). Let o be (-2 + 6/4)*z. Suppose o*u = 6*u - 16. Is 2 greater than u?
False
Let z be 3/6 - 2231/5198. Is z at least 1?
False
Let r(y) = -y**3 + 11*y**2 - y + 10. Let d be r(11). Let b be (2 - -3)*(d + 6/10). Let o be 2/(((-42)/(-4))/3). Are o and b nonequal?
True
Suppose -5*d + 3*d = 3*s + 6, 26 = -5*s + 2*d. Let r be (s/(-12))/((-2)/258). Is r bigger than -44?
True
Let c be 7*6/(-5712)*(-2)/(-8). Which is greater: -1 or c?
c
Let o be ((-3)/6)/(1/(-12)). Let c = -35 + 17. Let d be (-4)/3*c/4. Is o not equal to d?
False
Suppose -44*g + 43*g + 38 = 0. Let n(p) = 7*p + 1. Let q be n(6). Suppose 30 = g*d - q*d. Is d greater than -6?
False
Let l be (-8)/36 + (-16300)/36. Which is greater: l or -454?
l
Let j = -50 + -345. Let n = 10273/26 + j. Which is bigger: n or 0?
n
Suppose 4*z + 4*m = 16, 0 = -2*z + 5*m + 4 + 4. Suppose -2*p + z = -3*p. Let x = -3 - p. Does 3 = x?
False
Let z be -7 - -6 - (-702)/(-8). Let a = z + 84. Which is bigger: a or -6?
a
Suppose 8 - 4 = 4*a - 4*y, -6 = 4*a + y. Suppose 9*x - 5 = 4*x. Is a greater than x?
False
Let z be ((24/(-5))/8)/(2/(-410)). Do z and 123 have the same value?
True
Let d(b) 