13?
False
Let p(u) = -u**2 + 4*u + 17. Let c be p(7). Which is greater: -5 or c?
c
Let i = 25 - 35. Let l = 10 + i. Is l less than -0.2?
False
Let h be (7 - -11)*(-2)/(-4). Suppose -u + 0*u + 4*b + h = 0, -b = -5*u + 7. Is 1 less than or equal to u?
True
Let a(h) = -h - 2. Let n be a(-5). Let r = -4 + n. Let i = r - 0. Which is greater: i or 1/6?
1/6
Suppose -4*y = g - 12, -g - 3*y = -0*g - 16. Suppose 5*b - b = -g. Let n = 2 + -3. Which is smaller: b or n?
b
Let r be (4/(-10))/(-2 - -6). Which is smaller: r or 0?
r
Let q be 0/(1 + 2) + 0. Let p(t) = t**3 + 1 + 3*t**2 + 0*t**3 + q*t**2. Let w be p(-3). Is -2/5 at most w?
True
Let j = -50 + 49. Is j <= 2/33?
True
Let s = -2/2331 - 10868/11655. Let j = -41/60 - s. Suppose -m - l + 1 = -0*m, -4*l + 4 = 5*m. Which is bigger: j or m?
j
Let p be 4/(-14) + (-120)/(-28). Let y = -20 - -23. Are y and p nonequal?
True
Suppose 3*d = 2*d + 16. Let f = d + -27. Let n be -4*(-1)/(f - 3). Is n at least as big as 1/2?
False
Let t be -6*1 - -3 - (3 - 7). Is t greater than -2/29?
True
Let f = -0.1 + 0.4. Let n = 0.5 - f. Let l = -0.1 + n. Is l less than -2?
False
Let p be (-10)/3 + 1/3. Suppose 0 = -3*t + 87 - 93. Is t < p?
False
Let y be ((-165)/308)/(3/(-8)). Which is smaller: y or 0?
0
Suppose -3*z - 66 = -3*u, -2*z + u - 47 = -2*u. Suppose 3*c - 3*j = -39, 0 = -3*c - j - 13 - 46. Do z and c have the same value?
False
Let m = -4 + 7. Suppose 0*h + 2*a = h - 7, -m*a - 16 = 4*h. Is 0.1 equal to h?
False
Let w(z) = z**2 - 11*z - 13. Suppose p = -p + 10, 50 = 5*i - 2*p. Let s be w(i). Which is bigger: s or 1?
1
Let f = -12.2 - 1.8. Let o = -24 - f. Which is smaller: o or 2/3?
o
Let r be (-15)/9 + 4/6. Is -1/24 greater than r?
True
Let f = 98.6 - 85. Let c = 14 - f. Are 0.1 and c equal?
False
Let c be -45*3/6 + 4. Let t be (1 - 0)*(-19 + 0). Let q = t - c. Is -2 < q?
True
Let s be 3*(3 - 2) - 45/6. Which is greater: -6 or s?
s
Suppose -2*b = -4*f + 82, f + 0*b + 4*b - 16 = 0. Suppose -4*k + j = -4, 6*j - f = j. Suppose -5*q - 9*i = -13*i - 8, 0 = 3*q - 4*i - 8. Are q and k non-equal?
True
Suppose 26*u - 11 = 15*u. Which is bigger: 3/2 or u?
3/2
Let z be 2/6 + (-215)/105. Is -1 != z?
True
Let p be (-4)/1*(2 + -3 - 0). Is 7 bigger than p?
True
Let g(c) = -c - 7. Let f be g(-7). Let p be -2 + f + (-33)/(-15). Which is bigger: 1 or p?
1
Let b(s) = -s - 6. Let x be b(-10). Suppose -x*i + 3*i = 0. Is i >= -3/17?
True
Let a(l) = -l**2 + 6*l - 3. Let k be a(6). Suppose 0 = -4*m - 0*m - 8. Which is smaller: k or m?
k
Let i be (2/(-1))/(8/(-8)). Is 6/5 > i?
False
Let b(o) = -2*o. Let v be b(0). Let g = 2/45 + 8/45. Which is bigger: g or v?
g
Let w be 5/2*16/10. Suppose -2*l + 4*y = -18, y - w*y - 17 = -2*l. Let d be 3 - 0 - (l - 0). Which is greater: d or -5?
d
Let y(o) = -o**3 - 9*o**2 + o + 13. Let j be y(-9). Suppose -3*m + 2*h + 3 = -j*m, h = 3*m + 9. Let w = 2 + -4. Do m and w have the same value?
False
Let u = 41 + -29. Let d = u - 16. Is -4 at least d?
True
Let j be 360/(-650) - (-4)/(-10)*-1. Which is greater: j or -1/3?
j
Suppose 0 = 37*i - 36*i + 2. Which is bigger: -1 or i?
-1
Suppose -v + 1 = 4*w - 6*v, v = w. Is -2/61 smaller than w?
False
Let y(l) = -l. Let k(g) = g**3 + 6*g**2 + 5. Let t be k(-6). Suppose -t = -m - 2. Let c be y(m). Which is bigger: c or 0.1?
0.1
Suppose -4*i + 4*y = -32, -i + 5*y = 2*i - 28. Are i and 4 equal?
False
Let b = -98 - -96. Is 2/17 less than b?
False
Suppose -2*k - 2*t + 29 = 9, 3*k - 3*t = 0. Is k smaller than 8?
True
Let c = -4.3 - -4. Let n = 0.5 + c. Let q = 7.9 + -8. Is q smaller than n?
True
Let p = -65 - -193/3. Suppose 2 + 0 = -2*u. Which is bigger: p or u?
p
Let a = 0 + -3. Let g(l) = 4*l - 4. Let y(q) = 11*q - 11. Let p(r) = -17*g(r) + 6*y(r). Let z be p(3). Which is greater: a or z?
a
Let w be ((-4)/(-6))/(8/60). Suppose v = -w*p - v - 2, 0 = 4*p + 5*v + 5. Is p > -2/17?
True
Let r be (-5)/((12/9)/(-4)). Suppose 2 + 4 = 3*h + 2*n, -5*n = -5*h - r. Let o = 5/44 + 107/220. Is h greater than o?
False
Suppose -31 + 1 = -4*w + k, 5*w - 31 = -2*k. Suppose -4*q + w = -1. Let o be (-2 + q/2)/7. Which is smaller: 0 or o?
o
Let a(s) = 2*s + 22. Let t be a(-15). Are t and -9 unequal?
True
Let c = -17/24 + 1/24. Suppose 0*m - 4 = 2*m. Which is greater: c or m?
c
Suppose 19 = h - 4*q, 0 = 3*q + 1 + 14. Let z = h - -3. Suppose 0 = -z*f + 1 + 1. Which is smaller: f or 0?
0
Let r be (-3)/(12/(-8)) - 5. Let s be 6*1*2/(-3). Let o = r - s. Which is bigger: 2 or o?
2
Let o be 1 + 0 + 4 + -3. Suppose -r = -m - 3, -5*r - 3*m + 5 = o*m. Suppose r*l + 8 = -2. Is l > -4?
False
Let a be (1/3)/(13/(-78)). Let x be ((-96)/(-84))/(12/a). Does 1 = x?
False
Let t = -51 - -563/11. Are 6 and t unequal?
True
Let m = 210 - 18. Let l be 4/(m/9)*4. Which is bigger: 2 or l?
2
Let x = 10 - 6. Suppose x*m - m + 5*n + 22 = 0, 0 = -4*n + 4. Which is smaller: -8 or m?
m
Let g(v) = v + 2. Let t be g(-5). Let a = t + 0. Which is bigger: -2 or a?
-2
Let p = -22.31 - -22. Let b = -0.11 - p. Which is smaller: b or -6?
-6
Let k be (-708)/9*3/24. Let i = 437/42 + k. Is 0 at least i?
False
Let s be 0 + 0 + 4/(-22). Suppose -h = -0 - 7. Suppose -h*x + 9*x = 2. Is s greater than x?
False
Suppose 4*q - 11 = -5*y, -3*y = 2*q + q - 6. Let g be -3 + 2 - (-10)/22. Which is smaller: g or q?
q
Let d = 0.13 - -0.07. Let f = -2 + 2.1. Let z = d - f. Which is smaller: z or 0?
0
Let o be 42/(-77) + 422/88. Is 3 greater than o?
False
Let q be (-3)/(-4) + 102/(-8). Is q bigger than -13?
True
Suppose 3*s - 3 = -3. Let m = 5 - 3. Is m bigger than s?
True
Let v be 2*(-1)/(-4)*-118. Let c be (-7491)/126 - (-2)/7. Let m = v - c. Which is smaller: m or -1?
-1
Let h = -22 - -20. Is h >= -1?
False
Suppose b - 3*v - 7 = 0, 5*b + v = -3*v - 22. Are b and -0.3 unequal?
True
Let g(m) = -m**3 + 6*m**2 + 2*m - 8. Let q be g(6). Let b(w) = -w**3 + 4*w**2 - w + 4. Let a be b(q). Suppose a = -3*x + x. Is x greater than -5/4?
True
Suppose -2*f + 4*f = 2*t - 8, 5*t + 28 = -3*f. Let c = f + 12. Which is smaller: c or 7?
c
Let k be 2/(-1 + 15/9). Suppose 0*x - k = -x. Suppose p + d = x*d - 5, d = 2. Is p >= -3/5?
False
Let i be (-2)/((-240)/(-22)) - (-27)/135. Which is bigger: i or -1?
i
Suppose 5*n = 3*v - 65, -n + 5*n + 30 = -2*v. Let k be 2/(-1) + n/(-8). Let r(l) = -l**2 - 2*l - 1. Let m be r(-1). Is k at most m?
True
Suppose -3*j - 2*j + 10 = 0. Suppose 12 = 3*s - 4*a, 2*a - 4 = s - 2*a. Suppose -3*f - f = -s. Is f at most j?
True
Let p = 109/1131 + 5/87. Do p and -1 have different values?
True
Let m(x) = x - 6. Let k be m(6). Let q be (2/(-4))/(2/96). Let d = -122/5 - q. Is d at most as big as k?
True
Let x be (-3)/(((-9)/12)/1). Suppose -u = x*u. Which is bigger: 1 or u?
1
Let v = -53 - -261/5. Let a = 7 - 11. Let l = a - -2. Are v and l non-equal?
True
Let l be 2/(14/(-3))*(-9 - 1). Do 5 and l have the same value?
False
Suppose 5 = -2*m + 1. Let u = -10.8 - -4.8. Is u bigger than m?
False
Let t(j) = -j**3 - 10*j**2 - 10*j - 13. Let a be t(-9). Let k = -2.57 + 2.7. Let g = k + -0.03. Which is smaller: g or a?
a
Let d = -22/125 - -729/4000. Let t = 13/32 - d. Which is bigger: t or 1?
1
Let t = -2 - 6. Let v(j) = -j**3 - 8*j**2 + j + 10. Let b be v(t). Suppose -d - 3*r + 5 = 0, -2*d = -2*r - r - 1. Is b >= d?
True
Suppose 10*u = 5*u - 25. Let l = -4 - u. Suppose 11*o = 8*o + 9. Is o equal to l?
False
Suppose 3*j - 8 = 5*w + 24, -4*w - 4 = 3*j. Let m be (-2 - w)*(-1)/5. Let l(b) = -b - 13. Let a be l(-11). Which is smaller: a or m?
a
Let f be (10/15)/(4/6). Let r be (-2)/(f*-1*2). Is -1/8 at most r?
True
Suppose 5*c - 112 = 4*r, 75 = -4*r + 3*c - 45. Which is smaller: r or -31?
r
Let y(f) be the second derivative of -5*f**3/2 + 3*f**2/2 + 2*f. Let a be y(-3). Let t be (-4)/a + 1/4. Is t smaller than -0.2?
False
Let y = -4/77 - -18/77. Suppose -d + 3 = -5*g, -d + 2*g = 4*g + 4. Which is smaller: d or y?
d
Let t be (-25)/(-4) - (-3)/(-12). Let v = 7 - t. Is v < 8/7?
True
Let g = -7 + 3. Let r = -415 - -218. Let l = 385/2 + r. Is l > g?
False
Let s = -11 - -21. Let y = s + -5. Is y smaller than 0.1?
False
Let c be (-28)/(-3)*6/4. Is 14 < c?
False
Let j = -1.95 - 0.05. Let f = j + 5. Let o(k) = -k. Let u be o(1). Which is smaller: f or u?
u
Let j be 294/3 - 2 - 0. Let k = 484/5 - j. Is 0 less than or equal to k?
True
Let q = 89977/61 + -1475. Let k