= 0.3 - a. Let w = 0.5 + -0.3. Is b equal to w?
False
Suppose 0 = 2*u + 2*u - 24. Let k = u + -13. Is k smaller than -7?
False
Let r(b) = -b**3 - 9*b**2 - 10*b - 9. Let k be r(-8). Let i be (-1)/4 + k/(-4). Is -3 less than or equal to i?
True
Let c be 0 + (-1)/(-1) - 6. Suppose 0 = -b - 0*b + 4, -2*z - 16 = -2*b. Which is greater: z or c?
z
Suppose -28 = -4*b + 2*b. Is b less than 15?
True
Let r = -16/55 + -328/385. Is r at least as big as -2?
True
Let j = 31 + -61/2. Let d(r) = -r**3 + 8*r**2 + r - 11. Let c be d(8). Let b = c + 4. Which is smaller: b or j?
j
Let m be (1/(-4))/(1/(-6)). Suppose -j = -3*o + 6, 0*j - o = 5*j - 18. Suppose 14 = -j*q - l + 6*l, 0 = 4*q + 5*l - 28. Which is smaller: m or q?
m
Let j be -3 + -3 + 1 - -59. Is 55 bigger than j?
True
Suppose -5*v = -2*y + 7 + 8, -9 = -y + 3*v. Let g = 26 + -22. Suppose -12 = g*h + 2*n - 0*n, -5*n - 21 = h. Which is bigger: h or y?
y
Let x(k) = k**2 + 2*k**2 - 6*k**2. Let d be x(1). Let l be (d/((-3)/4))/(-2). Which is smaller: l or -5/6?
l
Let x = 157/45 - 13/5. Which is smaller: x or 0?
0
Let c = -3552 - -14311/4. Which is smaller: 25 or c?
25
Let r(n) = n + 19. Let u be r(0). Suppose -15*q = -u*q. Are -2 and q nonequal?
True
Suppose -2*p = -8 - 0. Let h be (36/(-8))/((-2)/p). Is 9 at most as big as h?
True
Let a = 4.6 + -1. Let f = 7 + -11. Let n = a + f. Which is smaller: 0 or n?
n
Let f = 3 + 9. Suppose 0 = 4*n + 8, -f = 3*x + n - 4. Which is bigger: -3 or x?
x
Suppose -9 + 7 = v, -3*w - 28 = 2*v. Suppose -2*k + 3*k + 7 = 0. Does w = k?
False
Let a(t) = 3*t**3 - 2*t**2 - 2*t + 2. Let f be a(2). Let u = -10 + f. Which is smaller: 3 or u?
3
Let m(b) = b**2 + 4*b - 3. Let k be m(-5). Let f be -1 - (-3 - k/(-2)). Is f at least 2/21?
True
Let t = -5 + 16. Suppose l + 13 = t. Is 1 >= l?
True
Let o(p) be the third derivative of p**4/24 + 5*p**3/6 + 3*p**2. Let f be o(-6). Let c = 2 + f. Is c at most as big as -2/5?
False
Let g = -33081 + 81544664/2465. Let j = g - 315517/7395. Let u = j + 43. Are u and 0 unequal?
True
Suppose -5*q + j + 14 = 0, 1 = -3*j - 11. Let z(h) = -h**2 - 8*h - 9. Let s be z(-6). Which is smaller: s or q?
q
Let q = -38 - -41. Is q not equal to 3?
False
Let a = 74 + -68. Suppose u = -2*x + 13, -4 - 5 = -3*x. Are a and u nonequal?
True
Suppose 4*s - 153 = 59. Let h = -161/3 + s. Is h smaller than -1?
False
Let x = 0.18 - -8.82. Let i = 3 + -3.2. Which is smaller: x or i?
i
Let i = -11 - -17. Let t be (-188)/(-28) + 1 + (-5)/7. Is i greater than t?
False
Suppose 5*m - 60 = 5*q, -6 = m - 2*m - 5*q. Is 13 less than or equal to m?
False
Let j be 20/3 - 4/6. Suppose n - 4 - 3 = 0. Is j <= n?
True
Suppose y + 23 = 5*u, 0 - 3 = y. Is u != -4?
True
Let b(f) = f - 9. Let d be b(5). Which is smaller: d or -1?
d
Let a be 1/2 + (-8005)/(-110). Let x = a - 73. Which is smaller: x or 0?
0
Let y = -0.15 + -0.15. Let o = 3.7 - 4. Let b = o - y. Is b <= -2/3?
False
Let w = 2 - 0. Let x(b) = b**3 - 2*b**2 + 1. Let i be x(2). Let p be 2 + (i - (-38)/(-14)). Is w at most as big as p?
False
Suppose 3*k + 0 = 5*u - 20, 4*u - 5*k = 29. Which is bigger: u or -1?
u
Suppose -11 - 9 = -4*a, 3*c + 4 = 2*a. Suppose -2*b = -2*p - 30, 2*p = b - 2*b + 15. Suppose b = -h + 3*h + 3*w, -3*h + 3*w = 15. Which is greater: h or c?
c
Suppose -982 = 20*c + 558. Is -76 equal to c?
False
Suppose -4*o + 4 = 2*t, 3*o + 4*t - 15 + 2 = 0. Which is bigger: o or -2/5?
-2/5
Let z(a) = 4*a + 77. Let w be z(-19). Which is greater: 1/132 or w?
w
Let i = -4 - -9. Let y be i/4 + 1 + -2. Which is smaller: 0 or y?
0
Suppose 5*p = -n + 19, -n + p - 3 = 2. Is n < 3?
True
Let u be (-2 - -1) + -3 + 4. Suppose -2*b - b - 6 = u. Is b at least -2?
True
Let y = 100 + -102. Is y at most 29?
True
Let l be 1 - (-2)/(-3)*3. Suppose 24*u - 23*u = 0. Do u and l have the same value?
False
Let m be 4/2*(-1)/2. Let p = 2 + m. Which is smaller: p or -1/3?
-1/3
Let r = 26 - 28. Is r greater than -3?
True
Suppose -3*v = -21 - 3. Let b be v*6 + (-4)/(-2). Let f be (-8)/30*15/b. Is 1 at least as big as f?
True
Suppose 4*q + 10 = x - 1, 2*x + 11 = -3*q. Let b(d) = d**2 - 6*d - 2. Let u be b(6). Let y be 3/((-1)/u*-3). Which is smaller: x or y?
y
Let l(g) = 4*g + g**3 - 8*g**2 + 3*g**2 - 3*g - 6 - 3*g**2. Let w be l(8). Suppose 4*c + w*h + 2*h = -8, -h = -5*c + 8. Which is greater: -1/7 or c?
c
Suppose 20 = -5*f, 0 = 4*t - t + 5*f + 2. Let v be 9/t*8/(-6). Let b be -1*1*1 + -3. Which is smaller: v or b?
b
Let a = 6 + -8. Which is smaller: a or -3?
-3
Let v be (0 - -1) + 0/(-2). Let h be (v - 2) + (-1 - -13). Is 11 smaller than h?
False
Let c be 8/10*(-15)/(-6). Suppose 0*v = v - 3. Suppose 0 = -v*d + 4 + 2. Are d and c equal?
True
Let o = 66.9 + -72. Let a = 5 + o. Is 7/2 at least a?
True
Suppose -2*d + 1 = -3. Let n(g) = g**2 + 2*g - 3. Let i be n(2). Suppose 2*j = x - 4, d = -i*x + 3*j + 8. Which is smaller: -1 or x?
-1
Let l be 18/45 - 208/170 - 0. Is -1 > l?
False
Let v(r) = r**2 + 3*r - 7. Let g be v(-5). Suppose -g*y + 7*y = -4. Is y > -0.02?
False
Let c be (-2 + 3)/((-2)/(-8)). Let p be (-1)/(-2*c/(-8)). Which is bigger: 1/15 or p?
1/15
Suppose -3*b = 2*b - 1050. Let d be -4 - (-9)/(459/b). Is d < 1?
True
Let p be ((-15)/(-50)*-1)/(2/(-4)). Which is smaller: p or 5?
p
Suppose 2*t = -8, 2*h = -h - 5*t - 14. Let a = -13 - h. Does -16 = a?
False
Let n(t) = 14*t**3 + 15*t**2 - 17*t + 4. Let r(q) = -5*q**3 - 5*q**2 + 6*q - 1. Let o(s) = -6*n(s) - 17*r(s). Let y be o(5). Does -2 = y?
False
Let v be (-54)/40 - 2*(-24)/64. Is -1/4 < v?
False
Let o be 2/2 - (3 + 2). Let j be o/14 - (-47)/(-7). Let z(a) = a + 6. Let w be z(j). Do 2 and w have different values?
True
Let j = 57 + -287/5. Is j not equal to 1/4?
True
Let n be (5 + 4)/(-2 + 2/4). Is n != -6?
False
Suppose -2*y + 5 = -9. Suppose 0*k = k - y. Suppose -t - 4 = -5*h + 7, -h = t - k. Which is smaller: h or 2?
2
Suppose -5*a - o - 25 = -6*o, 4*a - 3*o + 17 = 0. Let f be -1 - ((a - 2) + 2). Which is smaller: f or 2?
f
Let h(l) be the first derivative of l**4/4 - l**2/2 + l - 1. Let r be h(1). Which is greater: r or 2/5?
r
Suppose 4*q = 2*q + 6. Let s = 4 - 5/2. Is q at least s?
True
Let t be (-3)/(-12) + 145/(-740). Which is smaller: -1 or t?
-1
Let n = 26 + -24.7. Let c = -1.5 + n. Which is greater: c or 0?
0
Suppose -5*j - b - b - 45 = 0, -15 = -3*b. Let a be (5/3)/(40/(-240)). Is j at least as big as a?
False
Let l = -4 + 8. Suppose l*p + 6 - 18 = 0. Which is smaller: 2 or p?
2
Let t be (6 - 2)*(-1)/(-2). Suppose -3*m - t = -8. Suppose -4*p = -g - 1, -p - m = -2*g - 4. Is -2/5 less than or equal to p?
True
Let z be (-1 + 2)/((-2)/18). Is -10 greater than z?
False
Let i be (-48)/100 - (-6)/10. Which is smaller: 1 or i?
i
Let y = -0.47 + 0.58. Which is smaller: -0.1 or y?
-0.1
Let k = 71.2 + -84. Let l = k + 13. Is l >= 1?
False
Let w = -322/9 + 2326/63. Are w and 1 nonequal?
True
Let z be 84/147 + 2/(-29 + 1). Which is smaller: 20 or z?
z
Let v = 1 + 2. Suppose -v*h = -11 - 13. Which is smaller: h or 9?
h
Suppose 5*x + 2*g = -5 - 0, -5*g = 0. Let w(j) = -j**3 + 5*j**2 + 5*j + 5. Let b be w(6). Let d be b*2/(-21)*-3. Which is smaller: x or d?
x
Let s(w) = -w + 9. Let v be s(7). Suppose 0 = -2*y + v - 0. Which is greater: 3/2 or y?
3/2
Suppose 0 = 5*j - 3*j - 6. Suppose -12*n - j = -9*n. Is n smaller than -2/5?
True
Let i = 5 + -16. Which is smaller: i or 1?
i
Let k(n) = 2*n - 1. Let u be (-4)/(-3) + 8/(-24). Let m be k(u). Let i(s) = 2*s**3 + 2*s - 1. Let p be i(m). Is p less than or equal to 3?
True
Let k be 5/(-4) + 1/4. Which is greater: -1/17 or k?
-1/17
Suppose 5*f + 4*k - 2*k = 6, 2*f - 5*k = -15. Let c = -1979/24 + 247/3. Is c bigger than f?
False
Let r = 1 - 7. Let j be (r/(-8))/(2367/8). Let o = j + -532/2367. Which is greater: o or -1?
o
Let y be (-23)/(-10) - (-6)/(-3). Suppose -3 = -5*t + 2. Which is smaller: y or t?
y
Let c = -14.8 - -1.8. Let p = c + 14. Is 1/2 less than p?
True
Suppose 0 = -3*f + 2*f - 2. Let w = f - -1. Let b = 2 - w. Is 3 <= b?
True
Let o = 54 + -50. Which is greater: o or 0.3?
o
Let b = -116 - -84. Is -32 at most b?
True
Let k be (-30)/(-4)*8/(-12)*1. Which is greater: k or -3?
-3
Let x be (-10)/(-3)*6/(-64). Do 1 and x have the same value?
False
Let g = 0 + 2. Let c(y) = -y**3 + 5*y**2 - 2*y - 5. Let q be c(4). Let f = 4 - q. Which is smaller: f or g?
f