b**2 + 4*b + 9. Let o be w(c). Let a be 2/(-4) + 22/o. Which is smaller: a or -1?
a
Let l be 20/75*9/(-6). Let r = 431/31 - 6434/465. Is r != l?
True
Let g = -119/3 - -1345/33. Let q be 4/((-8)/11)*-2. Let x = q + -11. Is x <= g?
True
Let m = -1609 - -2306. Suppose -44*v = -3*v - m. Is 16 smaller than v?
True
Let h(i) = 88*i**2 + 0*i + 4*i - 2 - 91*i**2. Let l be h(1). Which is smaller: -4/149 or l?
l
Let j = 1025 - 1047. Which is bigger: j or 38?
38
Let j(b) = 2*b - 53 + 7*b + 134. Let k be j(-11). Which is smaller: -20 or k?
-20
Let i be 1824/(-11837) + (-3)/(-21). Are i and 15 nonequal?
True
Let j = 21607 - 21604. Is j smaller than 145/69?
False
Let t(o) = o**3 - 17*o**2 - 20*o + 42. Let l be t(18). Let k be (-3 + l/4)*-2. Let n(d) = 3*d - 5. Let i be n(4). Is i greater than or equal to k?
True
Let t = 18131.11 + -18131. Let s = 3 + -3. Are t and s equal?
False
Suppose 32 = -2710*k + 2678*k. Which is smaller: -3/5768 or k?
k
Let r = -217/5 + 792736/18265. Is r at least 0?
True
Let q = 0.6 + -0.452. Let a = 0.048 - q. Let j = 0.77 - 2.57. Which is bigger: a or j?
a
Let g = -6.41 - -5.41. Is -10013 greater than or equal to g?
False
Let j = 3476 - 3428. Which is smaller: 40 or j?
40
Let x = -1289 - -1883. Suppose -8*h = h - x. Which is smaller: 67 or h?
h
Let g be (-1760)/(-550)*(1510/(-8))/(-1). Is g at most 604?
True
Let s = -6261 - -6259. Which is bigger: s or 19/3?
19/3
Let i(j) = -2*j**2 + 10*j + 4. Let o(n) = 2*n**2 - 11*n - 4. Let v(b) = -4*i(b) - 3*o(b). Let r = -14 - -18. Let l be v(r). Which is smaller: 2/33 or l?
l
Suppose -24*b + 28*b = 80. Let g be (-12)/104*b/6. Let o be -2 - -2 - 2/(-7). Which is smaller: g or o?
g
Let v(f) = 25*f - 18. Let l = 221 + -220. Let d be v(l). Suppose h - 4*j = -h + 22, -2*j - 16 = -2*h. Is d less than or equal to h?
False
Let u be 3 - 1/(-2 + (-207)/(-102)). Let j be u/124 - (-2)/8*-3. Let y be (-3)/2 - 260/(-184). Are y and j unequal?
True
Let t(z) = -z**3 - 6*z**2 - 5*z + 1. Let y be t(-5). Let c = 110/67 - 4773/2948. Which is bigger: c or y?
y
Let y be (30 + -31)/((-2)/(-10)*-1). Suppose -y*w = -8*w + 111. Is w at least 37?
True
Let d be (15 - 4)*1 + -2. Suppose -5*t = -2*f + 13, 5*f - 5*t - 19 = -d. Is -5/18 not equal to f?
True
Suppose -j + 1 = -4*d + 7, 5*j - 4 = 3*d. Let p be -3 + ((-516)/92)/(-1). Which is greater: p or j?
p
Suppose -3*f = 2*q - 45, -3*f - 3 = -4*f. Let w be 20/180 - 56/q. Which is greater: w or -17?
w
Let i = -13.25 + 14. Let f = i - 0.844. Let s = 0.006 - f. Is s < -31?
False
Let g = -1.53 + 2.57. Let w = -12.96 - g. Is w < 1.1?
True
Suppose v + 101 = 104. Suppose n + 2*o + 3 = 0, v*o + 3 + 0 = -2*n. Is n less than or equal to 19/5?
True
Suppose 5 = 54*h - 49*h. Which is bigger: -1/1987 or h?
h
Let b(x) be the third derivative of x**5/20 + 9*x**4/4 + x**3 - 88*x**2. Let l be b(-23). Which is smaller: l or 350?
350
Let h = -204158/457 + 2232510809/4996838. Let t = -2/497 + h. Is t < -1?
False
Let t = -1 - -31. Suppose -s = -2*s - t. Let d be 2 + (0 - 28 - (51 + -47)). Is s less than d?
False
Let j be -2*((-39200)/(-32))/(-49). Suppose -d + 1 = 0, -c - 54 = -2*c - 4*d. Is j < c?
False
Let g(q) = -2*q**2 - 5*q + 2. Let x be g(-4). Let r(y) = -64*y + 412. Let c be r(6). Suppose -12 = 4*v + c. Do v and x have different values?
False
Let p = -9.5 - -70.4. Let d = p + -61. Let w = -59.999 + -0.001. Are w and d equal?
False
Suppose 0 = 4*k + 4, -p - 478*k + 15 = -481*k. Which is smaller: -35 or p?
-35
Let m = -37.5 + -10.7. Let t = -3340 - -3388. Let u = t + m. Is 2 greater than u?
True
Let v be (-36)/(-621)*(-12)/(-16). Suppose -4*s - 3 + 7 = 2*f, -f + 7 = -3*s. Are v and s non-equal?
True
Let c = -720 + 721. Let p = 119186/645 + -924/5. Which is bigger: c or p?
c
Let q = -9808 + 29440/3. Which is bigger: -23 or q?
q
Let f = -163 - -163.0139. Let t = -0.7161 - f. Which is smaller: t or 0?
t
Suppose -5*r = 5*c - 474 - 121, -3*c = -5*r - 349. Let b be (-2*1)/(-9 - -5)*c. Does 60 = b?
False
Let a = 554 - 570. Let t be ((-9)/(180/a))/(18/15). Is -139 at most as big as t?
True
Let n = -453 - -188. Let g = n - -265. Let d be 19/(-9) - (-10)/(-10). Which is smaller: g or d?
d
Let d = 5/433 + -1551/59321. Suppose 4*r - 93 = -25. Let t be r - 20 - (-8)/2. Which is bigger: t or d?
t
Let d(v) = 5*v**2 - 2*v + 3. Let y be d(1). Let f be -4 + (-335)/(-50) + y/(-3). Let a = 2 - 1. Which is greater: a or f?
a
Let v(l) = l**2 + 2*l - 16. Let d be v(3). Let b be (2 - d)*(-56)/72. Which is smaller: -3 or b?
-3
Suppose 4*b + 879 = a, -5*a - 246 = -59*b + 60*b. Do -221 and b have different values?
False
Let m = -141 - -376. Let y be ((-1)/4)/(m/(-40)). Suppose 0 = 15*a - 20*a + 4*j + 16, -a = 2*j + 8. Do a and y have the same value?
False
Let r = 13041/266785 + -12/233. Which is bigger: 0 or r?
0
Let z be 44415/(-35) - (-2 - 1). Which is smaller: z or -1265?
z
Let b = -1274 - -1397. Which is greater: b or 124?
124
Let k = 25.615 + 0.385. Let w = 0.03 - 27.03. Let p = w + k. Are p and -6 equal?
False
Let q be 1 + 4/(-3) + 116472/360 + -23. Which is smaller: 301 or q?
q
Let b be (8/20)/((-2)/(-10)). Let s = 0 - b. Let y = -2072 + 2076. Is y at most as big as s?
False
Let y = 333 + -141. Suppose -5*h + 219 = -3*j, -3*j + 15 = -4*h + y. Is -1 smaller than h?
True
Let t be ((-36)/(-8)*(-48)/(-72))/(1/(-1093)). Which is greater: -3278 or t?
-3278
Let q = 1382 - 863. Let l = q + -461. Is 0 equal to l?
False
Let p(v) = -7*v**2 - 30*v - 6. Let s(t) = 4*t**2 - 26*t + 8. Let m be s(6). Let y be p(m). Let r = -1700 - -27221/16. Which is greater: y or r?
y
Let c be 4286/(-5208) - (-4)/28. Let f = 7/12 + c. Is f bigger than 0?
False
Let g = 1599.27 + -1509.5. Let l = 2947 - 3037. Let c = g + l. Do c and 2 have the same value?
False
Let b = 4.619 - 226.619. Are b and 0.1 nonequal?
True
Let s = 153.2 - 124.2. Let u = 0.055 + 31.945. Let b = s - u. Which is smaller: b or 4?
b
Let x = 0.17 - 0.28. Let s = 0.009 + -0.019. Let l = s + x. Is -2/5 greater than l?
False
Let t(k) be the second derivative of 13*k**2 + 3/2*k**3 - 9*k + 0. Let i be t(-5). Which is smaller: -18 or i?
i
Let d be 1744*(30/100)/(6/10). Is 871 less than or equal to d?
True
Let w = -164.42 - -165.42. Which is smaller: w or 47/4?
w
Suppose -5*d + w + 2*w + 75 = 0, -3*w - 15 = -d. Let y be ((-5)/d)/((-1)/18). Suppose -p - 5 = -y*p. Is p smaller than 1?
False
Suppose -3*v - 4*u + 0*u + 2727 = 0, 2727 = 3*v - 2*u. Let t = v - 1861. Let c be 4/6 + t/1386. Which is bigger: c or 0?
0
Let z be (12/245*-45)/(6/(-448)) + 6. Which is smaller: z or 170?
170
Let l be (-56)/(-8)*(-33)/77. Is l >= -97/27?
True
Suppose -4*f - 2*j = -44, f - 4*j - 2 = -0*f. Let b(v) = -v + 7. Let y be b(0). Suppose -y*n = -f*n + 57. Is n <= 1?
False
Let g be 0 + (-19)/4 - 2145/(-780). Let i(v) = -v**2 + 9*v + 8. Let h be i(10). Is h at least g?
True
Let w be 11/9 + -1 - 1156799/(-153). Let k = 53047/7 - w. Is 18 bigger than k?
True
Let m = -37277 - -5256020/141. Is m smaller than 0?
True
Let s = -13571/4 - -116751321/34412. Is s at most as big as -1?
False
Let q = -1.1 + 8.1. Let h = 10478 + -10476. Is h < q?
True
Let b(s) = 2268*s + 88417. Let l be b(-39). Let k = 58/69 - 4/23. Which is smaller: l or k?
l
Let b(t) = -76*t - 26. Let w be b(-13). Let j be w/(-117) - (-2)/9. Let n be (-18*1/(-4))/((-6)/j). Is n < 5?
False
Suppose -6*a = 18*a + 110*a - 1676340. Do 12510 and a have different values?
False
Let q be (-15)/(-3)*(-24 + 25). Suppose -4*g = -7*g - 6, 3*g - 164 = -q*b. Which is greater: b or -7?
b
Let t = -170 + 158. Let b = 11 + t. Which is smaller: 2/21 or b?
b
Let z = -1.7 - -113.7. Let u = z - 111.8. Which is bigger: u or -2/275?
u
Suppose 3*l + 3 = -x, -2*x + 4*l = 6*l + 2. Let t = -90/37 + 21261/8695. Which is bigger: x or t?
t
Let g = 10 - 1. Let q(z) = -10 + 135*z - 152*z - 7*z**2 + 3*z**3 - 2*z**3. Let i be q(g). Which is greater: 7 or i?
7
Suppose -47*q + 57*q = 16330. Which is bigger: q or 1631?
q
Suppose -137*w + 540 = -133*w. Let c = 114 - w. Let g = c - -45. Is 24 greater than g?
False
Let q(h) = 7*h**3 - 5*h**3 - h**3 - h + 7*h**2. Let t be q(-7). Let y = -7 + t. Is 6/7 bigger than y?
True
Let n = -21.47 - -25.47. Which is smaller: n or -0.0339?
-0.0339
Let q = -1/6083 - 4348/10554005. Which is smaller: 0 or q?
q
Let s(f) = -96*f - 1810. Let z be s(-23). Is