pose -3*h - y*f + 9*f - 33 = 0, h - 5*f + 11 = 0. Which is bigger: -14 or h?
h
Suppose 26 + 14 = 8*u. Let b be (-72)/22 - u/((-25)/5). Which is smaller: b or -1?
b
Suppose 1553*x = 1132*x. Is x less than -14/3897?
False
Suppose -5371 = 13*d + 2585. Is -613 smaller than d?
True
Let i(j) = j**3 - 12*j**2 - 26*j - 6. Suppose -10 = -2*n + 18. Let u be i(n). Which is greater: u or 21?
u
Let m = 1/4 - 7/12. Let t = 160 - 333. Let w = t - -170. Which is bigger: w or m?
m
Let o = 0.148 + 0.882. Let x = o + -69.03. Let j = x - -68. Which is greater: 0.6 or j?
0.6
Suppose -2*o = 0, -2*o + 4*o = -2*h + 24. Let m be -2 + 0 - (8 - h). Which is smaller: 0 or m?
0
Let g be 212/(-530) - (-2436)/(-10). Which is greater: -188 or g?
-188
Suppose -4*r = -0*r + 3*z - 30, -4*z = r - 14. Let h be (10/(-95))/(40/r + 2). Which is smaller: -1 or h?
-1
Let g(l) = -13*l. Let o be g(-1). Let d(f) = -301*f - 17765. Let r be d(-59). Is o at most as big as r?
False
Let r(g) = -g**2 + 63*g + 340. Let h be r(67). Is 71 at most h?
True
Let a be 136/(-54)*204/(4 - 2). Let d = a - -256. Which is bigger: -2 or d?
d
Let z be (-23)/(-368)*8 - (19938/(-4))/3. Is 6645/4 less than z?
True
Let p = 31 - 29. Suppose 3*u + p*u + u = 0. Which is smaller: u or -1/116?
-1/116
Let u = 64566 - 24987056/387. Do 0 and u have different values?
True
Let p(v) be the second derivative of v**4/12 - 7*v**3/6 - 16*v**2 - 20*v. Let s be p(13). Let w = s - 57. Which is smaller: w or -1?
w
Let b = 92 - 94. Let c be (51/3)/(b - -1). Which is smaller: -16 or c?
c
Let w = 270/53 + -98/477. Let c be 3*(-1 - (-10)/6). Is c at least as big as w?
False
Suppose 5*u + 56 = -s - 3*s, -32 = -4*s + 6*u. Which is smaller: s or -315/58?
-315/58
Let g = -108.23 + -6.97. Let i = 115 + g. Let x be (8/70)/(2/5). Are x and i equal?
False
Let n = 930 + -792. Is n < 139?
True
Let l be (-33)/2 + ((-2)/6)/(4/60). Let v be 5/(-20) - 1/(-4). Suppose v*n - 69 = 3*n. Is l > n?
True
Let h = -23377/1932 - -8/483. Let u = h - -77/6. Is u not equal to 2?
True
Let p = -3.693 + 1.693. Are p and -216 equal?
False
Suppose 20*x = -19*x. Let z be 2 + 1/(-1) + 4. Suppose 3*v - 3*k = -z*k - 4, x = -v + 3*k + 6. Are v and -2/19 equal?
False
Let c = -103 - -111. Let u be (c/6)/((-2)/6). Let w(g) = -g**2 + 4*g + 1. Let o be w(4). Is u smaller than o?
True
Let v be (-118 + 150)*(-2 - (-54)/29). Is -4 bigger than v?
True
Let f = 7352693/530 - 13873. Is -1 greater than f?
False
Let w be (-1 + 112)/((-22)/22). Let z = -12 + w. Is z <= -125?
False
Let u be (32/(-10) - -2)*(-1010)/(-4). Let h = u - -338. Is 37 smaller than h?
False
Suppose -2*s - 42*t = -40*t + 4, -t + 10 = -5*s. Is s less than or equal to -256/279?
True
Let z be (-21)/(-5)*(-8 + 23). Let c = z - 58. Suppose 0 = -c*n - 25, -2*h + 0*h - n = 5. Which is smaller: h or -2/161?
-2/161
Suppose -5*x - 12 = 8. Let z = -17509 - -17505. Is z smaller than x?
False
Let q = -83/201 - 6869/402. Is q at least as big as -26?
True
Let c be (-7)/(-3)*36/(-63) - -1. Let y = 2501/25 + -100. Which is bigger: y or c?
y
Let y(v) = -v**3 + 6*v**2 - v - 8. Let j be y(4). Let x be (45/j)/(18/4). Is x less than 8/37?
False
Let v = 0.45 - 112.45. Let n = v + 165. Let r = -48 + n. Which is greater: -2/3 or r?
r
Suppose 0 = -4*b - 5*u + 264, 3*b + 3*u = b + 132. Suppose -18 - b = -z. Suppose 2*t - 5*v = -z, 4*t - 2*v + 220 = -5*v. Is t smaller than -53?
False
Let a be 30*6/18 - 6. Let m be 15/a + -6*1/(-24). Does 63/22 = m?
False
Let g be 1839/105 - (0 - -1). Let s = g - 110/7. Let u be (3 + -11 - (-34)/17) + 6. Which is bigger: s or u?
s
Suppose -z + 0*z = 5, 2*i + 5*z = -133. Let b = i - -54. Suppose 5*o + 63 + 72 = b. Is -1/2 less than o?
False
Let i(p) = -p**2 - 8*p + 84. Let b be i(8). Is b <= -57?
False
Let l = -14.7 - 106.4. Let r = -1.8916 + 122.8916. Let b = l + r. Is 57 at least b?
True
Suppose 3*p + 267 = -4*q, 5*q + 56 + 33 = -p. Let m = p - -88. Are -7/12 and m nonequal?
True
Let q be 36/90 + 176/10. Suppose o + 12 = q. Suppose y = o*y - 40. Is y bigger than 8?
False
Let m = 245 + -245. Let t be -4 + (1 - 2) + 2. Let q be m/(t - (-5 + 4)). Which is smaller: q or 3/4?
q
Let l = 4.97 - -0.03. Let d = -0.0422 + 6.0422. Let k = l - d. Which is bigger: k or -7?
k
Let q = 2.2136 + -2.1236. Which is smaller: q or -6.3?
-6.3
Suppose -4*q + 2*f + 16 = 0, q - 17 - 5 = 5*f. Suppose 0 = -3*l + 4*r - 94, 4*l - q*l - 5*r + 51 = 0. Are l and 6 equal?
False
Let l = 1390 - 1272. Suppose -2*s + 161 + 71 = 0. Which is smaller: s or l?
s
Let t = -540 + 1081/2. Which is smaller: t or -426?
-426
Suppose 21*m - 1600 + 256 = 0. Let n = 165 - m. Which is greater: n or 103?
103
Let p(t) = -t**3 - 8*t**2 + 269*t + 2351. Let v be p(-9). Suppose -2*u - 1 = -5. Which is smaller: v or u?
u
Let j be (136/(-6))/(-3*17/765). Suppose d = 75 + 265. Is d greater than j?
False
Let z = 2410 + -1956. Is 458 bigger than z?
True
Let u(a) = -5*a**2 - 5*a - 6. Let w be u(-3). Let t = w - -65. Let v = -63 + t. Is v less than -35?
False
Let f(j) = -145*j**3 + 12*j**2 - 17*j + 48. Let c be f(4). Is c != -9108?
False
Let j(f) = -f**3 + 27*f**2 + 85*f + 4. Let h be j(-4). Is 1752/11 at least as big as h?
False
Suppose -13*s + 30448 = 30435. Which is bigger: s or 58/49?
58/49
Let j = -372 - -354. Let c be 3 + j/(-27) + (-458)/120. Does 0.3 = c?
False
Suppose 2*f + 2*l = -2 + 14, -2*f + 2*l - 8 = 0. Suppose -z + f = -2. Let w be -1*(0 - z) - (5 - 2). Is 2/15 greater than w?
True
Let k = -53 + 54. Let s(h) = -4*h**3 + 3*h - 2. Let t be s(k). Let c(b) = b**2 + 6*b + 7. Let m be c(t). Do m and -7 have the same value?
False
Suppose 0 = -x + 2*g + 352, -1119 = -5*x + 4*g + 635. Let m = x + -693/2. Are m and 3 nonequal?
True
Let l = -12 + 10. Let x be l - (15/(-10) - (-2)/(-4)). Is -24 <= x?
True
Let s be (-2)/(-3)*(-15)/(-715). Let t = -225 - -249. Let h be t/42 + 22/(-14). Is h at least as big as s?
False
Suppose w - 582 = -2*w + 4*k + 33507, 0 = -3*k. Are w and 11364 non-equal?
True
Let z(c) be the third derivative of 23*c**4/12 - 41*c**3/6 + 80*c**2 + 1. Let f be z(1). Which is smaller: f or 6?
f
Let j = 29.87 + -11.98. Let s = j - 112.19. Let v = s + 13.3. Is v >= 0.1?
False
Suppose -2*j + 5*h = -6*j - 934, -j + 3*h = 225. Let q = j - -230. Let f = -7886/33 - -239. Which is smaller: q or f?
q
Let l be (138/15)/((-2)/20*2). Let t = l + 49. Let s be 3*t/(99/(-10)). Is -2 less than or equal to s?
True
Let k be 2 - -2*(-11)/(231/70). Is k at most as big as 2?
True
Let n = -284.0473 + 285.38. Let q = 0.0673 + n. Is q bigger than -1/10?
True
Let x be 2/8 + 6/8. Let i be ((-27)/(-18))/(x/(-4)*-3). Suppose i*h = 5*t + h + 94, -3*h - 42 = 3*t. Which is smaller: -17 or t?
t
Let c = -484/885 - -63/295. Is 1680 less than c?
False
Let r(k) = k**3 - 32*k**2 + 20*k - 358. Let n be r(32). Is n less than or equal to 275?
False
Let x be (-2)/((-3)/(-3 + 9)). Let c be (-6 - -5) + 1 - x. Let d = -18 - c. Is -10 != d?
True
Let y = -229/114 - -51/38. Is y not equal to 190/9?
True
Let l be (-4 + 1682/435)*(2 + 88/(-71)). Is l greater than or equal to 0?
False
Let j(c) = -c**3 - 5*c**2 + 2*c + 2. Let p be j(3). Let n(z) = -53*z - 58. Let f be n(-2). Let t be (p/f)/((-8)/30). Is 5 > t?
False
Let x = 24499249349497123/585327 - 41855662475. Let p = -16/1173 - x. Which is smaller: p or 0?
p
Let b be (-90)/(-36)*(-2 + 14/5). Let i(f) = -2 - 3 - 5*f - 2. Let c be i(b). Are -19 and c equal?
False
Let j = -3 + -18. Let d = -19 - j. Is 70 at most d?
False
Let h = -0.2 + 0.4. Let b = -40655511/95 + 427947. Let d = -37/19 - b. Which is bigger: d or h?
d
Suppose -3*l - 7 = -o, 3*o - 9 = -99*l + 104*l. Are 139.9 and o nonequal?
True
Suppose -60*i = -122*i - 62. Is i equal to -64/195?
False
Let r(m) = -m**3 - 4*m**2 + 6*m + 6. Let v be r(-5). Let n be (358/756)/(-1 - 153/(-111)). Let s = n + -2/1323. Which is smaller: v or s?
v
Let l(d) = d**2 + 32*d - 43. Let n be l(-34). Which is greater: 19 or n?
n
Let k = 233.1 + 24.9. Let h = 177401 + -177401. Is h greater than k?
False
Let h = -4645 + 4625. Suppose 2*v = -30 - 18. Which is greater: v or h?
h
Suppose -5*z - 4*l + l + 21 = 0, 0 = 2*z - 3*l. Suppose -4*k - 1 = z*o + 2*o, -4*o + 8 = k. Suppose 3 + 9 = -3*x, 222 = -5*n - o*x. Which is bigger: -41 or n?
-41
Let k(g) = 13*g - 43. Let x be k(-1). Let d = 130 - 187. Which is smaller: d or 