t(m). Is n at most as big as -3?
True
Suppose 2*c = 16*c + 252. Is c less than -12?
True
Let i be (292/10)/((10/(-2))/(-25)). Is i <= 145?
False
Suppose 72 = -5*b + 8*b - 4*y, 5*b + 3*y = 149. Which is smaller: 26 or b?
26
Let n(y) = 107*y**2 - y. Let d be n(3). Let i = -522 + d. Let p = i - 4822/11. Which is smaller: 1 or p?
p
Let d(n) = n**2 - 5*n + 2. Suppose -5 + 1 = -2*k + 4*q, -5*k - 2*q = -34. Let s be d(k). Suppose -2*m + s = -6*m. Are -2 and m nonequal?
False
Let q be ((-8)/(-18))/2 - 464/(-261). Which is smaller: q or 17/13?
17/13
Suppose -1655 - 450 = 5*o. Let i = -3794/9 - o. Let b = 107/225 + i. Which is smaller: b or 0?
b
Suppose 2*r - 4*r = -2. Suppose 0 = 6*g - g + 465. Let k = 84 + g. Is r at least k?
True
Let m = 7 + 17. Let a be (3 - (0 - -7) - -22) + 0 + 4. Which is smaller: m or a?
a
Let z = -12.8 - -7. Let s = -5.2 - z. Is s bigger than 0.6?
False
Let k be (-2 + 1)*1 - -16. Let i(j) be the second derivative of -j**5/20 + 5*j**4/4 - j**3/6 + j**2/2 + 2*j. Let a be i(k). Do a and -14 have the same value?
True
Let p(i) = -i**2 + 11*i. Let t(k) = 2*k**2 - 21*k - 1. Let o(u) = -5*p(u) - 2*t(u). Let l be o(13). Let j be (23 - 8)*l/(-6). Is j less than or equal to 1?
True
Let f = -13 - -4. Let g(q) = -q - 5. Let l be g(-8). Suppose a + 8 = -l*a. Which is greater: f or a?
a
Let w(q) = 2*q**2 + 5*q + 3. Let i = -8 + 5. Let p be w(i). Let y be -2 + ((-2)/(-1))/1. Which is greater: y or p?
p
Let w(s) = -s**2 - 7*s - 1. Let b = 9 + -15. Let v be w(b). Let l be (-3)/6*(-1)/v. Is 0 at least l?
False
Let f = 0.49 + 4.11. Let m = f + -3.6. Which is smaller: m or 16/9?
m
Let n = 21 - 18. Suppose 22 = n*o - 38. Let l = -10 + o. Which is greater: 9 or l?
l
Let r(a) = 3*a + 7. Let f be r(0). Which is smaller: 23 or f?
f
Suppose 5*n + 441 = w, -4*w - 30 + 14 = 0. Which is greater: n or -91?
n
Let k = 89 - 88. Let r be (-3 + k)*(-5)/(-150)*1. Which is bigger: 0 or r?
0
Let c(p) be the first derivative of -p**3/3 + 5*p**2/2 + 2*p - 2. Let h be c(4). Suppose 0 = h*o - 3*o. Which is greater: 4/7 or o?
4/7
Let x = 129/13 + -10. Let h(q) = -q**2 - 7*q - 5. Let s(o) = o**2 + 7*o + 4. Let b be s(-5). Let w be h(b). Is x >= w?
False
Suppose 3*h + 6 + 0 = 0. Suppose -11*u + 10*u = y + 8, -5*u + 5*y - 20 = 0. Which is smaller: h or u?
u
Let x = -34.66 - -35. Let h = -8.34 + x. Is h at least as big as -1/4?
False
Let l be ((-3)/((-243)/6))/(2028/(-18)). Let a = l - -18263/16731. Which is bigger: 0 or a?
a
Let p = 5.2 + -73.2. Let o = p + 110. Which is greater: o or 0?
o
Suppose -35 + 115 = -4*s. Let l = s - -13. Let f be -3 - (l/5 - 1). Is -2 >= f?
False
Let v = -18 - -17. Let p be (5/(-45))/(v/(-3))*-3. Is p less than 3?
True
Let r = 2195 - 94389/43. Let a = 171/1376 + r. Are a and 1 unequal?
True
Let a(r) = -r + 3. Suppose 3*j = 2*x - 0*x + 12, -4*j + 11 = -x. Suppose 7 = j*n + 1. Let k be a(n). Which is smaller: -3/7 or k?
-3/7
Let x be (-1*1)/(32/(-608)). Which is smaller: 15 or x?
15
Let v = 0.412 - 0.43. Let m = -0.032 + v. Which is greater: 3 or m?
3
Let l(w) = -3 + 5 + w + 9. Let i be (-2)/10 + 54/(-5). Let g be l(i). Do -3 and g have different values?
True
Suppose 0 = -3*b + b - 12. Let t(n) = n**3 - 8*n**2 - 2*n + 12. Let d be t(8). Let l be 2/d*b/(-15). Are l and -2/5 unequal?
True
Let d be 1*(-2)/(6/9). Let z(i) = 34*i + 334. Let h be z(-10). Which is greater: h or d?
d
Let n be -105 - -63 - (1 + 1). Which is greater: -224/5 or n?
n
Let s(x) = x**3 - 10*x**2 - 10*x - 8. Let q be s(11). Let b(a) = q*a - 3*a + 12 + 2*a. Let f be b(-6). Which is greater: f or 0.1?
0.1
Let g = 505 + -327. Suppose -l = w + l + 40, 5*w - l = -g. Is w bigger than -37?
True
Let w be 48/9*2/40*3/12. Let j(q) = -q - 3. Let t(z) = z**3 + 6*z**2 - 4. Let d be t(-6). Let l be j(d). Which is greater: l or w?
l
Let f = 231625/203 + -1141. Are 1 and f non-equal?
True
Let z be 308/(-18) - (-6 - -11)/(-45). Are z and -17 unequal?
False
Let q = 17/13 - 33/65. Which is smaller: q or 0.4?
0.4
Let x be ((-6)/10)/1*20/(-160). Which is bigger: x or -1?
x
Let p = 10875473/219 - 49660. Let z = -2/73 + p. Let u = -3.01206 + 0.01206. Is z <= u?
False
Let n = 12.1 - -5.8. Which is bigger: 1 or n?
n
Let n = -21 - -24. Suppose n*a + 3*f - 18 = 0, -4*a + 2*f = -14 + 2. Which is bigger: a or 5?
5
Let m = -0.34 + -0.45. Let t = m + -2.41. Which is smaller: t or 2?
t
Let p(h) = 8*h + 239. Let v be p(-29). Let j be 2 + (-3)/3 - -8. Which is greater: j or v?
j
Let y be ((19 - 11) + -6)*1/(-5). Let q be (-7 + 3 - -3) + -17. Which is greater: q or y?
y
Suppose 40 = -i + 5*i. Suppose -3*y = 2*y + i. Let u = -0.33 + 0.33. Which is smaller: u or y?
y
Let a = 532 - 591. Which is smaller: -0.1 or a?
a
Let u(c) be the third derivative of -1/8*c**4 + 0 - 1/2*c**3 + 2*c**2 + 0*c - 1/120*c**6 + 1/15*c**5. Let r be u(3). Is -1 < r?
False
Let v = -0.028 + 0.044. Let h = 2.016 - v. Which is smaller: h or 8?
h
Let o be ((-27)/4)/((-30)/(-80)). Let a be 3 + 3/(o/40). Let c = a - -25/6. Which is smaller: -0.2 or c?
-0.2
Let v be (1*-2)/((-2)/27). Suppose 2*j - 50 = t, j = 2*j - 5*t - 25. Which is smaller: v or j?
j
Let b = -30/83 + 67/415. Is b equal to -6/31?
False
Let a = 140/3 - 46. Let n be -3*(4 + -3) + -4. Let p(o) = -o**3 - 7*o**2 + o + 8. Let s be p(n). Do s and a have the same value?
False
Suppose -y + 4*c - 13 = -c, 3*c = -2*y - 39. Let t be y/30*-1*1. Let a(p) = p**3 - 3*p**2 + p - 3. Let d be a(3). Which is smaller: t or d?
d
Let u be (3/(-3))/((-2)/(-2)). Let i be (1 - 2 - 12)/u. Suppose -y = 4*c + 15, 0 = 4*y - 2*c + 11 + i. Are -7 and y non-equal?
False
Let a(s) = 4*s - 15. Let u be a(7). Let d(j) be the first derivative of -j**4/4 + 4*j**3 + 6*j**2 + 3*j - 4. Let l be d(u). Do l and -11 have different values?
True
Let t = 31 + -62. Let b be (102/8)/((-4)/(-16)). Let p = b + t. Is p at least as big as 20?
True
Let k(z) = -11*z**3 - z**2. Let c be k(-1). Let a(n) = 128*n + 1022. Let t be a(-8). Which is smaller: t or c?
t
Let f = 149 + -65. Is f != 85?
True
Let w = 99 + -98.564. Let a = w + -0.036. Let c = 49/3 - 16. Which is bigger: a or c?
a
Let f = 3257 - 3261. Is 11 <= f?
False
Suppose 118*r - 113*r + 30 = 0. Which is smaller: r or -75/14?
r
Let z be (-6)/16*(14/(-21) + -4). Let n be (-2)/10 + 532/(-240). Let r = z + n. Do r and 0 have the same value?
False
Suppose 4*k - 2*d - 106 = 0, -2*k - 4*d + 0*d + 68 = 0. Let j = k + -30. Suppose r + 2*r - 21 = 3*f, -2*r = -3*f - 17. Is j < f?
False
Let v be (-1)/4*(-36)/9. Is v bigger than 2/177?
True
Let o be 6*8/(-6)*1. Let z(a) be the third derivative of -a**4/24 - 11*a**3/6 - 15*a**2. Let n be z(o). Which is bigger: 1 or n?
1
Let o(k) = -17*k - 183. Let g be o(-11). Which is greater: g or 50/11?
50/11
Suppose 5*b = -i - 7, -74*i + 78*i = 5*b - 3. Which is bigger: -22 or b?
b
Let a be 3/6 + (-18)/(-4). Suppose -a*f - 2 = -27. Suppose -3*i - 3*j = -0*i + 18, -f*i - 4*j = 25. Which is smaller: i or -2/19?
i
Let w(o) = -4*o - 18. Let r be w(4). Do r and -33 have different values?
True
Suppose -14*n + 1989 = 5*a - 17*n, n - 1997 = -5*a. Which is bigger: 1 or a?
a
Let s be (-49 + 2)*(-8)/(-8). Is 1/4 at least s?
True
Let s(r) = r**2 - 2*r + 2. Let h be s(2). Suppose 0 = -n + z + 2, 0*z - h*z + 8 = 2*n. Let o = -3 + n. Are o and 2/15 non-equal?
True
Suppose 22*d = 29*d - 133. Do 23 and d have the same value?
False
Let s = -33/25 + 3449/2575. Let i(u) = -u**3 + 5*u**2 + 5*u + 10. Let n be i(6). Suppose -2*z + 10 = 0, 4*h = 6*h - n*z + 20. Which is bigger: h or s?
s
Suppose -60 + 64 = -4*q. Are -28 and q unequal?
True
Let x(z) = -z**2 - 62*z + 1895. Let m be x(-84). Let u be -2 + 2 + 3*16. Is u smaller than m?
False
Let y(m) = -2 - 8 + 5*m + 0*m. Let s be y(10). Suppose -5*l + l = s. Is l less than 1/3?
True
Let b(u) = -u**2 + 11*u - 15. Let w be b(9). Suppose 0*l = w*l + 4*t + 90, -t = 3*l + 81. Let x be 13 + -9 - l/(-7). Which is bigger: x or 0.6?
0.6
Let p = -201 + 165. Are p and -37 non-equal?
True
Let z = 217651588/45 + -4836491. Let h = -211 + z. Is -1 smaller than h?
True
Let k be 2/4*(11 + -5 - 6). Let t be -3 + 1*(-570)/(-189). Which is smaller: t or k?
k
Let a = 0.984 + 0.016. Let r = -3 - 5. Let i = r - -6. Is a at most as big as i?
False
Let p = -19225 + 5882855/306. Let g = -1/18 + p. Which is greater: g or 1?
1
Suppose -k = -6*k + 1255. Wh