 t = j + -4. Is -1/6 bigger than t?
True
Let a = 0.8 - -8.2. Let j = a + -4. Let y = 13/15 - 6/5. Is y <= j?
True
Let t = -10 + 12. Is t at most as big as 0.2?
False
Let j(u) = -u**3 + 5*u**2 + 10*u - 2. Let d be j(7). Which is bigger: -29 or d?
-29
Let d = 3121/15 + -208. Let w(l) = l**2 - 6*l + 6. Let q be w(5). Is d at most as big as q?
True
Let j be (2/(-20))/(10/(-25)*-23). Is j greater than 1?
False
Let r be ((-7)/21)/(1/(-21)). Suppose -2*p = -r + 1. Which is smaller: 5/2 or p?
5/2
Let s be 18/(-12)*4/(-3). Suppose 3*m + 8 = -4, -s*h = 2*m. Suppose -8 = 4*b + h. Is b greater than -1?
False
Let r = -23 - -28. Let g(c) = -c**2 + 5*c. Let f be g(5). Which is bigger: r or f?
r
Let h = -3 + 2.8. Let i = -0.2 + h. Let y = -0.5 - i. Which is smaller: -2 or y?
-2
Suppose -19*d = -13*d + 6. Suppose 3*r - 12 - 13 = -5*a, -3*r + a + 13 = 0. Is d at least r?
False
Suppose 4*w = -l - 9 - 2, 5*w + 34 = l. Which is greater: l or 8?
l
Let v = 1 - 1. Suppose v = -5*w - 1 - 4. Which is bigger: w or -2/5?
-2/5
Let v(q) be the second derivative of -q**3 - q**2/2 - q. Let f be v(-1). Suppose 5*y + 0 = f. Which is greater: y or -2/7?
y
Let y = -63/4 - -16. Let n = -0.1 - -0.05. Which is smaller: n or y?
n
Let n(d) = d + 4*d**2 + 4*d**2 + 4 + d**3 - 4*d**2. Let w = -9 - -5. Let q be n(w). Are -2/5 and q nonequal?
True
Let p = 128/497 - -2/71. Let w be (-4)/((-1 + -1)/1). Let v be (-3 + 2)/(1/w). Which is bigger: v or p?
p
Let k(z) = -z**2 + 6*z - 3. Let a be k(6). Let j(d) = 0*d - 4*d + 3*d - 5. Let f be j(-3). Which is smaller: f or a?
a
Let n(w) = w**3 + 6*w**2 + 3*w - 3. Let h be n(-5). Suppose -h*z + 2*z - p - 599 = 0, 5*p - 575 = 5*z. Let v = -1069/9 - z. Is 1 less than v?
False
Let p(l) be the third derivative of -l**5/60 - 5*l**4/24 - l**3/3 - 2*l**2. Let s be p(-5). Which is bigger: -1 or s?
-1
Let i be (3/6)/((-2)/(-24)). Suppose -30 = -5*y + 5*k, i*k = -5*y + 2*k + 12. Suppose 4*o - y = -0*o. Which is greater: 2 or o?
2
Let m be (3/6)/(21/5). Is m at least 1?
False
Let f = 25.03 + -25. Is f < 1/4?
True
Let h = 1 - 2. Let a be h + 1 + 1/(-4). Let b(x) = x**3 + 3*x**2 - 4*x + 1. Let o be b(-4). Which is bigger: o or a?
o
Let h = 2 + 0. Let y be (1/(-5))/((-4)/(-10)). Which is smaller: h or y?
y
Let m be -1 - (-3)/(-6)*-18. Is 6 smaller than m?
True
Let p = -78 + 62. Let v = -26 - -9. Which is greater: v or p?
p
Let w = -2 + 6. Suppose 5*n + 36 = -19. Let o = -7 - n. Is w greater than or equal to o?
True
Let n = 15 - 13. Suppose 2*t = 4*q + 14 - 2, 4*q = -8. Is t greater than n?
False
Let c = -0.45 - 3.65. Let m = c + 4. Let v = -0.5 - m. Is -2 > v?
False
Let s = 713/7 - 102. Let x(u) = -u - 5. Let p be x(-9). Suppose -p*z = -c - 0*c - 17, -4*z + 18 = -2*c. Which is bigger: s or c?
s
Let v be ((-6)/40)/((72/10)/6). Let n(w) = w**3 + 7*w**2 + 5*w - 5. Let y be n(-6). Which is smaller: y or v?
v
Let i be (-1 + (-2)/6)/((-4)/(-6)). Which is bigger: i or 5?
5
Let k be 1 + (-114)/33 + -3. Let w = 562/99 + k. Is w <= 1?
True
Let s(f) = 2*f - 5. Let j be s(4). Let n = j - 2. Does 3/5 = n?
False
Suppose -y + 0*y - 6 = 2*d, -2*y = -2*d - 6. Is y less than or equal to -1/2?
False
Suppose 5*t + 4 = 24. Let w be ((-1)/4)/((-6)/104). Which is smaller: t or w?
t
Let l be (-3 - 52/(-16))*4. Let c = 1 - 2. Which is smaller: l or c?
c
Let u(w) = -3*w**3 + 2*w**2 - 1. Let j be u(-1). Let d be j/10 - 8/(-5). Let n = -1 + d. Is n equal to 2?
False
Let f be 3 - (3 + 7/4). Is f not equal to -1?
True
Let u = 0 + -7. Let d = u - -10. Are -4/7 and d nonequal?
True
Let d be (-4)/(-3) - 3 - 2. Let z(p) = -p**2 - 2*p - 3. Let b be z(-2). Let t = d - b. Which is smaller: t or 0?
t
Let f = -267 + 6407/24. Is f <= -1?
False
Let p(m) = m**3 + 3*m**2 - 5*m - 5. Let b be p(-4). Which is smaller: b or -5/8?
b
Let d be 5 + ((-31075)/(-1245))/(-5). Is d <= 0?
False
Let i(j) = 5*j + 14. Let v be i(-3). Are v and -4/37 unequal?
True
Let c = -0.03 - -0.03. Let w = 0.5 - c. Which is smaller: 0.1 or w?
0.1
Let s = 10 - 11. Which is smaller: s or 3?
s
Let b(p) = -p**3 + p**2 - 2*p + 1. Let a be b(1). Let f be 12/(-10) - (a + 1). Is -2 >= f?
False
Let m(r) = r**2 + r - 7. Let t be m(-3). Which is smaller: -6/7 or t?
t
Let p = 28 - 46. Do p and 1/5 have the same value?
False
Let y(a) = -51*a - 2. Let u be y(-1). Let b be 0 - 1 - (-77)/u. Which is smaller: 1 or b?
b
Let q = -29.04 - -30. Let m = 0.04 + q. Is m greater than 2?
False
Suppose -k + 2*k = 3. Let l(s) = s - 1. Let t be l(k). Let o be -3*4/(-24)*2. Do t and o have the same value?
False
Let j(d) = -d + 24. Let t be j(0). Suppose -4*w = -a - 3*a + t, 0 = -4*a + 5*w + 27. Let h = 62 - 58. Which is greater: a or h?
h
Suppose 0 = 2*f - q, -2*q - 2 = 4*f - 6*f. Let k be f/(-2) + 526/(-20). Let a = -367/15 - k. Are a and 1 nonequal?
True
Suppose -4*x + s - 180 = 5*s, -5*s + 159 = -3*x. Let p = -191/4 - x. Let q(o) = o**3 + 2*o**2 - 6*o - 8. Let u be q(-3). Is p greater than u?
False
Let b(l) = l**3 - 13*l**2 - 3*l - 17. Let g be b(13). Let h be 182/g + 3 + 0. Which is smaller: 0.2 or h?
h
Let x(n) be the first derivative of n**5/60 + n**4/4 - n**3/3 + 1. Let u(s) be the third derivative of x(s). Let t be u(-5). Is t less than or equal to -4?
True
Let h = 3 - 2. Let v = h + -1. Let q be (-5)/2 + 6/4. Which is greater: v or q?
v
Let d be 31/12 + (-9)/6. Let m = d + -5/6. Is 1 > m?
True
Let h = 2 + -2. Let r be 3 + 0 + (-12)/(-8) + -3. Are h and r non-equal?
True
Let m be -3 + (-3)/9*3 + 4. Let h = -10.81 - -11. Let c = 0.2 - h. Is c less than m?
False
Let q be (-10)/4*(-6)/9. Which is smaller: q or 3?
q
Let z = 31.1 + -31. Let v = 47883341/252 - 190013. Let p = v + 1/36. Which is greater: z or p?
p
Let s be (3/(-2))/(4/(-8)). Suppose -2*j = 4*m, -4*m - 4 = -0*j + s*j. Let k be 2*1/(-2)*3. Which is smaller: k or j?
j
Let d = -21 - -12. Which is smaller: d or -7?
d
Suppose 0 = -2*z - 2*d - 14, 5*z - 3*z - 5*d = 0. Let n = -7 - -4. Let q = n - z. Is q > 2/3?
True
Let s = 397/222 - -5/111. Is 2 greater than or equal to s?
True
Let y be (11/(-33))/((-1)/12). Let m be -2 - 3*y/24. Which is greater: -3 or m?
m
Let m(s) = -s + 15. Let y be m(0). Suppose -64 = -2*a - 2*a. Which is greater: a or y?
a
Let k = 10 - 4. Let h = 4 - k. Let y = 3 + -6. Is y <= h?
True
Let u be (-35)/(-10)*5/14. Is 0 equal to u?
False
Let a = 3 + 0. Suppose a = -3*p - 3. Does -4 = p?
False
Let v = -3.73 + 0.63. Let t = 3 + v. Which is greater: -1/5 or t?
t
Suppose -5*c - 2*k = -9, -15 = 3*k + 2*k. Suppose 0 = 3*y - 2*l - c*l - 4, 4*y + l = -33. Is y less than -6?
True
Let t = 1 + -1.28. Let c = t - 1.78. Let v = c + 0.06. Is v != -2/9?
True
Let w = 0.74 + 0.26. Is w equal to 0.9?
False
Let k = -9.8 - -10. Let j = -3.8 - k. Let f = 0 + -1. Which is smaller: f or j?
j
Let j be 42*4/(-8)*1. Let k = 8 - 14. Let z be (k/j)/(-1)*-1. Is z != 1?
True
Let q = 0.8 - 0.6. Let s = 0.2 - -0.7. Let g = s + -1. Is q equal to g?
False
Let f = -4 - -36. Let q be f/(-6) + (-2)/(-6). Is q greater than -2?
False
Let t be 54/72 + (-1014)/8. Is -127 >= t?
False
Suppose -4*p + 2*j + 3 = -3, 3*p - 2*j - 3 = 0. Let c = p + -3. Is c bigger than 1?
False
Let x be (-10)/(-2) + 4 + -3. Suppose 15 = -3*z + 5*r, -2*r + 0*r = -4*z - x. Is 0 bigger than z?
False
Suppose -52*l + 21*l = -28*l. Let n be (-4)/14*(-1 - -2). Which is bigger: n or l?
l
Suppose 0 = 2*f - 5 - 5. Suppose -q + 17 = -5*s, 0 = -f*q - 4*s - 1 - 1. Suppose -5*d + 5 = 3*w - 18, -w + 2*d - 7 = 0. Is q at least as big as w?
True
Let s = -11 + 3. Let t be (-2)/(-2) + s/(-4). Suppose -t*d + 14 = 5*n, -4*n = -2*d - 2*d + 8. Which is smaller: 1/5 or n?
1/5
Suppose 3*n - 5 = 2*n. Let u(d) = -d**2 + 7*d - 7. Let b be u(n). Is b < 4?
True
Suppose -72 = -3*c + 3*o, o - 87 = -3*c - 11. Suppose -j = -6*j - c. Which is smaller: -2 or j?
j
Let u(j) = 3*j**3 - j**2 + j - 1. Let n be u(1). Which is smaller: 11/8 or n?
11/8
Let x = -6 - -5. Is x at least as big as -1?
True
Let j = 0.01 + 0.99. Let q = -19.01 - -19. Which is smaller: j or q?
q
Let z = 68 + -68. Which is greater: -4/5 or z?
z
Let m be 9/36 + (-1)/(-4). Suppose -x = -2*x + 2. Is m bigger than x?
False
Let o = 11 + -10.8. Which is greater: 14 or o?
14
Let c be (-2)/7 + 44/7. Let m be (-2)/(-6)*c/(-4). Is 0 < m?
False
Suppose -t + 6*t - 5*p = -15, 0 = -t + 2*p - 6. Let c = -325/4 - -80. Which i