 + 7*i. Let x(z) = z + 2. Let j be x(1). Let y be f(j). Let n = -7 - y. Which is smaller: n or 2/17?
n
Let v = 1.66 - 1.375. Let n = v + 0.015. Which is smaller: n or 23?
n
Let d = 20604 - 20605. Which is smaller: d or -1/26516?
d
Let a = 0.7625 - 28.7625. Are 5/3 and a equal?
False
Suppose z = 3*c - 596, -2*z - 593 = c + 564. Let q be z/(-35)*5/16 - 5. Suppose 0 = 5*r - 0*h - 4*h + 9, r - 1 = -2*h. Is q > r?
True
Suppose -98*t = -36047 - 46567. Is 845 greater than t?
True
Let w = 46295 - 46290. Which is greater: -62 or w?
w
Let b = 6534/43 - 152. Suppose 52 = 3*j + 4. Suppose j*q = 18*q + 2. Which is smaller: q or b?
q
Suppose -4054*h - 24 = -4051*h. Let f = 3 - 3.01. Which is greater: h or f?
f
Suppose -101*b + 44*b + 23230 = 44*b. Which is smaller: 227 or b?
227
Let s(o) = 24*o - 49 + 46 + 23. Let w be s(-1). Is w != -23/8?
True
Let a = -2.09 - 2.42. Let x = 3.51 + a. Which is bigger: 13.3 or x?
13.3
Let i be (-1172)/(-10) + 3/(-15). Suppose -1437*o - 71 = -1385*o - 19. Is o < i?
True
Let d be (4/8)/((-7)/(-5516)). Suppose 12*f - 8*f = -3*b - d, 3*f - 705 = 5*b. Which is bigger: b or -139?
b
Suppose 2*u + 194 = -252. Let d = 94 + u. Is d smaller than -128?
True
Let g be 3/(-12)*56/2. Let n(x) = 8*x**2 + 16*x + 78. Let b be n(g). Are 358 and b nonequal?
False
Suppose 2*c = -5*t + 5, 4*c + 42 = -t + 25. Is t greater than 1.83?
True
Let b = 1.16 - 1.56. Let n = 0.225 - 0.325. Is b less than or equal to n?
True
Let f = 0.0084 - -2443.9916. Is f less than 2/5?
False
Let o = 88/3587 + -4724276/154241. Which is greater: o or -32?
o
Let b(z) = z**3 + 4*z**2 + 3*z. Let f be b(-2). Suppose -f*y = -5*g + y - 43, -y + 17 = -2*g. Let h(t) = -14*t - 62. Let q be h(g). Which is smaller: q or 49?
49
Suppose -2*v + 12 = -3*q, 0*q + q = -5*v - 4. Let w be 25/(-15) + (v - -1). Let z = 19598 - 19597.9. Is z <= w?
False
Suppose 3*d = 4*t - 63, -4*t = 4*d - 124 + 40. Let v(m) = -m**2 - 11*m - 11. Let p be v(-7). Let i = p - t. Is 1/22 less than or equal to i?
False
Let r(w) = -w**3 + 3*w + 2*w**2 + 25*w**2 - 105 + 8*w**2. Let c be r(35). Is c at least 47?
False
Suppose 0 = -r - 63*r - 21*r - 371195. Is r >= -4368?
True
Suppose -2*q + 3*q = 6. Let s = 97 - -50. Suppose q*t + s = 13*t. Are t and 21 nonequal?
False
Let a = 107/137 - 212301/271123. Are a and -1 unequal?
True
Let c(r) = r - 41. Let y be c(0). Suppose 194*z - 190*z = 20. Let q = y - z. Which is smaller: -47 or q?
-47
Let c(u) be the third derivative of u**5/60 - 3*u**4/8 - 37*u**3/6 + 73*u**2 - 1. Let j be c(12). Which is smaller: j or -2/71?
j
Suppose 8*w = 3*w - 10. Let v be w/(-3)*(-18)/(-8). Suppose 0 = 6*s - 10 + 4. Is s >= v?
False
Let u = 0 + 1. Let h(l) = -11*l - 55. Let m be h(-7). Let x be -6 - ((-89)/m + -2). Which is greater: u or x?
u
Let y be (-11615)/(-2665) - (-3 - 296/(-104)). Which is smaller: 6 or y?
y
Suppose 4*t + 4994 = 2*b, 6*b - 3176 - 11833 = 3*t. Which is smaller: 2502 or b?
2502
Suppose -13*i - 377 = 234. Let q = i - -50. Which is smaller: 50/13 or q?
q
Let s = -14.6 - -2.6. Let u(v) = -27*v - 782. Let o be u(-29). Are o and s equal?
False
Suppose 0 = 3*n - 3*v - 6, 5*n + 5*v - 11 = -1. Let h be 16/n - (-53 + 13). Suppose 100 = 2*a + 3*p, -3*p - 11 = a - 64. Which is bigger: a or h?
h
Suppose -p - 3*v = -4 - 0, 0 = 5*p + 2*v + 6. Let w be 2/(-2) + (-6)/p. Let o be 15/(-21)*4/10. Which is bigger: o or w?
w
Let k(n) = n**3 + 16*n**2 + 11*n + 21. Let g be k(-15). Let a be (-18)/g - (392/(-306) + 1). Suppose p - 1 = -0*p. Which is bigger: a or p?
p
Let y = -33/1304 + 685/1304. Let k = -1021 + 239934/235. Which is smaller: y or k?
k
Let d = 28167 + -28168. Is -180/109 less than or equal to d?
True
Let k(f) = -418*f - 1416. Let d be k(-3). Which is smaller: d or -111?
d
Suppose a - 30 = 4*k, 5*a + 3*k - 12 - 69 = 0. Let t be 5*7483/315 - (-4)/a. Does 121 = t?
False
Let x = -76 - -131. Let f = 54 - x. Let j be ((-13)/78)/((-4)/3). Which is smaller: j or f?
f
Let y = -76343/5 - -15282. Which is greater: y or -0.018?
y
Suppose -16*h + 44 = 12. Let n(v) = -v**3 - 7*v**2 + v + 16. Let o be n(-7). Suppose -h*c - o*c = -c. Is -2/9 less than or equal to c?
True
Let b = -1573/2 - -768. Suppose 0*r = -13*r - 0*r - 260. Is r at most b?
True
Let a = -4.6 + 10.6. Let d = a + -0.3. Let s = -5.63 + d. Which is greater: s or 2?
2
Suppose 0 = 4*t + 3*i - 1106 - 413, 0 = -t - 3*i + 382. Let o(n) = n**3 + n**2 + 378. Let f be o(0). Are f and t equal?
False
Let q = -639 - -638.948. Is 1/5 at least q?
True
Let l be (5/(-357))/(26/130*-5) - 0. Is 1 at least as big as l?
True
Let m = -42/13 - -1903/585. Let n be (-4)/2 + (3 - 1). Let a = n + 0. Are m and a equal?
False
Let f = -561 + 920. Suppose 222 = 365*d - f*d. Is 2 at least d?
False
Suppose 0 = 8*m - 12*m + 8. Let k be (m/(-2))/(2/(-6)). Suppose -5*r = -4*f - 11, -k*f + 6*f = -5*r + 18. Which is bigger: f or -2/71?
f
Let h be 2/5 + 1/(-3). Suppose -12*q - 3*g - 325 = -13*q, 5*q - 4*g = 1614. Let k = q + -323. Is k smaller than h?
True
Suppose 3*q = 2 + 7, 4*v + 2*q = 6. Suppose 0 = 3*c - v + 3. Let w be 14/7 - (13 - c). Is w less than -12?
False
Let m be (12/(-15))/(6/(-15)). Suppose 0 = -3*c - 12, -m*a + 3*c = -6*a + 48. Let f = -8 - -6. Are f and a non-equal?
True
Suppose -77 = -5*y - 22. Let a = y + -6. Let d(v) = -v**3 + 5*v**2 - 2*v + 8. Let b be d(a). Which is greater: -9/5 or b?
-9/5
Suppose -38*v + 8 = -334. Suppose -4*n + 16 = 0, -2*o - 3*n + 231 + 79 = 0. Suppose -o - 49 = v*b. Does -22 = b?
True
Let b be (-35)/(-20) - 199512/144160. Which is smaller: -1 or b?
-1
Let s = -1690 - -1687. Which is bigger: s or -53/21?
-53/21
Let m(v) = 49*v**2 - 3*v - 2. Suppose -x - 7 = -6. Let y be m(x). Suppose 3*g - 147 = -0*g. Which is smaller: y or g?
g
Let r(j) = -2*j**2 - 11*j + 68. Let d be r(-20). Which is smaller: -505 or d?
d
Let y(p) = -p**3 + 7*p**2 - 11*p + 11. Let x be y(4). Let o be (1/(-1))/(4/(-32)). Let l(n) = -n**3 + 9*n**2 - 7*n + 7. Let f be l(o). Are x and f unequal?
False
Let z = -83986/5 + 17058. Let m = -260 + z. Is -3 equal to m?
False
Suppose 23*u - 18*u = 75. Suppose 1539 - 7011 = -6*l. Let q be ((-9)/16)/((-6)/l*6). Which is bigger: q or u?
u
Let f(r) = 22*r**2 + r**3 + 510 - 58*r - 15*r - 459. Let x be f(-25). Do x and 1 have different values?
False
Let o = 11254784 - 213771283/19. Let q = -3666 + o. Which is smaller: -2 or q?
q
Suppose 4*p + h - 1007 = 0, 15*h - 16*h = 5*p - 1258. Suppose -5*i - p = 4*c, -24 = c - 3*i + 26. Which is smaller: -233/4 or c?
c
Suppose 0 = 37*i - 151 - 145. Let o(q) = -q - 3. Let w be o(-4). Does i = w?
False
Let u = -147 + 76. Let w = 76 + u. Suppose 0 = -0*t - w*t - 2*c + 28, 0 = -t - 5*c + 1. Which is smaller: 51/7 or t?
t
Let i = -5.84 - 1.88. Let f = 7.02 + i. Is f at most as big as 3/8?
True
Let j = -478.5 - -478.373. Which is bigger: -4 or j?
j
Let q = 9.509 + -79.319. Let x = q - -1.81. Does x = 0?
False
Let u = 162992885/1367 - 119234. Is 0 at most u?
True
Let q be 3748471/585 - (9 - (-376)/(-40)). Let m = -6408 + q. Is m bigger than 1?
False
Let k = -62032/81668537 + -2/33457. Is 1 > k?
True
Let n = -4388 - -4225. Which is smaller: n or 0.1?
n
Let g = -30 + 58. Let o be (g/8 - 3)*8. Suppose -3*u - 1 + o = 0. Is u at most as big as -8?
False
Let n = -164 + 173. Suppose n*z - 2 = 7. Which is smaller: z or 22/31?
22/31
Let t = 0.35946 + -146.05946. Which is greater: t or -5/7?
-5/7
Let u(y) = 23*y + 8. Let p be u(1). Let k be (-6 + -1 + 1)*756/(-162). Is k smaller than p?
True
Let g = -9096 + 9190. Suppose 3*n - i = -3*i + 275, -4*i = -2*n + 210. Which is bigger: g or n?
n
Let z(h) = 37*h**2 - 21*h + 7. Let n(v) = 19*v**2 - 10*v + 3. Let s(q) = -7*n(q) + 3*z(q). Let x be s(-2). Let g = x - -82. Is -21 >= g?
False
Let u be 7 + (5 - 17) + 19/4. Let o = 142 + -141.9. Which is bigger: u or o?
o
Suppose 12*p = t + 13*p - 813, t - 815 = -3*p. Which is greater: -3 or t?
t
Let u = 511 + -447. Suppose -60*s - u = -61*s. Do 66 and s have the same value?
False
Let q = 3 - 8. Let s be (144/96)/(1/28). Suppose -s - 48 = 15*b. Is q bigger than b?
True
Let w = -39.56 + -7.44. Which is bigger: -3 or w?
-3
Let t = 146 - 125. Let g be 1/2*(1 - (-7)/(-3)). Which is smaller: t or g?
g
Let v = -109.32 - -0.32. Let f = 114 + v. Let o = f + -4. Which is bigger: o or 54?
54
Suppose 2*y + 728 = 5*u - 0*y, -y -