= -2*n + 5*b + 16. Are 4 and n unequal?
True
Let s = 0.4 - 0.3. Let a be (-4 + 5)*14/72. Let d = 1/36 + a. Is s > d?
False
Suppose 3*l + 2*l = 5. Let r be 19 + l + -7 + 5. Let v be 32/r + (1 - 3). Which is smaller: 0 or v?
v
Let l = 588 - 1235/2. Let t = l - -301/10. Do t and 2 have different values?
True
Suppose 10*m - 112 = 11*m. Which is bigger: m or -0.1?
-0.1
Let c be ((-6)/(-4))/(39/52). Which is smaller: -1 or c?
-1
Let y be (-2)/(-8)*(-18)/(-1). Do 1 and y have the same value?
False
Let c(l) = l**3 - 6*l**2 + 5*l + 2. Let t be c(5). Let q = -7 - -7. Which is bigger: q or t?
t
Let b be -4*2/8*2. Let l be ((-2)/(-8))/(b/4). Suppose -y - 3*y = -5*t - 10, -10 = -3*y + 5*t. Do y and l have the same value?
False
Suppose 5*l - 80 = 4*h, 0*l + 4*h = -4*l + 28. Suppose 4*s - 3 = -5*y, s + l = 5*y - 2*y. Is 3 < y?
False
Let a = -21 + 48. Which is smaller: 1/4 or a?
1/4
Let t be (22/(-323))/((-10)/(-25)). Let s = 1/19 + t. Is s at most 1?
True
Suppose 0*u + 8 = u - a, u = 3*a + 14. Suppose 13 = -u*m - 4*v, 6 = -2*m - 2*m - v. Which is smaller: 2 or m?
m
Let t = 0 + 1. Let q = -35 - -313/9. Which is smaller: t or q?
q
Let c(j) be the first derivative of -j**4/4 - 7*j**3/3 - 3*j + 3. Let g be c(-7). Do g and -3 have different values?
False
Let h = -2 + 2. Let x = -0.1 - -0.3. Let l = x + -0.1. Which is smaller: l or h?
h
Let l = 27 + 5. Which is greater: 0 or l?
l
Suppose m - 16 + 5 = -3*t, -4*t = -m - 3. Let u(l) = 4*l + 1. Let r be u(t). Is 9 <= r?
True
Suppose -5*o - 180 = -o. Let z = -93/2 - o. Let n(u) = u**2 + 5*u + 4. Let s be n(-3). Are s and z equal?
False
Suppose -7*f + 2*f = -10. Suppose -f*w + 15 + 17 = 0. Let j = w + -23. Which is greater: j or -6?
-6
Suppose 10 = -5*s - 0*s. Does s = -8/7?
False
Suppose 0*r = -r + 6. Let v = 5 - r. Is -2/3 equal to v?
False
Let k be (-3)/(-12) - (-3)/(-4). Let h = -4 + 3. Let n = h - k. Which is smaller: -1 or n?
-1
Let x = 6 + 1. Let n = 10 - x. Suppose 2*b = -n*b. Do b and 1/4 have different values?
True
Let v be ((-7)/1)/(2 - 7/1). Is 2 != v?
True
Let k be (3/2)/(12/216). Let w = k - 39. Is w != -12?
False
Let j = 0.128 + 1.442. Let i = j + -1.5. Which is smaller: i or -1/4?
-1/4
Let a(s) = -s**3 - 5*s**2 + s + 7. Let y be a(-5). Suppose -y*o = -6*o. Which is smaller: 3/4 or o?
o
Let m(q) = -q**3 - 2*q**2 - 2*q - 2. Let n be m(-2). Suppose 1 = -n*b + b. Let w be b/(-2) + 3/(-6). Is 1/9 at least as big as w?
True
Let r = -0.2 + 0.07. Let a = -4.03 + 4. Let w = a - r. Which is smaller: w or -1?
-1
Let i be (-114582)/(-2056) - (1 + -1). Let q = i - -5/257. Let y = 56 - q. Which is smaller: y or -1?
-1
Let p be (-8)/10*60/(-88). Let j = 29/21 + -12/7. Which is smaller: j or p?
j
Let f be ((-46)/6 + -1)*18. Let v = 1717/11 + f. Which is bigger: v or 1?
1
Let q be (-9)/(-12)*(-1)/3. Is 0 at least q?
True
Let s be (2 + 2)*(-8)/8. Are -3 and s equal?
False
Suppose 7 = 3*m - 11. Let n be -9*(2 + m/(-9)). Let k be 4/n - 10/6. Which is greater: -3 or k?
k
Let k = 16 + -7. Which is greater: k or 0.1?
k
Let r = 103.51 + 0.49. Which is greater: r or -0.1?
r
Let n = 6 + -12. Let f = n - -4. Let z = -2 - f. Are -0.2 and z nonequal?
True
Let j = -2.59 - -1.5. Let w = -0.09 - j. Which is bigger: 0.1 or w?
w
Let b = -3.9 - 14.1. Let y = b - -14. Let o = 0.1 + -0.1. Is y at least as big as o?
False
Suppose 0 = -2*t + 5*z - 15, 0*z + 3 = t + z. Is 1/3 less than or equal to t?
False
Let o = 15 - 13.9. Let y = 2.8 + o. Let b = y + -4. Which is bigger: 0 or b?
0
Let x be (-4)/10 - 16/(-15). Let f be 3*(9/3)/(-1). Let d be f/(-3)*6/(-63). Which is smaller: x or d?
d
Let g = -3 - -1. Let t be -2*((-1 - -2) + g). Let x(b) = b**2 + 11*b - 10. Let a be x(-12). Do a and t have the same value?
True
Let k = 2/235 + 1167/940. Suppose 0 = 4*t + 5*w - 20, t - 4 = 4*t - w. Does t = k?
False
Let u(o) = -5*o - 3. Let a be u(-4). Suppose 0*h + 13 = 5*z - 2*h, 2*h - 14 = -4*z. Suppose -z*i - 5 = -3*s - a, -9 = 3*s - 2*i. Which is greater: -2/7 or s?
-2/7
Let u = 15.4 - 9.3. Let o = -1.1 + u. Let d = o + -5. Is 3/8 less than d?
False
Let i be 4/(4 + -1 + 1). Let x be (-1)/50*(0 + 4). Which is smaller: i or x?
x
Let v = 3/47 + -215/423. Let z = 2 - 1. Which is bigger: v or z?
z
Let h = -89 + 115. Which is smaller: 1 or h?
1
Let p = 14 - 5. Let y = p - 7. Are y and 0 non-equal?
True
Suppose -2*y = -w, -4*y + 6*y - 40 = -4*w. Let f = 7 - w. Is -1 < f?
False
Suppose -8 = -6*u + 2*u. Let o be ((-2 - -6)*1)/u. Is o at most as big as 2/3?
False
Let v = -25 + 77. Let c be 48/v + (3 - 4). Is c less than or equal to 1?
True
Let l be (9/3 - 1)/(-2). Which is smaller: 2/21 or l?
l
Suppose 7 = 2*u - q, 0 - 3 = q. Let n = 1 + 1. Are u and n equal?
True
Let u = -1 - -4. Let j = u - 2.8. Suppose i = -i + 4. Which is smaller: i or j?
j
Let r be ((-18)/(-4) - 5) + (-30)/(-44). Which is smaller: 1 or r?
r
Let s = -3.2 - -0.2. Is -3 at most s?
True
Let o(m) = m + 15. Let y be o(-12). Let w = -3 + y. Let k = -2 + w. Is k equal to -1?
False
Let q be 70/46 - (27/18)/1. Is 0 < q?
True
Let q be 21/4 + (-24)/(-32). Suppose -3*a + q + 3 = 0. Let v = 3 - a. Is 0 smaller than v?
False
Let b(h) = -h - 4. Let y be b(3). Let v be -3 - ((-231)/(-12))/y. Does v = 5?
False
Let m = 57 - 56. Suppose 2 = -2*t - 0. Is m greater than or equal to t?
True
Suppose -2*u = -2*n, 6*n + 3*u - 16 = n. Let z be n + (3/3 - -1). Does 5 = z?
False
Let z(r) = -4*r - 1. Let k be z(-1). Let b be k + (12/4 - -3). Is b greater than 8?
True
Let d = -46 + 48. Are 22/9 and d unequal?
True
Let p = 6/13 + -68/91. Let k = 48.9 + -49. Which is greater: k or p?
k
Let a(m) = -m - 3. Let y be a(-3). Suppose -3*s + 3*r + 6 = y, -14 = -5*s + 3*r + 2. Which is smaller: 3 or s?
3
Let f(q) = 2*q**2. Let a = -5 - -4. Let k be f(a). Suppose 0 = k*g - 2 + 4. Which is greater: -2 or g?
g
Suppose -k + 4*h = -20, -k - 3*h = 3 + 12. Suppose -4*l + 20 = 2*z, -2*l = -k*z - z - 10. Is 0.4 at most as big as z?
False
Suppose 5*z = 2*i - 56, -7 = -5*z + 5*i - 72. Which is greater: -11 or z?
z
Let u(y) = y + 7. Let h be u(-6). Let s be 93/(-60) - 6/(-4). Let t = -3/10 - s. Is h <= t?
False
Suppose -k - 3*i = -4, -12 = -3*k + 2*i - 6*i. Let a be (-2)/(-10)*5/k. Which is bigger: -1 or a?
a
Let l = -9 + 7. Let i be (-8)/28*(-1339)/(-2). Let g = i + 191. Which is greater: g or l?
g
Let u = 1 + 1. Suppose r = -r - k + 13, u*r - 17 = -5*k. Let c = r + -3. Which is smaller: c or 4?
c
Let j = 3808765/1794 - 69097/46. Let r = j - 621. Which is greater: 1 or r?
1
Let g = 0.5 - 0.5. Let k = 166/51 + -1261/34. Let z = 34 + k. Which is smaller: g or z?
g
Let q = 3 + 0. Let b = -3 + q. Suppose -k = -1 - b. Is k at most -1/10?
False
Let h be (-404)/(-12) + (-2)/(-6). Suppose -y + 4*r + 8 = -5*y, 5*y - 3*r = -h. Let q = y - -4. Which is smaller: 0 or q?
q
Let j(o) = 5*o**2 - o + 11. Let m(r) = r**2 - r + 1. Let b(i) = -j(i) + 6*m(i). Let z be b(6). Let w be 145/140 - (-4)/(-14). Which is smaller: z or w?
w
Let y = -88 + 82. Do -6 and y have different values?
False
Let w = -52.9 + 50. Let c = w + 3. Is c at most 0.1?
True
Let r(m) = m + m - 4*m. Let z be r(1). Let n be 1/(z - -4)*0. Is 2 at least as big as n?
True
Let k be 23/(-7) + 4/14. Is k <= -3?
True
Let k = -47/6 - -8. Let p = -3 - -3.5. Let u = p - -0.5. Which is smaller: u or k?
k
Let y be (-1 - (-17)/5) + -3 - -1. Which is greater: -1 or y?
y
Suppose -4*p + 18 = -2*w, -2*p - 3*p - 2*w = -9. Which is smaller: p or -1.1?
-1.1
Let r = -81 - -81.37. Let h = -0.13 - r. Let f = -0.3 - -1.3. Is f < h?
False
Let v be (-3)/2 - (-36)/8. Suppose -v*t = -2*t. Suppose t*z - 3*z = -18. Are 5 and z non-equal?
True
Let a = -4 - -24. Is a smaller than 21?
True
Let w = 71/3 + -73/3. Let k = 0.19 + 10.81. Let p = -10 + k. Is p less than w?
False
Let a be -4*(8 + 6/3). Let j be a/12 - 4/6. Is -4 at most as big as j?
True
Let j(h) = 4*h**3 + h**2 + 2 + 3*h - 5*h**2 - 3*h**3. Suppose -2*q + 5 = -1. Let r be j(q). Does 1 = r?
False
Let g = 6.95 - 7. Let s = g + 0.09. Let o = s + -1.04. Is -0.2 bigger than o?
True
Let o(r) = -2*r + 4. Let l be (6 - 2) + 0/(-2). Let y be o(l). Which is smaller: y or -3?
y
Suppose q - 82 = 6*q - 2*b, 2*b + 62 = -3*q. Which is smaller: q or -19?
-19
Let b = -20 - -19.9. Is -0.6 smaller than b?
True
Let b be 0/(1 - (1 - -1)). Suppose 0*d + 3*d + 39 = b. Let l = 27/2 + d