a(c) = -c**3 - 4*c**2 + 4*c + 3. Let f be a(-5). Suppose -1 = -h, -4*h + f + 1 = 5*l. Let t = 0.25 - 2.55. Which is smaller: t or l?
t
Let v = 9/1855 - -39649/239295. Which is smaller: -1 or v?
-1
Let x = -99950/13 - -7689. Let c = -10 + 11. Are x and c non-equal?
True
Suppose 0 = 3*h + 15, 4*s - s + 17 = -h. Let r be s/((-16)/(-3))*24/63. Is 1 at least as big as r?
True
Let s be 7/315*6 + 2186/30. Suppose 4*j = 5*n + j - 355, 0 = -5*n - 2*j + 355. Which is greater: n or s?
s
Let o be (-6)/15 - (-37)/5. Let q(d) = -d**2 + 7*d + o*d - 5 + 3*d + 2*d. Let y be q(18). Is 12 <= y?
True
Let h = -62 - -58. Let o be (h/(-74))/((-14)/7). Let m = -4 + 4. Is m greater than o?
True
Suppose p - 18*w - 3 = -14*w, w = 5*p - 15. Suppose -3*t + 23 = -5*n, -8 = 4*t - 0*t + p*n. Do 5/168 and t have the same value?
False
Suppose -65 = -2*v - 77. Suppose l + 4*l = 3*n + 40, 5*n = 0. Let h = l - 14. Is h >= v?
True
Suppose -17*m = -15*m. Suppose -o + 5*w - 4 = m, -o - 3*w = -10 + 6. Is 5/16 bigger than o?
False
Let k(l) = 29*l**3 - l**2 + l + 1. Let w be k(1). Let h be (-1 - (-66)/2)/(w/(-45)). Let t be h/(-28) - (-12)/42. Is t smaller than 0?
False
Let k(n) = -13*n + 78. Let s(o) = -3*o + 24. Let p be s(6). Let l be k(p). Which is greater: 26/27 or l?
26/27
Let n(u) = u**3 - 7*u**2 + 5*u - 2. Let z be n(4). Let v(t) = -3*t - 12. Let m be v(-14). Suppose -5*p = -5*j + 165, -p + 2*j - m = 5. Which is smaller: z or p?
p
Let r(k) be the first derivative of -26*k**2 + 49*k - 210. Let n be r(4). Is n > -159?
False
Suppose 39*n - 13*n = -33*n. Is -52/219 <= n?
True
Let l = -18816.8 + 18861. Let k = -75 - -119. Let d = k - l. Do 2/3 and d have different values?
True
Let t(r) = 3*r**2 - 104*r + 627. Let v be t(27). Let z = 1 - -2. Suppose z - 28 = -5*g. Which is smaller: v or g?
g
Let b = 15/1439 + -7690/47487. Which is smaller: b or 1?
b
Let y = 11797 - 11349. Do 1.1 and y have the same value?
False
Let l be 1 - (96/(-33) - 2). Let m(g) = g**2 + 629*g - 12305. Let q be m(19). Which is smaller: l or q?
l
Let t = 4/1177 + -1685/149479. Let q = 0.326 - 0.026. Is q not equal to t?
True
Let z(u) = -2*u**2 + 25*u - 50. Let c be z(10). Let y be (-18)/(-4)*-2 + c. Is -3 at least y?
True
Let k(h) be the first derivative of -h**4/4 + 10*h**3/3 - 7*h - 4. Let f be k(5). Is f less than or equal to 119?
True
Suppose 0 = 5*f + 5*r - 1320, -28*f + 1320 = -23*f - 3*r. Let x = f + -286. Which is smaller: x or -148/7?
x
Suppose -12 = w + 2*w + 2*l, -12 = 3*w + 3*l. Let o be (-6)/w*-2*4/(-6). Let s = -24 - o. Which is bigger: s or -25?
-25
Let l = 28074 + -533724/19. Which is bigger: -18 or l?
l
Let r = -6556 + 10001. Is -0.3 >= r?
False
Let v(u) = -u**3 - 18*u**2 + 85*u + 12. Let r be v(4). Let t = 8.5 + -53.5. Is r at least t?
True
Suppose 14*y - 15*y - 2*g - 3 = 0, -4*g + 29 = -3*y. Which is greater: 5 or y?
5
Let k = 31 - 42. Let g(t) = t - 20. Let w be g(k). Let o be (-7)/(-28) - w/(-108). Which is bigger: 1 or o?
1
Let r(j) = 3*j**2 - 6*j - 92. Let c be r(-9). Let a be 1 + 5 + -7 - (1 - c). Is 203 smaller than a?
False
Suppose -5 = o - 1, 3*o - 76 = -4*w. Suppose 3384 = 4*i + 5*n, 5*i - 4*i = 3*n + 863. Suppose -i = -12*q - 25*q. Which is smaller: q or w?
w
Let n(j) = -582*j + 10934. Let u be n(8). Which is smaller: u or 6275?
6275
Let h be 1*-7 + 1 + 0. Let m(y) = -3*y + 70. Let l(g) = 3*g + 100. Let o be l(-25). Let j be m(o). Which is bigger: j or h?
j
Suppose -14 = -2*q - 16. Let k be (-2998)/655 - (10 + -14). Let y = k - 3/131. Which is greater: y or q?
y
Let o = -1.9547 - 74.0453. Is o less than 0.61?
True
Let q be ((-144)/(-112))/9 + 34/(-42). Which is smaller: q or -260/29?
-260/29
Suppose 1 = i - 3, 10 = 2*x + i. Let u be (x + 0)*78/(-27). Is -8 < u?
False
Suppose -4*q + 5*a - 289 = 0, 5*a - 2*a = 3. Let i(l) = -l**2 - 68*l + 18938. Let t be i(108). Which is smaller: t or q?
q
Let b(a) = -2*a**3 - 16*a**2 - 13*a + 9. Let l be b(-7). Suppose 2*g = -0*i - i, g - l*i = -5. Which is smaller: g or -1/41?
g
Let u = 10821242/553081 - 4/24047. Is -0.1 greater than or equal to u?
False
Let i be (61 - 60)/(1*33)*1/89. Which is smaller: i or -1?
-1
Let k = -335 - -335.078. Let z = k + 0.022. Which is smaller: 28.7 or z?
z
Let f be 3600/(-495) - (-36)/132. Which is smaller: -4 or f?
f
Suppose 33*c - 74*c = -27*c + 126. Which is greater: 68 or c?
68
Let x(n) = -n**2 + 13*n - 381. Let m be x(42). Are -1598 and m equal?
False
Suppose 4*v - 3452 = 7*v + 4*w, w - 3457 = 3*v. Let q be 2 + (v/140)/4. Which is bigger: q or -1?
q
Let j = -47 + 48. Let q be 3 + 0 - (-1 - 0)*j. Suppose -24 = -q*k + 12. Is 9 at most k?
True
Let y = -311/30 - -107/10. Which is bigger: -14.06 or y?
y
Let z be (-4)/(-6)*(-1037 + -16) + -2. Let j = z + 703. Let f = 20415/64 + -319. Which is smaller: f or j?
j
Let i be 6/(-225)*5 - 2/(-15). Let p be ((-10)/(-4))/((-1)/(-2))*1. Suppose -2*s - 4 = i, 0*w + p*s - 3 = w. Is w greater than -13?
False
Suppose -55*b + 61*b - 132 = 0. Suppose 0 = b*o + 17*o - 3744. Which is smaller: 93 or o?
93
Let n = -147715/51909 - 2/3993. Let g = 337/91 + n. Is -10 bigger than g?
False
Suppose -7*x = 21*x + x. Suppose 10*f - 8*f = v - 78, 4*f - 5*v + 144 = x. Which is bigger: -40 or f?
-40
Let v(s) = s + 4. Let c = -103 - -91. Let z be v(c). Which is greater: -9 or z?
z
Let l = 730 - 637. Suppose 0 = 5*t - l + 203. Which is greater: t or -9?
-9
Let m = 150 - 148.48. Let r = -2.52 + m. Let k = 107 - 74. Is r equal to k?
False
Let l = -24540 - -24604. Which is smaller: l or 120?
l
Let h = 7601/65 - 308/65. Which is greater: h or 113?
113
Suppose -76*v - 7845 = -37713. Do 394 and v have the same value?
False
Suppose 0 = -3*g - 4*y - 359 - 20, 5*y = 10. Are -146 and g unequal?
True
Let s = -3324/7 - -474. Let a(d) = d**3 - 4*d**2 - 7*d + 12. Let o be a(5). Suppose -4*m = 4*n - 1 - 3, -4*m = o*n. Which is smaller: s or m?
m
Suppose -28*y = -24*y. Suppose y = -11*i + 7*i - 96. Let q = -25 - i. Are -2/57 and q equal?
False
Let x = 6583 + -6586. Is -1.462 less than or equal to x?
False
Let f = -215.461 + 0.461. Let b = f + 194. Do b and -1/5 have different values?
True
Suppose 51*t = 49*t - 5*o - 22, 3*t - o = 1. Is t at most 2/11?
True
Let t be -2*(0 - 1)/(-12 + 13). Let n be 2/5 - (-14)/(-35). Let v be (-7 - -8)/(1 + n). Which is smaller: t or v?
v
Let x = -785 - -1325. Let y = -5941/11 + x. Let d be (-9)/7 + (-2)/(-7). Which is smaller: y or d?
d
Let v(y) be the second derivative of 7*y**3/2 + 50*y**2 + 232*y. Let r be v(-6). Which is greater: r or -180/7?
-180/7
Let w be (-4)/(-24)*417 - (-2)/(-4). Let n = w + -59. Suppose -n = 6*t + 2. Is t at most as big as -1/8?
True
Suppose -4*k - k = 4830. Let b be (-4)/(-18) - k/270. Let h = b + -5. Is -2 != h?
True
Let s be (-1)/5 - (-5 - 3180/(-25)). Is s greater than -122?
False
Suppose 0 = 49*c - 70*c + 38*c. Which is smaller: -113/92 or c?
-113/92
Let f be 220/(-4 - -3) + (-4 - -1). Let q = f - -249. Which is smaller: 12 or q?
12
Suppose -3*a - 140*a + 76219 = 0. Which is smaller: 2 or a?
2
Let w = 221 + -490. Let d = w - -268.5. Is d less than -0.1?
True
Let b(f) = -19*f - 418. Let q be b(-22). Which is greater: q or 1/39911?
1/39911
Let i = 38 - -51. Let h = i + -66. Let y be 2*4*(-1)/(-40)*2. Is y less than h?
True
Let q = 38.6989 + -0.8389. Which is smaller: 0.2 or q?
0.2
Let a = 521 - 519. Suppose d - 5 = -4*f, -4*f + 3*f - 1 = -a*d. Is -1/105 less than or equal to f?
True
Let o(h) = 6*h + 4. Let d(z) = 5*z + 5. Let w(u) = -5*d(u) + 4*o(u). Let n be w(-6). Let x be n*((-2)/2 + -3). Is 12 at most x?
True
Let m(c) = 317*c + 4592. Let u be m(-16). Which is bigger: u or -484?
u
Suppose 10 = r - 3*u, -u = -2*r + 59 - 49. Suppose 0 = 4*y + 7 - 43. Which is bigger: y or r?
y
Let p = -136221771/3629 + 37537. Is p at least 0?
True
Let c be ((-3)/2)/(3/(-4)). Suppose 3*k + 26*p - 21*p - 31 = 0, -4*k + 84 = -4*p. Let o = k - c. Which is smaller: o or -0.2?
-0.2
Let w = -1316/11 + 120. Does w = -5/2?
False
Let u be ((-7)/63*15)/((-2)/6). Suppose -3*v = 2*j - 15 - 5, -5*v + 26 = -4*j. Are u and v equal?
False
Let o = -1427/2 - -1041. Let r = -328 + o. Which is smaller: -25 or r?
-25
Let q be 16/(-4) - 0 - (-1 - 0). Let c be (-2 + 1)/(9/(q - 15)). Which is smaller: 22 or c?
c
Let i = -460 - -339. Let h = i - -112. Is h != -1/9?
True
Let o = 2/1017 - 3187/