et h = -7 - -12. Is q not equal to h?
True
Let n(t) = t**3 + 3*t**2 + 4. Let u be n(-3). Let o = u + -8. Is o at most -9/2?
False
Suppose 3*t + 72 = 33. Does t = -14?
False
Suppose -3*y = 2*h - 1, -2*y + 3*h = -17 - 1. Suppose y*s + 3 = v, -2*s + 4*s + 8 = v. Let d be 13/v + (-1)/2. Is d at most as big as -1?
False
Suppose -2*b - 15 + 4 = -3*p, 3*b + 5*p - 31 = 0. Let n(a) = a**2 - 6*a - 7. Let l be n(7). Suppose 5*g - b + 7 = l. Is 0.9 less than or equal to g?
False
Let t be -3 + (2 - 0/3). Do -1 and t have the same value?
True
Let y = 63 - 191/3. Let d = -53 - -60. Do y and d have different values?
True
Let k = -14 - -16. Suppose -4*w = 4*m - 9*m + 4, 2 = -k*w - m. Let n be (-3)/18 + 1/3. Is n greater than or equal to w?
True
Let h be 60/(-75)*1/4. Which is smaller: h or 0?
h
Let g(x) be the first derivative of -x**2/2 - 5*x - 4. Let u be g(-4). Which is smaller: -2/15 or u?
u
Let v = -150 - -1652/11. Suppose -2*h = -5*r + 1, 5*r - 5 = 5*h + 5. Which is smaller: r or v?
r
Suppose 2 = d + 1. Is d greater than -0.7?
True
Suppose -6*x + 2*x = -8. Suppose x = -2*c - 6. Is -4 < c?
False
Let z = -1775 + 40831/23. Which is smaller: 0 or z?
0
Suppose 2*k - 4*m = -2*m - 6, 3*k - m - 1 = 0. Suppose k*o = -0*o. Let u = -2/131 - 125/393. Which is smaller: o or u?
u
Let w = -61 + 35. Let t be -1 - (-22)/w - -2. Which is bigger: t or 1?
1
Suppose w = 6*w. Let r = 2840/11 - 258. Is r >= w?
True
Let a(f) = -f - 2. Let l be a(-6). Let i be (-68)/(-10) - 5/(-25). Let m = 12 - i. Do l and m have the same value?
False
Let j = 12 + 51. Which is smaller: 64 or j?
j
Let d(a) = -a - 3*a + a + 4*a + 6. Suppose -k - n - 5 = n, -k + 2*n - 5 = 0. Let z be d(k). Is 2/5 smaller than z?
True
Let c = -105/388 - -2/97. Is 0 equal to c?
False
Suppose 0 = 6*l + 7 - 1. Which is smaller: -4/37 or l?
l
Suppose -32*t - 20 = -22*t. Let c = 6 - 8. Is c less than or equal to t?
True
Let x be 8/(16/6) + -3. Which is smaller: x or -6/35?
-6/35
Let l be (0/3)/(-2 - -1). Let j = 17 + -50/3. Which is smaller: l or j?
l
Let k = -0.1 + -0.3. Let z = -1.6 + 0.2. Let s = k - z. Do 1 and s have the same value?
True
Let b be 66/(-4) - (45/(-10) + 4). Is -12 < b?
False
Let o be -7 + 2*4/2. Which is greater: -17/4 or o?
o
Suppose y - 5*n - 30 = 0, 3*y + 3*n = 58 + 32. Let p be 8/6*(-9)/y. Is p > 1?
False
Suppose 5 - 13 = -o - 3*j, 3*o + 4*j = 9. Is o bigger than 4?
False
Let k be 1/4 - 180/16. Is -10 < k?
False
Let q be 2/10*10/4. Let d = 1 + 0. Which is smaller: q or d?
q
Suppose -5*l + 0*l + 25 = 0. Which is greater: 2/3 or l?
l
Let q be (8/12)/(0 + -1). Let h = -10 - -15. Let m = h + -6. Is q at most m?
False
Let s = -3.9 - -4. Is s smaller than -4/11?
False
Let l = -1.2 - -0.2. Let z(q) = -2*q + 27. Let g be z(12). Is l bigger than g?
False
Let z be (-1)/(-2)*(6 + -6). Let v be 2*((-18)/(-10) + -2). Which is smaller: z or v?
v
Suppose 8*j + 15 = 3*j. Let w be -2 - 3*j/(-9). Let q be 3/(-2)*w/9. Are 0 and q nonequal?
True
Let f be 4/(-6) + 260/12. Let o be 1 + (f/(-3) - -2). Let y = -6 - o. Which is smaller: -3 or y?
-3
Let u be ((2/(-18))/((-5)/(-15)))/1. Which is bigger: u or 4?
4
Suppose -17 = -5*n + 13. Let u be (-2)/(0 + 3/n). Which is bigger: -5 or u?
u
Let u = 2.056 + -0.056. Which is bigger: u or 1/3?
u
Let w(y) = -3*y**2 - 8*y + 3. Let c be w(-3). Which is bigger: c or 1/29?
1/29
Let s = -10 + 5. Suppose 4*b - 2*w - 10 = 0, -2*w - 10 = -2*b - 6*w. Let c = s + b. Is -0.1 < c?
False
Let k be (2/3)/((-4)/30). Let o = k + 5. Is o < 0?
False
Let d be (-1)/2*-2*1. Let b be ((-15)/505)/(((-198)/(-12))/11). Does b = d?
False
Suppose 0 = -4*h + 2*h + 8. Suppose -15*u - h = -19*u. Is u < 3/4?
False
Let g be (0 - 59)*21/56. Let o = -22 - g. Which is bigger: o or -1?
o
Let s = -1.62 + 1.625. Which is smaller: s or 1?
s
Suppose -2*g + 5*f + 23 = 0, 3*g - 5*f = 21 + 6. Which is smaller: g or 5?
g
Let a be ((-5)/3)/(2/24). Let y be -1 + -2 + (-114)/(-1) + -1. Let n be 134/132 + a/y. Which is smaller: n or 1?
n
Suppose 15 = g + 3*n, g + 26 = 5*g - 5*n. Is g > 8?
True
Suppose 4*m - 5*w = m + 15, 0 = -m + 2*w + 6. Suppose -2*c + 3*c + 4 = m. Let v be 0/((-3)/(6/c)). Which is smaller: 2/3 or v?
v
Suppose 0 = q - t + 8, q = 2*q - 3*t + 12. Let l = q + 11. Let d(k) = -k**3 + 4*k**2 + 4*k + 6. Let m be d(l). Is 1/2 at least m?
False
Let z be 2*-2 + 2 + 32. Let u = -448/15 + z. Let v be 24/35 - (-4)/(-14). Which is greater: u or v?
v
Suppose 0 = 3*s - 5*j - 0 - 3, s - 1 = -3*j. Suppose 0 = 5*u + w - s, 5*u + 1 = -2*w + 3. Which is bigger: 2/13 or u?
2/13
Suppose 4*q + 0*n = 5*n - 593, 0 = 2*q + 2*n + 274. Let h = -571/4 - q. Are h and 0 equal?
False
Let r = -7 - -8. Let i = 0 + r. Which is greater: i or 0?
i
Let v(x) be the third derivative of -x**5/10 - x**4/6 - x**3/6 + x**2. Let c be v(-3). Let z be (-4)/(-18) - c/9. Which is smaller: 4 or z?
4
Let n = -3866/679 - -40/7. Which is smaller: n or -1?
-1
Let c be 0/(-1*(-4)/2). Let p be (9/(-48))/(3/(-2)). Which is smaller: c or p?
c
Let r be ((-650)/42)/(-5) + -3. Let u be (0 + 3)/((-3)/(-2)). Suppose 0 = -u*c - 6, 2*c + 10 = 2*v + 2*v. Do r and v have the same value?
False
Let d(u) = -u - 3. Let s be d(0). Let g be ((-5)/s)/((-2)/(-6)). Suppose -g*o = p - 0*o - 8, -10 = -2*p - 4*o. Is p at most as big as 3?
True
Let u be -1 + (-13)/(-9) - 0. Suppose 0*p - 2 = -2*p. Let f be p/(4 + 9/(-3)). Which is bigger: u or f?
f
Let b = 4 - 6. Let u = 4 + -3. Let k be -2*(1 + u/(-2)). Which is greater: b or k?
k
Let n = 0 + 0.1. Let q = 0.3 - n. Let t = 13 + -11. Is t less than or equal to q?
False
Let x be (-3)/4*(-6)/9. Let c = 8 + -6. Let u = -2.1 + c. Is u not equal to x?
True
Let p be (-1)/1*(0 + -1). Let u be -3*6*2/9. Let j be (-3)/6*u/10. Which is smaller: j or p?
j
Let f = 10 - 5. Suppose f*b + 5 = -0. Suppose 0*n = -5*n - 5. Is b less than n?
False
Let s = 52 + -30. Let t = 20 - s. Which is bigger: 2 or t?
2
Let b = -7.7 - 0.3. Let o = b - -5. Let n = 3.1 + o. Do n and 0.4 have different values?
True
Let p = 0.01 + 1.99. Let k(s) = s**3 - s**2 - 2*s + 3. Let w be k(2). Suppose 2*t = -t + w*z, -t = 2*z. Which is smaller: t or p?
t
Suppose -5*q - 4 = -q. Is 3 at least as big as q?
True
Let y = -2 - -1. Let b = -1 - 0. Are b and y equal?
True
Suppose 7*r + 5*k + 21 = 3*r, 27 = 2*r - 5*k. Suppose 0 = 4*l - r + 9. Is -3 greater than or equal to l?
False
Suppose h - 16 = -3*h. Let n(l) = 5*l - 4. Let b be n(h). Suppose -2*f - 2*c - 12 = 0, 0 = 4*c - 0 + b. Which is bigger: f or -3?
f
Suppose -6*m + 8*m - 2 = 0. Let t be (-8)/(-160) - m/(-5). Is t greater than -17?
True
Let z(a) = -a**2 + 2*a + 1. Let c be z(6). Let y = c - -47/2. Which is smaller: y or 0?
0
Let u(a) = a + 3. Let q be u(-3). Suppose -7*g - 2*s + 6 = -3*g, q = -4*g - 4*s. Which is bigger: 2 or g?
g
Let c = 15.218 - 0.118. Let h = -15 + c. Which is smaller: h or -1/10?
-1/10
Let z(h) = 2*h**3 - 9*h**2 + 6*h - 5. Let s be z(4). Are 4 and s unequal?
True
Let r be -6 - (-5 + 2) - 3. Let w = 7 + r. Is -2/5 bigger than w?
False
Let a = 1/197 - 1780/1379. Which is smaller: 0 or a?
a
Suppose 0 = 3*k + 3*u + 72, 3*k + 3*u = 8*k + 160. Which is smaller: k or -30?
-30
Let o = 45.3 - 45. Which is smaller: o or 0.5?
o
Let q be (-14)/2 - (-1 + -3). Is -3 less than q?
False
Suppose 39 = d - 27. Let f be (3/10)/((-3)/661). Let b = f + d. Which is greater: b or -1?
b
Suppose -o = 0, 2*o = 2*k + 3*k. Suppose 3*g + 11 - 2 = k. Let l be g*2/12*-2. Is l != 2?
True
Suppose 3*z - 13 = w, 4*w = 7*w - 5*z + 27. Let m(y) = -y**3 - 5*y**2 - 4*y. Let p be m(-4). Suppose p = -2*c + 4*c + 10. Do w and c have different values?
True
Let t(o) = -o - 2*o - 2 - o + o**2. Let n be t(4). Let j be (-6 + 5)/(n/(-6)). Which is smaller: j or -4?
-4
Suppose -3*x + 40 = 106. Are x and -24 unequal?
True
Suppose -2 = 2*y - 18. Suppose -10 = 3*r - y*r. Suppose 0*m + m = -r. Which is smaller: m or -5/4?
m
Let r = -134005/4 + 33281. Let b = r - -1103/5. Let d = b - -1/20. Is d less than 1?
True
Suppose -q + 3*z - 5*z = 8, -z = q + 4. Which is greater: q or -3/7?
q
Let d = 275 + -278. Let i be 1/(-2) - (-6)/(-4). Which is smaller: i or d?
d
Let i be (4/(-2) - 1)/1. Let j be (1/i)/((-2)/12). Suppose 2*d - 5 = -m, -d - 3 = -j*d - m. Is d less than 2?
False
Let d = 26 + -26. Let w = 4 + -6. Let m = w - -5. Which is smaller: d or m?
d
Let b = -31