h is smaller: f or d?
f
Let s = -928 - -927. Let z(u) = -u**2 - u. Let o be z(s). Which is greater: 1/476 or o?
1/476
Let t(d) = -d**3 - 9*d**2 + 28*d + 20. Let j be t(-13). Which is smaller: 333 or j?
j
Let z(k) = 4*k**2 + 10*k + 10. Let f be z(-4). Let r = 34 - f. Let v be (r + 24/(-21))/(-3). Is 1 < v?
False
Let v be (2/7)/(249/(-581)). Which is greater: v or -18/7?
v
Suppose -20*n - 33 = 7. Let i be (1/n)/((78/12)/13). Let l = -841/3 - -278. Is l at least i?
False
Suppose 0 = 4*d + 5*l + 14948, 6*l = 5*d + 11*l + 18690. Is d equal to -3742?
True
Suppose 21*b + 365 = 1478. Let r = -58 + b. Is r != -50/9?
True
Let k = -1111 + 1111.16. Which is smaller: -1/21 or k?
-1/21
Let v = -649 - -640. Let m(r) = 9*r + 82. Let t be m(v). Which is smaller: -10 or t?
-10
Let q = -579714/5 - -121238. Let x = q - 5312. Which is greater: -16 or x?
-16
Let o be -14*2*645/(-12). Suppose 5*d + 4*l - 1475 = 0, 0 = 5*d - 0*l - 2*l - o. Are d and 299 equal?
True
Let x = -0.6 + -26.4. Let u = 3208 + -3208. Is u less than x?
False
Let u = 6 - 1. Suppose -4*w - 42 = -u*w. Let t be 70*(8/20 - 44/(-220)). Is w at most as big as t?
True
Let n(t) = -t**3 - 2*t**2 + 4*t + 6. Let p be n(-3). Suppose 450*h = 447*h - p. Which is bigger: h or -2?
h
Suppose -38*p + 1005 + 55739 = 44*p. Which is greater: p or 694?
694
Suppose 26640 = 32*d + 26704. Let f be (0 - -2)*(-44)/58. Is d equal to f?
False
Suppose -2 = -19*p + 72*p - 2. Is -2/51405 smaller than p?
True
Let f = 1880.2 + -1880.2. Is f < -6/2665?
False
Suppose 0 = 2*r + r - 222. Suppose -718 = -8*k - 494. Suppose 21*t - 1505 - k = 0. Do t and r have different values?
True
Suppose 5*i - 1006 = -3*r + r, 4*i - 1004 = -2*r. Let x = 39841/80 - r. Let s = 448015/4 + -112004. Is x <= s?
False
Let z(l) = 4*l - 2. Let j be z(3). Suppose -3*f - 2 = j. Let d be 6*2/f*4/(-3). Is d greater than or equal to 9/2?
False
Let l be 3/172*17248/132. Which is smaller: 2/7 or l?
2/7
Let v = 533.7 - 534. Let o be 345/45 - 2/3. Is o > v?
True
Let n be (-16)/20 + 1 - (-1)/(55/(-90486)). Which is bigger: -1646 or n?
n
Let k = -27363 - -27961. Is 600 at most as big as k?
False
Let z be (435/(-58))/(60/(-8)). Which is smaller: z or 8/321?
8/321
Let f = -350 - -373. Let i = -23.13 + f. Is i less than 14?
True
Let f = -0.1 - 1.9. Let g = 2806.5 + -2805. Which is smaller: g or f?
f
Let x be (-2)/(-9) + (-398)/9. Suppose 3*g + 148 = q, -q + 52 = g - 2*g. Which is greater: g or x?
x
Let w be (7/(-14)*2)/(2/(-8)). Suppose -8*v = -6*v + w*f + 140, -3*f = 3*v + 222. Is 2 < v?
False
Let u be 0/(-2) - -14 - 18. Do u and -262/85 have the same value?
False
Let c be 25544/8494 - 6/2. Which is bigger: c or 2?
2
Suppose -7*w + 166 = -163. Suppose -w*g - 136 = -43*g. Let x be (-200)/6 + 3/9. Is x smaller than g?
False
Let c = -37.2 + 39.8. Let k = 26.4 + c. Which is greater: 4 or k?
k
Let w be (4/14)/((-426)/(-42) - 10). Suppose 13*x - w - 37 = 0. Do -5/16 and x have different values?
True
Suppose 24*u - 8*u - 56992 = 0. Suppose u = 33*b + 24880. Is b smaller than -645?
True
Suppose 0 = -32*m - 629 - 20299. Is -647 at least as big as m?
True
Let v = 367 - 2568/7. Suppose b - 15 = c + 12, 5*b - 185 = -5*c. Is v less than b?
True
Let w = 81.22 + -81. Let t = 36 - 37.3. Let l = t - -0.3. Which is greater: l or w?
w
Suppose 32 - 2 = 3*s. Let f be (-512)/s - 2/(-10). Let a be (0 - 218/6) + (-17)/f. Which is bigger: a or 0.1?
0.1
Let u be (-11)/(66/24 - 3). Let g = -123 + u. Are g and 2/7 equal?
False
Let t = 12571 + -21559259/1715. Which is bigger: t or 1?
1
Suppose 15*z + 5*y = 17*z - 281, 5*z = -2*y + 717. Is 174 smaller than z?
False
Let o = -323 + 320. Does o = -1213?
False
Let q be (-6)/(-9) + (-169)/(-3). Let m = q - 53. Suppose 5*v - 3*c + 49 = 0, 5*c - m*c - 3 = 0. Which is bigger: 2 or v?
2
Let t(z) = z**2 - 27*z + 99. Let u be t(24). Let k be (18/u)/((-3)/(-36)). Let m be 10/4*(-28)/(-10). Is m greater than k?
False
Let i = 1341 + -701. Let p = i - 574. Are 65 and p equal?
False
Suppose 11*t + 2*t = -364. Let y = -22 - t. Suppose y*v - 2*v - 128 = -4*s, -132 = -4*s - 3*v. Do s and 35 have the same value?
False
Suppose -r = 4*r + i - 4648, -6524 = -7*r + i. Which is bigger: -6 or r?
r
Let f be (-292)/6 + (-144 - -149). Which is greater: f or -45?
f
Let s = -0.08205 + -42.13795. Which is smaller: s or 0.1?
s
Let n = -679.926 - -680. Let d = 1.926 + n. Is d greater than or equal to 0.04?
True
Let w be 5/(331835/18969) + (55/77 - 1). Which is smaller: 1 or w?
w
Let a be (-12)/13*414/(-4140). Are -16 and a non-equal?
True
Let f = 1807 + -1803. Let n be 31/(-403)*(-13)/f. Let y = 92.63 - 92. Is n at most as big as y?
True
Let r = 757 + -760. Which is greater: -0.3 or r?
-0.3
Suppose 9*n - 2652 = -8*n. Suppose 5*u + u - n = 0. Which is smaller: u or 27?
u
Let w be 583/77 - (-3)/7. Suppose 0 = 5*g + t - w, 0*t - 5*t = -4*g - 11. Suppose -3*i + 4*p = -4*i + 11, -2*i - 5 = -p. Which is bigger: g or i?
g
Let j(y) be the first derivative of -9*y**2/2 - 5*y + 1. Suppose 11*q - 406 + 428 = 0. Let r be j(q). Which is greater: r or 2?
r
Let b be ((-396)/(-63))/((-8)/(-28)). Suppose 2*m - 2 = -18*c + b*c, m = -1. Which is smaller: 1/482 or c?
c
Let o be 6/(30/7) + 6/10. Suppose o*y - 7 = -w, 7 - 3 = 2*y + 4*w. Suppose -3*i + y - 4 = 0. Which is smaller: -2/97 or i?
-2/97
Let c = -3862 + 3862. Suppose -4*y = -2*j - 1112, -3*j + 88 - 922 = -3*y. Let f = 7510/27 - y. Which is smaller: f or c?
c
Let k = -24491/13298 + 87/218. Is -2 not equal to k?
True
Let u(w) = -22*w**2 + 15*w - 57. Let x be u(3). Let t be ((-944)/x - 4)/((-4)/(-6)). Is 0 bigger than t?
False
Suppose 3*k - 11*u + 9*u + 23 = 0, -2*k = -4*u + 2. Is k bigger than -14?
True
Suppose -6*f + 3*f + 7 = -5*d, -4*d - 5 = -3*f. Let r = -3988/39691 - 10/2089. Is f smaller than r?
True
Let m = -15 + 14. Suppose q = 5*k - 772, q - 3*q + 6 = 0. Let t be (2/k)/((-27)/(-135)). Which is smaller: t or m?
m
Let w = -164 + 166. Suppose 3*y + w*y - 64 = -2*l, 192 = 4*l - 6*y. Which is smaller: l or 44?
l
Let a(r) = -r**3 + r**2 - r. Let m be a(0). Let k be ((-226)/(-56) - 4)*(-7)/(-7). Which is greater: m or k?
k
Let a be -3 - 1 - (-217)/49. Let i = -740 - -739.7. Which is greater: i or a?
a
Let j = 549 - 519. Suppose -63*z + j = -73*z. Suppose -2*g + 9 = -5*c, 3*g - 2*c = 2*g + 2. Which is greater: g or z?
z
Let b(w) = 4*w**2 + 9*w + 8. Let v(a) = -5*a**2 - 8*a - 7. Let x(i) = -6*b(i) - 7*v(i). Let t be x(1). Suppose r = -0*r - t. Which is smaller: r or -15?
-15
Let f(g) = -4*g**2 - 13*g - 3. Let i be f(-4). Let v be 18*(65/i - -1). Let u be v/455 + 10/35. Is 0 at least as big as u?
False
Let i = -4695 - -4662. Which is smaller: i or 0.133?
i
Let b = -3300 + 23182/7. Let t = 384 + -372. Which is greater: t or b?
t
Suppose 2*y + 2*w - 228 = 0, -2*y = -2*w - 0*w - 216. Let t = -655/6 + y. Do t and 1 have different values?
True
Let u = -278.8 + 274. Let d = u + 5. Is 48 smaller than d?
False
Let z(h) = -3*h**2 - 37*h - 25. Suppose d + 4*s = -24, 5*d = -s - 32 - 12. Let n be z(d). Which is greater: 78 or n?
n
Suppose 0 = 3*z - 3*p, -3 + 2 = 2*z - 3*p. Which is greater: z or -19/83?
z
Let g = 3.2785 + -3.0275. Which is bigger: g or -1/4?
g
Suppose 4*z + 1681 = -3*q, 35*q = 33*q - 5*z - 1116. Is -551 greater than q?
True
Let s = 0.2164 - -145.8836. Let m = -336 - -190. Let t = m + s. Is -26 greater than or equal to t?
False
Let p(q) = q**2 - 10*q - 8. Let b be p(8). Suppose 121 = 2*o - 159. Let c be b/(-10)*o/21. Which is smaller: c or 15?
15
Let r = 25850 - 26871. Which is greater: r or -6/11?
-6/11
Let r be (-25)/(-16*1/(-4) + -3). Is -76/3 bigger than r?
False
Suppose 44*v - 39 = 5. Let h be -5 + 51/15 + v. Let g be 1/(-1)*(-2)/(-1). Is g >= h?
False
Let r(g) = g + 6. Let c be r(-8). Let y be 84/(-39) - c - 0. Let z = 50 - 49. Is z not equal to y?
True
Suppose -15 = m - 5*l, -2*l - 3 = -3*l. Which is greater: m or 29?
29
Let v = 2.9 - -0.1. Let k(c) = 64*c + 508. Let i be k(-8). Is v at least as big as i?
True
Let f be (8/(-6))/(490/(-4935)). Let q(j) = j**2 + 10*j + 1. Let m be q(-11). Which is bigger: f or m?
f
Let v be (6/(-120))/(6 - 8 - -7). Which is bigger: v or 0?
0
Suppose 0 = 279*d + 17153 - 609191. Is 2125 smaller than d?
False
Let f = 1125.2 - 1283. Are -0.1 and f equal?
False
Let g(p) = 8*p - 121. Let s be g(-3). Let z