 -5?
True
Let l(d) = -d**2 + 5*d - 3. Let w be l(4). Suppose 5*v + 4 = -13*x + 11*x, 6 = -3*x - 5*v. Let i be x/(-10) - 756/4130. Is i < w?
True
Let m = -53.02 + 51.92. Which is smaller: 132 or m?
m
Let j = -568 - -567. Let g be (j*(-6)/(-9))/24. Which is smaller: 1 or g?
g
Let s(a) = 0*a**2 + 8 + a**2 - 2 + 5*a - 4. Let b be s(-6). Suppose 4*t - 52 = b*t. Is t equal to -13?
True
Let y be 5/(9 - 4)*28/4970. Suppose -4*i + 6*i + 2 = 0. Is y less than i?
False
Suppose -7*u - 153812 - 39988 = -37*u. Are 6462 and u nonequal?
True
Suppose 103*p - 317 = 133 + 65. Is -59 greater than p?
False
Let l = 1087 - 616. Let g = l + -470. Are 44 and g unequal?
True
Let j(d) = d**2 + 2*d + 26. Let u be j(-8). Let p = u + -74. Is -2/333 less than p?
True
Let r = 1868 + -4423. Is r bigger than -2556?
True
Let l = -274723 - -3567086/13. Suppose 2*x + 1002 = -x - 3*d, d = -3*x - 998. Let p = l - x. Is 1 less than or equal to p?
False
Suppose 10*n + 2*n = -22*n. Is -1/2713 at most as big as n?
True
Let s = 89 + -89.083. Let b = -49.917 + s. Let a = 49.9 + b. Which is smaller: a or 2?
a
Let j = 231 + 894. Suppose 3*r - 4*d = 664, r - 3*d = -4*r + j. Suppose 9*q + r = -33. Is q <= -30?
False
Let g = 7468 - 7063. Which is greater: g or 807/2?
g
Let o be (-16)/(-9) - (-16)/72. Let v = -269 + 269. Suppose 3*r - 3*a = -6, -a - 1 + o = v. Are r and 2 unequal?
True
Let k = 157 - 107. Suppose -4*y + 210 = -k. Which is smaller: 62 or y?
62
Let l be ((-43668)/(-1428))/((-26)/(-16) + -2). Let r = l + 570/7. Which is bigger: r or 2/3?
2/3
Suppose -11 = -2*v + 2*t - 21, 0 = -8*v + 2*t - 4. Is -4/12649 at most as big as v?
True
Let g be -1 + 3 + (0 - 0)/(-4). Let s be 0/(3/(3/g)). Is -7/11 greater than s?
False
Let s be 12/(-66) + 1885/143 + -12. Which is smaller: -56/545 or s?
-56/545
Let z be (63/28)/(-4*(-6)/32). Suppose 4*f = -3*b - 419, 0 = -2*b + z*f - f - 284. Which is smaller: -142 or b?
-142
Let z be -4 - (-3 - 5/((-1890)/(-381))). Let l = z + -65/252. Which is bigger: 258 or l?
258
Let v = 178 - 178. Suppose 30*x - 34*x = v. Which is bigger: -2 or x?
x
Let n be (-60)/(-48) - 615/164. Which is smaller: n or -5/7?
n
Let z be (((-88452)/105)/(-26))/(114/40 + -3). Is -290 >= z?
False
Let s = -3395.1 + 3118. Let b = -3.1 - s. Is 0.1 > b?
False
Suppose 5*w = 5, 21*p + 5*w = 23*p - 5. Suppose 16*l + 23 = -2*y + 15*l, -p*y + l = 54. Are y and 3 unequal?
True
Let l be 103/(6901/134)*1/(-70). Let u(p) = -p**3 - 2*p**2 - p. Let a be u(-2). Suppose -3 = -b - a. Which is greater: b or l?
b
Suppose 24*m - 21*m = -2*s - 22681, 5*s = -5*m - 56710. Let r = s - -124917/11. Is r less than or equal to 10?
False
Let i be 0/((-9)/(-3))*1. Let d = -433 + 4778/11. Let l = d + -503/385. Do i and l have the same value?
False
Let u = -23 + 19.8. Let c = 6.5 + u. Let h = 2.9 - c. Which is smaller: -2 or h?
-2
Let z = 4852 + -4851.98. Which is greater: z or -42?
z
Let m = -140368 + 140367. Let t be -1*3 + 1395/470. Does t = m?
False
Let m(c) = -69*c**2 - 67*c**2 - 20*c + 12 + 131*c**2. Let w be m(-5). Which is smaller: -9 or w?
w
Let k = -4.2 - 0. Let f = -295 - -290.73. Let t = k - f. Does 5 = t?
False
Let l = 338 - 340. Let t be l/(-3) - -7*1526/(-1029). Is t greater than -11?
True
Let j = -9572 - -9826. Which is bigger: 3285/13 or j?
j
Let w = -3905 + 527177/135. Is w < -43?
False
Let k be 30/988*120898 - 12/3. Let g = -3667 + k. Which is greater: g or -1?
g
Suppose 0 = -y - 5*o + 79, 5*y + 0*o - 250 = 4*o. Suppose 33*x = 15*x - y. Which is bigger: 48 or x?
48
Let f be ((-18)/(-4))/((-1011)/2971666). Which is smaller: 1 or f?
f
Let b = -423112/145 + 2918. Suppose -290 = 43*l + 570. Let v be 28/l - 22/(-55). Which is smaller: v or b?
v
Let m(n) = -n**3 - 10*n**2 - 18*n + 32. Let r be m(-6). Let l(h) = -17*h - 66. Let t be l(r). Which is smaller: t or 19.6?
t
Let y be (-4)/(-10) - 64/10. Suppose 0 = -5*x - 20, c - 81 = -3*x - 97. Let o be 28/(-14) + 28/c. Is y at most as big as o?
False
Let z(w) = -134 + 8*w + 26*w + 54 - w**2. Let p be z(29). Is p < 64?
False
Suppose -2*p = -241 + 11. Suppose k + 4*k - p = 0. Suppose c - 19 = -4*h, 5*h - 2*c - k = -3*c. Is 0.1 > h?
False
Suppose -7*x = -10*x + 12. Suppose 0 = 5*b - x*b - 1. Let t = 92 - 369/4. Which is smaller: b or t?
t
Let o(a) = 7*a - 3. Let q be o(4). Suppose -78*m + 600 = -73*m. Suppose 21*c = q*c - m. Is c <= 32?
True
Let z(l) = -3*l**3 - 62*l**2 + 12*l + 77. Let x be z(-21). Is -1 at least as big as x?
False
Let k(f) = -4*f**3 - 419*f**2 - 318*f + 249. Let i be k(-104). Is i > 869?
True
Let a = 155 + -149. Let s(q) = -q**3 + 11*q**2 - 28*q - 1. Let p be s(a). Which is smaller: p or 112/9?
p
Let r = 10049 - 894373/89. Let l be -1 + 0 + 1 - 1. Which is smaller: l or r?
l
Let q = -35461/4774586 + -15/6613. Which is bigger: q or 1?
1
Let i = 0.0931 - 0.1931. Is i at least 61?
False
Let f be 0 + (4 - 3) + -2. Let p = -7645 + 1108524/145. Do f and p have different values?
True
Let h be ((-5)/10)/((-7)/42) - -2. Let x be (-1 - (0 - h)) + 15/(-4). Is x not equal to -96/7?
True
Let q = 12104/3365 + 2/673. Let a be 0 - 1 - 3 - 3. Let x = 10 + a. Which is smaller: q or x?
x
Suppose -2*o = 2*i + 730, -2*i + o - 1455 = 2*i. Is -359 less than i?
False
Let j(l) = l**3 + 165*l**2 + 163*l + 210. Let b be j(-164). Which is bigger: 407 or b?
407
Let m be 1 - -5 - 28780/4800. Let r = 301/240 - m. Is 0.02 less than r?
True
Let w = 185 - 24. Let r be (138/w)/((-2)/(-28)*2). Is r less than 27/5?
False
Suppose 156 = 27*k - 357. Let a be (266/(-21))/k*834/4. Which is smaller: a or -141?
-141
Let m = 8 - 49. Let g be 3/(45/(-2)) + (-7969)/195. Is g <= m?
True
Suppose -3*y - 34 = -5*f, 4*y - y + 19 = 2*f. Let j(m) = m**3 + 4*m**2 + m - 6. Let k be j(y). Suppose t - 1 = -2*g - 0*t, k = -t - 1. Are g and -3/65 equal?
False
Let m be -1*40*(-4 + 3). Let i(s) = -6*s + 117. Let u(c) = 13*c - 52. Let f be u(5). Let d be i(f). Is m greater than or equal to d?
True
Let x = 3566426/11 + -324586. Which is bigger: x or -366?
x
Let o(r) = 379*r**3 - 6*r**2 + 9*r - 1. Let f be o(2). Let d = 39298/13 - f. Which is greater: d or -3?
d
Let n be (-10)/70 - 2/14. Suppose 0 = 2*t - 5*w + 3 + 2, -2*w + 1 = -t. Suppose 5*a - 4*x = 20, -5*a - t*x = 25 - 0. Is n bigger than a?
False
Let a = 101.9 - -12.1. Let z = a + -158.8. Let g = z - -45. Is 3 <= g?
False
Let t be ((-1)/2)/(39/(-36)). Let y(q) = 8*q**2 - q + 6. Let p(z) = -6*z**2 - 5. Let s(j) = 6*p(j) + 5*y(j). Let u be s(0). Do t and u have different values?
True
Let z = 1.7 - 1.49. Let t = -0.01 + z. Is 8 != t?
True
Suppose 39*f - 37*f - 16 = 0. Suppose 0 = -f*q - 163 - 261. Let p = 78 + q. Is 25 at most p?
True
Let r = 38996/67 + -582. Let p = -41 - -32. Let s = 9 + p. Is r less than s?
False
Let n(j) be the first derivative of j**3/3 - 8*j**2 - j + 45. Let i be n(17). Let o be (18 + -12)*i/(-6). Which is smaller: o or -19?
-19
Let z = -2910 + 4992. Let r be z/(-5280) - (-4)/10. Is -1 less than r?
True
Let t be ((-2077504)/(-20984))/(-11) - (0 - 9). Which is greater: 2/15 or t?
2/15
Let o = 11/61 + -138/427. Which is smaller: o or 0.0459?
o
Let f = 73 + -135. Let n = -84 - f. Which is smaller: -2 or n?
n
Let d = 3.8 + -0.8. Let h = 2342 - 2339. Is d not equal to h?
False
Let a(l) = 17*l + 9. Let f be a(-12). Suppose -4*x - 384 = 2*h, 5*h - 5*x + 417 + 573 = 0. Which is greater: f or h?
f
Let u(k) be the first derivative of -16*k**3/3 + 58*k**2 - 11*k - 251. Let t be u(7). Which is bigger: -8/3 or t?
t
Let o be (210/(-49)*(-4)/(-16))/(-12). Let j = o + 265/168. Which is greater: j or -2/7?
j
Let z = -22.54 - -12.75. Let k = z + 10.4. Let o = k + -0.71. Which is smaller: o or -51?
-51
Let u(s) = -9*s**3 - 19*s**2 - 30*s + 144. Let j be u(-8). Which is smaller: j or 3774?
3774
Suppose -6623 = 14*r - 5195. Which is bigger: -92 or r?
-92
Let c be (32/(-72))/1*120/64. Let j = -2.3 - -2.4. Is j bigger than c?
True
Let m = -2771 + 2757. Is m < 15/16?
True
Let q(s) = s**2 + s - 2. Let i be q(-2). Suppose i = 6*y + 30 - 18. Which is bigger: 0.09 or y?
0.09
Suppose -2 = -2*s - 20. Let b(o) = o**2 + 7*o - 13. Let r be b(s). Suppose 4*w + 2*p + 31 + 73 = 0, w + 26 = r*p. Is -27 < w?
True
Suppose 3*i + 3*o + 68 = -o, 5*i + 70 = 2*o. Let h be ((-25)/(-10) + -4)*2. Let y be 240/50*10/h. Do i and y have the same value?
True
Let h = 120 + -75. L