r) = r**3 + 2*r**2 + 4*r + 14. Let j be d(0). Suppose -13*n + j*n = 6. Which is smaller: 12 or n?
n
Let x = 1960 + -941. Let c be 12/(-1040)*-718*-123. Let g = c + x. Which is bigger: 0 or g?
0
Let j(w) = -w - 4. Let t be j(-3). Let c be 25 - ((-2253174)/(-4095))/22. Are t and c equal?
False
Let b be 14 + 5 + (-2002)/104. Which is greater: b or 4.509?
4.509
Let x be (-43)/11 - (-10)/(5 + (-6)/2). Suppose r - 1 + 0 = 0. Suppose 3*w = r + 2. Which is bigger: w or x?
x
Suppose -5*t = -5*x + 10, 4*x + 41*t = 42*t - 1. Are x and 21/242 equal?
False
Let s = -726 + 1419/2. Let o be (6/4)/(7/(-560)). Let w = o - -104. Is w at most s?
False
Let y(d) = 5*d - 2. Let g be y(1). Suppose -g*x - 10 = 17. Let n be x - -7 - (-1 - 0). Is -2/85 > n?
True
Let m = 6/41 + -360/779. Let b(u) = 13*u - 15*u + 15*u - 30 - u**3 + 19 + 11*u**2. Let f be b(12). Is m != f?
True
Let n = -107131/2212 - -1/316. Let u = n - -24083/497. Are u and 0 unequal?
True
Let g be 12/(-2 - ((-515)/45 - -9)). Which is smaller: g or 8?
8
Let j be (4/2 + -1)*4. Let q = 1 - 0.9. Is j < q?
False
Let k = 82 - 59. Let i(m) = -m**3 + 15*m**2 - 14*m - 1. Let l be i(14). Let j be (-1)/1*23/(l + 0). Is j less than k?
False
Let a be 0/(2/4*2). Let z be 6 - (15048/(-234))/(-11). Are z and a equal?
False
Suppose -k - 3*r - 44 = 0, 5*r - 24 + 4 = 0. Which is greater: 0 or k?
0
Let p(y) = 4*y**3 + 21*y**2 - 23. Let x be p(-11). Which is smaller: -2803 or x?
x
Suppose -v = 5*a - 110, 184*a - 181*a - 202 = -4*v. Let b be 4/18 - (-772)/9. Let j = 127 - b. Is j at least v?
True
Let l(k) = k**2 - k - 9. Let j be l(0). Let q = 1664 + -1663. Are q and j nonequal?
True
Suppose -6*y = -3 - 87. Let l be ((-2)/3)/((-10)/y). Suppose 2*n = -13*n - 15. Which is greater: l or n?
l
Let l(b) = b**2 - b - 3. Let t be l(-5). Let v be (-552)/(-21) + (-386)/1351. Which is bigger: t or v?
t
Let p be (8/24 - 1*5)*2448/96. Which is smaller: p or -239/2?
-239/2
Let d(f) = 11*f + 301. Let q be d(-31). Let l be (0 - q/16)*-18. Is -45 > l?
False
Let d be (-204)/(-56) + 30/35 - 5. Let w be 1/(-2) + (-33)/6. Is d equal to w?
False
Let j be 1 + -3 - ((-3663)/27 + -10). Let k = j - 143. Which is bigger: 13/6 or k?
13/6
Suppose 0 = -27*r + 36*r. Let u = 561/559 - 20/43. Which is greater: u or r?
u
Let a(p) = 486*p - 537. Let t be a(3). Is 921 smaller than t?
False
Let m be 6/(-387)*(-4380)/6424. Which is greater: m or 0?
m
Let z be ((-2)/(-89))/((-10)/2346905). Let v = z + 5274. Which is smaller: 1 or v?
v
Let b be 1/((-3)/(-4587)*11). Is b > 128?
True
Let a = -6647 + 4818. Which is smaller: a or -0.3?
a
Let x be (2 - (-20)/(-8)) + 93/6. Suppose 5*v - 18 = -2*f + 17, 0 = -v - 2*f + x. Let l be (-2 - (-24)/10)/(48/500). Is l <= v?
True
Let p = -49 + 197/4. Let v = -8875.69 + 8839. Let x = v + 4.69. Which is greater: x or p?
p
Suppose 0 = -28169*g + 28145*g - 30816. Which is smaller: -0.1 or g?
g
Let d = 331/4 - 40709/492. Which is smaller: d or -3?
-3
Suppose -r = -8*a - 38850, -3*a + 0*a = 5*r + 14558. Is -4858 less than or equal to a?
True
Let t(s) = -s**3 - 145*s**2 + 287*s - 1030. Let f be t(-147). Let u be -2*3/636*-2. Is f <= u?
True
Let r = 0.386 - 2.686. Let g = r - -0.3. Is g less than -6.4?
False
Let h be 152/19 - (-2232)/(-291). Is h smaller than 1?
True
Let i = 13906 - 13904. Which is smaller: 2825 or i?
i
Suppose 0 = 4*h - 892 - 248. Suppose 3*m = 3*r - 0*r - h, 0 = 4*r - 5*m - 379. Is r less than or equal to 97?
True
Let l be -19 + (-2725472)/(-87920) + -12. Which is smaller: 0 or l?
l
Let g(q) = 173*q - 6. Let i be g(1). Suppose -168*b + 1 = -i*b. Is b bigger than 2/109?
True
Let r(q) = 16*q**3 - q**2 - 6*q + 6. Let h be r(1). Let a be (2/(-3))/(6/(-126)). Do a and h have different values?
True
Let q(v) be the first derivative of v**4/4 - 20*v**3/3 + 21*v**2/2 - 40*v - 3. Suppose 29*g - 545 = 6. Let o be q(g). Do -10 and o have different values?
True
Let q(n) = 3*n**2 - 2*n - 28. Let l be q(-12). Suppose 2*z - 296 = 4*u, 3*z - 15 = 5*u + l. Are z and 146 equal?
True
Let u = 1.8283 + -1.799. Which is smaller: u or 1/4?
u
Let r be ((-2)/40*-4540)/(2/4*2). Which is greater: 12 or r?
r
Let u(n) = -4*n - 3*n - 2*n - 4 + 6*n. Let s be u(0). Let p be (-4 + s/1)*-1. Which is greater: p or 9?
9
Let j = 815.4 - 745.4. Are j and -20 unequal?
True
Let f = -0.0031 + -665.9969. Let y = -666.29 - f. Do 1 and y have the same value?
False
Let o = 42 + -92. Let j(y) = -6*y + 105. Let s be j(17). Suppose 3*v - d + 153 = 0, -v = 4*v + s*d + 255. Which is greater: o or v?
o
Let l be 11/4*(-270930)/35595. Let g = l - -293/14. Which is greater: g or -1?
g
Let a be 1 - 16/(-8) - (-50323)/(-16779). Are a and 0 non-equal?
True
Let t = -268 + 149. Let m = 112.5 + t. Is m greater than -1?
False
Suppose 2600 = 18*t - 5*t. Suppose -143 = f - t. Do 62 and f have the same value?
False
Let l(p) = -p**3 - 5*p**2 + 8*p + 72. Let q be l(-5). Let g = 32 - q. Is g < -17/26?
False
Let v(b) = -b**3 + 12*b**2 - 9*b - 32. Suppose -11 = t - 22. Let p be v(t). Let x(i) = -i**2 + 5*i - 9. Let q be x(5). Do p and q have the same value?
False
Let p = 50.878 + -0.978. Let v = p + -49.5. Is -20 >= v?
False
Let b = 2838 - 2837. Which is bigger: 1/14487 or b?
b
Suppose -5*t = 5*i - 30, -3*i - 2*t = -0*t - 23. Let p(b) = b**2 + 25*b + 16. Let v be p(0). Which is smaller: i or v?
i
Suppose -10*t + 20406 = -13*t + 3*j, 13646 = -2*t - 5*j. Which is smaller: t or -6807?
t
Let u = 388.099 - 387. Let v = 0.099 - u. Which is greater: v or -2/27?
-2/27
Let j = -707 - -443. Let g = j - -264. Is g equal to 69?
False
Let a(t) = t**2 + 13*t - 74. Suppose 102 = -146*f + 140*f. Let v be a(f). Suppose 3*s = 2*o - 21, 3*s = 4*o - 3*o - 24. Are s and v non-equal?
True
Let r be -1*(-2)/(-7) - (10 - (-2868360)/(-278950)). Is r != -1?
True
Let o = 129.91 + -131. Let n = o + 0.09. Let b = 513 - 480. Is n != b?
True
Suppose -4*y + y - 1 = p, -6 = 3*y. Suppose 3*s + 2*f = 6*s + 2, 0 = p*s + 2*f - 2. Let h = -299/11 - -136/5. Which is smaller: h or s?
s
Let f be 3*(4/(-186))/1. Let d = 247.91 + -238.91. Which is bigger: d or f?
d
Let c be (204/(-17408))/((-1)/(-4)). Suppose g + 7 = -5*z - 7, 14 = 2*g - 4*z. Is g >= c?
True
Let l = 2 - -7. Suppose -l*i + 38 = -11*i. Is 0.07 greater than i?
True
Let h = -62344/117 + 846/13. Let m = h + 468. Which is smaller: m or -3.4?
-3.4
Let o(k) = -k - 6. Let d be o(-7). Let a = 209 + -220. Let r be ((-4)/846)/(a/33). Is r less than or equal to d?
True
Let n(u) be the first derivative of -u**4/4 - 11*u**3/3 + 6*u**2 + 12*u - 17. Let v be n(-12). Suppose 0 = -3*y - 14 + 53. Is v bigger than y?
False
Let k be 45997/9 + -6 - ((-150)/(-54) + -3). Which is smaller: k or 5104?
5104
Let i = -394.1 + 392. Which is bigger: 15/4 or i?
15/4
Let d = -0.02207 + 4.02207. Which is greater: d or -138?
d
Let i(l) = l**3 + 2*l**2 - 6*l + 30. Let g be i(9). Which is smaller: g or 0.1?
0.1
Suppose -5*z + 344 = -106. Let s = 1506 - 1505.9. Which is smaller: z or s?
s
Let o(s) = s**3 - 8*s**2 + 9*s - 10. Let c be o(7). Suppose 0 = c*f - 2*p, 3*p - p + 3 = f. Let r be (-84)/6*(-3)/15. Is r bigger than f?
True
Let k = 360 - 153. Let m = k + -205. Which is smaller: m or -0.23?
-0.23
Suppose 26 + 51 = -77*s. Let z be (-2 - 0) + -6 + -1. Let b be s*(z/18)/(1/2). Is b > -5?
True
Let r = 56.2238 - -0.0762. Let g = 7.3 - r. Let n = g - -51. Which is smaller: n or -0.4?
-0.4
Let x = -0.08315 + 0.48315. Is x at most as big as 0.326?
False
Let h(t) = -38*t + 33 + 201 + 49 - 44. Let k be h(6). Is 17 at least k?
True
Suppose 29 = h - 2*v - 6, -5*h = -2*v - 151. Suppose 20*f - 5*q = 17*f + 34, 0 = -3*q - 6. Which is smaller: f or h?
f
Let b(i) = 32*i**2 + 1535*i - 17. Let w be b(-45). Which is bigger: -4293 or w?
w
Suppose 67328 = 115*v - 26972. Is v bigger than 820?
False
Suppose -19*f + 118370 + 32965 = -43377. Which is smaller: 10247 or f?
10247
Let m be -1 + (-31905)/(-55) + (-2)/22. Which is smaller: 0 or m?
0
Let p be (((-2)/(-4))/(218/6104))/((-2)/(-60)). Is 1256/3 less than or equal to p?
True
Suppose z + 26 - 8 = 0. Suppose 3*r - 5*n + 2 = 0, -3*n + 2*n + 13 = -2*r. Which is smaller: r or z?
z
Suppose -4*q + 5*g = -6*q - 117, -4*g - 204 = 4*q. Do q and -48 have the same value?
False
Suppose 9*o = 31 + 5. Suppose o*v - 546 = 2*i, -5*v + 5*i - i + 687 = 0. Which is smaller: v or 136?
