*v + 7 = n - 2*v. Let d be 502/(-704) - (-20)/110. Let g = -9/16 - d. Is n <= g?
True
Let q = 3/137806 + 4821629/72623762. Which is greater: q or 0?
q
Let v be (-118637)/19758 + 1*6. Which is greater: 6 or v?
6
Let l = -79.6 + 140.6. Let k(g) = g**2 - 6*g. Let n be k(6). Which is bigger: l or n?
l
Suppose -37*q - 69 = 411 + 778. Which is smaller: q or -22?
q
Let o = 29 + -28.96. Suppose 39 = 5*x + 64. Let u be (-2)/x + 1*(-2 + 2). Is o at least as big as u?
False
Let q(d) = -d**3 - 8*d**2 - 54*d - 251. Let h be q(-6). Which is smaller: h or -1/597?
-1/597
Let t be (-1)/2*(10/15*-9 - -8). Let l be (-13 - -14)*(-6)/301. Which is bigger: t or l?
l
Suppose 0 = -5*q + 101 - 1586. Let y be (q/63 - -7)*9/15. Is 1 at most y?
True
Suppose -1944*q = -1940*q - 24. Let i be 21*16/36*9/q. Which is greater: 8 or i?
i
Let d(m) = -m**2 - 3*m + 40. Let g be d(-8). Suppose -4*w = k - 1, 2 = 3*w - g*w + k. Which is smaller: -3/17 or w?
w
Let j = -188769 - -2074467/11. Is -182 less than j?
True
Let m be (-6)/(-16) + (-2284905)/6135192. Is m at least as big as 1?
False
Let m = 96.7 - -24.9. Let o = m - 171. Is -1 > o?
True
Let n = -10792 - -10793. Which is greater: n or 8/247?
n
Suppose 28409 = -25*y - 49916. Is y equal to 0.1?
False
Let r = 16 + -30. Let y be 8/(-2)*(-109 - -66). Suppose y*t = 171*t - 13. Is r at most t?
True
Let x = -30086972/177 - -169984. Let j = -3460/10797 + x. Which is greater: 2 or j?
2
Suppose 5*c + 1340 - 1345 = 0. Let f(j) = -63*j**2 + 31*j - 30. Let p be f(c). Let t = -136 - -73. Which is smaller: t or p?
t
Suppose 775 = 7*n + 187. Suppose -3*b + n = 4*b. Let u = b - -9. Is u at most 21?
True
Let k = 0.2236 - -390.4164. Let w = k - 477.3. Let c = 87 + w. Is c equal to -1/2?
False
Let q(s) = -2*s**3 - 4*s**2 - 11*s - 7. Let b be q(-2). Are 38 and b unequal?
True
Let v(h) = 497*h + 8950. Let p be v(-18). Suppose f - 4*f + a + 9 = 0, -6 = 2*a. Suppose -2*l + 17 + 9 = -f*d, 5*d + 25 = l. Is l smaller than p?
False
Let p(z) = 2*z**2 + 264*z + 1025. Let v be p(-128). Which is smaller: v or -1/8869?
-1/8869
Suppose y = -2*u + 16, 3*u + 21 = 3*y - 0*u. Let s be (-274)/(-55) - 8/y. Which is bigger: s or 5?
5
Suppose 2*l = 3*d + 21, 0 = 4*l + 4*d - 3*d - 21. Let v be (-6)/12*l/7. Suppose 0 = -0*o + 4*o + 4. Are v and o nonequal?
True
Let v(f) = -2*f**3 + 7*f**2 + 20*f + 10. Let d be v(7). Is -173 less than or equal to d?
False
Let w be ((-14)/28)/((-2)/768). Suppose 194*g - 22 = w*g. Let p(k) = k**3 + 12*k**2 + 9*k - 11. Let s be p(-11). Is g <= s?
True
Let v be ((-90)/225)/((-199596)/(-20)*6/(-36)). Do v and 0 have the same value?
False
Suppose -2*a + 8 = 0, -5*q - 3*a + 847 = -615. Suppose -r = -4*t - 42 + 340, r - 2*t = -q. Which is greater: 0 or r?
0
Let d = 59893 + -299468/5. Suppose 3*f + 2*f = o + 454, -f - o = -86. Which is smaller: f or d?
d
Let h be ((-8)/58772)/((-88)/56 + 2). Which is smaller: 1 or h?
h
Let s be 244/(-9638) - (-780)/(-395). Is s less than -42/55?
True
Let p = -286827979/371013 + 116/16131. Let k = 773 + p. Let u be (-2)/4 - 1/2. Which is smaller: k or u?
u
Let b be 3/(-6)*(-5 + 2 - -1). Let j be (b + -2)/((-11)/(-231)). Let z be ((-1)/j)/(19/(-114)). Is -0.73 at most as big as z?
True
Let a = 114 + -111. Suppose o = -a*p + 6, 3*p = -2*o + 3 + 3. Suppose -3*z - 2*x - 22 = -0*z, -3*z - 5*x = 37. Is z smaller than o?
True
Let q = -8403/4 + 1833. Let s = 266 + q. Let a be (-26)/22 - (-48)/264. Which is smaller: s or a?
s
Let z = 90424 + -90424.066. Suppose -5*y = 8 + 2. Is y less than z?
True
Let n = 1141 - 791. Let h = 252 - n. Which is greater: -99 or h?
h
Let z(r) = -22*r - 129. Let i be z(-6). Let a(n) = -n**3 - 5*n**2 - n + 3. Let b be a(-4). Let v be b/i*2/(-6). Which is smaller: -1/29 or v?
-1/29
Let k = 6191989697/18015 - 343713. Which is bigger: k or 0?
k
Let h(w) = 4*w**2 + 116*w + 65. Suppose -652 - 23 = 25*f. Let b be h(f). Is b equal to -151?
True
Let b = -11954 - -11957. Is b not equal to 55/18?
True
Let c(r) = -r**3 - 9*r**2 + 113*r - 6. Let v be c(7). Let p = 359 - 7. Let m be (-4)/(p/260) - -3. Is m greater than v?
False
Let f be ((-981)/18)/(4/(-8)). Let o = 219/2 - f. Let j = 3 - 5.4. Which is bigger: o or j?
o
Let u be ((-18)/21)/(-7 - (-8205)/1155). Is -7 >= u?
True
Let s(r) = r**2 - 15*r - 16. Let o be s(13). Let u be (-68)/(-7) - 2*6/o. Which is greater: u or 12?
12
Suppose 0 = -2*u + 23311 - 7807. Let t be 1/((-4)/u*-6). Are t and 324 nonequal?
True
Let c(y) = 4*y + 16. Let l(b) = -b**2 - 3*b + 24. Let p be l(-7). Let d be c(p). Which is smaller: 1/8 or d?
d
Let j = -2913867836/935331 + -2/311777. Which is bigger: j or -3115?
-3115
Let j be ((2010136/17520)/37)/(38/174). Let q = j + 3/2774. Is q > 2/7?
True
Let c = -1605 + 1530. Let a = -24 - -24. Is a less than c?
False
Let x = -2.962 + 16.875. Which is bigger: x or -1?
x
Let y = 343.9 + -364. Let q = 95.9 - y. Is q less than 0?
False
Let y = -32413 + 31880. Is y < -550?
False
Let r(c) = c**3 - 28*c**2 + c - 422. Let g be r(0). Let p = -153 + g. Is p <= -575?
True
Let q = 3630 - 3625. Is -0.33 equal to q?
False
Let d(c) = -c**3 - 4*c**2 + 6*c + 7. Let z be d(-5). Suppose z*g + 18 = -4*o, g + 24 = -0*o - 5*o. Let w be (-4)/(-8)*-2*(0 - g). Does w = 6/41?
False
Let m(z) = z**2 - 20*z - 5. Let w be m(20). Let d be 2793/35 + (-1)/w. Which is bigger: d or -0.1?
d
Suppose -5*v + 2*c + 5 = -0*c, 4*c + 15 = 5*v. Let z be (-1909382)/133008 + 172/12. Which is greater: z or v?
z
Let f = -38 - -24. Which is smaller: -0.065 or f?
f
Let b = 290869 - 872818/3. Suppose 5*o + 339 = 2*m, -2*m - 50 = 5*o + 301. Is o smaller than b?
False
Let b(r) = -11 - 3*r + 21*r + 23*r + 81. Let x be b(-2). Does -22 = x?
False
Let o = -513 - -492. Let x = o - -27. Which is bigger: x or -30?
x
Let u be (16 + (-588)/36)*(-1 - 2). Is u <= -5/1523?
False
Suppose -2*w - 26 = 2*n, 5*w + 6*n + 61 = 2*n. Suppose y - 24*y + 1357 = 0. Let f be (-64)/(-80) + y/(-5). Is w at least as big as f?
True
Let d be 1 - 1 - (-52)/(-22). Suppose 19 + 14 = -11*p. Let i be -3 + p + -1 + 5. Which is smaller: i or d?
d
Let p = -0.1 - 7.9. Let v = -212 + 214. Let x = -1 + v. Is x <= p?
False
Let m be (18/(-4) - -4)/(-1 - 1223/(-1222)). Which is smaller: m or -618?
-618
Suppose -4*p - d = -39, -4*p - p - 5*d = -45. Let x(u) = -6*u - 2*u**2 + 14*u + 8*u + 6*u - 6 - 3. Let a be x(p). Do a and 12 have the same value?
False
Let y = 25691017/70506891 - 1/285453. Which is bigger: 0 or y?
y
Let f(i) = -105*i**2 + 34*i - 36. Let o be f(1). Let q be (-844)/9 - 18/81. Let b = q - o. Is 9 < b?
True
Suppose -6*v + 2*v + 272 = 0. Suppose 331 + 269 = -10*r. Let h = r + v. Which is bigger: 11 or h?
11
Let z = -28 - -27.7. Let p = 30 + -25. Suppose -p*w + 50 = 5*n, -2*n + 42 = 2*n + 3*w. Is z bigger than n?
False
Let i = -672 - -708. Let j be (-124)/30 + i/270 - -3. Is -23 smaller than j?
True
Let x be (-13)/(-195) + 1708/30. Is x at most as big as 50?
False
Let u(z) = 21*z - 6. Let a be u(2). Suppose -32 = 4*j - a. Which is smaller: j or 4/71?
4/71
Let s = 113 - 67. Suppose 2*u = 3*r + 10, -4*u - s = 2*r + 3*r. Let h be (r/(-9))/((-8)/12). Which is smaller: h or 2/91?
h
Let c = 220 - 393. Let i = -172 - c. Which is greater: 2/227 or i?
i
Let y be ((-2)/12)/((-1979102)/248). Let d = 61575619/478815 - y. Is 128 < d?
True
Let b be 1 + (-14)/6 - (32 - (-44576)/(-168)). Let o(g) = 26*g**2 + g + 2. Let x be o(-3). Are x and b equal?
False
Let c = -197.157 + 4.247. Let j = c + 193. Which is greater: -1/35 or j?
j
Let f = 13/25 - -3073/100. Suppose -4*q - 2*l - l = -132, q + 4*l - 46 = 0. Which is bigger: q or f?
f
Suppose -3*r = -0*r - 69. Let n(z) be the third derivative of z**6/120 - z**5/4 + 13*z**4/8 - 13*z**3/6 + 330*z**2. Let w be n(12). Is w at most r?
True
Let w = 4 - 4. Let f(s) = w*s - 14 - 2 - 5 - 2*s. Let u be f(-9). Is -7 >= u?
False
Suppose 19*o = 8326 + 490. Suppose -5*z - 5*j + 531 = -o, 3*j + 403 = 2*z. Which is smaller: z or 199?
199
Let f(d) = 2*d**2 + 142*d + 122. Let c be f(-73). Are c and 407 unequal?
True
Suppose -4*w = 3*j + 29, 0 = -3*w + 7*w - 4*j + 8. Let l be (18/(-5))/(-6) - (-11878)/w. Let a = l - -508249/214. Is 0 equal to a?
False
Let t(z) = -21*z - 1072. Let h be t(-51). Let o = -38/5 - -6. Is h less than o?
False
Let x = -0.127 + -0.193. Let l = -5.32 - x. Which is bigger: 11/2 or l?
11/2
