r. Let c be (-1 + 4 + -1)/(-20 + 30 + -18). Which is greater: h or c?
h
Let r(z) = 11*z + 49. Let u be r(-19). Let s = 8161/51 + u. Which is smaller: s or -1/6?
-1/6
Let z = 374 - 538. Let t = -163 - z. Which is smaller: -3/14 or t?
-3/14
Suppose 2*k = 16*k - 154770. Let m be 10/(-55) - (-2120)/k. Which is smaller: 1 or m?
m
Let p be (1/20*5)/((-1)/(-932)). Let z be 29 + (-12210)/(-60) - (-2)/((-8)/(-6)). Which is greater: z or p?
z
Let k = -2922 - -3611. Is k at least -0.2?
True
Let k(d) = d**2 + d + 85. Let r be k(0). Let n be (-33)/r + (-21)/105. Is n at least 1/2?
False
Suppose -108*n + 175*n - 88*n = 27741. Which is smaller: n or -1323?
-1323
Let x = 252 + -251. Which is smaller: x or -2/725?
-2/725
Let n = -80.051 - -0.051. Let g = -75.9 - n. Let w = g - 4.14. Is -0.07 at least as big as w?
False
Suppose 0 = -5*a - 5*g - 905, 0 = -a + 2*g - 70 - 123. Let q = -68 - a. Is 116 not equal to q?
True
Suppose q - 312 = 3*h, -2*q + 554 = 143*h - 139*h. Which is greater: 310 or q?
310
Suppose 0 = 5*a - 8*a + 48. Let u(l) = 8 - 19*l**3 - 2*l**2 - 2 + a*l**3 + 4*l. Let b be u(-2). Is b equal to 14?
True
Suppose 0 = -5*j + 2*y + 7, -12*y - 2 = -4*j - 14*y. Is j equal to 2/18797?
False
Let f = 29.41 - 165.31. Let i = f - -136. Do -12 and i have different values?
True
Let f = -1.58 - 0.02. Let p = 625 + -622. Are f and p non-equal?
True
Suppose -2121 = 79*x + 50*x - 28*x. Does x = -12?
False
Let n be -2*(-4 + 2) + (-2)/2. Suppose 269 = n*a + 971. Let t = a - -7253/31. Which is bigger: 0 or t?
0
Let u = -1171374529/398002 - -31111/5038. Let a = -2937 - u. Which is smaller: a or 0?
a
Let j(g) = 2*g**3 - 12*g**2 - 12*g - 11. Let h be j(7). Suppose -13 = -5*w - h. Which is bigger: w or 21?
21
Let r = 277 + -343. Let f = r + 66. Which is smaller: 1/6 or f?
f
Let l = 1086 + -1013.7. Let v = l + 23.7. Let d = v - 95.9. Is d smaller than 4/5?
True
Let g be ((-88)/352)/(-1 + 1735/(-4)). Does g = 1?
False
Let f(n) = 4*n**2 - 74*n + 254. Let a be f(22). Which is smaller: a or 571?
a
Suppose 1 = -4*h - 19. Let n be 2/(-4)*h/(-10). Let v be 6/28*82/(-123). Is v bigger than n?
True
Suppose -t + 3 + 1 = 0. Let b be 6/(-18) - t/6. Let j be 5/110*122 - 6. Which is greater: j or b?
j
Let v be (-7 - (-21 - -6)) + 2/(-2). Suppose -2*j - 3*a + 124 = -v*a, 2*j - a - 109 = 0. Which is smaller: 1 or j?
1
Suppose -8*m = -4*m + 4*d + 940, -3*m - 708 = 6*d. Which is bigger: -245 or m?
m
Suppose 0 = -113*l - 466 - 890. Which is smaller: l or -18?
-18
Let s(w) = w**2 + 5*w - 11. Let t be s(-5). Suppose 5*q + f = 32, 2*f + 12 + 2 = 3*q. Let i = t + q. Is 1/7 greater than or equal to i?
True
Let u(r) be the third derivative of -r**6/120 - r**5/3 - 35*r**4/24 + 7*r**3 - 3*r**2. Let d be u(-18). Let p be (-506)/(-16) - 3/d. Which is smaller: p or 31?
31
Let p(q) be the third derivative of q**4/8 - 3*q**3/2 + q**2 + 30. Suppose 5*z = -3 + 23. Let g be p(z). Which is smaller: g or 0?
0
Let q = 455 + -535. Are -77 and q equal?
False
Let r be 6/(-20) + 3/9. Suppose 2*s - 5*n - 6 + 0 = 0, s - 2*n - 2 = 0. Let t be (42/(-7))/36*s. Which is bigger: t or r?
t
Let d be -12 + (-38)/(-3) + 4444/(-33). Suppose 2 = -2*q + r - 266, -668 = 5*q - 2*r. Which is smaller: d or q?
d
Let b(u) = u**2 - 24*u + 89. Let a be b(5). Let j be (-9609)/21 - a/(-14). Are j and -459 nonequal?
True
Suppose -22 + 23 = s - 2*d, 0 = 8*s - 4*d + 4. Which is greater: -2/16721 or s?
-2/16721
Suppose 2*d - 557 = -3*z, -d + 261 + 19 = 3*z. Suppose -4219 = -13*a - 20*a + 4955. Which is greater: d or a?
a
Let i = 411 + -759/2. Suppose -11084*a + 11079*a + 165 = 0. Is a != i?
True
Let f = -951/5 + 231103/1215. Which is greater: 21 or f?
21
Let u = -275.16 - -279.16. Is -5342 at most as big as u?
True
Suppose 5*p = 2*p + 189. Suppose 0 = -4*t + 3 - p. Let b = 0.05 + 0.15. Which is smaller: t or b?
t
Let a = -2.81 + -0.19. Let h = 10 + a. Let n = 63 + -64. Which is bigger: h or n?
h
Let x be -2 + (-135)/(-3) - (-8)/2. Suppose x*b - 38*b - 270 = 0. Which is greater: -1/5 or b?
b
Let m = -201/4 + 17077/340. Let u(o) = 98*o**3 + o**2 - 3*o - 3. Let b be u(-1). Let j = -96 - b. Are m and j non-equal?
True
Suppose 7*f = 36*f - 116. Suppose 5*r = f*y - 58 + 9, -3*y = -5*r - 38. Does y = 11?
True
Suppose -18*b + 792 = 29*b + 41*b. Which is smaller: b or 2?
2
Let w be -10 + -9 + 2672/152. Which is smaller: w or -2?
-2
Let w(r) = -r**2 + r + 1389. Let q be w(62). Which is greater: -2391 or q?
-2391
Let b = 35 - 104/3. Let z = 2.323 + -2.278. Is b < z?
False
Let w be (-44)/(-10) + (92/20 - 5). Suppose -2*y - 3*y - 9 = -w*q, 0 = 4*y - 5*q. Let h be (-2)/(0 + 2)*1/y. Which is greater: h or -15?
h
Let o(c) = 230*c**2 + 12*c - 112*c**2 - 39 - 113*c**2 + 7*c. Let t be o(-7). Let q be -1*2*(-73)/2. Is t equal to q?
True
Let z(l) = -7*l - 151. Let w be z(-17). Let g be (2/2 + -3)*716/w. Does g = 46?
False
Let w = -152 + 116. Let v be 8/(-6)*(-45)/w. Which is smaller: 0.2 or v?
v
Suppose 0*w - w + 4 = -3*k, 0 = 5*k + 5*w. Let o(d) = -d**3 - d**2 - 1. Let c be o(k). Let l be c/(94/31 + -3). Is -31 != l?
False
Let x = 602352/71 + -8484. Suppose -2638*p + 2638*p = m, -4 = -4*p + 3*m. Which is bigger: p or x?
p
Let t(k) = 3*k**3 - 8*k**2 - 4*k + 5. Let h(o) = -o**3 + o. Let s(b) = -4*h(b) - t(b). Let l = -1494 - -1486. Let x be s(l). Which is greater: -7 or x?
x
Let l = 10431 - 9866. Which is smaller: 7 or l?
7
Let d be 1/5 + (-114)/670. Let k = d + -123/1876. Let p = -1185 - -1184. Which is smaller: p or k?
p
Let k = 3748 + -3763. Is 14 greater than k?
True
Let b be 1/(-4)*(-12 + 86) - -4. Let o = 91/6 + b. Which is smaller: 98 or o?
o
Let s(t) = -166*t - 2076. Let z be s(-11). Is z at most as big as -241?
True
Let g(k) = -10*k**3 - 8*k - 27. Let m be g(-3). Suppose 0 = 3*t - 3*s - m, 4*t - 354 = -0*t + 3*s. Let r be t/(-6) + 2/4. Is -43/3 > r?
False
Let i be -9 - -1 - (8 + -16 + 56). Which is smaller: i or -967/17?
-967/17
Let y(m) = -m**3 + 110*m**2 - 427*m + 317. Let x be y(106). Do x and 6/4543 have different values?
True
Let m = 532321/10 - 53293. Which is smaller: -62 or m?
-62
Let l be (-585)/(-165) + (12/11)/(-2) + -2981. Which is bigger: l or -2977?
-2977
Let g be 0/(4 + 5) + (-640)/(-9). Suppose -4*c - 4*z + 300 = 0, c - 5*z - 60 = -z. Which is bigger: c or g?
c
Let p = 127/5 + -28. Let d = 603 + -468. Let r = d + -137. Which is smaller: p or r?
p
Suppose 5*g - 85 = -5*n, -g + 63 = 3*n - 2*g. Suppose 17*v = n*v + 9. Let r be 4 + (-7 - v) - (4 + -3). Which is smaller: 3/7 or r?
r
Suppose 0 = g - 6 + 8, 4*w - 2*g + 4 = 0. Let q be w/(-9) - ((-26390)/1035)/(-13). Which is greater: q or -3?
q
Let o be ((-4)/(-18))/(42000/108). Which is smaller: o or 1?
o
Suppose 15*n = 11*n. Suppose n = -4*s - 21*s - 4425. Which is smaller: -176 or s?
s
Let m(l) = -l**3 - 3*l**2 - 5*l + 4. Let f be m(-3). Let p = -18 + f. Let d be 1 + p + (-36)/2. Which is bigger: d or -15?
-15
Let z be -1*(-4)/10*-3. Let m(s) = -s**2 - 11*s + 16. Let k be m(4). Let g be (-11)/k + 15/(-12). Which is bigger: z or g?
g
Suppose -4*b + 5*o = -102, 0*o = b + 3*o - 34. Suppose 16*p - b = 4. Is p smaller than 24/17?
False
Let j be (-1)/9*(2 + (-182305)/35). Let g = -578 + j. Is 1 less than g?
False
Let h be 64/10 - 34/85. Let x(k) = 2*k**3 - 12*k**2 - 2*k + 11. Let t be x(h). Which is bigger: -6/115 or t?
-6/115
Let l be 1/1*(-34)/((-8092)/2590). Which is bigger: l or 10?
l
Let t = -425 - -542. Suppose 115 = -2*v - 5*p, -4*v - 68 = -5*p + t. Do v and 1 have different values?
True
Let q = -606.3 + 609.6. Is 16.8 at least as big as q?
True
Let r(z) = z**3 + 71*z**2 + 158*z - 389. Let f be r(-68). Which is smaller: 2741 or f?
f
Let z = -1073 + 1074. Is -9/40 equal to z?
False
Let f = 234.25 + -234.05. Which is bigger: -5415 or f?
f
Let d be -2 - -19 - (-522)/(-29). Do d and -3/20804 have the same value?
False
Suppose 4*a = -d - 41, 10*d - 9*d - 2*a + 35 = 0. Let i = d - 125. Is -163 less than i?
True
Let j = -330.37 - -334. Suppose -2*v + 4 = -6*v. Which is smaller: v or j?
v
Let v = -31.4 - 111.6. Let m = v + 143.4. Which is smaller: m or -0.23?
-0.23
Let f(c) = c**2 - 6*c + 3. Let t be f(6). Suppose -3*p = -t*i + 113 + 121, 5*i = -2*p - 128. Is p <= -74?
True
Let x be 3/6 - ((-18798)/5364 - -4). Is -1 > x?
False
Suppose 0 = -4*k + 25*o - 21*o + 280, -2*o = -4*k + 276. Suppose -25