n = -5 + 54. Suppose 0 = n*u - 44*u + 30. Let h be (-20)/45*u + -3. Which is bigger: 13 or h?
13
Let l = 294167 - 1465623/5. Let t = -1038 + l. Is 4 not equal to t?
True
Let f = -0.531 - -0.56. Let w = 5.071 + f. Let x = 7.1 - w. Which is smaller: -7 or x?
-7
Let p = 736 + -90530/123. Suppose 0 = -2*y + 2*g - 6, -y + 0 = 4*g - 2. Let d(v) = v + 3. Let w be d(y). Is p > w?
False
Let k = 10.00366 - 0.00366. Which is bigger: -18 or k?
k
Let w be -1*(-4 + (-846)/(-210)). Suppose t - s = 6*t + 309, -5*s + 315 = -5*t. Let c = 63 + t. Which is smaller: c or w?
w
Let a = 3578711/8 + -446722. Is 617 less than or equal to a?
False
Suppose 0 = -8*c + 3*c + 140. Let w = 62 - c. Let d(i) = -i**2 - 12*i + 3. Let y be d(-8). Is y > w?
True
Let n = -0.066 + 0.166. Let a be 237/(-15)*30/36. Which is bigger: n or a?
n
Let w = 2680 + -2578. Let i be (-5)/(5/3) + 103. Is i smaller than w?
True
Let g(a) = -22*a**2 + 109*a + 10. Let f be g(5). Are 161/31 and f unequal?
True
Suppose 5*f - 4*x + 5860 = 0, 272*f + 4688 = 268*f + 3*x. Is -1172 equal to f?
True
Let u(x) = -x**2 - 8*x. Suppose -5*r = 2*c - 0*r + 12, -3*c + 4*r - 18 = 0. Let b be u(c). Let l = -303/25 + b. Which is smaller: l or 1?
l
Let k = -1 + 12. Suppose -o - 5 = -k. Let h be (-6)/117*(-36)/o. Which is smaller: h or -1?
-1
Suppose -17*r + 39 = -4*r. Suppose i - 4*k = -16, 2*k - 2 = r*i - i. Let m(p) = -2*p - 2. Let c be m(-4). Which is smaller: i or c?
i
Suppose 6*w - 9*w = -51. Let m = w - 13. Let j be m - 18/4 - 2/(-24). Which is smaller: 1 or j?
j
Let w = 6943 - 6883. Is 33 greater than or equal to w?
False
Suppose -8 = 6*b - 5*b - 4*a, 2*b - 3*a + 1 = 0. Suppose 63 = -5*c - m, b*c - m + 60 = 15. Let r(y) = -y**3 - 7*y**2 - 3*y + 5. Let x be r(-6). Is c >= x?
True
Let c be (-140)/15*(72/(-14))/2. Suppose -3*u + g + 2 - 8 = 0, -5*g + 20 = -5*u. Let w be u/3*(-68 - 1). Is w smaller than c?
True
Suppose 4*z = -0*u + 2*u + 4, 0 = -2*u + 5*z - 5. Let q(s) = s**2 - 20*s - 1. Let l be q(u). Which is greater: l or 18?
18
Let c = -137 - -1. Let t = c + 127. Let f = -4 - -7. Which is greater: t or f?
f
Let j(w) = 18*w**3 - 2*w**2 - 279*w + 1373. Let d be j(5). Which is smaller: 2177 or d?
2177
Suppose 5*w + 596 = 3*s - 0*s, -2*w + 983 = 5*s. Let q be 2 + -10 + (731 - 525). Which is greater: s or q?
q
Suppose -1051 + 61 = 11*a. Let u = a + 43. Let v be (1/u)/(1/(-2)). Are 1 and v unequal?
True
Suppose 4*i + 0 = 8. Suppose -21*x + 10*x + 1595 = 0. Let r be (-1)/3*(-1218)/x. Is i at least r?
False
Let a(b) = b**3 - 7*b**2 + b - 1. Let o be a(7). Let m = 9 + -12. Let x be 19/3 - 2/m. Is x at least o?
True
Let l(j) = -6 - 7 + 102*j - 99*j + 0. Let f be l(6). Suppose 0 = -f*a + 2*a + g + 25, -4*a + 5*g + 26 = 0. Which is smaller: a or 10?
a
Let f = -13 + 18. Suppose 21 = -f*l - 39. Suppose 476*x + 514 = -4722. Are l and x non-equal?
True
Let s = -27 + 30. Let o = -0.07 + 17.07. Let u = -18.3 + o. Is u at least s?
False
Suppose -4860 = -44*b + 38*b. Suppose -b*s = -812*s + 196. Is 99 smaller than s?
False
Let j = -4763 - -1071677/225. Suppose 2370*i = 267*i. Is j >= i?
True
Let c = 2.7 + 13.3. Let n = -15 + c. Let g be (8 + -5)*2/123. Which is bigger: g or n?
n
Suppose 4*x + 1776 = -4*x. Let h = x - -889/4. Which is greater: -1 or h?
h
Let a = -4/9 - 67/72. Let c(y) = -y**3 - 8*y**2 - 8*y - 9. Let b be c(-7). Which is bigger: a or b?
a
Let t = -4.94 - -6.74. Let d = -1331 + 3926/3. Let h = d + 22. Is h at least t?
False
Suppose -4*j + 63 = -17. Suppose -4*s - j = 0, 135 + 180 = -2*m - 3*s. Which is bigger: m or -149?
-149
Suppose 13*f = 15*f - 4. Suppose 2*h + 0*w - 5*w + f = 0, -4*w - 3 = 3*h. Is -2/571 > h?
True
Suppose m = -2*p + 56, 0 = 2*p - 5*p + 2*m + 98. Let x = -24 + p. Let k be (x/(-28))/(1 + (-2)/4). Which is bigger: k or -1?
k
Let z(r) = r**2 - r - 3. Let w be z(-2). Let t(v) = v**3 - 13*v**2 + 8*v - 20. Let g be t(12). Let i = -63 - g. Which is smaller: w or i?
w
Suppose 13*b = -3917 - 1985. Is -454 >= b?
True
Let m be (1632/233 - 7)*(-4 + 132/32). Is m >= -1?
True
Let a be (-4 - 0) + (3 - -4). Suppose 4*m + 30 = 4*c - 2*c, -a*m + 2*c = 25. Let x be (m - 80/(-15))/(2/(-6)). Is x smaller than 2/31?
True
Let t = -11380 + 11437. Which is greater: t or 1/12?
t
Let a(q) = -11*q + 7. Let m = 46 + -42. Suppose -4*f = m*z - 0 - 16, -f + z + 2 = 0. Let y be a(f). Which is bigger: 0.1 or y?
0.1
Let u = 150362/111 - 1519356802/1121655. Let k = u + -2/645. Is k at least as big as -19?
True
Suppose 0 = -245*y + 243*y + 2. Is y > -2/9137?
True
Let j(z) = 204*z - 56. Let v be j(3). Suppose s = -3*l + v, 5*l - 7*s - 924 = -6*s. Is 186 >= l?
True
Suppose -10914 = 29757*h - 29655*h. Suppose v + 18 = -4*w, 3*v + w = 3*w + 2. Which is smaller: h or v?
h
Suppose 248 + 547 = -5*b - 5*s, -b - 2*s - 168 = 0. Is b at least as big as -225?
True
Suppose -2*p + 7 = 3. Let t(n) = -2*n**2 + 6*n - 5. Let y be t(p). Let c = -2877/23 + 125. Is c at least y?
True
Suppose 8*p + 5*p = 65. Suppose 369 = 4*r - r + 3*w, -615 = -p*r + w. Suppose r = 3*k + 3*o + 2*o, 4*k - 164 = -4*o. Is 40 at least k?
False
Let w = 313 + -177. Let a be (402/(-4))/((-102)/136). Which is smaller: w or a?
a
Let i = 39.217 + -41. Let k = -0.217 + i. Let b = 3 - 5. Are b and k non-equal?
False
Let g be 2/(-8)*(2 + -6). Let d = 17551 - 11320397/645. Which is greater: d or g?
g
Suppose 1 + 2 = 5*a - 3*n, -4*a + 2*n = -2. Let k = 938 + -3785/4. Let u = -7 - k. Is a at most u?
True
Suppose 3*l - 32 = -5*z, 9*z - 4*z - 30 = -5*l. Suppose -z*v - 110 = 3*v. Is -11 equal to v?
True
Let i = 0.48613 + 0.01387. Let x be 1/4 + 1503/36. Is i equal to x?
False
Suppose -2*m + 1043 = -19*b, 48*m - 2*b = 49*m - 625. Which is greater: m or 7898/13?
7898/13
Let t = -26922 - -26428. Is t <= -483?
True
Let w(t) = -18*t + 58. Let q(k) = 11*k - 29. Let s(y) = 5*q(y) + 3*w(y). Let b be ((-9)/(-3))/((-3)/28). Let z be s(b). Which is smaller: 4/13 or z?
4/13
Let r = -9362 + 9327. Is -24 greater than r?
True
Let h be ((-4)/(-3) + -2)/(154/29631). Let p = h - -129. Which is bigger: 1 or p?
1
Let t(l) = l**2 - 38*l + 99. Suppose -7*k + 40 = -205. Let c be t(k). Is -50/7 <= c?
True
Let o = 189029/3 + -63598. Let d = 240 + 356. Let x = d + o. Do 7 and x have the same value?
False
Let c = 9568 + -9567.9. Which is smaller: c or -1.2183?
-1.2183
Let w = 146 + -69. Let p = w - 76.9. Let h = 1.51 + -0.01. Is h >= p?
True
Let q be 5/(20/(-12))*34/51. Is -51/37 >= q?
True
Let r be ((-376)/12)/(104/(-468)). Let t be (-4)/14 + 996/7. Which is smaller: r or t?
r
Suppose 13 = 6*a - 5. Suppose o - a*q = 1, 2*q + 8 = 3*o + 5. Is -29 greater than o?
False
Let f = -143 + 153. Let w = f + -9.9. Is w != 0.06?
True
Suppose 5*x + 6 = z, z + z = -2*x. Let h be (3 + -3)*(-7)/(-7) - x. Which is bigger: -2/425 or h?
h
Suppose 0 = 2*b - c + 4, -4*c + 45 = 37. Which is bigger: 3075 or b?
3075
Let j(y) = 28*y + 1. Let o be j(-2). Let p be (-1 + o)*-2*(0 - -1). Let m = p - 110. Which is smaller: -0.17 or m?
-0.17
Let c(j) = -5*j**3 - 7*j**2 - 5*j + 13. Let x(u) = 1 + 3569*u - 3569*u - u**3 - u**2. Let o(p) = c(p) - 6*x(p). Let l be o(0). Is l less than 1?
False
Suppose 85*j = 88*j - 204. Let l(g) = -68*g + 7. Let n(r) = 69*r - 8. Let q(m) = 4*l(m) + 3*n(m). Let x be q(-1). Which is bigger: x or j?
x
Suppose 8*n = 30*n + 11*n - 7227. Is 230 greater than n?
True
Let l be 1*(-631 + -3)/(-2) - -4. Which is smaller: 965/3 or l?
l
Let l be (-12)/(-30) + 1/10. Suppose -32 = 8*c - 24*c. Suppose i = 2*z + 85, 79 = -c*z + 2*i - 5. Which is greater: l or z?
l
Suppose -4*f = -d + 8, -12*f = -3*d - 8*f + 8. Suppose -4 = 2*h, 0*n = -5*n + h - 193. Let k be 6/n - 50/(-494). Are d and k unequal?
True
Let c(x) = 8*x + 11 - 4*x + x + 11*x. Let n be c(-10). Are -149 and n equal?
True
Let q be (-1773)/6 - (-27)/(-18). Let p be (-66)/(((-8)/(-32))/(9/8)). Is q at least p?
True
Let x be -1 + -8 + (-83 - -97). Let c(g) = -g**3 - 5*g**2 + 4*g - 6. Let f be c(-6). Is f >= x?
True
Let a(v) = -390*v + 2731. Let q be a(7). Is 39/176 bigger than q?
False
Let x be -17 + 21 + (-2 - 0) + 103. Let f = -132 + x. Suppose 0 = b + 3*a + 18, -3 = -3*b - 5*a - 69. Are b and f equal?
True
Let a(v) be the first derivative of 2*v**3/3 - 17*v**2/2 + 5*v - 12. Let q be a(12). Is q bigger than 89?
False
Suppose 4*a - w = -3280, 93*w - 89*w + 3240 = -4*a. Is -